group has an identity element