Leçon 101: Groupes opérant sur un ensemble. Exemples et applications.

Documents pareils
Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5.

Groupe symétrique. Chapitre II. 1 Définitions et généralités

Amphi 3: Espaces complets - Applications linéaires continues

Polynômes à plusieurs variables. Résultant

Résumé du cours d algèbre 1, Sandra Rozensztajn. UMPA, ENS de Lyon, sandra.rozensztajn@ens-lyon.fr

Introduction à l étude des Corps Finis


Feuille G1 RAPPEL SUR LES GROUPES

La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Exo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.

Le produit semi-direct

Déterminants. Marc SAGE 9 août Inverses et polynômes 3

Exemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions

VI. COMPLÉMENTS SUR LES MODULES, THÉORÈME CHINOIS, FACTEURS INVARIANTS SÉANCES DU 15, 16 ET 22 OCTOBRE

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

Capacité d un canal Second Théorème de Shannon. Théorie de l information 1/34

Structures algébriques

Calcul fonctionnel holomorphe dans les algèbres de Banach

Mathématiques Algèbre et géométrie

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Cours de mathématiques

Programme de la classe de première année MPSI

Analyse fonctionnelle Théorie des représentations du groupe quantique compact libre O(n) Teodor Banica Résumé - On trouve, pour chaque n 2, la classe

Théorie et codage de l information

Cours arithmétique et groupes. Licence première année, premier semestre

Un K-espace vectoriel est un ensemble non vide E muni : d une loi de composition interne, c est-à-dire d une application de E E dans E : E E E

C algèbre d un certain groupe de Lie nilpotent.

Triangle de Pascal dans Z/pZ avec p premier

Licence STS mention Mathématiques Parcours Ingénieur Télécom Bretagne (ITB)

Problème 1 : applications du plan affine

Maîtrise universitaire ès sciences en mathématiques

Équations d amorçage d intégrales premières formelles

Catalogue des connaissances de base en mathématiques dispensées dans les gymnases, lycées et collèges romands.

Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables

1 Première section: La construction générale

Cours d analyse numérique SMI-S4

Journées Télécom-UPS «Le numérique pour tous» David A. Madore. 29 mai 2015

CHAPITRE IV. L axiome du choix

Chapitre 2. Matrices

3. Conditionnement P (B)

Corrigé Problème. Partie I. I-A : Le sens direct et le cas n= 2

Image d un intervalle par une fonction continue

CCP PSI Mathématiques 1 : un corrigé

Premiers exercices d Algèbre. Anne-Marie Simon

Marc HINDRY. Introduction et présentation. page 2. 1 Le langage mathématique page 4. 2 Ensembles et applications page 8

FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)

Programmes des classes préparatoires aux Grandes Ecoles

Extrait du poly de Stage de Grésillon 1, août 2010

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

Intégration et probabilités TD1 Espaces mesurés Corrigé

La transformée de Fourier sur un groupe fini et quelques-unes de ses applications. Elise Raphael Semestre d automne

Formes quadratiques. 1 Formes quadratiques et formes polaires associées. Imen BHOURI. 1.1 Définitions

Résolution d équations non linéaires

Une forme générale de la conjecture abc

Enoncé et corrigé du brevet des collèges dans les académies d Aix- Marseille, Montpellier, Nice Corse et Toulouse en Énoncé.

