Abelian Group is Simple iff Prime
Jump to navigation Jump to search
Hence the specification of $G$ as being non-trivial.
Suppose that $G$ is an infinite group.
Let $n$ be the order of $G$.
It follows that $n$ is prime.
Suppose $G$ is a prime group.
Thus $G$ is non-trivial.