Dummit And Foote Solutions Chapter 4 Overleaf High Quality Access

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

\beginsolution Let $G = \langle g \rangle$ be a cyclic group. Then every element $a, b \in G$ can be written as $a = g^m$, $b = g^n$ for some integers $m, n$. Then \[ ab = g^m g^n = g^m+n = g^n+m = g^n g^m = ba. \] Thus $G$ is abelian. \endsolution 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 % Solution environment \newtcolorboxsolution colback=gray