ATLAS Ouvrir dans l'atlas →

AnnalesEnseignement

Agrégation externe 2013 — Mathématiques générales

Morphismes et isomorphismes entre groupes spéciaux linéaires (théorèmes de Schreier et Van der Waerden) · 12 pages

Le sujet démontre, pour des corps de caractéristique différente de 2, trois théorèmes de Schreier et Van der Waerden : tout morphisme de SLn(𝕂)\mathrm{SL}_n(\mathbb{K}) dans SLp(𝕃)\mathrm{SL}_p(\mathbb{L}) avec n>pn > p est trivial ; si SLn(𝕂)\mathrm{SL}_n(\mathbb{K}) et SLp(𝕃)\mathrm{SL}_p(\mathbb{L}) sont isomorphes alors n=pn = p et 𝕂\mathbb{K} est isomorphe à 𝕃\mathbb{L} ; tout isomorphisme de SL2(𝕂)\mathrm{SL}_2(\mathbb{K}) sur SL2(𝕃)\mathrm{SL}_2(\mathbb{L}) est de la forme M↦PMσP−1M \mapsto P M^\sigma P^{-1} avec σ\sigma un isomorphisme de corps. Il s'appuie sur des calculs de commutants (matrices diagonales par blocs, matrices compagnons), sur les transvections, le centre et le groupe dérivé de SLn(𝕂)\mathrm{SL}_n(\mathbb{K}), le dénombrement de GLn(𝔽q)\mathrm{GL}_n(\mathbb{F}_q), et sur l'étude de centralisateurs et de normalisateurs.

Le sujet, partie par partie

Notations, objectifs et Partie I.A — Quelques calculs de commutants p. 2–4

Polynômes d'endomorphismes · Sous-espaces stables · Endomorphismes cycliques et matrice compagnon · Matrices par blocs · Algèbres et sous-algèbres · Matrices remarquables — commutant, matrice compagnon, matrices diagonales par blocs, sous-espaces propres stables, algèbre 𝕂[M]\mathbb{K}[M]

Partie I.B et I.C — Éléments de structure et dénombrement de SLn(𝕂)\mathrm{SL}_n(\mathbb{K}) p. 5

Transvections et structure de SLn · Groupes · Corps finis · Dénombrement et combinatoire · Matrices remarquables — transvections, groupe spécial linéaire, centre de SLn\mathrm{SL}_n, groupe dérivé, cardinal de GLn\mathrm{GL}_n sur un corps fini, centralisateur

Partie II — Le théorème 1 en caractéristique différente de 2 p. 5–6

Groupes de matrices · Groupes · Diagonalisation · Matrices par blocs · Polynômes d'endomorphismes · Transvections et structure de SLn — morphisme de groupes trivial, noyau d'un morphisme, éléments d'ordre 2, simplicité de PSLn\mathrm{PSL}_n, raisonnement par récurrence, involutions

Partie III — Isomorphismes de SL2(𝕂)\mathrm{SL}_2(\mathbb{K}) sur SL2(𝕃)\mathrm{SL}_2(\mathbb{L}) p. 7–9

Transvections et structure de SLn · Groupes · Corps et extensions · Polynômes d'endomorphismes · Actions de groupes — transvections, centralisateur, normalisateur, automorphisme intérieur, isomorphisme de corps, décomposition en produit de matrices triangulaires, SL2\mathrm{SL}_2

Partie IV — Le théorème 2 en caractéristique différente de 2 p. 9–10

Groupes de matrices · Groupes · Matrices par blocs · Diagonalisation · Transvections et structure de SLn — isomorphisme de groupes, centralisateur, sous-groupe distingué, groupe dérivé, produit direct de groupes, involution

Ouvrir dans l'atlas interactif →