Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

groupes

Posté par
romu
25-04-08 à 21:14

Bonsoir,

je galère sur cet exo:

Citation :
Soient G un groupe et H un sous-groupe de G.

1) Montrer que le noyau de l'action de G sur (G/H)_g par translation à gauche est le sous-groupe \Bigcap_{x\in G} xHx^{-1}.
Montrer que c'est le plus grand sous-groupe distingué dans G contenu dans H.

2) En déduire que si G est un groupe simple, pour tout sous-groupe H\neq G de G, G est isomorphe à un sous-groupe de S_{[G:H]}.

3) Montrer que si H est un sous-groupe d'indice n de S_n, il est isomorphe au groupe S_{n-1}.


Pour la 1) et la 2) c'est ok, mais pour la 3) c'est pas clair.

Donc [S_n:H]=n, déjà pour les cas n<5:

si n=2, on sait d'un exo précédent que H=A_2 qui est de cardinal 1=\frac{2!}{2}, donc isomorphe à S_1,

si n=3, alors \textrm{Card}(H)=2, donc isomorphe  à \mathbb{Z}/2\mathbb{Z}\simeq S_2,

si n=4,  alors \textrm{Card}(H)=6, , donc isomorphe  à \mathbb{Z}/6\mathbb{Z} ou à S_3, or H\subset S_4 et S_4 n'admet pas d'élément d'ordre 6, donc H\simeq S_3.

après c'est pour le cas n\geq 5 où j'ai plus de mal, sachant que l'exo précédent consistait à montrer que pour n\geq 5, A_n est un groupe simple et que c'est le seul groupe distingué non trivial de S_n.

Merci pour votre aide.

Posté par
carpediem
groupes 26-04-08 à 02:10

je sais plus trop mais Sn-1 c'est à isométrie près Sn quand tu ne touches pas à n et quelle est le quotient de leur cardinal....

Posté par
Cauchy
re : groupes 26-04-08 à 02:56

Salut,

considérant l'action de Sn par translation à gauche sur Sn/H, on voit d'après 1) que le noyau est réduit à l'identité.

L'image de H est donc un sous-groupe de S(Sn/H)=Sn. Or la classe de H est fixée par l'action de H donc l'image de H est un sous-groupe de S(n-1), étant de même cardinal on peut conclure.

Posté par
infophile
re : groupes 26-04-08 à 02:59

Roh j'allais le dire Marc

Posté par
romu
re : groupes 26-04-08 à 12:07

Bonjour Marc et Kévin

Citation :
considérant l'action de Sn par translation à gauche sur Sn/H, on voit d'après 1) que le noyau est réduit à l'identité.



pourquoi %5CBigcap_{x%5Cin%20G}%20xHx^{-1}=\{1_G\} ?

Posté par
romu
re : groupes 26-04-08 à 12:14

bonjour carpediem

Posté par
romu
re : groupes 26-04-08 à 12:24

bon je crois que j'ai compris en fait,
H est de cardinal strictement inférieur à celui de A_n qui est le seul sous-groupe propre distingué dans S_n,
donc le plus grand sous-groupe distingué qui est inclus dans H est  \{1_G\}.
Ainsi le noyau de l'action est triviale,

merci

Posté par
romu
re : groupes 26-04-08 à 12:32

ok c'est bon j'ai compris, merci à vous

Posté par
Cauchy
re : groupes 26-04-08 à 15:03

De rien



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !