All prime-ordered groups are cyclic

If a group has prime order , then it must be cyclic, #m/thm/group i.e. isomorphic to .

Proof

Let be a group of prime order . By Lagrange's theorem, only has subgroups of order and . Since , there exists such that . Then and therefore .

Clearly is a simple group.

See also