. It is best used to verify your own work or to provide a hint when stuck on a specific mapping. However, because it is an unofficial supplement, you should always double-check the final steps of a proof against the definitions provided in the text. from Chapter 4 to verify a solution?
\beginproof By Sylow, $n_q \equiv 1 \pmodq$ and $n_q \mid p$, so $n_q=1$. Thus the Sylow $q$-subgroup $Q$ is normal. $n_p \equiv 1 \pmodp$ and $n_p \mid q$, so $n_p=1$ (since $p<q$ and $p\nmid q-1$ forces $n_p\neq q$). Hence $G$ is direct product of cyclic groups of orders $p$ and $q$, which are coprime, so $G\cong C_pq$ cyclic. \endproof dummit+and+foote+solutions+chapter+4+overleaf+full
\beginproof Write $A$ as a disjoint union of orbits. Each nontrivial orbit has size dividing $|G|$, hence divisible by $p$. Thus $|A| \equiv |\operatornameFix(G)| \pmodp$. \endproof from Chapter 4 to verify a solution
: Groups Acting on Themselves by Left Multiplication (Cayley's Theorem). $n_p \equiv 1 \pmodp$ and $n_p \mid q$,
This is arguably the most important section. Solutions here involve showing that for any prime , there exists a subgroup of order pkp to the k-th power . You will spend a lot of time calculating Tips for Finding "Full" Solutions