Dummit And Foote Solutions Chapter 4 Overleaf High Quality Review

% Custom commands \newcommand\Z\mathbbZ \newcommand\Q\mathbbQ \newcommand\R\mathbbR \newcommand\C\mathbbC \newcommand\F\mathbbF \newcommand\Aut\operatornameAut \newcommand\Inn\operatornameInn \newcommand\sgn\operatornamesgn \newcommand\ord\operatornameord \newcommand\lcm\operatornamelcm \renewcommand\phi\varphi

\beginsolution Let $|G| = p^2$. The center $Z(G)$ is nontrivial by the class equation (since $|G| = |Z(G)| + \sum |G:C_G(g_i)|$, each term divisible by $p$). So $|Z(G)| = p$ or $p^2$. Dummit And Foote Solutions Chapter 4 Overleaf High Quality

If $|Z(G)| = p^2$, then $G$ is abelian. If $|Z(G)| = p$, then $G/Z(G)$ has order $p$, hence is cyclic. A well-known lemma states: if $G/Z(G)$ is cyclic, then $G$ is abelian. So $G$ is abelian in both cases. \endsolution If $|Z(G)| = p^2$, then $G$ is abelian

\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)$. So $G$ is abelian in both cases

\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$.

\beginsolution $D_8 = \langle r, s \mid r^4 = s^2 = 1, srs = r^-1 \rangle$. The center $Z(D_8)$ consists of elements commuting with all group elements.

\subsection*Exercise 4.8.3 \textitShow that $\Inn(G) \cong G/Z(G)$.