Lagmental Vicfred

The Universal Property of a Group Quotient by Vicfred

tags: mathematics, group theory, homomorphisms, quotients

A homomorphism that kills a normal subgroup factors uniquely through the quotient group. The point is to make the formal expression readable enough to audit line by line.

Objects and notation

A homomorphism \(\varphi:G\to H\) packages a comparison of operations. Its kernel \(\ker\varphi\) measures collapse, while its image \(\operatorname{im}\varphi\) records the part of \(H\) actually reached.

$$ N\trianglelefteq G,\qquad \pi:G\to G/N $$

I keep the defining relation \(\mathsf D\) above the derived relation \(\mathsf C\). This exposes whether cancellation used \(x\ne0\) and whether the conclusion is canonical.

$$ N\subseteq\ker f\Longrightarrow\exists!\,\bar f:G/N\to H,\quad f=\bar f\circ\pi $$

Push the symbols

The following line is the smallest calculation that still exercises the mechanism. It keeps nested delimiters and the order of operations explicit.

$$ \begin{array}{c@{\qquad}c}G\xrightarrow{\ f\ }H&G\xrightarrow{\ \pi\ }G/N\xrightarrow{\ \bar f\ }H\\[2pt]g\longmapsto f(g)&gN\longmapsto f(g)\end{array} $$

Structural reading

The abstraction earns its keep by explaining why the same computation reappears. The notation compresses repeated reasoning without erasing the hypothesis that licenses it.

$$ \begin{aligned} \mathsf{D}\;&:\quad N\trianglelefteq G,\qquad \pi:G\to G/N,\\[5pt] \mathsf{C}\;&:\quad N\subseteq\ker f\Longrightarrow\exists!\,\bar f:G/N\to H,\quad f=\bar f\circ\pi. \end{aligned} $$

A hypothesis worth keeping

The quotient notation \(G/N\) is legal only for \(N\trianglelefteq G\). A set of cosets may exist without inheriting a well-defined group multiplication.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] N\subseteq\ker f\Longrightarrow\exists!\,\bar f:G/N\to H,\quad f=\bar f\circ\pi \end{gathered}} $$

The result is compact enough to reuse without pretending that the caveat has disappeared. The worked line remains the quickest consistency check.

This article was posted on Tue 24 July 2018. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.