A group has an identity element