Exercise 4.3.1: Show that $\mathbbQ(\zeta_5)/\mathbbQ$ is a Galois extension, where $\zeta_5$ is a primitive $5$th root of unity.
These are the "Big Three" theorems that tell you exactly when a group of a certain order must have a subgroup of prime-power order. They are the bread and butter of group classification problems. The Simplicity of Ancap A sub n (Section 4.6): Here, you prove that the alternating group Ancap A sub n is simple for abstract algebra dummit and foote solutions chapter 4
This is one of the most popular unofficial solution guides. It’s well-typeset in LaTeX and covers many exercises from Chapter 4. You can view the PDF directly on Greg Kikola's Personal Site Exercise 4
If you are stuck on a specific problem:
|G|=|Z(G)|+∑[G∶CG(gi)]the absolute value of cap G end-absolute-value equals the absolute value of cap Z open paren cap G close paren end-absolute-value plus sum of open bracket cap G colon cap C sub cap G open paren g sub i close paren close bracket Use this to prove that groups of order (p-groups) always have a non-trivial center. 2. Applying Sylow’s Theorems The Simplicity of Ancap A sub n (Section 4
Chapter 4 of Abstract Algebra is where the "gears" of group theory are revealed. While previous chapters define what groups are, Chapter 4 focuses on Group Actions —the study of how groups move and manipulate sets.