Dummit And Foote Solutions Chapter 4 Overleaf High Quality | RECENT – PICK |

\maketitle

\subsection*Exercise 4.1.1 \textitProve that every cyclic group is abelian. Dummit And Foote Solutions Chapter 4 Overleaf High Quality

\subsection*Exercise 4.6.11 \textitFind the center of $D_8$ (the dihedral group of order 8). \maketitle \subsection*Exercise 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 The image is $\Inn(G)$

% Theorem-like environments \newtheorem*propositionProposition \newtheorem*lemmaLemma

% Solution environment \newtcolorboxsolution colback=gray!5, colframe=blue!30!black, arc=2mm, title=Solution, fonttitle=\bfseries

\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