\beginexercise Prove that if $P$ is a $p$-group, then $P$ has a non-trivial center. \endexercise
Start today: create a new Overleaf project, paste the preamble provided, and tackle the first exercise. You’ll be amazed how quickly the orbit-stabilizer theorem becomes second nature – and how beautiful your final PDF looks. Dummit And Foote Solutions Chapter 4 Overleaf
\beginprob[4.2.8] Transitive action, $|X|>1$ $\implies$ $\exists g$ with $\Fix(g)=\emptyset$. \endprob \beginsoln Suppose for contradiction that every $g\in G$ fixes at least one $x\in X$. Apply Burnside's Lemma (later, but allowable). Alternatively, note that transitive implies all stabilizers are conjugate. If every $g$ had a fixed point, then the union over $g$ of $\Fix(g)$ would be $X$. But a counting argument with the class equation for the action of $G$ on $X$ forces $|X|=1$, contradiction. (Detailed counting: $\sum_g |\Fix(g)| = \sum_x\in X |\Stab(x)| = |X|\cdot |\Stab(x_0)|$. Since action transitive, $|\Stab(x_0)| = |G|/|X|$, so sum $=|G|$. Average fixed points =1. If every $g$ fixes at least one point, average $\ge1$, equality only if each fixes exactly one. Then each stabilizer trivial, so $|G|=|X|$ and $|G|=|X|\cdot1$, fine. But can we have all $g$ with a fixed point? Yes, consider regular action? Actually, need a concrete constructive example: in $S_3$ acting on $\1,2,3\$, take $g=(123)$ has no fixed point. So statement is true. The rigorous proof: Use conjugacy classes of $G$ and the fact that in a transitive action, $\sum_g\in G |\Fix(g)| = |G|$. If every $g$ has a fixed point, $|\Fix(g)|\ge 1$ for all $g$, sum $\ge |G|$, so $|\Fix(g)|=1$ for all $g$. Then in particular the identity has $|X|$ fixed points, so $|X|=1$, contradiction. \endsoln \beginexercise Prove that if $P$ is a $p$-group,
% -------------------------------------------------------------- % Custom Commands for Dummit & Foote Notation % -------------------------------------------------------------- \newcommand\Z\mathbbZ \newcommand\R\mathbbR \newcommand\C\mathbbC \newcommand\Q\mathbbQ \newcommand\F\mathbbF \newcommand\Stab\textStab \newcommand\Fix\textFix \newcommand\Orb\textOrb \newcommand\sgn\textsgn \newcommand\Aut\textAut \newcommand\Inn\textInn \newcommand\soc\textSoc \newcommand\Ker\textKer \newcommand\Image\textIm \beginprob[4
\beginsolution Fix $a \in A$. By transitivity, $A = \Orb(a)$. The Orbit-Stabilizer Theorem states: [ |\Orb(a)| = \fracG. ] Thus $|A| = |G| / |\Stab_G(a)|$, so $|A| \cdot |\Stab_G(a)| = |G|$. Hence $|A|$ divides $|G|$. \endsolution
While this article provides templates and a few examples, a full set of solutions for Chapter 4 (all 50+ problems) is a massive undertaking. Here are legitimate sources: