• Aucun résultat trouvé

Montrer que tout diviseur premier de |Imf| est≤m−1

N/A
N/A
Protected

Academic year: 2022

Partager "Montrer que tout diviseur premier de |Imf| est≤m−1"

Copied!
1
0
0

Texte intégral

(1)

Université Bordeaux Algèbre 3 – Licence 2

Mathématiques Année 2015–2016

Devoir Maison no 2

À rendre avant les vacances de Pâques

Exercice 1 : lemme de Frobenius

SoientGun groupe fini etHun sous-groupe deGd’indicem ≥2. On poseX =G/H−{H}.

1. Soith∈H. Construire une bijectionf(h) :X →X qui àxH associe hxH pour tout x∈G−H.

2. Vérifier que f :H → S(X) est un morphisme de groupes.

3. Montrer que tout diviseur premier de |Imf| est≤m−1.

4. Supposons que tout diviseur premier de|H|est≥m. Prouver queH est normal dans G. Indication : on pourra d’abord établir que le morphisme f est trivial.

Exercice 2

Soit G un groupe. On note Aut(G) l’ensemble des automorphismes de G. Soit x ∈ G, on note ϕx l’application de G dans Gdéfinie par ϕx(g) = xgx−1.

1. Montrer que Aut(G) muni de la composition des applications est un groupe.

2. Montrer que, pour tout x ∈ G, ϕx ∈ Aut(G). On dit que ϕx est un automorphisme intérieur deG. Montrer que l’ensemble Int(G) des automorphismes intérieurs de G est un sous-groupe normal de Aut(G).

3. Montrer que l’application

ϕ:G→Aut(G) x7→ϕx

est un morphisme de groupes de noyau le centre Z(G) deG et d’image Int(G).

4. Soit H etK deux groupes, et soit f : K → Aut(H) un morphisme. Montrer que le produit cartésien H×K est un groupe pour la loi définie par :

(h, k)(h0, k0) = (hf(k)(h0), kk0).

On note ce groupeHofK et on l’appelleproduit semi-direct deH par K suivant f.

5. Montrer que Hof K contient un sous-groupe isomorphe à K, un sous-groupe iso- morphe à H, et que ce dernier est normal.

6. Réciproquement, montrer que si Gest un groupe contenant deux sous-groupes H et K tels que H soit normal dans G,H∩K ={e}etG={hk |h ∈H, k∈K} alorsG est isomorphe à un produit semi-direct deH par K.

7. Montrer que le groupe diédral D2n d’ordre 2n est isomorphe au produit semi-direct de deux groupes cycliques d’ordres respectifsn et2.

Références

Documents relatifs

La double inclusion nous donne

Les nombres de Catalan forment une suite d’entiers naturels utilisée dans divers problèmes de dénom- brement, impliquant souvent des objets définis de façon récursive, comme

Ainsi, l’un des trois est nécessairement le demi-tour et les deux autres des rotations dont l’angle entre les axes doit être de π/2, car l’angle de la rotation qui est leur

Montrer que l’extension Q(α, i)|Q est galoisienne de groupe de Galois G isomorphe au produit de deux groupes cycliques d’ordre 2.. Quelle est la densit´ e de l’ensemble des

Donner un exemple de revˆ etement ab´ elien φ tel que Aut(φ) est libre sur deux

Factoriser le nombre 2016 en produit de facteurs premiers.. Montrer que K est un corps, et qu’il est isomorphe au corps des fractions

[r]

Par convention un entier naturel est appelé "bicolore" s’il est écrit exclusivement avec deux chiffres a et b distincts, a pair > 0 et b impair.. Q₁ Donner une