Bonjour, voila mon problème:
Soit(G,*) un groupe et H un sous-groupe de G . On defini la relation ~ sur G par x~y si et seulement si x*y H.
1)Montrer que ~ est une relationd'équivalence
2) Soit G un groupe FINI et H un sous-groupe de G. En utilisant la question précédente, montrer que card(H) divise card(G).
3)Soit x un élément d'un groupe (G,*). On appelle ordre de x le plus petit entier naturel non nul k tel que x^k = e , où e est le neutre de G. Montrer que si G est un groupe fini, l'ordre de x divise le cardinal de G.
Alors voila, la 1) est plutot facile j'arrive a montrer que c'est une relation d'equivalence sans trop de difficulté.
Pour la 2) je ne vois pas comment mettre en rapport le fait que c'est une relation d'equivalence et les cardinaux??
Pour moi comme HG alors card(H)<card(G) c'est donc normale qu'il le divise. il n'y a pas une vrai démonstration??
La 3) ba je ne vois pas du tous, k n'est-il pas forcement egale au cardinal de G ?
merci de votre aide
pour la 2 la relation d'équivalence découpe le groupe en une partition en classe d'équivalence qui ont toutes le même cardinal celui de H
les classes sont des translatées de H
Salut
pour la partition toute relation d'equivalence donne une partition en classe d'equivalence. C'est même tout l'intérêt des relations d'equivalence notamment pour faire du denombrement. c'est surement dans ton premier cours sur relation d'équivalence.
Tu dois avoir une faute de frappe
ce n'est ss doute pas (car avec cela x ne serait pas équivalent à x) mais plutôt .
Maintenant pour voir que toutes les classes ont le même nombre d'éléments que H :
D'abord H est la classe de e
Ensuite si la classe de x est x+H si le groupe est commutatif et noté additivement. on parle alors de translaté de H.
Avec la notation multiplicative de la loi la classe de x est H*x car équivaut à .
entre H classe de e et une autre classe H*x classe de x, la multiplication par x donne une bijection.
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :