\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{fundamental theorem of finitely generated abelian groups}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{group_theory}{}\paragraph*{{Group Theory}}\label{group_theory}

[[!include group theory - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{statement}{Statement}\dotfill \pageref*{statement} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{GraphicalRepresentation}{Graphical representation}\dotfill \pageref*{GraphicalRepresentation} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{statement}{}\subsection*{{Statement}}\label{statement}

\begin{theorem}
\label{FundamentalTheoremOfFinitelyGeneratedAbelianGroups}\hypertarget{FundamentalTheoremOfFinitelyGeneratedAbelianGroups}{}
\textbf{(fundamental theorem of finitely generated abelian groups)}

Every [[finitely generated object|finitely generated]] [[abelian group]] $A$ is [[isomorphism|isomorphic]] to a [[direct sum]] of [[p-primary groups|p-primary]] [[cyclic groups]] $\mathbb{Z}/p^k \mathbb{Z}$ (for $p$ a [[prime number]] and $k$ a [[natural number]] ) and copies of the infinite cyclic group $\mathbb{Z}$:

\begin{displaymath}
A 
  \;\simeq\;
  \mathbb{Z}^n
   \oplus
  \underset{i}{\bigoplus}
   \mathbb{Z}/p_i^{k_i} \mathbb{Z}
  \,.
\end{displaymath}
The summands of the form $\mathbb{Z}/p^k \mathbb{Z}$ are also called the \emph{[[p-primary group|p-primary]] components} of $A$. Notice that the $p_i$ need not all be distinct.

\textbf{fundamental theorem of finite abelian groups}:

In particular every [[finite group|finite]] [[abelian group]] is of this form for $n = 0$, hence is a [[direct sum]] of [[cyclic groups]].

\textbf{fundamental theorem of cyclic groups}:

In particular every [[cyclic group]] $\mathbb{Z}/n\mathbb{Z}$ is a [[direct sum]] of cyclic groups of the form

\begin{displaymath}
\mathbb{Z}/n\mathbb{Z}
    \simeq
  \underset{i}{\bigoplus} \mathbb{Z}/ p_i^{k_i} \mathbb{Z}
\end{displaymath}
where all the $p_i$ are distinct and $k_i$ is the maximal power of the [[prime factor]] $p_i$ in the prime decomposition of $n$.

Specifically, for each natural number $d$ dividing $n$ it contains $\mathbb{Z}/d\mathbb{Z}$ as the [[subgroup]] generated by $n/d \in \mathbb{Z}\to \mathbb{Z}/n\mathbb{Z}$. In fact the [[lattice of subgroups]] of $\mathbb{Z}/n\mathbb{Z}$ is the [[formal dual]] of the lattice of natural numbers $\leq n$ ordered by inclusion.

\end{theorem}
(e.g. \hyperlink{Roman12}{Roman 12, theorem 13.4}, \hyperlink{Navarro03}{Navarro 03}) for cyclic groups e.g. (\hyperlink{Aluffi09}{Aluffi 09, pages 83-84})

This is a special case of the \emph{[[ structure theorem for finitely generated modules over a principal ideal domain]]}.

\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

The following examples may be useful for illustrative or instructional purposes.

\begin{example}
\label{TwoFiniteGroupsOfOrderp2}\hypertarget{TwoFiniteGroupsOfOrderp2}{}
For $p$ a [[prime number]], there are, up to [[isomorphism]], two [[abelian groups]] of [[order of a group|order]] $p^2$, namely

\begin{displaymath}
(\mathbb{Z}/p\mathbb{Z}) \oplus (\mathbb{Z}/p\mathbb{Z})
\end{displaymath}
and

\begin{displaymath}
\mathbb{Z}/p^2 \mathbb{Z}
  \,.
\end{displaymath}
\end{example}
\begin{example}
\label{}\hypertarget{}{}
For $p_1$ and $p_2$ two distinct [[prime numbers]], $p_1 \neq p_2$, then there is, up to isomorphism, precisely one [[abelian group]] of order $p_1 p_2$, namely

\begin{displaymath}
\mathbb{Z}/p_1 \mathbb{Z}
  \oplus
  \mathbb{Z}/p_2 \mathbb{Z}
  \,.
\end{displaymath}
This is equivalently the [[cyclic group]]

\begin{displaymath}
\mathbb{Z}/p_1 p_2 \mathbb{Z}
    \simeq
  \mathbb{Z}/p_1 \mathbb{Z}
    \oplus
  \mathbb{Z}/p_2 \mathbb{Z}
  \,.
\end{displaymath}
The isomorphism is given by sending $1$ to $(p_2,p_1)$.

\end{example}
\begin{example}
\label{}\hypertarget{}{}
Moving up, for two distinct prime numbers $p_1$ and $p_2$, there are exactly two abelian groups of order $p_1^2 p_2$, namely $(\mathbb{Z}/p_1 \mathbb{Z})\oplus (\mathbb{Z}/p_1 \mathbb{Z}) \oplus (\mathbb{Z}/p_2 \mathbb{Z})$ and $(\mathbb{Z}/p_1^2 \mathbb{Z})\oplus (\mathbb{Z}/p_2 \mathbb{Z})$. The latter is the [[cyclic group]] of order $p_1^2 p_2$. For instance, $\mathbb{Z}/12\mathbb{Z} \cong (\mathbb{Z}/4 \mathbb{Z})\oplus (\mathbb{Z}/3 \mathbb{Z})$.

\end{example}
\begin{example}
\label{}\hypertarget{}{}
Similarly, there are four abelian groups of order $p_1^2 p_2^2$, three abelian groups of order $p_1^3 p_2$, and so on.

More generally, theorem \ref{FundamentalTheoremOfFinitelyGeneratedAbelianGroups} may be used to compute exactly how many abelian groups there are of any finite [[order of a group|order]] $n$ (up to [[isomorphism]]): write down its [[prime factorization]], and then for each prime power $p^k$ appearing therein, consider how many ways it can be written as a product of positive powers of $p$. That is, each [[partition]] of $k$ yields an abelian group of order $p^k$. Since the choices can be made independently for each $p$, the numbers of such partitions for each $p$ are then multiplied.

Of all these abelian groups of order $n$, of course, one of them is the [[cyclic group]] of order $n$. The fundamental theorem of cyclic groups says it is the one that involves the one-element partitions $k= [k]$, i.e. the cyclic groups of order $p^k$ for each $p$.

\end{example}
\hypertarget{GraphicalRepresentation}{}\subsection*{{Graphical representation}}\label{GraphicalRepresentation}

\begin{remark}
\label{PrimaryDecompositionGraphicalRepresentation}\hypertarget{PrimaryDecompositionGraphicalRepresentation}{}
Theorem \ref{FundamentalTheoremOfFinitelyGeneratedAbelianGroups} says that for any [[prime number]] $p$, the [[p-primary group|p-primary part]] of any finitely generated abelian group is determined uniquely up to [[isomorphism]] by

\begin{itemize}%
\item a total number $k \in \mathbb{N}$ of powers of $p$;


\item a [[partition]] $k = k_1 + k_2 + \cdots + k_q$.



\end{itemize}
The corresponding [[p-primary group]] is

\begin{displaymath}
\underoverset{i = 1}{q}{\bigoplus} \mathbb{Z}/p^{k_i} \mathbb{Z}
  \,.
\end{displaymath}
In the context of [[Adams spectral sequences]] it is conventional to depict this information graphically by

\begin{itemize}%
\item $k$ dots;


\item of which sequences of length $k_i$ are connected by vertical lines, for $i \in \{1, \cdots, q\}$.



\end{itemize}
For example the graphical representation of the $p$-primary group

\begin{displaymath}
\mathbb{Z}/p\mathbb{Z} 
    \oplus 
  \mathbb{Z}/p\mathbb{Z}
    \oplus 
  \mathbb{Z}/p^3 \mathbb{Z}
    \oplus
  \mathbb{Z}/p^4\mathbb{Z}
\end{displaymath}
is

\begin{displaymath}
\itexarray{
      &&& \bullet
      \\
      && & \vert
      \\
      && \bullet & \bullet
      \\
      && \vert & \vert
      \\
      && \bullet & \bullet
      \\
      && \vert & \vert
      \\
     \bullet & \bullet & \bullet & \bullet
  }
  \,.
\end{displaymath}
This notation comes from the convention of drawing stable pages of [[multiplicative spectral sequence|multiplicative]] [[Adams spectral sequences]] and reading them as encoding the \href{spectral+sequence#ExtensionProblem}{extension problem} for computing the homotopy groups that the spectral sequence converges to:

\begin{itemize}%
\item a dot at the top of a vertical sequence of dots denotes the group $\mathbb{Z}/p\mathbb{Z}$;


\item inductively, a dot vetically below a sequence of dots denotes a [[group extension]] of $\mathbb{Z}/p\mathbb{Z}$ by the group represented by the sequence of dots above;


\item a vertical line between two dots means that the the generator of the group corresponding to the upper dot is, regarded after inclusion into the group extension, the product by $p$ of the generator of the group corresponding to the lower dot, regarded as represented by the generator of the group extension.



\end{itemize}
So for instance

\begin{displaymath}
\itexarray{
    \bullet
    \\
    \vert
    \\
    \bullet
  }
\end{displaymath}
stands for an [[abelian group]] $A$ which forms a [[group extension]] of the form

\begin{displaymath}
\itexarray{
    \mathbb{Z}/p\mathbb{Z}
    \\
    \downarrow
    \\
    A
    \\
    \downarrow
    \\
    \mathbb{Z}/p\mathbb{Z}
  }
\end{displaymath}
such that multiplication by $p$ takes the generator of the bottom copy of $\mathbb{Z}/p\mathbb{Z}$, regarded as represented by the generator of $A$, to the generator of the image of the top copy of $\mathbb{Z}/p\mathbb{Z}$.

This means that of the two possible choices of extensions (by example \ref{TwoFiniteGroupsOfOrderp2}) $A$ corresponds to the non-trivial extension $A = \mathbb{Z}/p^2\mathbb{Z}$. Because then in

\begin{displaymath}
\itexarray{
    \mathbb{Z}/p\mathbb{Z} & 
    \\
    \downarrow
    \\
    \mathbb{Z}/p^2 \mathbb{Z} & 
    \\
    \downarrow
    \\
    \mathbb{Z}/p\mathbb{Z} & 
  }
\end{displaymath}
the image of the generator 1 of the first group in the middle group is $p = p \cdot 1$.

Conversely, the notation

\begin{displaymath}
\itexarray{
    \bullet
    \\
    \\
    \bullet
  }
\end{displaymath}
stands for an [[abelian group]] $A$ which forms a [[group extension]] of the form

\begin{displaymath}
\itexarray{
    \mathbb{Z}/p\mathbb{Z}
    \\
    \downarrow
    \\
    A
    \\
    \downarrow
    \\
    \mathbb{Z}/p\mathbb{Z}
  }
\end{displaymath}
such that multiplication by $p$ of the generator of the top group in the middle group does \emph{not} yield the generator of the bottom group.

This means that of the two possible choices (by example \ref{TwoFiniteGroupsOfOrderp2}) $A$ corresponds to the \emph{trivial} extension $A = \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z}$. Because then in

\begin{displaymath}
\itexarray{
    \mathbb{Z}/p\mathbb{Z}
    \\
    \downarrow
    \\
    \mathbb{Z}/p\mathbb{Z} 
      \oplus
    \mathbb{Z}/p\mathbb{Z}
    \\
    \downarrow
    \\
    \mathbb{Z}/p\mathbb{Z}
  }
\end{displaymath}
the generator 1 of the top group maps to the element $(1,0)$ in the middle group, and multiplication of that by $p$ is $(0,0)$ instead of $(0,1)$, where the latter is the generator of the bottom group.

Similarly

\begin{displaymath}
\itexarray{
    \bullet
    \\
    \vert
    \\
    \bullet
    \\
    \vert
    \\
    \bullet
  }
\end{displaymath}
is to be read as the result of appending to the previous case a dot \emph{below}, so that this now indicates a group extension of the form

\begin{displaymath}
\itexarray{
    \mathbb{Z}/p^2 \mathbb{Z}
    \\
    \downarrow
    \\
    A
    \\
    \downarrow
    \\
    \mathbb{Z}/p \mathbb{Z}
  }
\end{displaymath}
such that $p$-times the generator of the bottom group, regarded as represented by the generator of the middle group, is the image of the generator of the top group. This is again the case for the unique non-trivial extension, and hence in this case the diagram stands for $A = \mathbb{Z}/p^3 \mathbb{Z}$.

And so on.

For example the stable page of the $\mathbb{F}_2$-[[classical Adams spectral sequence]] for computation of the [[p-primary group|2-primary part]] of the [[stable homotopy groups of spheres]] $\pi_{t-s}(\mathbb{S})$ has in (``internal'') degree $t-s \leq 13$ the following non-trivial entries:



(graphics taken from ([[Symmetric spectra|Schwede 12]])))

Ignoring here the diagonal lines (which denote multiplication by the element $h_1$ that encodes the additional [[ring]] structure on $\pi_\bullet(\mathbb{S})$ which here we are not concerned with) and applying the above prescription, we read off for instance that $\pi_3(\mathbb{S}) \simeq \mathbb{Z}/8\mathbb{Z}$ (because all three dots are connected) while $\pi_8(\mathbb{S}) \simeq \mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/2\mathbb{Z}$ (because here the two dots are not connected). In total

\begin{tabular}{l|l|l|l|l|l|l|l|l|l|l|l|l|l|l}
$k =$&0&1&2&3&4&5&6&7&8&9&10&11&12&13\\
\hline 
$\pi_k(\mathbb{S})_{(2)} =$&$\mathbb{Z}_{(2)}$&$\mathbb{Z}/2$&$\mathbb{Z}/2$&$\mathbb{Z}/8$&$0$&$0$&$\mathbb{Z}/2$&$\mathbb{Z}/16$&$(\mathbb{Z}/2)^2$&$(\mathbb{Z}/2)^3$&$\mathbb{Z}/2$&$\mathbb{Z}/8$&$0$&$0$\\
\end{tabular}

Here the only entry that needs further explanation is the one for $k = 0$. The symbol $\mathbb{Z}_{(2)}$ refers to the [[p-adic integers|2-adic integers]], i.e. for the [[limit]]

\begin{displaymath}
\mathbb{Z}_{(2)}
  = 
  \underset{\longleftarrow}{\lim}_{n \geq 1} \mathbb{Z}/2^n \mathbb{Z}
  \,.
\end{displaymath}
This is not [[p-primary group|2-primary]], but it does arise when applying [[p-completion|2-completion]] of abelian groups to finitely generated abelian groups as in theorem \ref{FundamentalTheoremOfFinitelyGeneratedAbelianGroups}. For more on this see at \emph{\href{Adams+spectral+sequence#Convergence}{Adams spectral sequence -- Convergence}}. Here we just note why this 2-completion is associated with the infinite sequence of dots

\begin{displaymath}
\itexarray{
    \vdots
    \\
    \vert
    \\    
    \bullet
    \\
    \vert
    \\
    \bullet
    \\
    \vert
    \\
    \bullet
    \\
    \vert
    \\
    \bullet
  }
\end{displaymath}
as in the above figure. Namely by the above prescrption, this infinite sequence should encode an abelian group $A$ such that it is an [[group extension|extension]] of $\mathbb{Z}/p\mathbb{Z}$ by itself of the form

\begin{displaymath}
0 \to A \overset{p \cdot(-)}{\longrightarrow} A \longrightarrow \mathbb{Z}/p\mathbb{Z}
\end{displaymath}
(Because it is supposed to encode an extension of $\mathbb{Z}/p\mathbb{Z}$ by the group corresponding to the result of chopping off the lowest dot, which however in this case does not change the figure.)

Indeed, by \href{p-adic+integer#pAdicIntegersAspExtensionofFpByThemselves}{this lemma} we have a short exact sequence

\begin{displaymath}
0 
    \to
  \mathbb{Z}_{(p)}
    \overset{p \cdot (-)}{\longrightarrow}
  \mathbb{Z}_{(p)}
    \longrightarrow
  \mathbb{Z}/p\mathbb{Z}
    \to
  0
  \,.
\end{displaymath}
\end{remark}
\hypertarget{references}{}\subsection*{{References}}\label{references}

For instance

\begin{itemize}%
\item Steven Roman, \emph{Fundamentals of group theory}, Birkh\"a{}user (2012)

\end{itemize}
A new proof of the [[fundamental theorem of finite abelian groups]] was given in

\begin{itemize}%
\item Gabriel Navarro, \emph{On the fundamental theorem of finite abelian groups}, Amer. Math. Monthly, February 2003

\end{itemize}
reviewed in

\begin{itemize}%
\item John Sullivan, \emph{Classification of finite abelian groups} (\href{http://www.isama.org/jms/m317/handouts/finabel.pdf}{pdf})

\end{itemize}
See also

\begin{itemize}%
\item Wikipedia, \emph{\href{https://en.wikipedia.org/wiki/Finitely_generated_abelian_group#Primary_decomposition}{Finitely generated abelian group -- Primary decomposition}}


\item Paolo Aluffi, \emph{Algebra Chapter 0}, 2009 (\href{https://zr9558.files.wordpress.com/2013/11/algebra-chapter-0-aluffi.pdf}{pdf})



\end{itemize}
[[!redirects fundamental theorem of finite abelian groups]]

[[!redirects fundamental theorem of cyclic groups]]



\end{document}