Chapter 13

Find all of the abelian groups of order less than or equal to 40 up to isomorphism.

Find all of the abelian groups of order 200 up to isomorphism.

Find all of the abelian groups of order 720 up to isomorphism.

Find all of the composition series for each of the following groups. (a) \(\mathbb{Z}_{12}\) (b) \(\mathbb{Z}_{48}\) (c) The quaternions, \(Q_{8}\) (d) \(D_{4}\) (e) \(S_{3} \times \mathbb{Z}_{4}\) (f) \(S_{4}\) \((\mathrm{g}) S_{n}, n \geq 5\) (h) \(\mathbb{Q}\)

Show that the infinite direct product \(G=\mathbb{Z}_{2} \times \mathbb{Z}_{2} \times \cdots\) is not finitely generated.

Let \(G\) be an abelian group of order \(m\). If \(n\) divides \(m\), prove that \(G\) has a subgroup of order \(n\).

A group \(G\) is a torsion group if every element of \(G\) has finite order. Prove that a finitely generated abelian torsion group must be finite.

Let \(G, H,\) and \(K\) be finitely generated abelian groups. Show that if \(G \times H \cong G \times K\), then \(H \cong K\). Give a counterexample to show that this cannot be true in general.

Let \(G\) and \(H\) be solvable groups. Show that \(G \times H\) is also solvable.

If \(G\) has a composition (principal) series and if \(N\) is a proper normal subgroup of \(G\), show there exists a composition (principal) series containing \(N\).

Prove or disprove: Let \(N\) be a normal subgroup of \(G .\) If \(N\) and \(G / N\) have composition series, then \(G\) must also have a composition series.

Let \(N\) be a normal subgroup of \(G\). If \(N\) and \(G / N\) are solvable groups, show that \(G\) is also a solvable group.

Prove that \(G\) is a solvable group if and only if \(G\) has a series of subgroups $$ G=P_{n} \supset P_{n-1} \supset \cdots \supset P_{1} \supset P_{0}=\\{e\\} $$ where \(P_{i}\) is normal in \(P_{i+1}\) and the order of \(P_{i+1} / P_{i}\) is prime.

Let \(G\) be a solvable group. Prove that any subgroup of \(G\) is also solvable.

Let \(G\) be a solvable group and \(N\) a normal subgroup of \(G\). Prove that \(G / N\) is solvable.

Suppose that \(G\) has a composition series. If \(N\) is a normal subgroup of \(G,\) show that \(N\) and \(G / N\) also have composition series.

Let \(G\) be a cyclic \(p\) -group with subgroups \(H\) and \(K\). Prove that either \(H\) is contained in \(K\) or \(K\) is contained in \(H\).

Suppose that \(G\) is a solvable group with order \(n \geq 2\). Show that \(G\) contains a normal nontrivial abelian subgroup.

Suppose that \(G\) is a solvable group with order \(n \geq 2 .\) Show that \(G\) contains a normal nontrivial abelian factor group.

Zassenhaus Lemma. \(\quad\) Let \(H\) and \(K\) be subgroups of a group \(G\). Suppose also that \(H^{*}\) and \(K^{*}\) are normal subgroups of \(H\) and \(K\) respectively. Then (a) \(H^{*}\left(H \cap K^{*}\right)\) is a normal subgroup of \(H^{*}(H \cap K)\). (b) \(K^{*}\left(H^{*} \cap K\right)\) is a normal subgroup of \(K^{*}(H \cap K)\). (c) \(H^{*}(H \cap K) / H^{*}\left(H \cap K^{*}\right) \cong K^{*}(H \cap K) / K^{*}\left(H^{*} \cap K\right) \cong(H \cap K) /\left(H^{*} \cap K\right)\left(H \cap K^{*}\right)\)

Schreier's Theorem. Use the Zassenhaus Lemma to prove that two subnormal (normal) series of a group \(G\) have isomorphic refinements.

Use Schreier's Theorem to prove the Jordan-Hölder Theorem.