a group operation is invertible.