[ édité le 30 avril 2015 Enoncés 1

NOTICE DOUBLE DIPLÔME

Plan du cours : électricité 1

4. Martingales à temps discret

Points de Weierstrass d une surface de Riemann compacte

Modèles à Événements Discrets. Réseaux de Petri Stochastiques

1 Complément sur la projection du nuage des individus

3 Approximation de solutions d équations

Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://

TIQUE DE FRANCE NILSYSTÈMES D ORDRE 2 ET PARALLÉLÉPIPÈDES

Quelques tests de primalité

Probabilités sur un univers fini

Calcul différentiel sur R n Première partie

Fonctions de plusieurs variables

Une introduction aux codes correcteurs quantiques

Compter à Babylone. L écriture des nombres

Calcul différentiel. Chapitre Différentiabilité

CHAPITRE V SYSTEMES DIFFERENTIELS LINEAIRES A COEFFICIENTS CONSTANTS DU PREMIER ORDRE. EQUATIONS DIFFERENTIELLES.

2 Division dans l anneau des polynômes à plusieurs variables

Calculer avec Sage. Revision : 417 du 1 er juillet 2010

ENSAE - DAKAR BROCHURE D'INFORMATION SUR LE CONCOURS DE RECRUTEMENT D ÉLÈVES INGÉNIEURS STATISTICIENS ÉCONOMISTES (I S E) Option Mathématiques CAPESA

Limites finies en un point

DEVOIR MAISON : THEME : LES CLES DE CONTROLE. I. La clé des codes barres

Master of Science en mathématiques

Sites web éducatifs et ressources en mathématiques

MAT 721: Algèbre non commutative. Chapitre I: Algèbres. 1.1 Définitions et exemples

Probabilité. Table des matières. 1 Loi de probabilité Conditions préalables Définitions Loi équirépartie...

Capes Première épreuve

statique J. Bertrand To cite this version: HAL Id: jpa

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Calcul intégral élémentaire en plusieurs variables

Notes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Correction de l examen de la première session

INF 232: Langages et Automates. Travaux Dirigés. Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

Calcul Différentiel. I Fonctions différentiables 3

Programmation linéaire

L isomorphisme entre les tours de Lubin-Tate et de Drinfeld et applications cohomologiques par Laurent Fargues

Logique. Plan du chapitre

NOMBRES COMPLEXES. Exercice 1 :

Dualité dans les espaces de Lebesgue et mesures de Radon finies

Transcription:

Leçon 101: Groupes opérant sur un ensemble. Exemples et applications. Adrien Fontaine 21 décembre 2013 1

Table des matières 1 Définition et premières propriétés 3 1.1 Actions de groupe.......................... 3 1.2 Action d un groupe fini sur un ensemble fini........... 4 2 Applications en théorie des groupes 5 2.1 Action de G sur lui même par automorphisme intérieur..... 5 2.2 Action de G par translation à gauche............... 6 2.3 Théorèmes de Sylow........................ 6 3 Applications en algèbre linéaire et en algèbre commutative 7 3.1 En algèbre linéaire......................... 7 3.2 Représentations linéaires des groupes finis............ 8 3.3 Action de S n sur C[X 1,..., X n ]................... 9 4 Applications en géométrie 9 4.1 Angles orientés et espaces affines................. 9 4.2 Action de P SL 2 (Z) sur le demi plan de Poincaré......... 9 2

1 DÉFINITION ET PREMIÈRES PROPRIÉTÉS 3 Cadre : G un groupe (multiplicatif), e son neutre, H un sous-groupe de G et X un ensemble. 1 Définition et premières propriétés 1.1 Actions de groupe Définition 1 on dit que G opère sur X si on s est donné une application Perrin p13 vérifiant les axiomes suivant : G X X (g, x) g.x (i) g, g G, x X, g.(g.x) = (gg ).x (ii) x X, e.x = x. Remarque 1 C est équivalent à la donnée d un homomorphisme ϕ : G S(X), où S(X) désigne l ensemble des bijections de X. Définition 2 On dit que G opère transitivement sur X si on a : x X, y X, g G/g.x = y Perrin p14 On dit que G opère fidèlement si ϕ : G S(X) est injectif, i.e si on a ( x g.x = x) g = e Remarque 2 G/Ker(ϕ) opère fidèlement sur X. Exemple 1 P GL(E) opère fidèlement sur P (E), où E est une espace vectoriel. Définition 3 On introduit la relation d équivalence suivante : x y g G/g.x = y Les classes pour cette action sont les orbites de G sous X. On note ω(x), l orbite de x X.

1 DÉFINITION ET PREMIÈRES PROPRIÉTÉS 4 Remarque 3 G opère transitivement sur ω(x). Exemple 2 Décomposition d une permutation en produit de cycles à supports disjoints. Définition 4 Si x X, on définit G x = {g G, g.x = x}. C est un sous-groupe de G appelé le stabilisateur de x. Exemple 3 Dans l opération naturelle de S n sur {1,..., n}, le stabilisateur d un point est isomorphe à S n 1. Définition 5 On dit que l action de G sur X est n-fois transitive si Perrin p16 (x 1,..., x n ), (y 1,..., y n ) X n, g G, 1 i n, g.x i = y i Lemme 1 L action de A n sur {1,..., n} est n 2-fois transitive. Perrin p16 Proposition 1 Si σ S n est un cycle d ordre p, σ = (a 1,..., a p ) et si τ S n, on a τστ 1 = (τ(a 1 ),..., τ(a p )) Dans S n, tous les cycles sont d ordre p sont conjugués. Si n 5, les cycles d ordre 3 sont conjugués dans A n. Application : Théorème 1 A n est simple pour n 5. Perrin p28 1.2 Action d un groupe fini sur un ensemble fini But : Préciser le lien entre orbite et stabilisateur de x X. Proposition 2 L application ḡ g.x de G/G x dans ω(x) est bien définie et est une bijection. Corollaire 1 Si G est fini, on a x X, G = ω(x). G x. Perrin p15 Gourdon p22

2 APPLICATIONS EN THÉORIE DES GROUPES 5 Proposition 3 On suppose G fini. Soient ω(x 1 ),..., ω(x k ) les orbites de l action de G sur X. Pour tout g G, on note F ix(g) = {x X, g.x = x} l ensemble des éléments de E fixés par g. Alors : (i) X = k i=1 ω(x i ) = k i=1 G G x. (ii) Le nombre d orbites est k = 1 G g G F ix(g). Combes p43 Application : (i) Théorème 2 (de Cauchy) Soit G un groupe fini d ordre n, et soit p un facteur premier de n. Il existe dans G des éléments d ordre p. Combes p45 (ii) Développement : Théorème 3 (de Wedderburn) Tout corps fini est commutatif. Perrin p82 2 Applications en théorie des groupes 2.1 Action de G sur lui même par automorphisme intérieur On fait agir G G via g.a = gag 1. Définition 6 (i) Les orbites s appellent alors classe de conjugaison et si a = gag 1, a est un conjugué de a. (ii) Le stabilisateur de a s appelle centralisateur H a = {g G, gag 1 = a} = {g G, ga = ag} Perrin p15 (iii) On définit de même le centralisateur d une partie A de G : C G (A) = {g G, a A, ga = ag} Proposition 4 Le centre d un p-groupe distinct de {e} n est pas réduit à {e}. Gourdon p27 Théorème 4 Si G est un groupe d ordre p 2 avec p premier, alors G est abélien. Théorème 5 Si G est un groupe d ordre p α, alors pour tout 0 m α, il existe un sous Gourdon p27 Gourdon p27

2 APPLICATIONS EN THÉORIE DES GROUPES 6 groupe de G d ordre p m. 2.2 Action de G par translation à gauche On peut faire opérer G G par translation à gauche : a, g G, g.a = ga Proposition 5 Cette action est fidèle. Perrin p15 Application : Théorème 6 ( de Cayley) Si G est fini de cardinal n, alors G est isomorphe à un sous-groupe de S n. On peut aussi faire opérer G G/H par translation à gauche : g G, ah G/H, g.(ah) = (ga)h Cette opération est transitive mais non fidèle en général. En effet, si ϕ : G S(G/H) est le morphisme associé, on a Proposition 6 Ker(ϕ) = a G aha 1 Soit G un groupe infini et H un sous-groupe de G, distinct de G et d indice fini. Alors, G n est pas simple. Perrin p17 Théorème 7 (de Frobenius) Soit G un groupe fini, H un sous-groupe de G. On suppose que p est le plus petit diviseur premier de G et que H.p = G. Alors, H est un sous-groupe distingué de G. Oraux X-ENS 1 p48 2.3 Théorèmes de Sylow Définition 7 Soit G un groupe fini de cardinal n et p un diviseur premier de n. Si n = p α m avec p m, on appelle p-sous-groupe de Sylow de G, un sousgroupe de cardinal p α. On fait agir G sur ses p-sylow. On obtient : Théorème 8 (de Sylow) Soit G un groupe fini d ordre n = p α m avec p m. Alors, G contient au moins un p-sous groupe de Sylow. De plus, tous les p-sylow sont conjugués Perrin p18-19

3 APPLICATIONS EN ALGÈBRE LINÉAIRE ET EN ALGÈBRE COMMUTATIVE7 et leur nombre n p vérifie, n p 1[p]. Enfin, tout sous-groupe de G qui est un p-groupe, est contenu dans un p-sylow. Corollaire 2 Un p-sylow est unique, si et seulement si, il est distingué. Application : Un groupe d ordre 63 n est pas simple. 3 Applications en algèbre linéaire et en algèbre commutative 3.1 En algèbre linéaire Soit K un corps commutatif. (i) Le groupe G = GL n (K) GL n (K) opère sur E = M n (K) via : (P, Q).M = P MQ 1 Deux matrices qui sont dans la même orbite pour cette action de groupe sont dîtes équivalentes. Proposition 7 Pour A, B E = M n (K), on a : (i) A B rang(a) = rang(b) (ii) Pour 0 r n, lorsque rang(a) = r, on a A R r où R r = 0 si r = 0 et Alessandri p20 R r = Diag(1,..., 1, 0,..., 0) si r 1 }{{} r Interprétation : Le rang est un invariant total pour la classification des matrices à équivalence près. De plus, il y a (n + 1)-orbites et les matrices R r constituent un système complet de représentants de classes d équivalence. (ii) On peut également faire agir G = GL n (K) sur E = M n (K) via : P.M = P MP 1 Deux matrices qui sont dans la même orbite pour cette action de groupes sont dîtes semblables. Proposition 8 Deux matrices A, B M n (K), dont les polynômes caractéristiques sont scindés, sont semblables, si et seulement si, elles ont la même réduite de Jordan (à l ordre des blocs près). Grifone p198

3 APPLICATIONS EN ALGÈBRE LINÉAIRE ET EN ALGÈBRE COMMUTATIVE8 3.2 Représentations linéaires des groupes finis Définition 8 Une représentation linéaire d un groupe G est la donnée d un espace vectoriel E sur un corps K, et d un morphisme de groupe ρ : G GL(E). Autrement dit, le groupe G opère par automorphismes linéaires sur E. Si dim(e) = n < +, la représentation est dite finie, de degré n. Alessandri p31 Définition 9 Le caractère d une représentation linéaire (ρ, E) est l application χ ρ : G K g T r(ρ(g)) Définition 10 On dit que deux représentations (ρ 1, E 1 ) et (ρ 2, E 2 ) d un même groupe G sont isomorphes si il existe un isomorphisme σ : E 1 E 2 tel que g G, x E 1, σ(g.x) = g.σ(x) Proposition 9 Si (ρ 1, E 1 ) et (ρ 2, E 2 ) sont isomorphes, alors χ ρ1 = χ ρ2. Autrement dit, le caractère est un invariant. Développement : Théorème 9 (de Molien) Soit G un sous-groupe fini de GL n (C). Il agit linéairement sur le sous-espace V d C[X 1,..., X n ] des polynômes homogènes de degré d via : Leichtnam, Algèbre 1 p117 A G, P V d, A.P (X 1,..., X n ) = P ( t (A 1t (X 1,..., X n ))) qui est une notation pratique pour dire que l on substitue n j=1 α j,i à X i, si l on note A 1 = (α i,j ). On note que V d n est qu un sous-espace vectoriel de C[X 1,..., X n ] stable par la même action plus générale sur C[X 1,..., X n ] tout entier (une substitution linéaire des variables dans un polynômes homogènes reste homogène de degré d).le théorème de Molien est l égalité des séries formelles : 1 G A G 1 det(i ta) = d 0 avec rayon de convergence au moins 1. dim(v G d )t d

4 APPLICATIONS EN GÉOMÉTRIE 9 3.3 Action de S n sur C[X 1,..., X n ] S n C[X 1,..., X n ] via σ.p (X 1,..., X n ) = P (X σ(1),..., X σ(n) ). On s intéresse à l algèbre C[X 1,..., X n ] Sn des polynômes invariants par l action S n C[X 1,..., X n ], qu on appelle ensemble des polynômes symétriques. Théorème 10 (de structure des polynômes symétriques) On a : où C[X 1,..., X n ] Sn = C[Σ 1,..., Σ n ] Σ p = 1 i 1 <...<i p n sont les polynômes symétriques élémentaires. X i1...x ip Ramis-Deschamps- Odoux p200-203 On peut également parler de l action de l action de S n sur GL n(k) avec notamment le théorème de Brauer (Objectif Agrégation p322). 4 Applications en géométrie 4.1 Angles orientés et espaces affines Définition 11 On appelle espace affine, un ensemble E sur lequel le groupe additif (E, +) d un espace vectoriel agit (à droite), transitivement et librement. Définition 12 Soit E 2 un R-plan vectoriel euclidien de sphère unité S. Le groupe SO(E 2 ) des rotations opère de façon naturelle sur S S : (r.(x, y) = (r(x), r(y))). L orbite de (x, y) est notée ((x, ˆy)), c est l angle orienté des vecteurs x et y pris dans cet ordre. Combes, p105 Alessandri, p30 4.2 Action de P SL 2 (Z) sur le demi plan de Poincaré À faire si on veut le proposer en développement, ou bien si on maîtrise suffisamment. Sinon, trouver autre chose... Référence : Allessandri p81

RÉFÉRENCES 10 Références. [1] Daniel Perrin, Cours d algèbre. Ellipses, 1996. [2] François Combes, Algèbre et géométrie. Bréal, 2003. [3] Xavier Gourdon, Algèbre, 2 ème ésition. Ellipses, 2009. [4] Serge Francinou, Hervé Gianella, Serge Nicolas, Exercices de mathématiques, Oraux X-ENS, Algèbre 1. Cassini, 2007. [5] Michel Alessandri, Thèmes de géometrie. Groupes en situation géométrique. Dunod, 1999. [6] Eric Leichtnam, Exercices corrigés de Mathématiques, posés à l oral des concours de Polytechnique et des ENS, Algèbre 1. Ellipses, 2000. [7] E.Ramis, C.Deschamps, J.Odoux, Cours de Mathématiques spéciales. Tome 1 Algèbre.. Masson, 1977.