La preuve qu'un automorphisme est surjectif si et seulement si son noyau comprend uniquement l'élément noté 0 est indexée au nom de preuve qu'un automorphisme est surjectif si et seulement si son noyau comprend uniquement l'élément noté 0