Categorical notes on group theory

Products and Coproducts

$\text{Gp}$ has products, and the product of two groups $G,H$ is supported on the product $G\times H$ of the underlying sets. Componentwise multiplication defines a group structure on $G\times H$, and it is easy to verify that this group is actually a product in $\text{Gp}$ ( Aluffi (2009) II.3.4).

$\text{Gp}$ also has coproducts, to be dealt with later.

The nice thing about $\text{Ab}$ is that coproducts in $\text{Ab}$ coincide with products.

Proposition 1(Proposition).

If $G$ and $H$ are abelian groups, then the product $G\times H$ satisfies the universal property for coproducts in $\text{Ab}$.

Proof.

We need to show that$(G\times H,i_G,i_H)$ is initial in ${\text{C}}^{G,H}$. Let $(A,{\phi }_G,{\phi }_H)\in {\text{C}}^{G,H}$. We need a unique homomorphism $\phi$ which makes the following diagram commute:

We are forced to define $\phi (g,e_H)\equiv {\phi }_G(g)$ and $\phi (e_G,h)\equiv {\phi }_H(h)$ for all $g\in G$ and $h\in H$. Since we require $\phi (g,h)=\phi (g,e_H)\phi (e_G,h)$, our definitions determine $\phi$ over its entire domain. So, we have exactly one candidate for $\phi$. It it a homomorphism?

$$\begin{array}{rl}\phi (a,b)\phi (c,d)& ={\phi }_G(a){\phi }_H(b){\phi }_G(c){\phi }_H(d)\\ & \stackrel{!}{=}{\phi }_G(a){\phi }_G(c){\phi }_H(b){\phi }_H(d)\\ & ={\phi }_G(ac){\phi }_H(bd)\\ & =\phi (ac,bd)\\ & =\phi ((a,b)(c,d)).\end{array}$$

The marked equality is true because of $A$ being abelian.□

Homomorphisms

Proposition 2(Aluffi (2009) II.6.6).

Let $\phi :G\to G^{\prime }$ be a homomorphism. Then the inclusion $i:\ker \phi \to G$ is final in the category of group homomorphisms $\alpha :K\to G$ such that $\phi \circ \alpha$ is the trivial map.

In other words, every group homomorphism $\alpha :K\to G$ such that $\phi \circ \alpha$ is the trivial homomorphism factors uniquely though $\ker \phi$. Note that $\overline{\alpha }:K\to \ker \phi$ is just $\alpha$ with restricted target.

Monomorphisms and epimorphisms

Proposition 3(Aluffi (2009) II.6.12).

The following are equivalent:

1. $\phi$ is a monomorphism;

2. $\ker \phi =\{e_G\}$

3. $\phi :G\to G^{\prime }$ is injective (as a set-function);

Proof.

$(1)⟹(2)$: Consider the parallel compositions

$$\ker \phi \underset{e}{\stackrel{i}{\rightrightarrows }}G\stackrel{\phi }{\to }{G}^{\prime },$$

where $i$ is in the inclusion and $e$ is the trivial map. Both $\phi \circ i$ and $\phi \circ e$ are the trivial map; since $\phi$ is a monomorphism, this implies $i=e$, which implies $(2)$.□

The analog of the above statement holds true for epimorphisms: a homomorphism $\phi :G\to H$ is an epimorphism iff it is surjective. However, Aluffi claims proving epimorphism $⟹$ surjective in $\text{Gp}$ is cumbersome, and only provides a proof in $\text{Ab}$. He does so by defining cokernels in $\text{Ab}$, the universal property for which is obtained by reversing the arrows in the universal property of kernels:

Definition 4(Definition).

Let $\phi :G\to G^{\prime }$ be a group homomorphism. $\text{coker}\phi$ is the group equipped with a homomorphism $\pi :G^{\prime }\to \text{coker}\phi$ which is initial with respect to all morphisms $\alpha$ such that $\alpha \circ \phi =0$.

Cokernels exist in $\text{Ab}$ because $\mathrm{Im}\phi ◃G^{\prime }$. The condition that $\alpha \circ {\phi }^{\prime }$ is trivial says that $\mathrm{Im}\phi \subseteq \ker \alpha$, and hence

$$\frac{G^{\prime }}{\mathrm{Im}\phi }\cong \text{coker}\phi$$

satisfies the universal property ($\overline{\alpha }$ is unique because of the mapping property of quotient groups).

We can now state the analog of Proposition 3:

Proposition 5(Aluffi (2009) II.8.18).

Let $\phi :G\to G^{\prime }$ be a homomorphism of abelian groups. The following are equivalent:

1. $\phi$ is an epimorphism;

2. $\text{coker}\phi$ is trivial;

3. $\phi :G\to G^{\prime }$ is surjective (as a set function).

Proof.

$(1)⟹(2)$: Consider the parallel compositions

$$G\stackrel{\phi }{\to }{G}^{\prime }\underset{\pi }{\stackrel{e}{\rightrightarrows }}\text{coker}\phi ,$$

where $\pi$ is the canonical projection. Both $\pi \circ \phi$ and $e\circ \phi$ are trivial, which implies $\pi =e$, which implies $(2)$.□

The problem in $\text{Gp}$ is that $\mathrm{Im}\phi$ is not guaranteed to be normal in $G^{\prime }$. However, cokernels may still be defined in $\text{Gp}$: the universal property is satisfied by $G^{\prime }/N$, where $N$ is the smallest normal subgroup of $G^{\prime }$ containing $\mathrm{Im}\phi$. But Proposition 5 fails, because the implication $(2)⟹(3)$ fails.

---

References

Aluffi, P. (2009). Algebra: Chapter 0. American Mathematical Society.