準同型定理
準同型定理(じゅんどうけいていり、英: fundamental homomorphism theorem)、fundamental theorem on homomorphisms(準同型の基本定理)
群$ G, H と、写像$ f : G \to H を準同型写像とする。 このとき
$ \varphi: G / \mathrm{Ker} f \to \mathrm{Im}f
$ x \mathrm{Ker} f \mapsto f(x)
$ G/\mathrm{Ker}f \cong \mathrm{Im}f
参考
https://youtu.be/TNapSZBEZX4