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
-
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
-
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
-
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.
-
Ben314
- Le Ben
- Messages: 21482
- Enregistré le: 11 Nov 2009, 23:53
-
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
-
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
-
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.")
-
Ben314
- Le Ben
- Messages: 21482
- Enregistré le: 11 Nov 2009, 23:53
-
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
-
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.
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 26 invités