Données: Soit R une relation d'équivalence sur G, compatible avec la multiplication.
K est la classe d'équivalence de e (élément neutre de (G,.) modulo la relation R.
Soit (x,y) appartiennent à G.
Montrer que x R y équivaut à x y^(-1) appartient à K. où y^(-1) est le symétrique de y dans (G,.)
Bon à part ça c'est pas très difficile. Le fait que R est compatible avec la multiplication signifie que si x R y et si z est dans G alors xz R yz.
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :