State/Uniqueness of identity element in a group 1