Bonjour,
Je veux savoir si la loi de composition interne (*) de l'ensemble quotient G/H d'un groupe (G,.) définie par: si x et y appartiennent a G, xbar * ybar = (x.y)bar
existe seulement si le e sous groupe H est normal.
Car a la fin de la démonstration de la proposition (On a une bijection entre G/stab(x) et w(x) ) dans cette page web http://www.les-mathematiques.net/b/g/a/node4.php on admet qu'une telle loi existe même si le sous groupe stab(x) n'est pas normal.
-----
est un groupe, tout me semble correct. Peut-être devrais-tu décrire ton problème plus précisément.