Fall 2019 #1 #algebra/qual/completed
Let \(G\) be a finite group with \(n\) distinct conjugacy classes. Let \(g_1 \cdots g_n\) be representatives of the conjugacy classes of \(G\). Prove that if \(g_i g_j = g_j g_i\) for all \(i, j\) then \(G\) is abelian.

\(Z(g) = G \iff g\in Z(G)\), i.e. if the centralizer of \(g\) is the whole group, \(g\) is central.

If \(H\leq G\) is a proper subgroup, then \(\bigcup_{g\in G} hGh^{1}\) is again a proper subgroup (subset?) I.e. \(G\) is not a union of conjugates of any proper subgroup.

So if \(G\) is a union of conjugates of \(H\), then \(H\) must not be proper, i.e. \(H= G\).
 We have \(g_j \subseteq Z(g_k)\) for all \(k\) by assumption.

If we can show \(Z(g_k) = G\) for all \(k\), then \(g_k \in Z(G)\) for all \(k\).
 Then each conjugacy class is size 1, and since \(G = {\textstyle\coprod}_{i=1}^n [g_i] = {\textstyle\coprod}_{i=1}^n \left\{{g_i}\right\}\), every \(g\in G\) is some \(g_i\). So \(G \subseteq Z(G)\), forcing \(G\) to be abelian.

If we can show \(G \subseteq \bigcup_{h\in H} h Z(g_k) h^{1}\) for some \(k\), this forces \(Z(g_k) = G\) and \(g_k \in Z(G)\).
 If we can do this for all \(k\), we’re done!
 Since \(g\in G\) is in some conjugacy class, write \(g=hg_j h^{1}\) for some \(h\in G\) and some \(1\leq j\leq n\).

Now use \(g_j \in Z(g_k)\) for all \(k\):
\begin{align*}
g\in G &\implies g = hg_j h^{1}&& \text{for some } h\in H \\
g_j \in Z(g_k) \forall k &\implies g\in hZ(g_k)h^{1}&&\text{for some }h, \, \forall 1\leq k \leq n \\
&\implies g\in \bigcup_{h\in G} h Z(g_k) h^{1}
&&\forall 1\leq k \leq n \\
.\end{align*}
 Note that it’s necessary to get rid of the \(h\) dependence, since now now every \(g\in G\) is in \(\bigcup_{h\in G} hZ(g_k)h^{1}\).
 Now \begin{align*} G \subseteq \bigcup_{h\in G} hZ(g_k) \subseteq G \,\,\forall k \implies Z(g_k) = G\,\, \forall k ,\end{align*} and we’re done.
Fall 2019 Midterm #2 #algebra/qual/work
Let \(G\) be a finite group and let \(P\) be a sylow \(p{\hbox{}}\)subgroup for \(p\) prime. Show that \(N(N(P)) = N(P)\) where \(N\) is the normalizer in \(G\).
Fall 2013 #2 #algebra/qual/work
Let \(G\) be a group of order 30.

Show that \(G\) has a subgroup of order 15.

Show that every group of order 15 is cyclic.

Show that \(G\) is isomorphic to some semidirect product \({\mathbf{Z}}_{15} \rtimes{\mathbf{Z}}_2\).

Exhibit three nonisomorphic groups of order 30 and prove that they are not isomorphic. You are not required to use your answer to (c).
Spring 2014 #2 #algebra/qual/work
Let \(G\subset S_9\) be a Sylow3 subgroup of the symmetric group on 9 letters.

Show that \(G\) contains a subgroup \(H\) isomorphic to \({\mathbf{Z}}_3 \times{\mathbf{Z}}_3 \times{\mathbf{Z}}_3\) by exhibiting an appropriate set of cycles.

Show that \(H\) is normal in \(G\).

Give generators and relations for \(G\) as an abstract group, such that all generators have order 3. Also exhibit elements of \(S_9\) in cycle notation corresponding to these generators.

Without appealing to the previous parts of the problem, show that \(G\) contains an element of order 9.
Fall 2014 #2 #algebra/qual/work
Let \(G\) be a group of order 96.

Show that \(G\) has either one or three 2Sylow subgroups.

Show that either \(G\) has a normal subgroup of order 32, or a normal subgroup of order 16.
Spring 2016 #3 #algebra/qual/work

State the three Sylow theorems.

Prove that any group of order 1225 is abelian.
 Write down exactly one representative in each isomorphism class of abelian groups of order 1225.
Spring 2017 #2 #algebra/qual/work

How many isomorphism classes of abelian groups of order 56 are there? Give a representative for one of each class.

Prove that if \(G\) is a group of order 56, then either the Sylow2 subgroup or the Sylow7 subgroup is normal.
 Give two nonisomorphic groups of order 56 where the Sylow7 subgroup is normal and the Sylow2 subgroup is not normal. Justify that these two groups are not isomorphic.
Fall 2017 #2 #algebra/qual/work

Classify the abelian groups of order 36.
For the rest of the problem, assume that \(G\) is a nonabelian group of order 36. You may assume that the only subgroup of order 12 in \(S_4\) is \(A_4\) and that \(A_4\) has no subgroup of order 6.

Prove that if the 2Sylow subgroup of \(G\) is normal, \(G\) has a normal subgroup \(N\) such that \(G/N\) is isomorphic to \(A_4\).

Show that if \(G\) has a normal subgroup \(N\) such that \(G/N\) is isomorphic to \(A_4\) and a subgroup \(H\) isomorphic to \(A_4\) it must be the direct product of \(N\) and \(H\).

Show that the dihedral group of order 36 is a nonabelian group of order 36 whose Sylow2 subgroup is not normal.
Fall 2012 #2 #algebra/qual/work
Let \(G\) be a group of order 30.

Show that \(G\) contains normal subgroups of orders 3, 5, and 15.

Give all possible presentations and relations for \(G\).
 Determine how many groups of order 30 there are up to isomorphism.
Fall 2018 #1 #algebra/qual/completed
Let \(G\) be a finite group whose order is divisible by a prime number \(p\). Let \(P\) be a normal \(p{\hbox{}}\)subgroup of \(G\) (so \({\left\lvert {P} \right\rvert} = p^c\) for some \(c\)).

Show that \(P\) is contained in every Sylow \(p{\hbox{}}\)subgroup of \(G\).

Let \(M\) be a maximal proper subgroup of \(G\). Show that either \(P \subseteq M\) or \(G/M  = p^b\) for some \(b \leq c\).
 Sylow 2: All Sylow \(p{\hbox{}}\)subgroups are conjugate.
 \({\left\lvert {HK} \right\rvert} = {\left\lvert {H} \right\rvert} {\left\lvert {K} \right\rvert} / {\left\lvert {H\cap K} \right\rvert}\).
 Lagrange’s Theorem: \(H\leq G \implies {\left\lvert {H} \right\rvert} \divides {\left\lvert {G} \right\rvert}\)

Every \(p{\hbox{}}\)subgroup is contained in some Sylow \(p{\hbox{}}\)subgroup, so \(P \subseteq S_p^i\) for some \(S_p^i \in \mathrm{Syl}_p(G)\).

\(P {~\trianglelefteq~}G \iff gPg^{1}= P\) for all \(g\in G\).

Let \(S_p^j\) be any other Sylow \(p{\hbox{}}\)subgroup,

Since Sylow \(p{\hbox{}}\)subgroups are all conjugate \(gS_p^i g^{1}= S_p^j\) for some \(g\in G\).

Then \begin{align*} P = gPg^{1}\subseteq gS_p^i g^{1}= S_p^j .\end{align*}

If \(P\) is not contained in \(M\), then \(M < MP\) is a proper subgroup

By maximality of \(M\), \(MP = G\)

