Caractérisation des morphismes injectifs

[ Théorème ]
Un morphisme \(f\) de \(\left(G_1,\star\right)\) dans \(\left(G_2,\bullet\right)\) est injectif si et seulement si \(\boxed{\operatorname{Ker}f=\left\{e_1\right\}}\).
En savoir plus