Dummit And Foote Solutions Chapter 4 Overleaf Review

\beginexercise[Section 4.3, Exercise 15] Let $G$ be a $p$-group and let $N$ be a nontrivial normal subgroup of $G$. Prove that $N \cap Z(G) \neq 1$. \endexercise

\beginsolution Let $n_3$ denote the number of Sylow $3$-subgroups. By Sylow's theorems, $n_3 \equiv 1 \pmod3$ and $n_3 \mid 4$. The divisors of $4$ are $1,2,4$. Which are $\equiv 1 \pmod3$? $1 \equiv 1 \pmod3$, $4 \equiv 1 \pmod3$, but $2 \equiv 2 \pmod3$. Hence $n_3 = 1$ or $n_3 = 4$. No other possibilities. \endsolution Dummit And Foote Solutions Chapter 4 Overleaf

You can copy and paste this code directly into a new Overleaf project. \beginexercise[Section 4