Scribd Logo
Importer

Bienvenue sur Scribd !

  • 18 vues

    Sa2 DM1 2022

    Transféré par

    dong1034379431

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd

    Sa2 DM1 2022

    Transféré par

    dong1034379431
    18 vues2 pages

    Titre original

    SA2-DM1-2022

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    18 vues2 pages

    Sa2 DM1 2022

    Transféré par

    dong1034379431

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    Vous êtes sur la page 1sur 2

    Université de Bordeaux

    Licence 3 - année 2022-2023


    Structures algébriques 2 - 4TMFF502U

    Devoir maison n◦1


    À rendre le 8 novembre

    Exercice
    Soit p un nombre premier. Le but de cet exercice est de redémontrer que tout groupe
    ni possède un p-Sylow. On n'utilisera donc pas ce résultat.
    Soit G un groupe ni d'ordre n = pa m avec a ∈ N>0 et pgcd(m, p) = 1.
    (1) Montrer que pour tout i ∈ {0, . . . , pa − 1}, on a vp ppam−i = 0 (où vp (x) désigne la
    a 
    −i
    valuation p-adique de x ∈ Q ). En déduire que l'entier pa est premier avec p.
    × pa m
    

    (2) Montrer que l'action de G sur lui-même par translation à gauche induit une action de
    G sur l'ensemble X des parties de cardinal pa de G.
    (3) Montrer qu'il existe P ∈ X telle que # stabG (P ) soit divisible par pa .
    (4) Soit x ∈ P . Montrer que {gx}g∈stabG (P ) ⊂ P . En déduire que stabG (P ) est un p-Sylow
    de G.

    Problème
    Dans tout ce qui suit, G désigne un groupe ni et Z son centre.
    (1) Montrer que le groupe G/Z ne peut pas être cyclique d'ordre > 1.
    (2) Soient p un nombre premier et G un p-groupe d'ordre > 1. Montrer que Z n'est pas
    réduit à l'élément neutre.
    (3) En déduire qu'à isomorphisme près, les seuls groupes d'ordre p2 sont Z /p2 Z et (Z /p Z)2 .
    Le but du reste de l'exercice est de classier les groupes d'ordre 8 à isomorphisme près.
    On suppose donc désormais que G est d'ordre 8.
    (4) Dans cette question, on suppose G abélien.
    (a) On suppose que G n'est pas cyclique, mais qu'il contient un élément g0 d'ordre 4 :
    on pose H = hg0 i. Notons f : G → G l'application dénie par f (g) = g 2 et posons
    C = Ker(f ). Montrer que f (C) ⊂ C , en déduire que #C > 2, puis que C n'est pas
    inclus dans H .
    ∼
    (b) Sous les hypothèses du (a), on choisit g ∈ C \ H : montrer qu'alors H × hgi → G.
    (c) En déduire qu'en général (i.e. en supposant G seulement abélien), G est isomorphe
    à Z /8 Z, (Z /4 Z) × (Z /2 Z) ou (Z /2 Z)3 .
    On suppose désormais que G n'est pas abélien.
    (5) Expliquer pourquoi G ne contient pas d'élément d'ordre 8, mais au moins un élément
    d'ordre 4.
    On dispose donc d'un sous-groupe C ≤ G cyclique d'ordre 4.
    (6) Dans cette question on suppose que G \ C contient un élément s d'ordre 2. Expliquer
    pourquoi G est le produit semi-direct de C et hsi. En déduire que G est isomorphe au
    groupe diédral D8 .
    On suppose désormais que les éléments de G \ C sont tous d'ordre 4.
    2

    (7) Montrer que #Z = 2, puis que G/Z ' (Z /2 Z)2 .


    Écrivons Z = {±1} et choisissons i, j ∈ G dont les images dans G/Z forment une base
    de G/Z sur Z /2 Z. On pose k = ij .
    (8) Expliquer pourquoi i, j et k sont d'ordre 4. En déduire que i2 = j 2 = k 2 = −1, puis
    que ji = −ij .
    Ce qui précède montre que G est isomorphe au groupe quaternionique Q8 : le sous-groupe
    de SL2 (C) engendré par ( 0i −i
    0
    ) et ( 01 −1
    0 ). Finalement, on a montré qu'à isomorphisme près,
    il y a cinq groupes d'ordre 8.
    (9) Auquel de ces cinq groupes le sous-groupe T ≤ GL3 (Z /2 Z) constitué des matrices
    triangulaires supérieures est-il isomorphe ?
    (10) Le groupe quaternionique Q8 peut-il s'écrire de façon non triviale comme un produit
    semi-direct ?

    Vous aimerez peut-être aussi