Bonjour tout le monde.
Je me baladais par hasard sur wikipedia, et je suis tombé sur cet article: http://fr.wikipedia.org/wiki/Classe_...un_sous-groupe.
Or il me semble avoir décelé une erreur.
En effet, il y est défini, sur le groupe , une relation d'équivalence definie par:
avec sous groupe de .
Jusque là, tout baigne.
Le souci c'est qu'ensuite, on prend un élément et on défini la classe d'équivalence de par:
et on en déduit alors que .
Or il me semble que c'est faux: pour moi car n'est pas supposé être abélien. Du coup on en déduit plutôt que
Il y a donc pour moi confusion entre dans cet article.
S'il vous plaît, dites moi si j'ai raison que je puisse signaler l'erreur ou modifier l'article la conscience tranquille.
-----