## Review of Group Theory: Cyclic Groups and Cyclic Subgroups (Pt. I)

**Point of post: **In this post we give a brief overview of cyclic groups. We include the Fundamental Theorem of Finite Cyclic Groups (every finite cyclic groups–namely that every cyclic group has precisely one subgroup of each divisor of the order of the cyclic group). We also include information about the orders of elements in arbitrary groups including the result that if then .

*Motivation*

Cyclic groups are the simplest possible groups imaginable. They are the analogue of one-dimensional vector spaces. Thus, it makes sense to start studying them. We shall even see that they are embedded into every finite group and moreover that they form a sort of ‘building block’ for finite abelian groups in general.

*Cyclic Groups*

If you’ll recall from our last post we crudely laid out what it meant for a subgroup to be generated by a set. A *cyclic group *is nothing more than such a group but with only one generator. Namely a group is *cyclic *if there exists some for which

Clearly we may then define a *cyclic subgroup * of a group to be a subgroup which is cyclic. If we say that is the *cyclic subgroup of generated by .*

Our first result is a fundamental one:

**Theorem: ***Let be a cyclic group with . Then, if then . If then and the map is injective.*

**Proof: **First assume that is finite and of order . We note first for distinct that . Indeed, if with then and but this contradicts that . Thus, it follows that are all distinct. But, this implies that and and so as required.

Suppose next that . We note then that . Indeed, if for some we see then that for any ; and so contradictory to our assumption. Thus, . Moreover we see that the map is injective, for to suppose not would imply there exists distinct for which and so which contradicts that . The conclusion follows.

Our next theorem is a general theorem about orders in general groups

**Theorem: ***Let be a group and . If are such that then where is the greatest common divisor. In particular, if then .*

**Proof: **By Bézout’s identity there exists such that . Thus,

From this we see that if then but and by the definition of this implies that . But, this is only possible if . The conclusion follows.

We now wish to, in a general sense once again, classify how the order of a group element relates to the order of a power. So, for example if what is ? It turns out that we can figure this out entirely. In particular:

**Theorem: ***Let be a group and . If then*

**Proof: **For part we must merely note that if then by definition and so evidently . But, this contradicts that from where it follows that .

For we first note that

so that by our previous problem we have that . Conversely, we know there exists integers such that and and by construction . We note then that

and thus by our previous lemma again we know that or, with our relabeling . It follows that and since we may conclude that ; but . Thus it follows that and and since both and are positive integers this implies that as required.

A question then arises as to which elements of a cyclic group generate the group? For example it’s easy to see that is cyclic (this is the usual group where one adds residue classes). That said, we see that *and *. We can, in fact, decide precisely which elements of a cyclic group generate the full group.

**Theorem: ***Let . Then:*

**Proof: **For suppose that with . Then, by assumption there exists some such that and so or, . Note though that and thus which is a contradiction. Thus, the only possible generators of are and . Clearly though these both work (the second works since given any we have there exists some such that , then ).

Next, suppose the conditions of . Note first that it is, in fact, necessary for to have that . Indeed, note that , but by our previous theorem . Thus, if then we must have that . Conversely, note if then and

from where it evidently follows that .

**References:**

1. Lang, Serge. *Undergraduate Algebra*. 3rd. ed. Springer, 2010. Print.

2. Dummit, David Steven., and Richard M. Foote. *Abstract Algebra*. Hoboken, NJ: Wiley, 2004. Print.

[…] Point of post: This post is a continuation of this one. […]

Pingback by Review of Group Theory: Cyclic Groups and Cyclic Subgroups (Pt. II) « Abstract Nonsense | December 27, 2010 |

[…] injective since implies that or that . It’s also surjective since, as was proven in an earlier post the elements of are precisely . Thus, it suffices to prove that is a homomorphism. To do this we […]

Pingback by Review of Group Theory: Homomorphisms (Pt. II) « Abstract Nonsense | December 28, 2010 |

[…] This follows from previous theorem since and […]

Pingback by Review of Group Theory: Cosets and Lagrange’s Theorem (Pt. II) « Abstract Nonsense | December 29, 2010 |

[…] this implies by previous theorem […]

Pingback by Review of Group Theory: Sylow’s Theorems « Abstract Nonsense | January 8, 2011 |

[…] is a unital morphism. We note then that since is a subring and thus in particular a subgroup we know from the basics of cyclic group theory that for some . Note then that since we have that and […]

Pingback by Characteristic of a Ring (Pt. I) « Abstract Nonsense | June 19, 2011 |

[…] elements order would divide which divides . Thus, if then . Suppose now that . We begin then by recalling that the order of is equal to so that the division of by is . For this to be an integer it is […]

Pingback by Homomorphisms Between Finitely Generated Abelian Groups (Pt. I) « Abstract Nonsense | November 14, 2011 |