Definition#

A group \(G\) is said to be Abelian if \(a \star b = b \star a\) for all \(a,b \in G\).

Example#

See this exercise.

Source#

Gregory T. Lee. Abstract Algebra. 1st ed. Springer Cham, 2018. pp. 38.