Gruppenhomomorphismus/Injektivität und Kern/Fakt/Name/Inhalt

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