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$

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.