Note that \(M\cap P \leq P\) and \({\left\lvert {P} \right\rvert} = p^c\) implies \({\left\lvert {M\cap P} \right\rvert} = p^a\) for some \(a\leq c\) by Lagrange

Then write \begin{align*} G = MP &\iff {\left\lvert {G} \right\rvert} = \frac{{\left\lvert {M} \right\rvert} {\left\lvert {P} \right\rvert}}{{\left\lvert {M\cap P} \right\rvert}} \\ \\ &\iff { {\left\lvert {G} \right\rvert} \over {\left\lvert {M} \right\rvert}} = {{\left\lvert {P} \right\rvert} \over {\left\lvert {M\cap P} \right\rvert}} = {p^c \over p^a} = p^{ca} \coloneqq p^b \end{align*}
where \(a\leq c \implies 0 \leq cb \leq c\) so \(0\leq b \leq c\).
Fall 2019 #2 #algebra/qual/completed
Let \(G\) be a group of order 105 and let \(P, Q, R\) be Sylow 3, 5, 7 subgroups respectively.

Prove that at least one of \(Q\) and \(R\) is normal in \(G\).

Prove that \(G\) has a cyclic subgroup of order 35.

Prove that both \(Q\) and \(R\) are normal in \(G\).

Prove that if \(P\) is normal in \(G\) then \(G\) is cyclic.

The \(pqr\) theorem.

Sylow 3: \({\left\lvert {G} \right\rvert} = p^n m\) implies \(n_p \divides m\) and \(n_p \cong 1 \operatorname{mod}p\).

Theorem: If \(H, K \leq G\) and any of the following conditions hold, \(HK\) is a subgroup:
 \(H{~\trianglelefteq~}G\) (wlog)
 \([H, K] = 1\)
 \(H \leq N_G(K)\)

Theorem: For a positive integer \(n\), all groups of order \(n\) are cyclic \(\iff n\) is squarefree and, for each pair of distinct primes \(p\) and \(q\) dividing \(n\), \(q  1 \neq 0 \operatorname{mod}p\).

Theorem: \begin{align*} A_i{~\trianglelefteq~}G, \quad G = A_1 \cdots A_k,\quad A_k \cap\prod_{i\neq k} A_i = \emptyset \implies G = \prod A_i .\end{align*}

The intersection of subgroups is a again a subgroup.

Any subgroups of coprime order intersect trivially?

We have

\(n_3 \divides 5\cdot 7, \quad n_3 \cong 1 \operatorname{mod}3 \implies n_3 \in \left\{{1, 5, 7, 35}\right\} \setminus \left\{{5, 35}\right\}\)

\(n_5 \divides 3\cdot 7, \quad n_5 \cong 1 \operatorname{mod}5 \implies n_5 \in \left\{{1, 3, 7, 21}\right\}\setminus \left\{{3, 7}\right\}\)

\(n_7 \divides 3\cdot 5, \quad n_7 \cong 1 \operatorname{mod}7 \implies n_7 \in \left\{{1, 3, 5, 15}\right\}\setminus\left\{{3, 5}\right\}\)

Thus \begin{align*} n_3 \in \left\{{1, 7}\right\} \quad n_5 \in \left\{{1, 21}\right\} \quad n_7 \in \left\{{1, 15}\right\} .\end{align*}

Toward a contradiction, if \(n_5\neq 1\) and \(n_7 \neq 1\), then \begin{align*} {\left\lvert {{\operatorname{Syl}}(5) \cup{\operatorname{Syl}}(7)} \right\rvert} = (51)n_5 + (71)n_7 + 1 &= 4(21) + 6(15) = 174 > 105 \text{ elements} \end{align*} using the fact that Sylow \(p{\hbox{}}\)subgroups for distinct primes \(p\) intersect trivially (?).
 By (a), either \(Q\) or \(R\) is normal.
 Thus \(QR \leq G\) is a subgroup, and it has order \({\left\lvert {Q} \right\rvert} \cdot {\left\lvert {R} \right\rvert} = 5\cdot 7 = 35\).
 By the \(pqr\) theorem, since \(5\) does not divide \(71=6\), \(QR\) is cyclic.
