Hello, I want to make sure I understand the fundamental theorem of cyclic groups correctly.
For example, consider the group . I need to construct a subgroup lattice for . Since the order of is 45, I need to find all the natural numbers that divide 45. Of course, these numbers are 1, 3, 5, 9, 15, and 45, which have orders 45, 15, 9, 5, 3, and 1, respectively. Since we have , , , and so on are the subgroups of . From here I just decide which set is a subset of the other and I am done.
Am I using the theorem correctly? Does this mean that any natural number that does not divide the order of will create set that does not abide by group axioms? I know I can check this for the cyclic group in this example, but, in general, is the previous sentence correct?