Bonjour,
J'essaie de rédémontrer un résultat classique, qui est que si on se donne un monomorphisme
dans une catégorie abélienne (avec addition, noyaux et conoyaux, typiquement la catégorie des groupes), alors X est isomorphe à son image.
L'image étant définie comme Im(f):= ker(coker(f))
Bien entendu, je n'y arrive pas. :marteau:
Si quelqu'un à une idée.