Cours 14dec2016
Cours 14dec2016
Cours 14dec2016
GROUPES
1
2
Example 1.1.3. — If k is a field, (k, +), (k ∗ , ·) are groups. In this note, the
fields are commutative (in French, fields are always commutative). For example,
if k = C is the field of complex numbers, (C, +), (C∗ , ·) are groups.
More generally, for n ∈ N∗ , the n × n matrices with coefficients in k and nonzero
determinant form a group GLn (k). For n ≥ 2, the group GLn (k) is not abelian.
In the same way, if A is a ring, (A, +) is an abelian group. Let A× denote the
set of invertible elements of A. Then (A× , ·) is a group. If A is a commutative
ring, we may consider the group GLn (A) of invertible matrices of order n ∈ N∗
with coefficients in A, i.e. with determinant in A× .
Example 1.1.4. — If G, H are two groups, we can construct a new group G×H
called the direct product of G and H. As a set, it is the cartesian product of G
and H and the multiplication is defined by (g, h)(g 0 , h0 ) = (gg 0 , hh0 ). If moreover
G, H are finite, then G × H is finite of order |G||H|.
The main groups in this lecture will be the permutation group and the linear
group, that is groups of bijective applications with binary operation given by
the composition. Indeed, they allows to describe all finite groups (Corollary
1.3.8,1.3.9) and groups representations (Part III).
Example 1.1.5. — Let S be a set and Bij(S) be the set of bijections ϕ : S −→
S. We define the product of two elements of S to be their composite.Then Bij(S)
is a group called the group of symmetries of S. For example the permutation group
on n letters Sn is defined to be the group of symmetries of the set {1, . . . , n}. It
has order n! and is non abelian if n ≥ 3.
Example 1.1.6. — Let k be a field. For a finite dimensional k-vector space V,
the k-linear automorphisms of V form a group GL(V ) called the linear group of
V.
iii. The associativity property can be express through the following commutative
diagram:
·×id
G × G × G −→ G × G
id × · ↓ ↓·
·
G×G −→ G
The associativity property gives that the product of any ordered n-tuple g1 , g2 , . . . , gn
of elements of G is unambigously defined (by induction).
−1
The inverse of g1 g2 . . . gn is gn−1 gn−1 · · · g1−1 .
· a b c d e f g h
a a b c d e f g h
b b a f h g c e d
c c e d g h b a f
d d h g a f e c b
e e c b f a d h g
f f g h e d a b c
g g f a c b h d e
h h d e b c g f a
If m, n ∈ Z, we have
g n+m = g n g m , (g m )n = g mn ,
g n = e ⇐⇒ m|n.
The following property gives not only an efficient way to construct subgroup,
but also to describe a group.
6
sage: D4=DihedralGroup(4)
sage: D4
Dihedral group of order 8 as a permutation group
sage: D4.order()
8
7
sage: D4.gens()
[(1, 2, 3, 4), (1, 4)(2, 3)]
sage: D4.is abelian()
False
sage: D4.cayley table()
(· · · )
Example 1.2.9.
— The quaternion
group Q.
0 i 0 1
Let a = and b = . Then
i 0 −1 0
a4 = e, a2 = b2 , bab−1 = a3 (so ba = a3 b).
The subgroup of GL2 (C) generated by a and b is
Q = {e, a, a2 , a3 , b, ab, a2 b, a3 b}.
sage: Q = groups.presentation.Quaternion(); Q
Finitely presented group < a, b|a∧ 4, b∧ 2 ∗ a∧ − 2, a ∗ b ∗ a ∗ b∧ − 1 >
sage:Q.order(); Q.is abelian()
8
False
Remark 1.2.11. — We have seen in the proof of Proposition 1.2.6 that an in-
tersection of subgroups of G is a subgroup of G. More generally, an intersection of
subobjects of an algebraic object (rings, modules, fields, vectors spaces, algebras...)
is a subobject.
Group homomorphisms are not only efficient way to construct subgroup, but
also to identify two groups by isomorphisms.
Remark 1.3.5. — To compute the signature of σ, connect (by a line) each ele-
ment i in the top row to the element i in the bottom row, and count the number
of times that the lines cross ; σ is even or odd according as this number is even
or odd. This works because there is one crossing for each inversion.
1 2 3 4 5 6
6 1 3 4 5 2
The braid group on n strands is a generalization of permutation group.
Remark 1.3.6. — Groups with small order. For each prime p, there is only
one group of order p up to isomorphism, namely Cp . For n ≤ 12 (not prime), up
to isomorphism, groups of order n are given by the following table
|G| Groups
4 C4 , C2 × C2
6 C6 , S 3
8 C8 , C2 × C4 , C2 × C2 × C2 , D4 , Q
9 C9 , C3 × C3
10 C10 , D5
12 C12 , C2 × C6 , C2 × S3 , A4 , C3 o C4
The group C3 o C4 is defined in Remark 2.2.9. We will also show that the
dihedral group D3 , of order 6, is isomorphic to the permutation group S3 as
expressed with sage.
sage: S3 = SymmetricGroup(3);S3
Symmetric group of order 3! as a permutation group
sage: D3=DihedralGroup(3); D3
Dihedral group of order 6 as a permutation group
sage: D3.is isomorphic(S3)
True
Theorem 1.3.7. — (Cayley) There is a canonical injective group homomor-
phism
ϕ : G −→ Bij(G).
Proof. — List the elements of the group as g1 , . . . , gn and apply Cayley’s Theo-
rem.
2. Quotients
2.1. Cosets. —
Definition 2.1.1. — Let H a subgroup of a group G. For g ∈ G, we denote
gH = {gh|h ∈ H} and Hg = {hg|h ∈ H}.
The subsets of G of the forms gH are called the left cosets of H in G and the
subsets de G of the forms Hg are called the right cosets of H in G.
The set of left cosets of H in G is denoted G/H. The set of right cosets of H in
G is denoted H\G.
The index [G : H] of H in G is defined to be the number of left cosets of H in G.
H −→ G, h 7→ gh
Corollary 2.1.3. — i. The order of a subgroup divides the order of the group.
ii. The order of each element of a finite group divides the order of the group.
g1 ∼ g2 ⇐⇒ ∃h ∈ H such that g2 = g1 h.
The left cosets and the right cosets of H in G are equal if and only if for any
g ∈ G, gHg −1 = H. Indeed, gH = Hg for any g ∈ G implies G/H = H\G. In
this case, we are able to define a group structure on the set G/H. This is the
main motivation of the following sections (2.2,2.3).
12
Example 2.2.7. — Let G a group and Aut G its automorphisms group. For
h ∈ G, we denote Inn(h) the element of Aut G defined by Inn(h) : g 7→ hgh−1 .
The set
Inn G = {Inn(h), h ∈ G}
is a normal subgroup of Aut G. Moreover
Inn : G −→ Aut G, h 7→ Inn(h)
defines a group homomorphism of kernel the (normal) subgroup Z(G), centre of
G and image Inn G. To summarize, the following sequence is exact
1 −→ Z(G) −→ G −→ Inn G −→ 1
Normal subgroups can be used to reconstruct the whole group from subgroups
in some cases.
13
Exercise 2.2.9. — (Semidirect product) Let N, H two groups and a group mor-
phism ϕ : H −→ Aut N . The semidirect product G = N o H of N by H is the
set N × H provided with the binary operation given by
(n1 , h1 )(n2 , h2 ) = (n1 ϕ(h1 )(n2 ), h1 h2 ), (ni , hi ) ∈ N × H, i = 1, 2.
If G = N o H, then N is identified with the normal subroup N × {eH } of G and
H is identified to the subgroup {eN } × H.
Let N , H two subgroup of the group G. Then G = N o H if and only if N C G,
N ∩ H = {e} and N H = {nh|n ∈ N, h ∈ H} = G. Moreover the operation
ϕ : H −→ Aut(N ) is given by ϕ(h)(n) = hnh−1 , h ∈ H and n ∈ N .
For example, the dihedral group is a semidirect product Dn = Cn oC2 , C2 =< s >,
Cn =< r >, ϕ : C2 −→ Aut Cn , s 7→ (ri 7→ r−i ).
A cyclic group of order p2 and the quaternion group can not be written as a
semidirect product in a non trivial fashion.
The non trivial semidirect product C3 o C4 is given on the generators < x >= C3 ,
< y >= C4 by ϕ : C4 −→ Aut(C3 ) ϕ(y)(x) = x−1 .
Let us begin with quotient groups of abelian groups (in this case any abelian
subgroup is normal).
Example 2.3.2. — The subgroups of (Z, +) are mZ for m ∈ N (and normal
since Z is abelian). For m ≥ 1, the quotient group (Z/mZ, +) is isomorphic to
(Cm , ·) cyclic of order m.
Example 2.3.3. — The multiplicative group µ(C) of complex roots of unity is
isomorphic to the quotient group (Q/Z, +).
Example 2.3.4. — If V is a k-vector space and W is a subvector space of V ,
then W is a normal subgroup of V (abelian) and the quotient V /W is not only a
group but also a k-vector space.
Remark 2.3.5. — A chain complex is a sequence of abelian group homomor-
phisms
ϕn+2 ϕn+1 ϕn ϕn−1
· · · −→ Gn+1 −→ Gn −→ Gn−1 −→ · · ·
with ϕn ϕn+1 = 0 for all n. The nth homology group in the chain complex is
defined to be the quotient
Hn (G• ) = ker ϕn / im ϕn+1 .
The homology measure ”how far” the chain complex associated to G• is from
being exact.
Exercise 2.3.6. — Let G a group. The commutator or derived subgroup of
G is the subgroup D(G) of G generated by the elements of the form ghg −1 h−1 ,
g, h ∈ G. Then D(G) is normal
g 0 (ghg −1 h−1 )g 0−1 = (g 0 g)h(g 0 g)−1 g 0 h−1 g 0−1 = (g 0 g)h(g 0 g)−1 h−1 · hg 0 h−1 g 0−1
and G/D(G) is abelian
ḡ h̄ = h̄ḡg −1 h−1 gh.
If H is any normal subgroup of G with G/H abelian, then D(G) ⊂ H.
Exercise 2.3.7. — Let H be a normal subgroup of the group G. If G is of finite
type, then G/H is of finite type. If H and G/H are of finite type, then G is of
finite type.
15
where a(A), b(B)and c(C) are normal subgroups. Denote Coker a = A0 /a(A),
Coker b = B 0 /b(B), Coker c = C 0 /c(C). Then the following sequence is exact
1 → ker a → ker b → ker c → Coker a → Coker b → Coker c → 1.
Remark 2.3.11. — An exact sequence
1 −→ N −→ G −→ Q −→ 1
ι π
is called an extension of Q by N .
The extension of Q by N is said to be central if ι(N ) ⊂ Z(G).
The extension of Q by N is said to be split if there exists a group homomorphism
s : Q −→ G such that π ◦ s = Id ; This is equivalent to G is isomorphic to a
semidirect product of Q by N . If the extension of G by N is split and central,
16
then G ' N × Q.
For example, the following two sequences are split
ε
1 −→ An −→ Sn −→ {1, −1} −→ 1
for s : {1, −1} −→ Sn , 1 7→ Id, −1 7→ τ , where τ is any transposition;
det
1 −→ SLn (k) −→ GLn (k) −→ k ∗ −→ 1
λ
1
for s : k ∗ −→ GLn (k), λ 7→
... .
1
In general an extension if not split, for example
1 −→ Cp −→ Cp2 −→ Cp −→ 1
is not split.
An extension of finite groups of relatively prime order is split (Schur-Zassenhaus).
Two extensions of Q by N are said to be isomorphic if there exists a commutative
diagram
1 −→ N
−→ G −→ Q
−→ 1
↓∼
1 −→ N −→ G −→ Q −→ 1
The isomorphic classes of extensions of Q by N are described by the group
Ext1 (Q, N ).
The problem of classifying all finite groups falls into two parts:
- Classify all finite simple groups,
- Classify all extensions of finite groups.
The case of finite abelian groups is the simplest.
Dans §3, les groupes considérés sont abéliens, l’opération est notée additive-
ment. En particulier, le groupe cyclique d’ordre n est noté (Z/nZ, +). Le groupe
à un élément est noté 0 ou Z/nZ avec n = 1.
17
Soit p un nombre premier. Il est usuel de munir le groupe additif Z/pZ d’une
structure d’anneau abélien dans lequel tous les éléments non nuls sont inversibles
et de construire ainsi le corps à p éléments noté Fp . Ces éléments non nuls sont
les racines du polynome xp−1 = 1, ainsi le groupe multiplicatif F∗p est un groupe
cyclique d’ordre p − 1. Plus généralement,
Son noyau est de la forme pZ avec p ≥ 0. L’entier p ≥ 0 ainsi défini est dit
caractéristique du corps k. Si p est non nul, alors p est premier car le groupe
multiplicatif k ∗ est intègre. Ainsi k contient un sous-corps isomorphe à Fp donc
k est un Fp -espace vectoriel. En particulier si k est fini, son ordre q est puissance
de p et d’après la proposition 3.6, k ∗ est un groupe cyclique d’ordre q − 1. Re-
marquons que malgré la structure élémentaire de k ∗ , il est difficile de déterminer
un générateur explicite de k. Cette difficulté est la garantie de la robustesse des
algorithmes de cryptographie les plus utilisés.
19
Pour démontrer ce théorème, nous avons besoin d’établir trois lemmes préliminaires.
Exemple 3.17. — Pour Qkn ≥αi2, il est facile d’écrire tous les groupes abéliens
d’ordre n. Notons n = i=1 pi la décomposition de n en produit de puissances
de nombres premiers distincts et Part(α) le nombre de partitions de α en entiers
naturels. Ainsi :
α 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
Part(α) 1 2 3 5 7 11 15 22 30 42 56 77 101 176 231
Alors, il y a
Part(α1 ) · Part(α2 ) · · · Part(αk )
22
http://images.math.cnrs.fr/
Définition 3.21. — Un groupe abélien G est dit libre de rang r s’il est isomor-
phe à Zr , i.e il existe une famille d’éléments x1 , . . . , xr de G tels que le morphisme
de groupes
X r
r
Z −→ G, (n1 , . . . , nr ) 7→ n i xi
i=1
La notion de rang est bien définie : les groupes abéliens Zr et Zs sont iso-
morphes si et seulement si r = s. En effet, par réduction modulo p, nous avons
les surjections Zr −→ (Z/pZ)r , Zs −→ (Z/pZ)s , donc les groupes (Z/pZ)r et
(Z/pZ)s ont le même cardinal pr = ps .
Lemme 3.22. — Tout sous-groupe d’un groupe abélien libre de rang r est libre
de rang s, 0 ≤ s ≤ r.
D’un système de générateurs d’un groupe abélien libre de rang fini, nous ne
pouvons pas nécéssairement extraire une base. Par exemple 2, 3 engendre Z mais
ni 2 ni 3 n’engendre Z.
Dans Zr , nous avons les notions de famille libre sur Z, cette notion est d’autant
plus claire que nous avons l’inclusion Zr ⊂ Qr . Dans le Q-espace vectoriel Qr ,
les notions d’indépendance linéaire sur Z ou sur Q sont équivalentes (à vérifier).
Toute famille d’au moins r + 1 éléments de Zr est liée. Plus généralement
24
est injectif.
Définition 3.24. — Un groupe abélien G est dit de type fini s’il existe une
famille d’éléments x1 , . . . , xr de G telle que le morphisme de groupes
r
X
r
Z −→ G, (n1 , . . . , nr ) 7→ n i xi
i=1
est surjectif.
Un groupe abélien de type fini est un quotient d’un groupe abélien libre de
type fini. Il s’en suit qu’une famille libre d’un groupe abélien engendré par r
générateurs a au plus r éléments.
Tout sous-groupe et tout groupe quotient d’un groupe abélien de type fini est
un groupe abélien de type fini. En particulier, si G est un groupe abélien de
type fini, le sous-groupe Gtors de torsion (des éléments d’ordre fini) de G est un
sous-groupe abélien fini et le quotient G/Gtors est un groupe sans torsion (tout
élément différent de l’élément neutre est d’ordre infini).
Lemme 3.25. — Un groupe abélien G de type fini sans torsion est un groupe
abélien libre de rang fini.
Si k est fini, E(k) est alors un groupe abélien fini, c’est toujours un groupe
cyclique ou le produit de deux groupes cycliques.
Le théorème de Mordell-Weil établit que E(Q) est un groupe abélien de type fini.
Le théorème de Mazur montre que le sous-groupe de torsion E(Q)tors appartient
à l’ensemble des 15 groupes abéliens suivants : Z/nZ pour n ∈ {1, . . . , 10, 12} et
Z/2Z × Z/nZ for n ∈ {2, 4, 6, 8}.
Le rang de E(Q) est conjecturalement arbitrairement grand. En 2006, Elkies
26
sage: P+Q
(3 : 2 : 1)
La notation de sage correspond au plongement dans l’espace projectif E(F5 ) ⊂
P2 (F5 ). Ainsi le point O s’identifie au point [0 : 0 : 1].
Définition 4.1. — Une suite de composition d’un groupe G est une suite finie
G = G0 B G1 B · · · B Gr = 1
de sous-groupes de G où chaque groupe Gi+1 et normal dans Gi et chaque quotient
Gi /Gi+1 est simple.
Ainsi dans une suite de composition, pour tout i, Gi+1 est un sous-groupe
normal non trivial (i.e. différent de 1 et Gi ) de Gi maximal pour l’inclusion.
Démonstration. — Par induction sur l’ordre de G, il est facile de voir que tout
groupe fini admet une suite de composition.
Pour l’unicité, nous raisonnons par récurrence sur l’ordre de G si H1 = G1 , nous
avons deux suites de composition pour G1 . Nous pouvons conclure par récurrence.
Si H1 6= G1 , d’après le lemme 4.3
G/G1 ' H1 /G1 ∩ H1 et G/H1 ' G1 /G1 ∩ H1 .
Posons K2 = G1 ∩ H1 , c’est un sous-groupe normal maximal dans G1 et H1 et
G/G1 ' H1 /K2 , G/H1 ' G1 /K2 .
Considèrons une suite de composition
K2 B K3 B · · · B Kt = 1.
Ainsi par induction les deux suites de composition d’une part
G1 B G2 B · · · B Gr = 1
G1 B K2 B K3 B · · · B Kt = 1,
et les deux suites de composition d’autre part
H1 B H2 B · · · B Hs = 1
H1 B K2 B K3 B · · · B Kt = 1,
sont équivalentes. Ce qui permet de conclure.
Remarque 4.5. — (Programme de Holder). La classification des groupes finis,
se ramène donc d’une part, à la classification de tous les groupes simples finis et,
d’autre part, à la classification des extensions de groupes finis.
La classification complète des groupes simples finis a été achevée dans les années
90. Elle se compose
- des groupes cycliques d’ordre premier,
- des groupes alternés An pour n ≥ 5,
29
Les groupes simples les plus élémentaires sont les groupes cycliques d’ordre
premier. L’étude des groupes finis, dits résolubles, admettant une suite de com-
position dont les quotients sont cycliques d’ordre premier, est naturellement plus
aisée.
Definition 4.2.1. — Un groupe G est dit résoluble s’il admet une suite résoluble,
i.e une suite finie
G = G0 B G1 B · · · B Gr = 1
de sous-groupes de G où chaque groupe Gi+1 est normal dans Gi et chaque quo-
tient Gi /Gi+1 est abélien.
Si G est fini, il est facile de déduire d’une suite résoluble, une suite de compo-
sition dont tous les quotients sont (simples) de la forme Cp avec p premier.
Exemple 4.6. — Les groupes abéliens, les groupes diédraux sont résolubles.
Lemme 4.10. — Le groupe dérivé D(G) est le plus petit sous-groupe normal de
G tel que G/D(G) est abélien.
Remarque 4.13. — Les groupes non abéliens simples ne sont pas résolubles.
Tout groupe d’ordre < 60 est résoluble car les seuls groupes simples d’ordre < 60
sont les groupes cycliques d’ordre premier.
Feit et Thompson ont montré en 1963 que tout groupe fini d’ordre impair est
résoluble.
31
Les paragraphes (5.1,5.2) sont consacrés à l’étude des groupes GLn (Z), SLn (Z),
GLn (k) et SLn (k) qui fournissent (pour n ≥ 2, |k| > 4) des familles de groupes
non résolubles et qui donnent une démonstration constructive du théorème de
structure des groupes abéliens de type fini.
5. Groupe linéaire
5.1. Groupe GLn (Z). — Nous notons Eij la matrice carrée dont tous les co-
efficients sont nuls, sauf celui situé à la i-ème ligne et la j-ème colonne, qui vaut
1. Dans cette notation (et par abus), nous n’avons pas précisé la taille de la
matrice ni l’anneau des coefficients. Ces informations se déduisent naturellement
du contexte.
Par une suite d’opérations élémentaires, nous pouvons échanger deux lignes ou
deux colonnes quitte à changer le signe d’une d’elles :
Li Li −Li −Lj
.
Lj Li + Lj Li + Lj Li
Nous pouvons également changer le signe de deux colonnes ou de deux lignes :
Li −Lj −Li
Lj Li −Lj
Par une suite d’opérations élémentaires, nous obtenons de façon moins immédiate
un algorithme conduisant à la décomposition suivante :
33
sous Python.
∼
L’isomorphisme Φ◦P −1 : Zs −→ G correspond à une nouvelle base (e1 , . . . , es ) de
G et H = Im(f ◦ Q) est alors engendré par (d1 e1 , . . . , dr er ). Comme ces éléments
forment une famille libre, c’est une base de H.
Corollaire 5.6. — Soit G un groupe abélien de type fini. Il existe des entiers r
et s et 1 < d1 | · · · |dr tels que
r
Y
s
G'Z × Z/di Z.
i=1
Si A ∈ GLn (Z), le lemme 5.2 donne une écriture sous la forme A = P Id Q avec
P , Q produits de matrices correspondant aux opérations réalisées sur les lignes
(resp. colonnes). Ces opérations sont de deux types :
- la mutiplication à gauche (à droite) par la matrice élémentaire Id +aEij et
- l’échange de deux lignes ou colonnes Id +Eij −Eii −Ejj , pour 1 ≤ i, j ≤ n, i 6= j.
Exemple 5.8. — Le groupe SL2 (Z) est engendré par les deux matrices
1 1 1 0
T = , U=
0 1 1 1
Exemple 5.9. — Supposons n ≥ 2. En calculant les produits de la forme
A(Id +Eij ) et (Id +Eij )A, nous établissons aisément :
Le centre de GLn (Z) est réduit aux homothéties, Z(GLn (Z)) ' {± Id}. Le centre
de SLn (Z) est réduit à l’identité si n impair et {± Id} si n pair.
Remarque 5.10. — En utilisant les matrices élémentaires, nous pouvons mon-
trer que SLn (Z) n’est pas résoluble pour n ≥ 2 (voir Exemple 5.13). De plus,
pour n ≥ 3, le groupe dérivé D(SLn (Z)) est SLn (Z). En revanche, pour n = 2,
[SL2 (Z) : D(SL2 (Z))] = 12.
5.2. Le groupe linéaire. — Soit k un corps. D’après le lemme 5.2, nous avons
Corollaire 5.11. — Le groupe GLn (k) est engendré par les matrices élémentaires
Id +αEij , 1 ≤ i, j ≤ n, i 6= j, α ∈ k et les matrices Id + (β − 1)Enn , β ∈ k × . De
plus Z(GLn (k)) ' k × .
Le groupe SLn (k) est engendré par les matrices élémentaires Id +αEij , 1 ≤ i, j ≤
n, i 6= j, α ∈ k. De plus Z(SLn (k)) ' µn (k) = {λ ∈ k|λn = 1}.
Proposition 5.12. — Soit k un corps et n ≥ 2.
i. On a D(SLn (k)) = SLn (k) sauf si n = 2 et k = F2 ou F3 .
ii. On a D(GLn (k)) = SLn (k) sauf si n = 2 et k = F2 .
Le théorème de structure des groupes abéliens de type fini, donne une présentation
très simple de
G ' Zr × Πsi=1 Z/di Z
via une famille de générateurs (ai )1≤i≤r+s satisfaisant les relations
adi i = e, 1 ≤ i ≤ s, ai aj a−1 −1
i aj = e, 1 ≤ i, j ≤ s + r.
De même l’éude du groupe linéaire est facilitée par la connaissance d’un système
de générateurs. L’objet de cette section est de formaliser et généraliser ces de-
scriptions explicites des groupes.
Remarque 6.8. — (Le problème des mots). Soit G = L(A)/R avec A fini. Le
problème des mots pour G est le suivant : existe-t-il un algorithme pour décider
si un mot (non vide) de A représente e dans G. La réponse négative est due
à Novikov et Boone. Plus généralement, nous pouvons nous poser les questions
suivantes : existe-t-il un algorithme qui détermine pour une presentation finie
40
dS : G × G −→ R, (g, h) 7→ `S (g −1 h).
PARTIE II
ACTIONS DE GROUPES
7.1. Définitions. — ”Les groupes sont faits pour agir.” (P. Colmez). Faire
agir un groupe G sur un ensemble E muni d’une certaine structure est un moyen
efficace d’obtenir des informations sur la structure du groupe G et sur celle de
l’ensemble E considéré.
Remarque 7.7. — Une action à gauche d’un groupe G sur un ensemble E est
la donnée d’une application
L : G × E −→ E, (g, x) 7→ g · x
telle que e · x = x, x ∈ E et pour tous x ∈ E, g1 , g2 ∈ G nous avons g1 · (g2 · x) =
(g1 g2 ) · x.
Une action à droite d’un groupe G sur une ensemble E est la donnée d’une
application
R : G × E −→ E, (g, x) 7→ x · g
telle que e · x = x, x ∈ E et pour tous x ∈ E, g1 , g2 ∈ G nous avons (x · g1 ) · g2 =
x · (g1 g2 ).
Une groupe G opère sur un ensemble E, si et seulement si, il définit une action
à gauche (ou à droite) sur E (il suffit de poser x · g −1 = L(g)(x), le passage à
l’inverse permet de replacer les éléments dans le bon ordre).
Définition 7.8. — L’orbite d’un point x ∈ E sous l’action de G est
Ox = {ρ(g)(x), g ∈ G}.
S’il n’y a qu’une seule orbite (Ox = E) i.e. si pour tout couple (x, y) ∈ E × E il
existe g ∈ G avec ρ(g)(x) = y, alors G opère transitivement sur E.
Stab(y) = h Stab(x)h−1 .
ρ : G −→ Bij(G/H), ρ(g)(g 0 H) = gg 0 H.
Pour tout g ∈ G,
http://images.math.cnrs.fr/
Pour n ≥ 2, Pn (R) = Sn /{x ∼ −x} est une variété analytique réelle compacte de
dimension n.
et p divise tous les termes |Ox |, donc p divise |Z(G0 )|. Ainsi Z(G0 ) est un groupe
abélien d’ordre divisible par p donc contient un élément d’ordre p. Donc G0 ,
47
8. Théorème de Sylow
où X est un système de représentants des orbites non triviales. Si x ∈ X, |Ox | > 1
et divise |G| qui est une puissance de p. D’où le résultat.
Lemme 8.2. — Tout p-groupe non trivial a un centre non réduit à l’élément
neutre.
Exemple 8.3. — Tout p-groupe G est résoluble. Pour le montrer, nous raison-
nons par récurrence sur l’ordre de |G|. Comme Z(G) 6= 1, G/Z(G) est un p-
groupe d’ordre strictement inférieur à G donc résoluble. Le groupe abélien Z(G)
est résoluble. Donc, d’après le lemme 4.8, G est résoluble.
Lemme 8.4. — Supposons que G contient un sous-groupe H ⊂ Z(G) (alors H
est normal) tel que G/H cyclique. Alors G est abélien.
Plus généralement, si H ⊂ Z(G) et G contient un système de représentants de
G/H d’éléments qui commutent, alors G est abélien.
Démonstration. — Soit a ∈ G avec G/H =< ā >. Alors tout élément de G est
0 0 0
de la forme g = ai h pour h ∈ H et i ∈ Z. Or ai hai h0 = ai ai hh0 = ai ai h0 h =
0
ai h0 ai h, donc G est abélien.
Exemple 8.5. — Tout groupe d’ordre p2 est abélien et donc isomorphe à Z/p2 Z
ou Z/pZ × Z/pZ.
En effet, si le centre de G n’est pas trivial, donc G/Z(G) est d’ordre 1 ou p, donc
cyclique. D’après le lemme 8.4, G est abélien (absurde).
de p-Sylow.
iii. Le groupe G opère par conjugaison, transitivement sur l’ensemble des sous-
groupes de p-Sylow.
iv. Le nombre des sous-groupes de p-Sylow de G est congru à 1 modulo p et divise
m.
sous-groupes normaux Pi est normal dans G. Nous montrons par récurrence sur
k qu’il est d’ordre Πki=1 pri i . Pour k = 1, le résultat est clair.
QSupposons
k ≥ 2.
Qk−1 k−1
Les sous-groupes i=1 Pi et Pk sont normaux dans G et i=1 Pi ∩ Pk = 1
Qk
donc le produit direct i=1 Pi est un sous-groupe normal de G.
Exemple 8.14. — Si G est un groupe d’ordre 99, alors G est produit direct de
ses sous-groupes de Sylow qui sont abéliens, donc G est abélien.
Exemple 8.15. — Soit G d’ordre pq avec p et q deux nombres premiers p < q.
Le nombre nq de q-Sylow de G satisfait nq ≡ 1 mod q et nq divise p. Donc nq = 1
et l’unique q-Sylow Q de G est normal. Soit P un p-Sylow de G, P ∩ Q = {e},
Q C G et P Q = G, donc G = Q oϕ P . Il s’agit de d’eterminer ϕ : P −→ Aut Q.
Or Aut Q = (Z/qZ)∗ . Si p ne divise pas q −1, alors ϕ est trivial et G est cyclique.
Si p divise q − 1, alors G est cyclique ou est décrit par les générateurs {a, b} et
les relations
ap = 1, bq = 1, aba−1 = bi
avec i élément d’ordre p dans le groupe multiplicatif (Z/qZ)∗ (la classe d’isomorphie
de G ne dépend pas du choix de i 6= 1).
Remarque 8.16. — Soit p, q deux nombres premiers distincts. Les groupes
d’ordre pq, p2 q, p3 q ne sont pas simples. Si, de plus, p < q, les groupes d’ordre
52
9. Groupe symétrique
La longueur d’un cycle est aussi son ordre comme élément de Sn . Deux cycles
de supports disjoints commutent, donc si σ ∈ Sn se décompose en cycles de
53
supports disjoints
σ = (i1 , . . . , ir )(j1 , . . . , js ) · · · (`1 , . . . , `u )
σ m = (i1 , . . . , ir )m (j1 , . . . , js )m · · · (`1 , . . . , `u )m , m ∈ Z,
donc σ a pour ordre le ppcm(r, s, . . . , u).
Lemme 9.2. — Toute permutation se décompose (de manière unique à l’ordre
près) comme produit de cycles à supports disjoints (qui commutent deux à deux).
Démonstration. — Soit σ ∈ Sn . Alors < σ > opère sur {1, . . . , n} qui est réunion
disjointe de ses orbites :
r
a
{1, . . . , n} = Oi .
i=1
En posant
σ(x) si x ∈ Oi
σi (x) =
x si x ∈
6 Oi
alors nous obtenons des cycles σi de support Oi , σi σj = σj σi , 1 ≤ i, j ≤ r tels
que
σ = σ1 · · · σr .
Définition 9.20. — Un polyèdre de R3 est dit régulier si toutes ses faces sont
des polygones réguliers de même type et si tous ses sommets sont de même degré.
57
http://images.math.cnrs.fr/
Définition 9.21. — Nous appelons polyèdre dual d’un polyèdre P le polyèdre
dont les sommets sont les centres de gravité des faces de P .
Exemple 9.22. — Dans un polyèdre régulier, comme dans tout polyèdre con-
vexe, nous avons la relation d’Euler qui relie les nombres de sommets (|S|),
d’arêtes (|A|) et de faces (|F |)
|S| − |A| + |F | = 2.
Pour une surface polyèdre convexe et ouverte, dont le contour est une ligne brise
plane ou gauche, par induction sur le nombre de faces |F | + |S| = |A| + 1. De
manière intuitive, si nous retirons une face à un polyèdre convexe, nous obtenons
une surface polyèdre.
2x
La fonction f : x 7→ x−2
est strictement croissante sur [3, +∞[ et f (6) = 3, donc
p ∈ {3, 4, 5} et
(p, q) ∈ {(5, 3), (4, 3), (3, 3), (3, 4), (3, 5)}.
De plus les liens entre sommets/arêtes et arêtes/faces conduisent aux égalités
X X
2|A| = #{s ∈ S|s ∈ a} = #{(s, a) ∈ S×A|s ∈ a} = #{a ∈ A|s ∈ a} = q|S|
a∈A s∈S
X X
2|A| = #{f ∈ F |a ∈ f } = #{(a, f ) ∈ A×F |a ∈ f } = #{a ∈ A|a ∈ f } = p|F |
a∈A f ∈F
http://images.math.cnrs.fr/
Paige Johnson
Pour k un corps, les groupes linéaires GLn (k) et SLn (k) agissent sur l’ensemble
des droites vectorielles de k n , dit espace projectif. Les noyaux de ces actions
61
sont les homothéties. Les groupes quotient PGLn (k) et PSLn (k) sont les groupes
projectifs linéaires. L’objet de cette section (§10) est d’établir, grâce au théorème
d’Iwasawa, la simplicité de PSLn (k) pour n ≥ 3 ou n ≥ 2 et |k| > 4.
10.1. Définitions. —
Lemme 10.6. — L’action de GLn (k) sur k n induit une action sur Pn−1 (k) de
noyau les homothéties.
Démonstration. — En effet le noyau de l’action de GLn (k) sur Pn−1 (k) est con-
stitué des automorphismes u linéaires qui fixent chaque droite de V = k n . Ainsi
pour tout x ∈ V , il existe λx ∈ k × , tel que u(x) = λx x. Par linéarité, pour
tous x, y ∈ V , λx+y (x + y) = λx x + λy y donc λx+y = λx = λy donc u est une
homothétie.
Définition 10.7. — Soit n ≥ 2, nous définissons le groupe projectif linéaire
PGLn (k) = GLn (k)/Z(GLn (k)).
L’action de GLn (k) sur Pn−1 (k) a pour noyau Z(GLn (k)) = k ∗ Id. Le groupe
projectif linéaire PGLn (k) opère ainsi fidèlement sur Pn−1 (k).
Exemple 10.8. — Pour tout n ≥ 2, GLn (F2 ) = SLn (F2 ) = PGLn (F2 ).
Exemple 10.9. — Si |k| = q, |PGLn (k)| = q n(n−1)/2 (q n − 1) · · · (q 2 − 1).
Remarque 10.10. — Nous avons les isomorphismes exceptionnels avec des groupes
symétriques
PGL2 (F3 ) ' S4 , PGL2 (F4 ) ' A5 , PGL2 (F5 ) ' S5 .
Notamment PGL2 (F3 ) opère fidèlement sur P1 (F3 ) qui a quatre éléments, donc
nous avons un morphisme injectif entre deux groupes de même cardinal
PGL2 (F3 ) −→ S4 .
63
GX = {g ∈ G, gx = x, x ∈ X}
X = Gx = H Stab(x)x = Hx,
Démonstration. — L’action de PSLn (k) sur Pn−1 (k) est 2-transitive, donc prim-
itive (lemme 10.17). Pour x = [x1 : · · · : xn ] ∈ Pn−1 (k), posons u = (x1 , . . . , xn ).
Le sous-groupe Tx de PSLn (k) image du sous-groupe abélien de SLn (k) des
transvections de vecteur u
Tx = {τ ϕ,u |ϕ : k n −→ k tel que u ∈ ker ϕ} < PSLn (k)
66
Nous avons donc décrit trois familles infinies de groupes simples (cycliques, al-
ternés et projectifs spéciaux linéaires). Pour en décrire d’autres, nous considérons
des groupes agissant sur des ensembles munis de structures supplémentaires.
Nous commençons par une étude des représentations, i.e. des actions de G sur
un espace vectoriel.
67
PARTIE III
11. Représentations
11.1. Définitions. —
Définition 11.1. — Soit G un groupe, k un corps et V un k-espace vectoriel.
Une représentation linéaire de G dans V est un morphisme de groupes
ρ : G −→ GL(V ).
Une représentation linéaire de G dans V est une action de G sur V qui préserve
sa structure de k-espace vectoriel. Ainsi une représentation linéaire est dite fidèle
si elle est injective.
D’après l’exemple 11.15, dans le cas où la caractéristique de k divise l’ordre |G|,
la conclusion du théorème de Maschke n’est plus valable.
Le théorème suivant se déduit du théorème de Maschke par récurrence sur la
dimension de la représentation.
Théorème 11.23. — Soit G un groupe fini avec cark 6 ||G|. Toute représentation
de G de dimension finie est somme directe de représentations irréductibles.
C’est un opérateur d’entrelacement de (F(G), ρreg ) dans (V, ρ), car pour tout
h ∈ G, u ∈ F(G),
X X
f (ρreg (h)(u)) = ρreg (h)(u)(g)ρ(g)(v0 ) = u(h−1 g)ρ(g)(v0 )
g∈G g∈G
X
= u(g 0 )ρ(hg 0 )(v0 ) = ρ(h)(f (u)).
g 0 ∈G
Si v0 6= 0 l’application f n’est pas nulle (car f (δe ) = v0 ). Comme V est
irréductible f est surjective, donc il existe au moins un i tel que f|Ri est non
nul. Par le lemme de Schur, f|Ri est un isomorphisme.
Corollaire 11.27. — Soit G un groupe fini avec cark 6 ||G| et soient ρ1 , . . . , ρ`
les représentations irréductibles de G. Toute représentation de G de dimension
finie se décompose en ⊕ρni i où les entiers naturels ni sont uniquement déterminés
par la représentation.
Donc un des uj est non nul, quitte à renuméroter J, nous pouvons supposer que
c’est u1 et en appliquant le lemme de Schur, nous obtenons des isomorphismes
q1 ◦ f|V1 : V1 −→ W1 et p1 ◦ f −1 |W1 : W1 −→ V1 .
Pour appliquer l’hypothèse de récurrence, il suffit de montrer que le morphisme
de représentations
ψ = (IdV −q1 ) ◦ f|⊕i∈I−{1}Vi ⊕i∈I−{1} Vi −→ ⊕j∈J−{1} Wj
entre représentations de même dimension est encore un isomorphisme. Ce qui
est le cas car il est injectif : si x ∈ ker ψ, f (x) ∈ W1 , p1 (f −1 (f (x))) = p1 (x) = 0
et comme p1 ◦ f −1 |W1 est bijectif, f (x) = 0 et x = 0.
Exemple 11.28. — La somme directe en représentations irréductibles
V = ⊕Vi
n’est pas unique. Par exemple la représentation constante ρ : G −→ GLn (k),
g 7→ Id se décompose en somme directe de n droites linéairement indépendantes.
73
12. Tenseur
V1 ' V1 ⊗ k, v 7→ v ⊗ 1, V1 ' k ⊗ V1 , v 7→ 1 ⊗ v,
La somme
Définition 12.10. — Soit r, s ∈ N. Un tenseur r fois covariant et s fois con-
travariant est un élément
T ∈ T r V ∗ ⊗ T s V.
76
Soit (ei )1≤i≤n une base de V de base duale (ei )1≤i≤n , un tenseur T ∈ T r V ∗ ⊗T s V
s’écrit
P i1 ...is j1 jr
T = i1 ,...is ,j1 ,...,jr Tj1 ...jr e ⊗ · · · ⊗ e ⊗ ei1 ⊗ · · · ⊗ eis ,
Tji11...j
...is j1
r
e ⊗ · · · ⊗ ejr ⊗ ei1 ⊗ · · · ⊗ eis .
Avec la convention usuelle en physique de sommation sur les indices répétés en
haut et en bas.
ρ = ρ1 ⊗ ρ2 : G −→ GL(V1 ⊗ V2 ),
(ρ1 ρ2 )(g1 , g2 )(v1 ⊗ v2 ) = ρ1 (g1 )(v1 ) ⊗ ρ2 (g2 )v2 , vi ∈ Vi , gi ∈ Gi , i ∈ {1, 2}.
et l’application de symétrisation
1 X
q : T r V −→ T r V, t 7→ σ̃(t).
r! σ∈S
r
13.1. Définitions. —
Définition 13.1. — Le caractère d’une représentation de dimension finie (V, ρ)
de G, est l’application χ : G −→ k donnée par la trace de la représentation
χ(g) = tr ρ(g). Le degré d’un caractère est la dimension de la représentation
associée.
dans F(G), ce qui entraı̂ne que f = 0 car les δg forment une base de F(G).
Corollaire 13.12. — Rappelons que k̄ est algébriquement clos de caractéristique
première à l’ordre de G.
i. Le nombre de représentations irréductibles de G est égal au nombre de classes
de conjugaison de G.
ii. Soient χ1 , . . . , χs les caractères des représentations irréductibles de G, soient
C = [g] et C 0 = [g 0 ] des classes de conjugaison dans G. Nous avons
s |G|
X
−1 0 |C|
si C = C 0 ,
χi (g )χi (g ) =
i=1
0 sinon.
1
pour β = kT .
Nous pouvons montrer que l’energie E est invariante par la redéfinition des gij
selon gij 7→ gi gij gj−1 où gi ∈ G et que E ne dépend pas de l’orientation des
plaquettes. Nous pouvons calculer la fonction de partition Z pour un réseau fini
de N plaquettes enserrées dans une courbe fermée du réseau fini.
S3 e (12)3 (123)2
χtriv 1 1 1
χε 1 -1 1
χ2 2 0 -1
87
S3 E 3sν 2C3
A1 1 1 1
A2 1 -1 1
E 2 0 -1
[1 1 1 1 1]
[1 −1 −1 1 1]
[1 −1 1 −1 1]
[1 1 −1 −1 1]
[2 0 0 0 −2]
Nous pouvons utiliser cette table pour obtenir des informations sur la structure
du groupe G.
En particulier, G est simple si tous les Gχ sont triviaux pour χ 6= χtriv , autrement
dit si et seulement si dans chaque ligne exceptée celle correspondant à la représentation
triviale, la valeur χ(e) n’apparait qu’une seulement fois (dans la colonne corre-
spondant à la classe {e}).
Lemme 14.7. — Le groupe dérivé D(G) est l’intersection des Gχ pour tous les
caractères de dimension 1.
1
< χV0 , χV0 >= χV0 (g)2 = 1
|G|
[1 1 1 1]
[1 −zeta3 − 1 zeta3 1]
[1 zeta3 −zeta3 − 1 1]
[3 0 0 −1]
Le sous-groupe {± Id} est le groupe dérivé D(D) et le quotient D/D(D) est iso-
morphe au groupe Z/2Z × Z/2Z. Nous en déduisons les quatre caractères de
degré 1. La représentation des quaternions par des matrices 2 × 2 fournit une
représentation irréductible de dimension 2 de D, d’où le caractère irréductible χ2
de degré 2. La table des caractères est donc
D 1 -1 (I)2 (J)2 (K)2
χtriv 1 1 1 1 1
χ1 1 1 -1 -1 1
0
χ1 1 1 1 -1 -1
χ001 1 1 -1 1 -1
χ2 2 -2 0 0 0
Nous observons l’égalité des tables de caractères des groupes non isomorphes
D4 et D. La table des caractères irréductibles d’un groupe fini ne caractérise pas
ce groupe.
Dans la base canonique δg de k̄ G , la matrice de ρreg (g) est une matrice de per-
P pour tout g ∈ G, donc est à coefficients entiers. L’endomorphisme
mutation
u = g∈C ρreg (g) ∈ F(G) est donc à coefficients entiers. La restriction de u à V
(V irréductible est facteur direct de k̄ G ) est l’endomorphisme ν, homothétie de
rapport λ. Donc λ, valeur propre de u est racine d’un polynôme à coefficients
entiers, donc est un entier algébrique.
= si=1 |Cdim
i |χ(Ci )
χ(Ci−1 )
P
V
15.1. Définitions. — Jusqu’à présent, nous nous sommes intéressés aux pro-
priétés d’une représentation d’un groupe G fixé et aux représentations obtenues
par restriction à un sous-espace vectoriel stable ou par passage au quotient par
un sous-groupe normal de G. Maintenant, nous procédons dans l’autre sens :
nous partons d’une représentation d’un sous-groupe H de G et nous l’étendons
au groupe G. Il s’agit d’un outil très puissant pour fabriquer des représentations
de groupe.
94
Dans ce paragraphe, nous supposons encore que G est un groupe fini, en re-
vanche il n’est pas nécessaire de supposer que k est algébriquement clos ou de
caractéristique 0. Pour H < G, nous notons
G = ∪ri=1 gi H
la partition de G en classes à gauche modulo H.
Pour (V, ρ) une représentation de G et W ⊂ V un sous-espace vectoriel de V
stable par les automorphismes ρ(h), h ∈ H, nous notons
ρ|H,W : H −→ GL(W )
la restriction de ρ au sous-groupe H et au sous-espace W .
Nous munissons cet espace vectoriel de l’action par translations à droite (gf )(x) =
f (xg). Nous obtenons ainsi une représentation induite IndG H ρ1 .
Dn e rα s rα s
χ` 2 ω α` + ω −α` 0 0
IndG G G
H (ρ1|W1 ⊕ ρ1|W2 ) = IndH ρ1|W1 ⊕ IndH ρ1|W2 .
De même si U est un sous-espace stable par ρ1 , alors
IndG
H ρ1|U = ρ|⊕ri=1 gi U .
Plus généralement,
Définition 15.8. — Pour ϕ : H −→ C, fonction définie sur H < G, constante
sur les classes de conjugaison de H, nous définissons la fonction IndG
H ϕ définie
sur G constante sur les classes de conjugaison de G :
1 X
IndG
H ϕ(g) = ϕ(g 0−1 gg 0 ), g ∈ G.
H 0 0−1 0
g ∈G,g gg ∈H
Ainsi
1 X X
< IndG
H ϕ, ψ >G = ϕ(g 0−1 gg 0 )ψ(g −1 ).
|G||H| g∈G
g 0 ∈G,g 0−1 gg 0 ∈H
Comme k-espace vectoriel, k[G] est isomorphe à l’espace vectoriel des fonctions
de G dans k :
X X
k[G] −→ F(G), g 0 = λg g 7→ fg0 = λg δg .
g∈G g∈G
Nous pouvons donc identifier g 0 et fg0 , ce qui définit une loi de multiplication sur
les fg0 :
fg 0 fg = g 0 · fg = fg 0 g
La représentation régulière est une réalisation explicite de la multiplication dans
cette algèbre :
∀g, h ∈ G, g 0 ∈ k[G], ρreg (g)(fg0 )(h) = fg0 (g −1 h) = fgg0 (h).
La puissance des raisonnements basés sur cette algèbre de groupe k[G] tient à
cette double interprétation de ses éléments comme vecteurs et comme opérateur
sur l’algèbre.
L’algèbre k[G] jouit, par construction de propriétés universelles :
100
k[G] = ⊕ρ IIρ
Chacun des sous-espaces IIρ est stable par multiplication à gauche :
∀f ∈ IIρ , g, h ∈ G, g 0 g·f = g 0 ρ(g)(f ) = ρ(g 0 g)(f ) = ρ(g 0 )ρ(g)(f ) =⇒ ρ(g)(f ) ∈ IIρ .
En outre, la propriété d’irréductibilité se traduit par le fait que l’idéal est minimal,
c’est-à-dire qu’il ne contient pas d’idéal plus petit.
Exemple 16.4. — Soit k[G] = ⊕IIρ , une décomposition en idéaux minimaux.
Ainsi pour tout x ∈ k[X] et pour l’élément neutre e ∈ G, nous avons des
décompositions uniques :
X X
x= xρ , e = jρ , xρ , jρ ∈ IIρ .
ρ ρ
Donc X
x = xe = xjρ
ρ
avec xjρ ∈ IIρ qui est un idéal à gauche ; donc par unicité de la décomposition
xρ = xjρ . En particulier pour x = jρ , nous obtenons
X X
jρ = ejρ = iρ e = ρ jσ = jρ2 + jρ jσ
σ σ6=ρ
Définition 16.9. — Une forme de Young est un tableau formé de n cases dis-
posées en lignes de longueur décroissante (αi )1≤i≤r . Une forme Pde Young est
définie par une partition α1 ≥ α2 ≥ · · · ≥ αr de l’entier n = ri=1 αi . Il y a
bijection entre l’ensemble des formes de Young et les classes de conjugaison du
groupe symétrique Sn .
A partir d’une forme de Young, on fabrique des tableaux, dits de Young, en rpar-
tissant les entiers {1, . . . , n} dans les différentes cases de la forme. Chaque ligne
représente alors un cycle et un tableau un e permutation, produit de ces cycles à
supports disjoints. Nous notons Tn l’ensemble des tableaux de Young à n cases.
Le tableau de Young correspondant à une forme de Young dont les cases sont
numérotées en ordre croissant de gauche à droite puis de bas en haut est dit
tableau de Young standard.
Exemple 16.10. — Pour n = 11 = 5 + 3 + 2 + 1, la forme de Young associée
s’illustre
1
2 1 2
1 2 3 3 3
Pour chacun d’entre eux, nous calculons symétriseur, antisymétriseur et représentation
irréductible associés :
X
sT1 = g, aT1 = e, ρ1 = triv
g∈Sn
X
sT2 = e, aT2 = g, ρ2 = ε
g∈Sn
Le calcul de la représentation associé au tableau T3 est un peu moins direct
sT3 = e + (12), aT3 = e − (13), jT3 = e + (12) − (13) − (132).
Ainsi jT3 jT3 = 3jT3 . L’idéal à gauche de S3 engendré par jT3 est de dimension 2
sur C engendré, comme espace vectoriel par jT3 et (13)jT3 = e+(23)−(13)−(123).
Dans cette base, les matrices de la représentation s’écrivent
1 0 0 1 −1 1
ρ((12)) = , ρ((13)) = , ρ((23)) = ,
1 −1 1 0 0 1
0 −1 −1 1
ρ(e) = Id, ρ((123)) = , ρ((132)) = .
1 −1 −1 0
Remarque 16.20. — Il peut être utile de connaı̂tre la dimension de la représentation
irréductible associée à un tableau de Young T à ` lignes et n cases. Nous notons
f1 ≥ · · · ≥ f` les longueurs de chaque ligne et on pose `i = fi + ` − i, 0 ≤ i ≤ `.
Ainsi `1 > `2 > · · · > `` et la dimension de la représentation associée à T est
n!
nT = Πi<j (`i − `j ).
Πi `i !
Nous pouvons reformuler cette expression de la façon suivante : à chaque case,
nous comptons le nombre de cases placées au-dessous ou à droite y compris la case
elle-même. La dimension est donnée par n! divisé par le produit de ces nombres
pour toutes les cases. Considérons la forme de Young dans laquelle nous avons
indiqué le nombre en question à l’intérieur de chaque case :
4 3 1
2 1
5!
La représentation de S5 associée est de dimension 4·3·1·2·1 = 5.
En particulier des tableaux symétriques par rapport à la diagonale donnent des
représentations duales de dimensions égales.
107
PARTIE IV
GROUPES CLASSIQUES
Démonstration. — i.⇐⇒ ii. Remarquons que V ⊥ = ker ad(b). Donc b est non
dégénérée si et seulement ad(b) est inversible.
ii.⇐⇒ iii. Soit y ∈ V . La matrice de ad(b)(y) dans la base duale de (ei ) est
M θ(y). Comme θ est bijectif, ad(b) est inversible si et seulement si l’application
”multiplication par M ” l’est.
Plus généralement, il est utile de considérer des isométries entre deux espaces
vectoriels différents munis de formes θ-sesquilinéaires :
Lemme 17.11. — Soient (V1 , b1 ), (V2 , b2 ) des espaces vectoriels munis de formes
θ-sesquilinéaires. Une isométrie de V1 dans V2 est un isomorphisme d’espaces
vectoriels ϕ : V1 −→ V2 , tel que
b2 (ϕ(x), ϕ(y)) = b1 (x, y), x, y ∈ V1 .
Soient U et U 0 deux sous-espaces de V1 tels que V1 = U ⊕ U 0 et ϕ : U −→ V2 ,
ϕ0 : U 0 −→ V2 des applications linéaires satisfaisant
i. ϕ : U −→ ϕ(U ) et ϕ0 : U 0 −→ ϕ0 (U 0 ) sont des isométries,
ii. V2 = ϕ(U ) ⊕ ϕ0 (U 0 ),
iii. b2 (ϕ(u), ϕ0 (u0 )) = b1 (u, u0 ) et b2 (ϕ0 (u0 ), ϕ(u)) = b1 (u0 , u) pour tout u ∈ U et
u0 ∈ U 0 .
Alors ϕ ⊕ ϕ0 est une isométrie de V1 dans V2 .
111
Remarque 17.14. — Une forme quadratique est dite non singulière si le noyau
de sa polarisation est réduit à {0}. La polarisation d’une forme quadratique
non singulière peut être dégénérée (en toute caractéristique). En caractéristique
différente de 2, une forme quadratique est non dégénérée si et seulement si sa
polarisation l’est.
112
θ(a)
Et comme a 6= 0, λ = a
.
La forme
β(x, y) = ab(x, y), x, y ∈ V.
est alors hermitienne, d’après le calcul suivant :
β(x, y) = ab(x, y)
= b(ax, y)
= aλθ−1 b(y, x)
= θ(ab(y, x))
= θ(β(y, x)).