Cyclic Groups

Cyclic Group

A group is cyclic if that is, every has the form for some . We say that is generated by .

e.g. is cyclic, generated by either 1 or −1.

Prop Let be a cyclic group. Then exactly one of the following holds:

1. is infinite
2. There exists such that . 3

Proof If is finite, To prove exists such that is equivalent to prove that for all , exists and such that . By the pigeonhole principle, for any integer exists that we have . Hence , so has a finite order . Let . Then for every , with and . It follows that

Proposition

If a group is cyclic, then it is abelian.

Prop Suppose is a group. If there exists such that then is cyclic.

Prop Any group with prime order is cyclic. Proof See proof.

Definition

A product of two finite cyclic groups with coprime orders is cyclic. i.e.

The Structure Theorem for Finite Abelian Groups

Every finite abelian group is isomorphic to a direct product (sum) of cyclic groups: such that divides for all , and .

e.g.

Proposition

Let be a cyclic group of order . For each , there exists a unique subgroup of of order , and it is cyclic. Furthermore, the subgroups of are precisely the cyclic groups of order dividing .