Soit \((E,\star)\) un ensemble muni d’une loi de composition interne
associative avec un élément neutre, noté \(\varepsilon\).
Soit \(x\) et \(y\) deux éléments de
\(E\) qui admettent un symétrique. Déterminer un symétrique de \(x\star
y\).
2
Retrouver la caractérisation de l’injectivité d’un morphisme à partir
de son noyau.