A group's identity is unique