Trivial Group is Abelian

Theorem

The trivial group is an abelian group.

Proof

From Trivial Group is Cyclic Group, it is shown that the algebraic structure $\struct {\set e, \circ}$ such that $e \circ e = e$ is a cyclic group.

The result follows from Cyclic Group is Abelian.

$\blacksquare$