Caractérisation des morphismes surjectifs

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