\newpage \section*Supplementary Problems for Chapter 4
\beginsolution Define $\phi: G \to \Aut(G)$ by $\phi(g) = \sigma_g$ where $\sigma_g(x) = gxg^-1$. The image is $\Inn(G)$. Kernel: $\phi(g) = \textid_G$ iff $gxg^-1=x$ for all $x\in G$ iff $g \in Z(G)$. By the first isomorphism theorem, \[ G / Z(G) \cong \Inn(G). \] \endsolution Dummit And Foote Solutions Chapter 4 Overleaf High Quality
\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 By the first isomorphism theorem, \[ G / Z(G) \cong \Inn(G)
\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 \] This group has order 4 and each
\beginsolution Let $G = \langle g \rangle$, $|G|=n$. For $d \mid n$, write $n = dk$. Then $\langle g^k \rangle$ has order $d$. Uniqueness: if $H \le G$, $|H|=d$, then $H = \langle g^m \rangle$ where $g^m$ has order $d$, so $n / \gcd(n,m) = d$, implying $\gcd(n,m) = k$. But $\langle g^m \rangle = \langle g^\gcd(n,m) \rangle = \langle g^k \rangle$. So unique. \endsolution
\subsection*Problem S4.2 \textitLet $G$ be a cyclic group of order $n$. Prove that for each divisor $d$ of $n$, there exists exactly one subgroup of order $d$.
% Theorem-like environments \newtheorem*propositionProposition \newtheorem*lemmaLemma