Ein Gruppenhomomorphismus φ : G → H {\displaystyle {}\varphi :G\rightarrow H} ist genau dann injektiv, wenn der Kern von φ {\displaystyle {}\varphi } trivial ist.