\subsection*Problem S4.1 \textitClassify all groups of order 8 up to isomorphism.
\beginsolution We know $\Aut(\Z/n\Z) \cong (\Z/n\Z)^\times$, the group of units modulo $n$. For $n=8$, \[ (\Z/8\Z)^\times = \1,3,5,7\. \] This group has order 4 and each non-identity element has order 2: \beginalign* 3^2 &= 9 \equiv 1 \pmod8,\\ 5^2 &= 25 \equiv 1 \pmod8,\\ 7^2 &= 49 \equiv 1 \pmod8. \endalign* The only group of order 4 with all non-identity elements of order 2 is $\Z/2\Z \times \Z/2\Z$ (Klein four). Hence $\Aut(\Z/8\Z) \cong \Z/2\Z \times \Z/2\Z$. \endsolution
\beginsolution Recall: \beginitemize \item Centralizer: $C_G(H) = \ g \in G \mid gh = hg \ \forall h \in H \$. \item Normalizer: $N_G(H) = \ g \in G \mid gHg^-1 = H \$. \enditemize If $g \in C_G(H)$, then for all $h \in H$, $ghg^-1 = h \in H$, so $gHg^-1 = H$. Hence $g \in N_G(H)$. Therefore $C_G(H) \subseteq N_G(H)$. Both are subgroups of $G$, so $C_G(H) \le N_G(H)$. \endsolution
\subsection*Exercise 4.6.11 \textitFind the center of $D_8$ (the dihedral group of order 8). Dummit And Foote Solutions Chapter 4 Overleaf High Quality
Hence $Z(D_8) = \1, r^2\ \cong \Z/2\Z$. \endsolution
% Solution environment \newtcolorboxsolution colback=gray!5, colframe=blue!30!black, arc=2mm, title=Solution, fonttitle=\bfseries
\tableofcontents \newpage
\newpage \section*Supplementary Problems for Chapter 4
\beginsolution Let $[G:H] = 2$, so $H$ has exactly two left cosets: $H$ and $gH$ for any $g \notin H$. Similarly, the right cosets are $H$ and $Hg$. For any $g \notin H$, we have $gH = G \setminus H = Hg$. Thus left and right cosets coincide, so $H \trianglelefteq G$. \endsolution
\subsection*Exercise 4.2.6 \textitLet $G$ be a group and let $H$ be a subgroup of $G$. Prove that $C_G(H) \le N_G(H)$. \subsection*Problem S4
\beginsolution Let $|H| = n$ and suppose $H$ is the only subgroup of $G$ with order $n$. For any $g \in G$, consider $gHg^-1$. Conjugation is an automorphism of $G$, so $|gHg^-1| = |H| = n$. Thus $gHg^-1$ is also a subgroup of $G$ of order $n$. By uniqueness, $gHg^-1 = H$ for all $g \in G$. Hence $H \trianglelefteq G$. \endsolution
Check powers of $r$: $r$ does not commute with $s$ since $srs = r^-1 \ne r$ unless $r^2=1$, but $r^2$ has order 2. Compute $r^2 s = s r^-2 = s r^2$ (since $r^-2=r^2$), so $r^2$ commutes with $s$. Also $r^2$ commutes with $r$, thus with all elements. $r$ and $r^3$ are not central. $s$ is not central (doesn’t commute with $r$). Similarly $rs$ not central.
\subsection*Exercise 4.8.3 \textitShow that $\Inn(G) \cong G/Z(G)$. \] This group has order 4 and each
\subsection*Problem S4.1 \textitClassify all groups of order 8 up to isomorphism.
\beginsolution We know $\Aut(\Z/n\Z) \cong (\Z/n\Z)^\times$, the group of units modulo $n$. For $n=8$, \[ (\Z/8\Z)^\times = \1,3,5,7\. \] This group has order 4 and each non-identity element has order 2: \beginalign* 3^2 &= 9 \equiv 1 \pmod8,\\ 5^2 &= 25 \equiv 1 \pmod8,\\ 7^2 &= 49 \equiv 1 \pmod8. \endalign* The only group of order 4 with all non-identity elements of order 2 is $\Z/2\Z \times \Z/2\Z$ (Klein four). Hence $\Aut(\Z/8\Z) \cong \Z/2\Z \times \Z/2\Z$. \endsolution
\beginsolution Recall: \beginitemize \item Centralizer: $C_G(H) = \ g \in G \mid gh = hg \ \forall h \in H \$. \item Normalizer: $N_G(H) = \ g \in G \mid gHg^-1 = H \$. \enditemize If $g \in C_G(H)$, then for all $h \in H$, $ghg^-1 = h \in H$, so $gHg^-1 = H$. Hence $g \in N_G(H)$. Therefore $C_G(H) \subseteq N_G(H)$. Both are subgroups of $G$, so $C_G(H) \le N_G(H)$. \endsolution
\subsection*Exercise 4.6.11 \textitFind the center of $D_8$ (the dihedral group of order 8).
Hence $Z(D_8) = \1, r^2\ \cong \Z/2\Z$. \endsolution
% Solution environment \newtcolorboxsolution colback=gray!5, colframe=blue!30!black, arc=2mm, title=Solution, fonttitle=\bfseries
\tableofcontents \newpage
\newpage \section*Supplementary Problems for Chapter 4
\beginsolution Let $[G:H] = 2$, so $H$ has exactly two left cosets: $H$ and $gH$ for any $g \notin H$. Similarly, the right cosets are $H$ and $Hg$. For any $g \notin H$, we have $gH = G \setminus H = Hg$. Thus left and right cosets coincide, so $H \trianglelefteq G$. \endsolution
\subsection*Exercise 4.2.6 \textitLet $G$ be a group and let $H$ be a subgroup of $G$. Prove that $C_G(H) \le N_G(H)$.
\beginsolution Let $|H| = n$ and suppose $H$ is the only subgroup of $G$ with order $n$. For any $g \in G$, consider $gHg^-1$. Conjugation is an automorphism of $G$, so $|gHg^-1| = |H| = n$. Thus $gHg^-1$ is also a subgroup of $G$ of order $n$. By uniqueness, $gHg^-1 = H$ for all $g \in G$. Hence $H \trianglelefteq G$. \endsolution
Check powers of $r$: $r$ does not commute with $s$ since $srs = r^-1 \ne r$ unless $r^2=1$, but $r^2$ has order 2. Compute $r^2 s = s r^-2 = s r^2$ (since $r^-2=r^2$), so $r^2$ commutes with $s$. Also $r^2$ commutes with $r$, thus with all elements. $r$ and $r^3$ are not central. $s$ is not central (doesn’t commute with $r$). Similarly $rs$ not central.
\subsection*Exercise 4.8.3 \textitShow that $\Inn(G) \cong G/Z(G)$.