Foote Solutions Chapter 4 Overleaf — Dummit And

\beginsolution Let $H = N_G(P)$. By definition, $P \triangleleft H$ (since $P$ is normal in its normalizer). Hence $P$ is the unique Sylow $p$-subgroup of $H$. Now let $g \in N_G(H)$. Then $gPg^-1 \subseteq gHg^-1 = H$, so $gPg^-1$ is also a Sylow $p$-subgroup of $H$. By uniqueness, $gPg^-1 = P$. Thus $g \in N_G(P) = H$. Therefore $N_G(H) \subseteq H$, and the reverse inclusion is trivial. So $N_G(H) = H$. \endsolution

\beginexercise[Section 4.5, Exercise 3] Let $G$ be a finite group, $p$ a prime, and let $P$ be a Sylow $p$-subgroup of $G$. Prove that $N_G(N_G(P)) = N_G(P)$. \endexercise Dummit And Foote Solutions Chapter 4 Overleaf

\beginexercise[Section 4.2, Exercise 8] Let $G$ be a $p$-group acting on a finite set $A$. Prove that [ |A| \equiv |\Fix(A)| \pmodp, ] where $\Fix(A) = a \in A : g \cdot a = a \text for all g \in G$. \endexercise \beginsolution Let $H = N_G(P)$

\beginsolution Let $G$ act on $G/H = gH : g \in G$ by $g \cdot (xH) = (gx)H$. \beginenumerate \item \textbfTransitivity: Take any two cosets $aH, bH \in G/H$. Choose $g = ba^-1 \in G$. Then [ g \cdot (aH) = (ba^-1a)H = bH. ] Hence, there is exactly one orbit, so the action is transitive. \item \textbfStabilizer of $1H$: [ \Stab_G(1H) = g \in G : g \cdot (1H) = 1H = g \in G : gH = H. ] But $gH = H$ if and only if $g \in H$. Therefore $\Stab_G(1H) = H$. \endenumerate \endsolution Now let $g \in N_G(H)$

\beginabstract This document presents rigorous solutions to selected exercises from Chapter 4 of Dummit and Foote's \textitAbstract Algebra, Third Edition. The focus is on group actions, orbit-stabilizer theorem, $p$-groups, and applications to Sylow theory. Each solution emphasizes clear reasoning and formal justification. \endabstract

\beginexercise[Section 4.1, Exercise 3] Let $G$ be a group and let $H \leq G$. Prove that the action of $G$ on the set of left cosets $G/H$ by left multiplication is transitive. Determine $\Stab_G(1H)$. \endexercise

\beginexercise[Section 4.4, Exercise 6] Prove that if $|G| = p^n$ for $p$ prime and $n \geq 1$, then $Z(G)$ is nontrivial. \endexercise