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émentet 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 moicar
n'est pas supposé être abélien. Du coup on en déduit plutôt que
Il y a donc pour moi confusion entredans 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.
-----