Explicit descriptions of groups of order 45

By Sylow's theorem, the number of subgroups of order $5$ must divide $45$, and must be congruent to $1$ modulo $5$; the only possibility is that there is a single group of order $5$. Likewise, the number of subgroups of order $9$ must divide $45$ and be congruent to $1$ modulo $3$; the only possibility is that there is a single subgroup of order $9$.

So the group has a single subgroup of order $5$, which must be isomorphic to $\mathbb{Z}_5$ (since that is the only group of order $5$), and a single subgroup of order $9$, which is isomorphic to either $\mathbb{Z}_9$ or to $\mathbb{Z}_3\times\mathbb{Z}_3$ (since the only groups of order $p^2$, with $p$ prime, are the cyclic group of order $p^2$ and a direct product of two copies of the cyclic group of order $p$).

Moreover, both Sylow subgroups are normal; let $N$ be the $5$-Sylow subgroups, and $M$ be the $3$-Sylow subgroup. Then $N\cap M=\{1\}$ since the orders are coprime, and $NM$ is a subgroup (since both $N$ and $M$ are normal). And $$|NM| = \frac{|N|\,|M|}{|N\cap M|} = 9\times 5 = 45 = |G|,$$ so $G=NM$. Since $N$ and $M$ are normal, $nm=mn$ for every $m\in M$ and $n\in N$. So $G\cong N\times M\cong \mathbb{Z}_5\times M$. There are two possibilities for $M$, giving you the only two possibilities for $G$.

Note that in both cases you get subgroups of order $15$; what you don't get in one of the cases is an element of order $45$.


If you know that there are two groups of order $45$, the first groups you must think of are abelian groups, i.e. direct product of cyclic groups by the finitely-generated-abelian-groups classification. Now your "building blocks" are $\mathbb Z_3$, which you have twice, and $\mathbb Z_5$, which you have once. If you try to "put them all together" you get $\mathbb Z_{45}$, which we clearly expected. Now other combinations would be $\mathbb Z_9 \times \mathbb Z_5$, $\mathbb Z_3 \times \mathbb Z_3\times \mathbb Z_5$, and $\mathbb Z_{15} \times \mathbb Z_3$. For the first one, since $g.c.d.(9,5) = 1$, you know that this group will be cyclic, hence isomorphic to $\mathbb Z_{45}$.

For the other two, since $g.c.d(3,5) = 1$, $\mathbb Z_3 \times \mathbb Z_5$ is isomorphic to $\mathbb Z_{15}$ so we don't have anything new there. But in $\mathbb Z_{15} \times \mathbb Z_3$, every element has order that divides $15$, thus this group cannot be isomorphic to $\mathbb Z_{45}$.

Hope that helps,