群の準同型定理(第一同型定理)
2つの群 \(G,\ G^\prime\) に対して, その間の準同型写像 \(f\ \colon\ G \to G\) は, 自然な同型写像\varphi\ :\ G/\mathrm{Ker}\,f\quad&\longrightarrow&\quad\mathrm{Im}\,f\\
x\mathrm{Ker}\,f\quad&\longmapsto&\quad f(x) を引き起こす. つまり, \(G/\mathrm{Ker}\,f\cong \mathrm{Im}\,f\) である.