Tu vois ce que c'est le quotient d'un ensemble par une relation d'équivalence ?
Bah on fait pareil avec un groupe, sauf que pour que le résultat puisse lui-même être un groupe, il faut imposer des conditions sur la relation d'équivalence. La notion de sous groupe normal capture exactement ça
Message édité le 08 octobre 2023 à 18:41:57 par Touracos