add some remarks on the finite abelian group classification theorem

chapter-classification-of-finite-abelian-groups.tex

@@ -167,6 +167,17 @@ \section{Classification of finite abelian groups}
 \end{proof}
 
 
+We end off this chapter with some closing remarks. Firstly, the group $\gen a$
+in \cref{lem:lemma-prime-power-order-abelian-groups-factorization} would be a
+Sylow $p$-subgroup of $G$.
+
+Secondly, this theorem can be derived as a corollary of a more general theorem,
+the classfiication of finitely generated abelian groups. This theorem can be
+derived as a corollary of a even more general theorem, the classification of
+finitely generated modules over a principal ideal domain. We will take up these
+theorems in the future, but for now these facts are just interesting to note.
+
+
 \subsection{Exercises and Problems}
 
 \begin{exercise}[Subgroups of finite abelian groups]

chapter-group-actions.tex

@@ -700,9 +700,6 @@ \section{The class equation and Sylow theorems}
 \end{proof}
 
 
-
-
-
 \subsection{Problems and exercises}
 \begin{exercise}[Conjugate of Sylow $p$-subgroup is a Sylow $p$-subgroup]
 \label{ex:conjugate-of-sylow-subgroup}