\todo[inline]{Part (b) not finished!}

We want to show \(Q, R{~\trianglelefteq~}G\), so we proceed by showing \(\textbf{not }\qty{n_5 = 21 \text{ or } n_7 = 15}\), which is equivalent to \(\qty{n_5 = 1 \text{ and } n_7 = 1}\) by the previous restrictions.

Note that we can write \begin{align*} G = \left\{{\text{elements of order } n}\right\} {\textstyle\coprod}\left\{{\text{elements of order not } n}\right\} .\end{align*} for any \(n\), so we count for \(n=5, 7\):
 Elements in \(QR\) of order not equal to 5: \({\left\lvert {QR  Q\left\{{\operatorname{id}}\right\} + \left\{{\operatorname{id}}\right\}} \right\rvert} = 35  5 + 1 = 31\)
 Elements in \(QR\) of order not equal to 7: \({\left\lvert {QR  \left\{{\operatorname{id}}\right\}R + \left\{{\operatorname{id}}\right\}} \right\rvert} = 35  7 + 1 = 29\)

Since \(QR \leq G\), we have
 Elements in \(G\) of order not equal to 5 \(\geq 31\).
 Elements in \(G\) of order not equal to 7 \(\geq 29\).

Now both cases lead to contradictions:

\(n_5 = 21\): \begin{align*} {\left\lvert {G} \right\rvert} &= {\left\lvert {\left\{{\text{elements of order } 5}\right\} {\textstyle\coprod}\left\{{\text{elements of order not } 5}\right\}} \right\rvert} \\ &\geq n_5(51) + 31 = 21(4) + 31 = 115 > 105 = {\left\lvert {G} \right\rvert} .\end{align*}

\(n_7 = 15\): \begin{align*} {\left\lvert {G} \right\rvert} &= {\left\lvert {\left\{{\text{elements of order } 7}\right\} {\textstyle\coprod}\left\{{\text{elements of order not } 7}\right\}} \right\rvert} \\ &\geq n_7(71) + 29 = 15(6) + 29 = 119 > 105 = {\left\lvert {G} \right\rvert} .\end{align*}

Suppose \(P\) is normal and recall \({\left\lvert {P} \right\rvert} = 3, {\left\lvert {Q} \right\rvert} = 5, {\left\lvert {R} \right\rvert} = 7\).
 \(P\cap QR = \left\{{e}\right\}\) since \((3, 35) = 1\)
 \(R\cap PQ = \left\{{e}\right\}\) since \((5, 21) = 1\)
 \(Q\cap RP = \left\{{e}\right\}\) since \((7, 15) = 1\)
We also have \(PQR = G\) since \({\left\lvert {PQR} \right\rvert} = {\left\lvert {G} \right\rvert}\) (???).
We thus have an internal direct product \begin{align*} G \cong P\times Q \times R \cong {\mathbf{Z}}_3 \times{\mathbf{Z}}_5 \times{\mathbf{Z}}_7 \cong {\mathbf{Z}}_{105} .\end{align*} by the Chinese Remainder Theorem, which is cyclic.
Spring 2021 #3 #algebra/qual/work

Show that every group of order \(p^2\) with \(p\) prime is abelian.

State the 3 Sylow theorems.

Show that any group of order \(4225 = 5^2 13^2\) is abelian.

Write down one representative from each isomorphism class of abelian groups of order 4225.
Fall 2020 #1 #algebra/qual/work

Using Sylow theory, show that every group of order \(2p\) where \(p\) is prime is not simple.

Classify all groups of order \(2p\) and justify your answer. For the nonabelian group(s), give a presentation by generators and relations.
Fall 2020 #2 #algebra/qual/work
Let \(G\) be a group of order 60 whose Sylow 3subgroup is normal.

Prove that \(G\) is solvable.

Prove that the Sylow 5subgroup is also normal.