# Tour:Cyclicity is subgroup-closed

This page is part of the Groupprops guided tour for beginners (Jump to beginning of tour)PREVIOUS: Exploration of cyclic groups|UP: Introduction four (beginners)|NEXT: Multiplicative monoid modulo n

General instructions for the tour | Pedagogical notes for the tour | Pedagogical notes for this part

WHAT YOU NEED TO DO:

- Read and understand the statement below.
- Understand the proof of the statement, and fill in missing details.
- Go to the previous page and review the survey article exploring cyclic groups.

## Statement

### Verbal statement

Every subgroup of a cyclic group is cyclic.

## Facts used

## Proof

### For the infinite cyclic group

Any infinite cyclic group is isomorphic to the group of integers , so we prove the result for . The result follows from fact (1). Note that the trivial subgroup is cyclic anyway, and fact (1) states that every nontrivial subgroup is cyclic on its smallest element.

### For a finite cyclic group

Any finite cyclic group is isomorphic to the group of integers modulo n, so it suffices to prove the result for those groups.

Suppose is the group of integers modulo n, and suppose is a subgroup of . Define as the subset of comprising those elements of in the congruence classes of . In other words:

is in the congruence class

Then, is clearly a subgroup of , because congruences mod preserve addition, additive inverses and identity elements.

By fact (1), there exists a such that . Clearly, , so . Going back, we see that is cyclic on the congruence class of .

This page is part of the Groupprops guided tour for beginners. Make notes of any doubts, confusions or comments you have about this page before proceeding.PREVIOUS: Exploration of cyclic groups|UP: Introduction four (beginners)|NEXT: Multiplicative monoid modulo n