Un sous groupe spécial est normal (BA2)

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
Siham
Messages: 4
Enregistré le: 05 Aoû 2022, 17:31

un sous groupe spécial est normal (BA2)

par Siham » 05 Aoû 2022, 17:57

Bonjour à tous,

Je veux essayer de montrer que si un sous groupe est spécial, il est normal.
Définition (C'est pour les notations que je vais utilisée) : Un sous-groupe H d’un groupe G est appelé spécial si, pour toute paire d’éléments x,y ∈ G avec x qui n'appartient pas à H, il existe un unique u ∈ H tel que yx y^−1 = ux u^−1

J'ai procédé ainsi :
Je prends y∈H, j'ai alors yx y^(−1) = ux u^(−1) <=> x y^(-1) u = y^(-1) u x <=> xH=Hx (*)
Mon problème est que (*) est vrai que pour x qui n'est pas dans H mais pour que ce soit normal, il faut que ce soit vrai pour tout x ∈ G.

Je mets la résolution du prof que j'ai pas trop compris. Je préfère trouver une solution pour compléter mon début de démonstration.

Merci



GaBuZoMeu
Habitué(e)
Messages: 6016
Enregistré le: 05 Mai 2019, 11:07

Re: un sous groupe spécial est normal (BA2)

par GaBuZoMeu » 05 Aoû 2022, 23:58

Bonsoir,

Hum, je ne comprends pas ta dernière équivalence (avec ). Tu oublies de quantifier, ce qui fait que ton "raisonnement" ne tient pas la route.
Moi, je procéderais ainsi : prendre un , et montrer qu'on ne peut pas avoir de conjugué de dans .

Siham
Messages: 4
Enregistré le: 05 Aoû 2022, 17:31

Re: un sous groupe spécial est normal (BA2)

par Siham » 07 Aoû 2022, 17:54

Bonjour, merci pour votre réponse.

Ma dernière équivalence vient du fait que j'ai pris y dans H donc y^(-1)x est également dans H. Donc conjugué un élément de H par x revient à obtenir un élément de H. Donc xHx^(-1) = H, je peux aussi dire xH=Hx.
Ceci arriverait à prouver que H est normal si x était quelconque dans G mais ce n'est pas le cas.
Dans votre raisonnement, je ne comprends pas en quoi montrer qu'on ne peut avoir de conjugué de x dans H montre que H est normal.

S'il vous plait, si vous voulez encore m'accorder de votre temps.

Avatar de l’utilisateur
Ben314
Le Ben
Messages: 21482
Enregistré le: 11 Nov 2009, 23:53

Re: un sous groupe spécial est normal (BA2)

par Ben314 » 08 Aoû 2022, 15:19

Salut,
Siham a écrit:Ma dernière équivalence vient du fait que j'ai pris y dans H donc y^(-1)x est également dans H. Donc conjugué un élément de H par x revient à obtenir un élément de H.
GaBuZoMeu t'a déjà dit que le problème c'est que tu ne quantifie rien du tout : Pour montrer que H est normal, il faut montrer que, POUR TOUT y de H et POUR TOUT t de G, l'element tyt^(-1) est dans H.
Or dans ta prose, je ne vois rien qui montre que ton "t" est un élément QUELQUONQUE de G.
Modifié en dernier par Ben314 le 08 Aoû 2022, 19:17, modifié 1 fois.
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

Siham
Messages: 4
Enregistré le: 05 Aoû 2022, 17:31

Re: un sous groupe spécial est normal (BA2)

par Siham » 08 Aoû 2022, 16:07

Bonjour Ben314, merci pour votre réponse.
Je suis vraiment désolée mais je sais cela et c'est justement le soucis que j'essaye de résoudre.
Comment faire pour que x plus haut et t chez vous soit quelconque ?

GaBuZoMeu
Habitué(e)
Messages: 6016
Enregistré le: 05 Mai 2019, 11:07

Re: un sous groupe spécial est normal (BA2)

par GaBuZoMeu » 08 Aoû 2022, 16:17

Le problème est de faire un raisonnement correct, en quantifiant tout précisément.
Je t'ai déjà suggéré une piste :
Prendre un et montrer qu'il n'a aucun conjugué dans . On raisonne par l'absurde : supposons qu'il existe tel que . Je te laisse poursuivre pour arriver à une absurdité, et comprendre pourquoi ça entraîne bien que est normal.

(Ben314 a fait un lapsus : il faut lire dans son message "POUR TOUT y de H et POUR TOUT t de G, l'element tyt^(-1) est dans H.")

Avatar de l’utilisateur
Ben314
Le Ben
Messages: 21482
Enregistré le: 11 Nov 2009, 23:53

Re: un sous groupe spécial est normal (BA2)

par Ben314 » 08 Aoû 2022, 19:21

J'ai corrigé l'erreur du post précédent.
Merci.
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

Siham
Messages: 4
Enregistré le: 05 Aoû 2022, 17:31

Re: un sous groupe spécial est normal (BA2)

par Siham » 14 Aoû 2022, 13:31

Bonjour, pour la démo par l'absurde j'ai ceci :
On suppose qu'il existe un y dans G yxy^(-1) est dans H. Il existe alors un u dans H tq yxy^(-1) = uxu^(-1) car H est spécial.
yxy^(-1)=uxu^(-1) <=> x = [y^(-1)u] x [y^(-1)u] ^(-1)
On a supposé par l'absurde que les conjugués de x sont H donc par égalité ceci veut dire que x est dans H. CONTRADICTION
Donc x n'as pas de conjugué dans H.
J'espère qu'il n'y a pas d'erreur.
Par contre j'ai toujours pas trouvé pourquoi ceci montre que H est normal.

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 26 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite