Definition
A commutative group is a group whose operation is commutative.
Discussion
The following are equivalent sufficient conditions for commutativity:
Proof:
(1 ⇒ 2)
(2 ⇒ 1)
(2 ⇒ commutative)