• 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

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

La double inclusion nous donne

[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