If every element of a group is its own inverse, then
If every element of a group is its own inverse, then is
Abelian: An , also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written.