• Aucun résultat trouvé

Montrer que le quotient H/T est un groupe ab´elien

N/A
N/A
Protected

Academic year: 2022

Partager "Montrer que le quotient H/T est un groupe ab´elien"

Copied!
2
0
0

Texte intégral

(1)

L3 Math´ematiques et Math´ematiques/Enseignement Universit´e Paris Diderot 2015/2016

Alg`ebre

Partiel du 18 novembre 2015

Dur´ee: 3 heures

Une feuille A4 recto-verso autoris´ee. Tout autre document et calculatrice interdits. Les exercices sont ind´ependants.

Exercice 1. On consid`ere les sous-groupes suivants de (GL2(R),×):

H =

a b 0 c

, a, b, c∈R, ac6= 0

, T =

1 u 0 1

, u∈R

.

1. Montrer queH n’est pas ab´elien.

2. Montrer que l’application

R → T u 7→

1 u 0 1

est un isomorphisme de groupes.

3. Montrer queT est distingu´e dansH mais n’est pas distingu´e dansGL2(R).

4. Montrer que le quotient H/T est un groupe ab´elien.

Exercice 2. On se fixe p un nombre entier premier, n un nombre entier non nul et A un ensemble `a n ´el´ements. L’ensemble Ap est l’ensemble des p-uplets de A; un ´el´ement de cet ensemble sera not´e (a1, . . . , , ap).

On consid`ere l’application

ϕ: Σp×Ap → Ap

(σ,(a1, . . . , ap)) 7→ (aσ−1(1), . . . , aσ−1(p)).

1. Montrer queϕd´efinit une action `a gauche du groupe des permutations Σp sur l’ensemble Ap.

2. On restreint l’action ϕau sous-groupeK de Σp engendr´e par le cycle (12. . . p).

(a) Quel est l’ordre deK?

(b) Montrer que l’ensemble des points fixes pour l’action deKsurApest le sous-ensemble de Ap constitu´e des ´el´ements de la forme (a, . . . , a

| {z }

pfois

) poura∈A.

(c) En vous aidant de la formule des classes, d´eduire de la question pr´ec´edente que np est congru `a nmodulo p.

T.S.V.P 1

(2)

Exercice 3. Pour α ∈ C et β ∈ C on consid`ere l’application fα,β : C → C d´efinie par f(α,β)(z) =αz+β.

1. Montrer que l’application fα,β:C→Cest une bijection.

2. Montrer que F ={fα,β|(α, β)∈C×C} est un sous-groupe du groupe des bijections de C.

3. Montrer que la compos´eefα,β◦. . .◦fα,β

| {z }

nfois

vaut fαn,(Pn−1 i=0 αi.

4. En d´eduire une condition n´ecessaire et suffisante sur le couple (α, β) pour que fα,β soit d’ordre fini.

Exercice 4. Dans tout l’exercice on se fixep un nombre premier.

On rappelle qu’un p-groupe G est un groupe d’ordre une puissance de p. On rappelle que le centre de G est not´e Z(G) et est d´efini par Z(G) = {x ∈ G,∀g ∈ G, xg = gx}. Enfin, on utilisera les r´esultats suivants que l’on ne demande pas de re-d´emontrer:

P1. Si G/Z(G) est cyclique alors Gest ab´elien.

P2. Si G est un p-groupe alors p divise l’ordre de Z(G), en particulier Z(G) n’est pas r´eduit

`

a l’´el´ement neutre.

P3. Tout groupe d’ordre p est cyclique.

1. Soit G un groupe d’ordre p2. En vous aidant des r´esultats P1, P2 et P3 montrer que

|Z(G)| ∈ {p, p2} et montrer queG est ab´elien.

2. Dans cette question on suppose queG est un groupe d’ordre p3, non ab´elien.

(a) Donner un exemple d’un groupe non ab´elien d’ordre 8.

(b) Montrer queZ(G) est d’ordrep.

(c) D´eduire de la question 1. que G/Z(G) est ab´elien.

(d) Le sous-groupe d´eriv´e de G, not´e D(G), est le sous-groupe de G engendr´e par les commutateurs, c’est-`a-dire le sous-groupe deGengendr´e par les ´el´ements de la forme xyx−1y−1. Montrer que si H est un sous-groupe distingu´e de G tel que G/H est ab´elien alors D(G)⊂H.

(e) Montrer queD(G)⊂Z(G), puis que D(G) =Z(G).

2

Références

Documents relatifs

[r]

(On pourrait proc´ eder diff´ eremment en montrant que K|Q est r´ esoluble. En effet G est d’ordre 4 et est donc ab´ elien et donc r´ esoluble. On sait que les extensions r´

D´ emontrer que F muni de l’addition des applications et de la multiplication par les r´ eels est un espace vectoriel... D´ emontrer qu’elle est

Pour ces derniers, on pourra utiliser les fonctions scipy.special.gamma (fonction Gamma d’Euler) et scipy.optimize.minimize_scalar (minimise une fonction réelle ; la valeur de

Montrer qu’il n’existe pas de R-alg` ebre de dimension trois contenant une sous-alg` ebre isomorphe ` a C..

Pour être transmis, le message doit passer successivement par les n relais.. Au passage de chaque relais, chaque bit du message a une probilité α

Il s'agit simplement de la décomposition en éléments simples de la fraction rationelle.. Q compte tenu des pôles et de leur multiplicités qui ont été précisées à la

[r]