TABLE DES MATIRES

Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Notations standard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Bibliographie sommaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1
3
3

Vocabulaire Mathmatique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1. Grammaire lmentaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1. Lanneau Z des entiers relatifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Paralllisme entre logique lmentaire et langage ensembliste . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Ensembles dnombrables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Produits, sommes et quotients . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1. Produits et sommes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.1. Produits et sommes directes de groupes commutatifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.2. Le cas des espaces vectoriels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.3. Produit et somme dans une catgorie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. Relations dquivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.1. Relations dquivalence et partitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.2. Passage au quotient par une relation dquivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3. Lanneau Z/DZ des entiers relatifs modulo D . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4. Quotients despaces vectoriels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5. Anneaux quotients . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6. Groupes quotients . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6.1. Groupe oprant sur un ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6.2. Classes de conjugaison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6.3. Quotients de groupes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3. Groupes nis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1. Gnralits sur les groupes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Groupes cycliques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.1. Structure des groupes cycliques, ordre dun lment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.2. Sous-groupes des groupes cycliques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3. Groupes abliens nis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4. Le thorme de Lagrange et ses variantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.5. Le groupe symtrique Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.5.1. Permutations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5
6
7
9
9
11
11
11
12
13
14
14
14
15
18
19
20
20
22
23
24
24
25
25
26
26
27
28
28

TABLE DES MATIRES

3.5.2. Signature dune permutation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.5.3. Groupe altern . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6. Les thormes de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4. Algbre linaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1. Gnralits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.1. Endomorphismes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.2. Le thorme de Cayley-Hamilton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.3. Automorphismes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.4. Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.5. Espaces propres, espaces caractristiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.6. Mise sous forme de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Modules de torsion sur K[T] et rduction des endomorphismes . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.1. Anneaux et modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.2. Structure des modules de torsion sur K[T] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.3. Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.4. Application la rduction des endomorphismes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3. Modules de torsion sur les anneaux principaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3.1. Gnralits sur les idaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3.2. Anneaux principaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3.3. Structure des modules de torsion sur un anneau principal . . . . . . . . . . . . . . . . . . . . . . . . . .
5. Topologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.1. Espaces topologiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.1.1. Ouverts, ferms, voisinages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.1.2. Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.1.3. Comparaison de topologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2. Espaces mtriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3. Continuit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4. Sous-espaces, produits, quotients . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4.1. Topologie induite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4.2. Topologie produit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4.3. Topologie quotient . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.5. Espaces spars . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.6. Intrieur, adhrence, densit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.7. Suites dans un espace topologique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.7.1. Suites, suites extraites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.7.2. Suites et continuit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6. Compacit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.1. Espaces compacts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2. Compacit et suites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.3. Proprits de base des compacts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.3.1. Compacts dun espace topologique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.3.2. Compacts dun espace mtrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.3.3. Compacit locale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.4. La droite relle acheve . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.4.1. Les espaces topologiques ordonns R et R+ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.4.2. Limite suprieure, limite infrieure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

31
31
33
34
34
34
34
35
35
35
36
36
36
37
38
39
40
40
41
44
47
47
47
48
49
49
50
51
51
52
52
53
54
55
55
55
56
56
57
58
58
60
61
62
62
63

TABLE DES MATIRES

6.5. Lespace topologique T = R/Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

7. Connexit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
7.1. Ensembles connexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
7.2. Connexit par arcs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
8. Compltude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
8.1. Suites de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
8.2. Principales proprits des espaces complets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
8.3. Compltion dun espace mtrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
9. Convergence de fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
9.1. Convergence simple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
9.2. Convergence uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
10. Espaces vectoriels norms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
10.1. Normes et applications linaires continues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
10.2. La norme dun oprateur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
10.3. Normes quivalentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
10.4. La boule unit dun espace vectoriel norm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
10.5. Applications bilinaires continues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
10.6. Espaces prhilbertiens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
11. Tratologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
11.1. Fonctions continues drivables nulle part . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
11.2. Lescalier du diable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
11.3. Lensemble triadique de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
11.4. La courbe de Peano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
11.5. Ensembles connexes non connexes par arcs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
11.5.1. Le graphe de sin x1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
11.5.2. Le tipi de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
12. Construction de nombres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
12.1. Entiers naturels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
12.2. Entiers relatifs, nombres rationnels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
12.3. Nombres rels, nombres complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
12.4. Nombres p-adiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
12.4.1. Le corps Qp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
12.4.2. Construction algbrique de Qp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
12.4.3. Topologie de Qp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
12.4.4. Une description arboricole des nombres p-adiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
12.4.5. Lanneau des nombres complexes p-adiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
12.4.6. Fragments danalyse p-adique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
13. Corrig des exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Index du chapitre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
I. Reprsentations des groupes nis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
I.1. Reprsentations et caractres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
1. Reprsentations de groupes, exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
2. Caractre dune reprsentation, exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
2.1. Caractres linaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
2.2. Sommes directes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120

TABLE DES MATIRES

2.3. Reprsentations de permutation, reprsentation rgulire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121

3. Morphismes de reprsentations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
3.1. La reprsentation Hom(V1 , V2 ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
3.2. Oprateurs dentrelacement, reprsentations isomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
I.2. Dcomposition des reprsentations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
1. Dcomposition en somme directe de reprsentations irrductibles . . . . . . . . . . . . . . . . . . . . . . . . . . 124
2. Le lemme de Schur et ses consquences immdiates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
3. Orthogonalit des caractres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
4. Applications du thorme principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
4.1. Nombre des reprsentations irrductibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
4.2. La dcomposition canonique dune reprsentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
4.3. Un critre dirrductibilit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
4.4. La dcomposition de la reprsentation rgulire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
5. Le cas des groupes commutatifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
5.1. La transforme de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
5.2. Le groupe dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
5.3. Le thorme de structure des groupes nis commutatifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
6. Table des caractres dun groupe ni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
I.3. Construction de reprsentations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
1. Constructions tensorielles de reprsentations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
1.1. Produit tensoriel despaces vectoriels de dimension nie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
1.2. Produit tensoriel de reprsentations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
1.3. Carr symtrique et carr extrieur dune reprsentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
2. Reprsentations induites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
2.1. Caractre dune reprsentation induite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
2.2. La formule de rciprocit de Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
2.3. Transitivit des inductions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
2.4. Les thormes dArtin et de Brauer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
3. Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
II. Espaces de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
II.1. Espaces de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
1. Convergence normale, sries sommables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
2. Espaces de suites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
3. Espaces de fonctions continues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
4. Compltion despaces vectoriels norms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
5. Applications linaires continues entre espaces de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
6. Le dual dun espace de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
II.2. Espaces de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
1. Espaces de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
1.1. Bases hilbertiennes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160
1.2. Projection orthogonale sur un sous-espace ferm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
2. Le dual dun espace de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
3. Le thorme de projection sur un convexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
II.3. Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
1. Espaces de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165

TABLE DES MATIRES

2. Espaces de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166

3. Sries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
II.4. Espaces de Banach p-adiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
1. Dnition et exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
2. Bases orthonormales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
3. Le dual dun espace de Banach p-adique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
III. Intgration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
III.1. Intgrale de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
1. Dallages et fonctions en escalier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
2. Ensembles de mesure nulle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
3. Fonctions mesurables, ensembles mesurables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
3.1. Fonctions mesurables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
3.2. La tribu des ensembles mesurables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
3.3. Fonctions mesurables et ensembles mesurables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180
4. Dnition de lintgrale de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
4.1. Intgration des fonctions positives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
4.2. Mesure de Lebesgue dun ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
4.3. Intgration des fonctions sommables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184
5. Les thormes de convergence monotone et de convergence domine . . . . . . . . . . . . . . . . . . . . . . 184
6. Premires applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
III.2. Quelques espaces fonctionnels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
1. Lespace L1 (X) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
2. Lespace L2 (X) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188
3. Convergence dans L1 et L2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
4. Espaces Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191
III.3. Intgrales multiples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
1. Le thorme de Fubini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
2. La formule du changement de variable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
3. Lintgrale de la gaussienne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
4. Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198
III.4. Construction de lintgrale de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
1. Le thorme de convergence domine pour les fonctions en escalier bornes . . . . . . . . . . . . . . . . 199
2. Mesure et mesure extrieure des ensembles mesurables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202
3. Le thorme de convergence monotone pour les fonctions bornes support compact . . . . . . 203
4. Limites simples p.p. de fonctions mesurables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204
5. Le thorme de convergence monotone et ses consquences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
IV. Transforme de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207
IV.1. Intgrales dpendant dun paramtre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207
IV.2. Transforme de Fourier dans L1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
1. Caractres linaires de R et Rm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
2. Dnition et premires proprits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
3. Le thorme de Riemann-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
4. Transforme de Fourier et drivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212
IV.3. Formules dinversion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214
1. Sries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214

TABLE DES MATIRES

2. Sries de Fourier multidimensionnelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217

2.1. Le cas du rseau Zm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217
2.2. Le cas dun rseau quelconque . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
3. La formule de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221
4. La formule dinversion de Fourier dans S . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
5. Formules dinversion dans L1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
6. Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224
IV.4. Transforme de Fourier dans L2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
1. Transforme de Fourier des fonctions en escalier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
2. Dnition de la transforme de Fourier dans L2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227
3. Comparaison des transformes de Fourier dans L1 et L2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228
4. Drivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
V. Fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231
V.1. Fonctions holomorphes et fonctions analytiques complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231
1. Sries entires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231
2. Rayon de convergence dune srie entire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233
3. Premires proprits des fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 235
3.1. Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 235
3.2. Thorme des zros isols et unicit du prolongement analytique . . . . . . . . . . . . . . . . . . . . . . 236
3.3. Principe du maximum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 238
V.2. La formule intgrale de Cauchy et ses consquences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
1. Gnralits sur les chemins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
2. Intgration le long dun chemin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 240
3. Holomorphie des fonctions drivables au sens complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 242
4. Construction de fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244
4.1. Sries de fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244
4.2. Produits innis de fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 246
4.3. Fonctions holomorphes dnies par une intgrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247
V.3. Structure locale des fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248
1. Le thorme dinversion locale holomorphe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248
2. Logarithme et fonctions puissances . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 250
VI. La formule de Cauchy et celle des rsidus (de Cauchy) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253
VI.1. Homotopie de lacets et formule de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253
1. Vocabulaire de topologie algbrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253
2. Un cas particulier de la formule de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254
3. Dmonstration de la formule de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 257
VI.2. Indice dun lacet par rapport un point . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 259
1. Primitives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 259
2. Nombre de tours dun lacet autour dun point . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 260
2.1. Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 260
2.2. Dtermination visuelle de lindice dun lacet par rapport un point . . . . . . . . . . . . . . . . . . 261
VI.3. La formule des rsidus de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264
1. Fonctions holomorphes sur une couronne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264
2. Fonctions holomorphes sur un disque point ; rsidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266
3. La formule des rsidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269

TABLE DES MATIRES

4. Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269
VII. Sries de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273
VII.1. Sries de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273
1. Abscisse de convergence absolue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273
2. Demi-plan de convergence dune srie de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275
VII.2. Sries de Dirichlet et transforme de Mellin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277
1. La fonction dans le plan complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277
2. Une formule intgrale pour les sries de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 280
3. Prolongement analytique de sries de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281
VII.3. La fonction zta de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282
1. Sries de Dirichlet attaches des fonctions multiplicatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282
2. Prolongement analytique de la fonction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284
3. quation fonctionnelle de la fonction zta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 285
4. Les zros de la fonction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 288
VII.4. Fonctions L de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
1. Caractres de Dirichlet et Fonctions L de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
2. Conducteur et sommes de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290
3. Le thorme de la progression arithmtique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
4. quation fonctionnelle des fonctions L de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293
VII.5. Autres exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 295
1. La fonction de Moebius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 295
2. La fonction de Ramanujan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 296
VII.6. Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 297
A. Le thorme des nombres premiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 303
A.1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 303
A.2. Les fonctions et 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 306
1. Thorme des nombres premiers et comportement de 1 en + . . . . . . . . . . . . . . . . . . . . . . . . . . 306
2. Une formule intgrale pour 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 308
A.3. Formules explicites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 309
1. nonc du rsultat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 309

2. Les fonctions L et LL en dehors de la bande critique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311
3. La fonction L dans la bande critique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312

4. La fonction LL dans la bande critique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 313
5. Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 315
A.4. Dmonstration du thorme des nombres premiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 316
1. Non annulation sur la droite Re(s) = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 316
2. Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 318
A.5. Complments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319
1. Lhypothse de Riemann et ses consquences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319
2. Lhypothse de Riemann et la fonction M de Mertens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319
3. Lhypothse de Lindelf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 320
B. Volume de SLn (R)/SLn (Z) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 321
B.1. Volume dobjets arithmtiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 321
1. Rsultats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 321

TABLE DES MATIRES

2. Intgration sur un quotient . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 323

3. Un dvissage du groupe SLn (R) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 326
4. Intgration sur Rn et sur SLn (R)/SLn (Z) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 327
5. Apparition de (n) et n du calcul . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328
6. Rsultats arithmtiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 330
B.2. La mesure de Haar de SLn (R) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331
1. Transvections et structure du groupe SLn (K) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332
2. Invariance de dg par translation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 334
3. De SLn1 (R) SLn (R) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335
C. Groupes nis et reprsentations : exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 337
C.1. p-Groupes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 337
1. Gnralits sur les p-groupes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 337
2. Reprsentations des p-groupes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 338
C.2. Reprsentations du groupe symtrique Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 339
1. Partitions de n et reprsentations de Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 339
2. Diagrammes de Young et reprsentations de Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 341
3. Caractres de Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 342
C.3. Reprsentations de GL2 (F) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343
1. Le groupe GL2 (F) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343
2. Construction de reprsentations de GL2 (F) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343
3. Les classes de conjugaison de GL2 (F) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 344
4. La table des caractres de GL2 (F) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 346
5. Dmonstrations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 347
D. Fonctions dune variable p-adique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 353
D.1. Analyses fonctionnelles relle et p-adique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 353
D.2. Fonctions k-fois uniformment drivables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 354
1. Fonctions de classe C k et fonctions de classe Cuk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 354
2. Fonctions continues sur Zm
p . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356
3. Coecients de Mahler des fonctions de classe Cuk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 357
D.3. Fonctions localement analytiques sur Zp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 358
1. Fonctions analytiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 358
2. Fonctions localement analytiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 360
3. Bases orthonormales despaces de fonctions localement analytiques . . . . . . . . . . . . . . . . . . . . . . . . 361
4. Dmonstration du lemme D.3.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 362
D.4. La fonction p-adique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363
1. Intgration p-adique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363
2. Les congruences de Kummer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 364
E. Le problme des nombres congruents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 367
E.1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 367
E.2. Arithmtique des courbes elliptiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 369
E.3. Lheuristique de Birch et Swinnerton-Dyer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 370
E.4. Fonction L dune courbe elliptique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371
E.5. La stratgie de Tunnell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373
E.6. Formes modulaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 374

TABLE DES MATIRES

E.7. Courbes elliptiques et formes modulaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375

F. Introduction au programme de Langlands . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 377
F.1. La conjecture dArtin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 379
1. Le groupe GQ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 379
2. Reprsentations de GQ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 380
3. Fonctions L dArtin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 382
4. Fonctions L de degr 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 383
4.1. Reprsentations impaires et formes modulaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 383
4.2. Reprsentations paires et formes de Maass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 385
5. La thorie du corps de classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 386
F.2. Le thorme de Kronecker-Weber revisit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 388
1. Adles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 389
1.1. Le thorme dOstrowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 389
1.2. Lanneau des adles de Q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 390
1.3. Le groupe des idles de Q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 391
2. La formule de Poisson adlique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 392
2.1. Transforme de Fourier sur Qp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 392
2.2. Transforme de Fourier adlique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 394
3. Transforme de Mellin adlique et fonctions L . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 395
3.1. Intgration sur Qp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 395
3.2. Intgration sur le groupe des idles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 395
3.3. Transforme de Mellin sur Qp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 397
3.4. La transforme de Mellin adlique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 397
3.5. Le thorme de Tate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 398
4. Application aux fonctions L de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 400
4.1. La fonction zta de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 400
4.2. Fonctions L de caractres de A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 400
4.3. Caractres de Dirichlet et caractres linaires continus des idles . . . . . . . . . . . . . . . . . . . . . . 402
F.3. Le programme de Langlands . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 402
1. Reprsentations automorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 402
2. Des formes modulaires aux reprsentations automorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 405
2.1. Prliminaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 405
2.2. La forme automorphe associe une forme modulaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 405
2.3. La dcomposition de GL2 (A) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 406
3. Quelques autres aspects du programme de Langlands . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 406
G. Problmes corrigs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 409
G.1. Table des caractres de A5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 409
G.2. Reprsentations de GL2 (F3 ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 415
G.3. Coecients de Fourier des fonctions continues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 420
G.4. Fonctions dHermite et transforme de Fourier dans L2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 422
G.5. Transforme de Fourier et convolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 426
G.6. Loi daddition sur une courbe elliptique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 430
G.7. Coecients de Fourier des fonctions analytiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 436
G.8. Prolongement analytique dintgrales et de sries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 438
G.9. Le thorme de Mordell-Weil . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 445

TABLE DES MATIRES

Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 457
Index terminologique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 458
noncs mathmatiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 464
Index des noms propres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 466
Repres chronologiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 468

INTRODUCTION

Les mathmatiques sont la fois un outil dune puissance surprenante, utilis des
degrs divers par les autres sciences, et une des plus incroyables constructions collectives
de lhumanit, sappuyant sur des bases consolides gnration aprs gnration pour
permettre ldice de monter toujours plus haut.
Ce cours est une introduction trois des thories qui servent de socle aux mathmatiques. La premire (chap. I) est la thorie des reprsentations des groupes nis et de
leurs caractres, dveloppe dans les annes 1895-1905 par F. Frobenius, W. Burnside
et I. Schur. Cette thorie est une extension de lalgbre linaire (il sagit de comprendre
laction simultane de plusieurs isomorphismes sur un espace vectoriel de dimension ni,
et donc laction du groupe quils engendrent), mais la thorie des caractres est aussi
une premire approche de la transforme de Fourier dans un cadre ni o les dicults
analytiques sont absentes. La thorie des reprsentations des groupes joue un rle central
en mathmatiques, dans certaines branches de la physique (par exemple en physique des
particules) ou encore dans une petite partie de la chimie classique (cristallographie) ; le
cas des groupes nis sert souvent de guide pour deviner ce que lon est en droit desprer
dans des cas plus compliqus.
La seconde (chap. II, III et IV) est lanalyse fonctionnelle des annes 1900-1930 (espaces de Banach, intgration de Lebesgue, transforme de Fourier), dans laquelle se sont
illustrs R. Baire, S. Banach, M. Frchet, H. Hahn, D. Hilbert, H. Lebesgue, M. Plancherel, F. Riesz, H. Steinhaus... Cette thorie, ne des proccupations du sicle prcdent
concernant les quations direntielles, les quations aux drives partielles..., forme la
base de lanalyse relle moderne. Ses applications ltude des quations aux drives
partielles provenant de la physique (quations de la chaleur, des ondes, de Schrdinger...)
sont innombrables.
La dernire partie du cours (chap V, VI et VII) est consacre la thorie des fonctions
analytiques dune variable complexe, qui sest dveloppe entre les mains de A. Cauchy
dans les annes 1820-1840, mais a t revisite rgulirement depuis ; la prsentation suivie
dans ce cours doit beaucoup aux apports de K. Weierstrass et de H. Poincar datant de

INTRODUCTION

la seconde moiti du XIXe sicle. Cette thorie est probablement, avec la thorie gnrale
des groupes, celle qui est utilise dans le plus grand nombre des autres branches des
mathmatiques ou de la physique thorique. Par exemple, la reprsentation conforme des
ouverts du plan, laquelle nous ne ferons quune brve allusion (note 1 du chap. VI),
a des applications ltude de lquation de la chaleur avec conditions au bord dans un
domaine plan, larodynamique (transformation de Joukovski), ltude du mouvement
brownien ou celle des polymres, etc.
Le problme majeur dun cours de ce type est que lon est conduit privilgier les
rsultats qui ont le plus dapplications futures et relguer en exercice tout ce qui fait
le sel des mathmatiques, ce qui revient un peu visiter une cathdrale en ne sintressant quaux consolidations successives de la base de ses piliers. Pour essayer de lutter
contre cette tendance, nous avons privilgi des objets analytiques, issus de la thorie
des nombres, ayant la facult tonnante dinteragir avec quasiment tous les domaines des
mathmatiques (voire de la physique thorique) et, ce faisant, de contribuer fortement au
dveloppement de ces domaines. Il sagit des fonctions L, dont la fonction zta de Riemann

1
(dnie par (s) = +
n=1 ns pour Re(s) > 1) est le prototype. Lun des premiers rsul2
tats remarquables concernant ces objets est probablement la clbre formule (2) = 6
de L. Euler (1734), rpondant une question pose en 1644 et connue sous le nom de
problme de Ble . Le mme Euler a mis au jour un lien heuristique entre la fonction
et la rpartition des nombres premiers qui ne fut rigoureusement tabli quen 1896 par
J. Hadamard et C. de la Valle Poussin en suivant une stratgie suggre par B. Riemann
en 1858. Entre-temps, G. Dirichlet avait introduit en 1837 les premires fonctions L pour
dmontrer lexistence dune innit de nombres premiers dans les progressions arithmtiques. Lannexe A, consacre ces rsultats, fournit une illustration frappante de lutilit
des fonctions holomorphes pour attaquer des problmes qui en semblent fort loigns. Depuis, le monde des fonctions L sest enrichi au point de former un dice imposant dont
lannexe F essaie de donner une ide en partant de la constatation que, pour apprcier
llgance et la majest de la vote de Notre-Dame, il nest nul besoin de comprendre
pourquoi elle ne scroule pas ni, a fortiori, comment on a fait pour la construire sans
que tout tombe au fur et mesure. Nous nous sommes restreint laspect analytique des
fonctions L ; celui-ci fait intervenir dautres objets mathmatiques ayant un don dubiquit assez poustouant, savoir les formes modulaires que nous avons relgues dans
une srie dexercices en vertu du principe nonc plus haut. Nous avons (presque) rsist
la tentation dexplorer les proprits arithmtiques de ces fonctions L : leurs valeurs aux
entiers cachent des trsors qui font lobjet de conjectures gnrales de P. Deligne (1977,
dont la conjecture met en perspective le 2 de la formule dEuler, et la non apparition
de 3 pour (3)), de A. Beilinson (1985, qui vise, en particulier, expliquer quels objets
interviennent dans (3)) et de S. Bloch et K. Kato (1989, dont la conjecture donne une formule totalement gnrale fournissant, par exemple, une signication lapparition de 691
12
dans la formule (12) = 36 5691
3 72 1113 ). Un exemple de ces trsors cachs est la conjecture

INTRODUCTION

de Birch et Swinnerton-Dyer, qui date du dbut des annes 1960, et laquelle lannexe E
est consacre.
Notations standard
On note N lensemble des entiers naturels, Z lanneau des entiers relatifs, Q le corps des
nombres rationnels, R le corps des nombres rels et C le corps des nombres complexes.
On note Q, R et C les groupes multiplicatifs de Q, R et C.
On note R+ (resp. R+ ) lensemble des nombres rels positifs (resp. strictement positifs)
et R (resp. R ) lensemble des nombres rels ngatifs (resp. strictement ngatifs).
On note R = R {} la droite relle acheve, et R+ = R+ {+} la demi-droite
relle acheve.
Si t R, on note [t] sa partie relle, et {t} = t [t], sa partie fractionnaire.
Si X est un ensemble, on note |X| son cardinal.
Si A est un anneau, et si n N {0}, on note Mn (A) lanneau des matrices n n
coecients dans A, GLn (A) Mn (A) le groupe des matrices inversibles (celles dont le
dterminant est inversible dans A), et SLn (A) le sous-groupe de GLn (A) des matrices de
dterminant 1.
Bibliographie sommaire
Le lecteur dsirant approfondir(1) certains des thmes dvelopps dans ce cours est invit
consulter les ouvrages ci-dessous. Ces ouvrages partent peu prs au mme niveau que
le prsent cours, mais sont plus spcialiss, ce qui leur permet daller plus loin.
P. Biane, J-B. Bost et P. Colmez, La fonction zta, Presses de lcole Polytechnique.
Le lecteur y trouvera divers aspects de la fonction zta en lien avec larithmtique ou les
probabilits.

J-B. Bost, Fonctions analytiques dune variable complexe, cole Polytechnique.

Couvre les chapitres V VII, et une partie de lannexe A.

D. Bump, Automorphic forms and representations, Cambridge University Press.

Version dveloppe de lannexe F ; sa lecture demande un investissement non ngligeable.

H. Cartan, Thorie lmentaire des fonctions analytiques dune ou plusieurs variables

complexes, Hermann.
Couvre les chapitres V et VI, et poursuit en direction de la gomtrie (surfaces de Riemann,
et fonctions de plusieurs variables).

W. Ellison, Les nombres premiers, Hermann.

Couvre lannexe A, et bien plus.

W. Fulton et J. Harris, Representation theory. A rst course, GTM 129, Springer-Verlag.

(1)

La manire standard pour fabriquer des exercices est de prendre des rsultats dmontrs dans des
ouvrages plus spcialiss et de les dcouper en questions. Le lecteur trouvera donc dans ces ouvrages la
solution de la plupart des exercices de ce cours...

INTRODUCTION

Dbute par le chapitre I et lannexe C, et poursuit en direction des reprsentations des groupes
de Lie.

R. Godement, Analyse mathmatique II, III et IV, Springer-Verlag.

Couvre lessentiel du cours, et de ce que jaurais voulu y mettre, en prenant son temps, ce
que son nombre de pages permet. Les formes modulaires y sont traites avec le respect quelles
mritent.

N. Koblitz, Introduction to elliptic curves and modular forms, GTM 97, Springer-Verlag.
Ore un voyage travers la thorie des nombres en prenant comme l conducteur le problme
des nombres congruents (annexe E).

S. Patterson, An introduction to the theory of the Riemann Zeta-function, Cambridge

University Press.
Couvre lannexe A, et poursuit en direction des hypothses de Riemann et Lindelf.

W. Rudin, Real and complex Analysis, Mc Graw-Hill

Un cours danalyse qui couvre en particulier la partie analyse du cours (chapitres II VI),
mais ne sarrte pas l, loin sen faut.

J-P. Serre, Cours darithmtique, Presses Universitaires de France.

Un fort joli livre pour en apprendre plus sur les formes quadratiques coecients rationnels
et les formes modulaires.

J-P. Serre, Reprsentations linaires des groupes nis, Hermann.

Couvre le chapitre I et une partie de lannexe C, et continue sur des sujets plus pointus
concernant les reprsentations des groupes nis.

A. Weil, Elliptic functions according to Eisenstein and Kronecker, Springer-Verlag.

Un livre semi-historique trs agrable lire, illustrant un niveau lmentaire les liens entre
les fonctions holomorphes et la thorie des nombres.

Enn, voici deux livres portant sur lhistoire des ides mathmatiques dont beaucoup
de notes de bas de page du prsent texte sont issues. Les priodes couvertes par ces deux
ouvrages ne sont pas identiques bien quil y ait une intersection non vide ; celle du second
est plus rcente et demande un bagage mathmatique un peu plus solide.
A. Dahan-Dalmedico et J. Peier, Une histoire des mathmatiques, routes et ddales,
Points Sciences, ditions du Seuil.
J. Dieudonn, Abrg dhistoire des mathmatiques, Hermann.

VOCABULAIRE MATHMATIQUE

La ncessit de dnir prcisment les objets avec lesquels ils travaillent sest impose
graduellement aux mathmaticiens confronts des contradictions dordre presque mtaphysique. Lavnement de la thorie des ensembles ( partir des travaux fondateurs de
G. Cantor dont le dbut date des annes 1870) et laxiomatisation croissante des mathmatiques ont dune part fait disparatre un certain nombre dobstacles psychologiques
la cration dobjets nouveaux(2) , et dautre part dbouch sur la cration dun vocabulaire
extrmement prcis, qui a rendu possible lexplosion des mathmatiques au cours du XXe
sicle.
Ce mouvement a ni par atteindre lenseignement avec lintroduction des maths modernes au collge (et mme en grande section de maternelle). Dans les annes 70, le
programme enseign dans le secondaire et dans les classes prparatoires reposait sur le
slogan : Dieu cra lensemble vide et lhomme t le reste . Ctait un peu radical, mais
avait le mrite de prsenter les mathmatiques de manire cohrente et de montrer que
lon pouvait crer de nouveaux objets partir dobjets dj existants. La prsentation en
tait malheureusement extrmement dogmatique, et limpression quon en retirait tait
plutt que Dieu avait cr lensemble vide et la thorie des ensembles, et sur sa lance, les
entiers, les entiers relatifs, les nombres rationnels, puis les groupes, les anneaux, les corps
et les espaces vectoriels, puis les nombres rels, ensuite il avait introduit des et des ,
(2)

Les nombres complexes ont mis prs de deux sicles tre accepts (et mme les nombres ngatifs ont
eu leurs dtracteurs ; un cas extrme est Augustus de Morgan qui continuait les considrer, au milieu du
XIXe -sicle, comme dnus de tout fondement, et a pass une bonne partie de sa vie essayer de prouver
quon pouvait fort bien sen passer), alors que, de nos jours, des objets nettement plus compliqus le
sont ds quils ont fait la preuve de leur utilit pour rsoudre, ou mme formuler proprement, certains
problmes ; cest par exemple le cas de lanneau des nombres complexes p-adiques construit par J.M. Fontaine (1982). Les obstacles psychologiques nont toutefois pas compltement disparu ; lapparition
dun objet nouveau ne se fait pas sans heurt, et provoque des conits parfois brutaux entre les anciens,
dont le point de vue On a fait de trs bonnes maths pendant 2000 ans sans avoir besoin de ces horreurs
rete lapprhension devant la perspective de devoir tudier un nouveau sujet incomprhensible, et les
modernes qui voient dans le nouvel objet la solution tous les problmes...

VOCABULAIRE MATHMATIQUE

puis cr la topologie..., et quand il avait enn t content du rsultat, il avait fait don
aux hommes dune thorie immuable et parfaite, la beaut froide et lisse.
Le dogme a chang vers le milieu des annes 90, et on est reparti sur le mode : Dieu
a cr les nombres rels, puis les nombres complexes, et envoy Gauss sur terre pour
expliquer quil ny avait pas besoin de chercher plus loin. . Tout procd de construction
a t soigneusement banni du programme ociel, et une grande partie du vocabulaire
mathmatique de base a disparu ou a t vid de sa substance(3) . Cest fort regrettable
car la matrise du vocabulaire mathmatique demande du temps : il dcrit des concepts
qui reposent souvent sur dautres concepts, et il faut voir fonctionner ces concepts pour
saisir vritablement le sens des mots. Or ce temps fait cruellement dfaut une fois passe
la priode des classes prparatoires.
Ce chapitre essaie de pallier ces disparitions ; la plus grande partie de son contenu
nest pas utilise dans le texte principal(4) , mais est incluse car elle est susceptible de faire
son apparition dans nimporte quel domaine utilisant des mathmatiques. Il ne prend
pas les mathmatiques leur dbut(5) , et le lecteur est suppos avoir dj des notions
mme vagues de la plupart des sujets qui suivent. Plutt quun cours organis, il sagit
dune espce de dictionnaire, et comme dans un dictionnaire, il nest pas rare que certains
passages fassent appel des notions dnies ultrieurement.
1. Grammaire lmentaire
Si X est un ensemble, on note |X| son cardinal.
Lexpression A
= B signie quil existe un isomorphisme entre A et B (la notion dpend
donc de la structure mise sur A et B), ce qui est nettement moins prcis (et donc plus
(3)

Le programme de la lire PC est cet gard assez catastrophique, puisque sa dernire mouture a
vu lintroduction de faux concepts, et mme de dnitions fausses. Il est un peu dicile de comprendre
lidologie qui a abouti ce rsultat ; peut-tre peut-on mettre cela sur le compte de leet dhorizon (qui
conduisait les premiers programmes jouant aux checs faire des sacrices incomprhensibles visant
repousser hors de leur champ de vision un mat improbable) et de lutilitarisme court terme faisant des
ravages dans les mentalits de lpoque.
(4)
Les rsultats exposs dans le cours sont en grande partie antrieurs la mise en valeur des concepts
prsents dans ce chapitre, ce qui fait que lon peut les prsenter, en se contorsionnant un peu, sans
recourir ces concepts. Dun autre ct, lire Les misrables ou les Disquisitiones arithmeticae
la lumire dune lampe lectrique est nettement plus confortable qu la lueur dune chandelle, mme si
ces uvres datent davant linvention de lampoule lectrique et si la chandelle a un charme certain...
(5)
Il a t crit de la manire suivante. Jai dabord, pour chaque concept de base, fait une liste des
noncs que jutilise rgulirement sans me poser de question. Cest plus ou moins ce qui se trouve en
gros caractres. Jai ensuite rajout les dmonstrations (en gnral en petits caractres). Une exception
ce principe est le traitement de lalgbre linaire, o jai remplac les dmonstrations vues en classes
prparatoires par dautres, donnant des rsultats plus puissants. Jai aussi rajout, pour les amateurs,
une collection de monstres mathmatiques, et quelques rsultats plus culturels comme la construction
des nombres p-adiques, les thormes de Sylow ou la simplicit de An .

1. GRAMMAIRE LMENTAIRE

souple) quune phrase du genre u ralise un isomorphisme de A sur B o un isomorphisme explicite est requis. Par exemple, dire que deux espaces vectoriels de dimension
nie sur un corps K sont isomorphes revient juste dire quils ont la mme dimension.
1.1. Lanneau Z des entiers relatifs
Si A est un sous groupe de Z (muni de +), il existe D  0 unique, tel que A = DZ.
Si A = {0}, alors D = 0. Si A = 0, alors A contient des lments > 0 puisque A est stable
par x  x ; soit D le plus petit de ces lments. Une rcurrence immdiate montre que A
contient nD, pour tout n N, et donc aussi pour tout n Z puisque A est stable par x  x.
Autrement dit, A DZ.
Maintenant, soit a A, et soit r {0, . . . , D 1} le reste de la division euclidienne de a
par D. Alors a r DZ A, et donc r = a (a r) A. Comme D est par hypothse le
plus petit lment strictement positif de A, cela implique r = 0, et donc a DZ. On en dduit
linclusion A DZ et lgalit A = DZ que lon cherchait dmontrer.

On crit a | b (pour a divise b) pour signier que b est un multiple de a, et a  b pour

signier le contraire. Si a, b Z, on dnit le plus grand diviseur commun pgcd(a, b) de a
et b comme tant 0 si a = b = 0, et comme tant le plus grand entier d > 0 divisant la
fois a et b, si a = 0 ou b = 0. On dit que a et b sont premiers entre eux, si pgcd(a, b) = 1.
Un lment p de N est premier, si p = 1 et si les seuls diviseurs de p sont 1 et p. On
note P = {2, 3, 5, . . .} lensemble des nombres premiers. Il est clair que si p P, et si
a N, alors soit p | a auquel cas pgcd(p, a) = p, soit p  a auquel cas p est premier a.
Remarquons que aZ + bZ = {ax + by, x, y Z} est un sous-groupe de Z ; et cest le
plus petit sous-groupe de Z contenant a et b (en eet, un sous-groupe de Z contenant a
et b contient ax et by et donc aussi ax + by, pour tous x, y Z). On note (a, b), llment
de N tel que aZ + bZ = (a, b)Z ; cet lment existe et est unique daprs le point ci-dessus.
Si a, b Z, alors (a, b) = pgcd(a, b) ; en particulier, a et b sont premiers entre eux si et
seulement si il existe u, v Z tels que 1 = au + bv (thorme de Bzout(6) ).
Si a = b = 0, le rsultat est immdiat. Suposons donc a = 0 ou b = 0. Par dnition de (a, b),
a et b sont des multiples de (a, b), et donc (a, b)  pgcd(a, b). Rciproquement, si d  1 divise
a et b, alors d divise ax + by, quels que soient x, y Z ; en particulier, d divise (a, b) et donc
d  (a, b). On en dduit lingalit (a, b)  pgcd(a, b) qui permet de conclure.

Si a est premier avec b et c, alors a est premier avec bc ; si a divise bc et si a est premier
avec b, alors a divise c (lemme de Gauss).
Si (a, b) = (a, c) = 1, il existe u1 , v1 tels que au1 + bv1 = 1 et u2 , v2 tels que au2 + cv2 = 1.
On a donc 1 = (au1 + bv1 )(au2 + cv2 ) = au + bcv, avec u = au1 u2 + bv1 u2 + cu1 v2 et v = v1 v2 ,
ce qui prouve que (a, bc) = 1. On en dduit le premier nonc.
Si bc = ad et au + bv = 1, alors acu + adv = c, et donc a(cu + dv) = c, ce qui prouve que a
divise c ; do le second nonc.
(6)

Il est en fait d C.-G. Bachet de Mziriac (1624) ; Bzout (1730-1783) a dmontr lnonc analogue
dans lanneau K[T].

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

Si n Z {0}, il existe des nombres premiers p1 , . . . , pr tels que n = sign(n) p1 pr ;

de plus, les pi , pour 1  i  r, sont uniquement dtermins lordre prs. En dautres
termes, n peut se factoriser de manire unique comme produit de facteurs premiers(7)
(thorme fondamental de larithmtique).

E
L
O

Y
L
O
P

Le cas n < 0 se dduit du cas n > 0 ; on peut donc supposer n > 0.

Lexistence se dmontre par rcurrence. Cest vident pour n = 1, auquel cas, on a r = 0
(un produit vide vaut 1 par dnition). Maintenant, si n  2 est premier, alors n = n est
une factorisation de n sous la forme voulue. Si n  2 nest pas premier, alors n = ab, avec
2  a  n 1 et 2  b  n 1. On peut donc appliquer lhypothse de rcurrence a et
b, ce qui permet dcrire a sous la forme a = p1 ps , et b sous la forme b = ps+1 pr , o
p1 , . . . , pr sont des nombres premiers. On a alors n = p1 pr , ce qui prouve que n admet une
factorisation sous la forme voulue.
Lunicit se dmontre en utilisant le lemme de Gauss. Si p1 pr = q1 qs o les pi et les
qj sont des nombres premiers, le lemme de Gauss montre que pr divise lun des qj et donc
lui est gal. Quitte permuter les qj , on peut supposer que pr = qs , et en divisant les deux
membres par pr = qs , on se ramne r 1 et s 1, ce qui permet de conclure par rcurrence.

Il y a une innit de nombres premiers.

N
H
EC

E
U
IQ

Supposons le contraire, et soient p1 , . . . , pr les nombres premiers. Soit n = (p1 pr ) + 1, et

soit p un nombre premier divisant n (il en existe grce au point prcdent). Comme p ne peut
pas tre un des pi puisque le reste de la division par pi est 1, on aboutit une contradiction
qui permet de conclure.

E
L
O

T
Y
L
PO

Si n Z {0}, et si p est un nombre premier, on note vp (n) le nombre de fois que p

apparat dans la dcomposition en facteurs premiers de n ; alors pvp (n) est aussi la plus
grande puissance de p divisant n, et vp (n) est la valuation p-adique de n.
On tend cette dnition n Z en posant vp (0) = +. On dispose alors dun
critre de divisibilit assez utile : a divise b si et seulement si vp (a)  vp (b) pour tout
nombre premier p. En revenant la dnition de pgcd(a, b), on en dduit la formule

pgcd(a, b) = p pinf(vp (a),vp (b)) .

Exercice 1.1. Si a, b Z, on dnit le plus petit commun multiple ppcm(a, b) de a et b comme le plus
petit entier  0, multiple la fois de a et b.
(i) Montrer que aZ bZ est un sous-groupe de Z, et que aZ bZ = ppcm(a, b)Z.

(ii) Montrer que ppcm(a, b) = p psup(vp (a),vp (b)) , si a = 0 et b = 0.

E
U
IQ

Exercice 1.2. (i) Montrer que vp (ab) = vp (a)+vp (b) et vp (a+b)  inf(vp (a), vp (b)), pour tous a, b Z.
(ii) Montrer que vp a un unique prolongement Q tel que vp (xy) = vp (x) + vp (y), pour tous x, y Q,
(x + y)  inf(vp (x), vp (y)), quels que soient x, y Q.
et que lon a alors vp
(iii) Montrer que 2 est irrationnel.
(7)

T
Y
L
PO

N
H
EC

Si n est le produit de deux nombres premiers ayant chacun un millier de chires, on peut prouver, avec
laide dun ordinateur, que n nest pas premier, mais il est impossible, lheure actuelle, de retrouver les
deux nombres premiers qui divisent n. Ceci est la base de la scurit du systme RSA, datant de 1977,
en vigueur pour les transactions sur Internet. Cest aussi une bonne illustration de la dirence entre la
thorie et la pratique, qui en thorie sont la mme chose, mais en pratique...

E
L
O

1. GRAMMAIRE LMENTAIRE

N
H
EC

E
U
Q
I

Exercice 1.3. (i) Soient n  1 et p un nombre premier. Montrer que vp (n!) = [ np ] + [ pn2 ] + [ pn3 ] + .

T
Y
POL
nS (n)

p
, o Sp (n) est la somme des chires de n en base p.
 x x  x 
 xp1
n!
(ii) Montrer que [x] 2 3 5 + 30 est toujours  0. En dduire que (15n)!(30n)!
(10n)! (6n)! est un

En dduire que vp (n!) =

entier(8) , pour tout n N.

E
L
O

1.2. Paralllisme entre logique lmentaire et langage ensembliste

La ngation p  p correspond au passage au complmentaire : {x, p(x)} est le complmentaire de {x, p(x)}.
(et) correspond lintersection : {x, p(x) q(x)} = {x, p(x)} {x, q(x)}.
(ou) correspond la runion : {x, p(x) q(x)} = {x, p(x)} {x, q(x)}.

La formule p q = p q (resp. p q = p q) devient : le complmentaire de la runion

(resp. lintersection) est lintersection (resp. la runion) des complmentaires.

E
U
IQ

correspond linclusion : p q si et seulement si {x, p(x)} {x, q(x)}.

correspond une intersection : {x, i I, pi (x)} = iI {x, pi (x)}.
correspond une runion : {x, i I, pi (x)} = iI {x, pi (x)}.

N
H
EC

Considrons, par exemple, deux espaces mtriques X et Y, et une suite de fonctions (fn )nN de X
dans Y. Soit A lensemble des x X tels que fn (x) converge. Alors A peut scrire sous la forme :

T
Y
L
PO

A ={x X, y Y, j N, N N, n  N, d(fn (x), y) < 2j }

= yY jN NN nN fn1 ({y  Y, d(y, y  ) < 2j }).

E
L
O

Si Y est complet, on peut utiliser le critre de Cauchy au lieu de donner un nom la limite, et on obtient
[en notant fn,p : X Y Y la fonction x  (fn (x), fp (x))] :

A ={x X, j N, N N, n, p  N, d(fn (x), fp (x)) < 2j }



1
= jN NN n,pN fn,p
{(y, y  ) Y Y, d(y, y  ) < 2j } .

La seconde formulation a lavantage de ne faire intervenir que des intersections et runions indexes par
des ensembles dnombrables.

1.3. Ensembles dnombrables

Un ensemble est dnombrable sil est ni ou sil peut tre mis en bijection avec N.
Un sous-ensemble dun ensemble dnombrable est dnombrable.
Il sut de dmontrer quun sous-ensemble X de N, qui nest pas ni, peut tre mis en
bijection avec N. Si x X, soit (x) = |{y X, y < x}|. Si x0 est le plus petit lment de X,
on a (x0 ) = 0, ce qui montre que (X) contient 0. Si (x) = n, et x est le plus petit lment
de X strictement suprieur x, on a (x ) = n + 1, ce qui prouve que est surjective. Par
(8)

N
H
EC

E
U
IQ

Cette observation, couple avec la formule de Stirling, a permis P. Tchebychev de montrer, en 1852,
que le nombre (x) de nombres premiers  x vrie (0, 92 + o(1)) logx x  (x)  (1, 05 + o(1)) logx x , encadrement que lon pourra comparer avec le th. des nombres premiers de lannexe A. En 2005, F. Rodriguez+
n!
n
Villegas a dmontr que la srie n=0 (15n)!(30n)!
(10n)! (6n)! T tait algbrique, ce qui signie quil existe un
polynme P coecients dans Q(T) qui lannule ; il a aussi prouv que le degr minimal dun tel polynme
est 483840, ce qui rend son explicitation problmatique...

E
L
O

T
Y
L
PO

10

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

ailleurs, est injective car strictement croissante (si x1 < x2 , alors {y X, y < x2 } contient
{y X, y < x1 } et x1 ). Ceci permet de conclure.

Y
L
O
P

Si : X Y est injective et si Y est dnombrable, alors X est dnombrable ; si

: X Y est surjective et si X est dnombrable, alors Y est dnombrable.

E
L
O

Si : X Y est injective, alors ralise une bijection de X sur (X) qui est dnombrable
comme sous-ensemble dun ensemble dnombrable, et donc X est dnombrable. Si : X Y
est surjective, on peut choisir, pour tout y Y, un antcdent s(y) Y de y par . Alors
s : Y X est injective car s(y1 ) = s(y2 ) implique y1 = (s(y1 )) = (s(y2 )) = y2 , et donc Y
est dnombrable si X lest, daprs ce qui prcde.

Un produit ni densembles dnombrables est dnombrable.

Soient X1 , . . . , Xk des ensembles dnombrables, X = X1 Xk , et p1 , . . . , pk des nombres
premiers distincts. Soit i : Xi N injective, pour tout i {1, . . . , k}. Alors : X N,
(x )
(x )
dnie par (x1 , . . . , xk ) = p1 1 1 pk k k est injective daprs le thorme fondamental de
larithmtique (unicit de la factorisation dun entier naturel non nul en produit de nombres
premiers).

N
H
EC

E
U
IQ

Une runion dnombrable densembles dnombrables est dnombrable.

T
Y
L
PO

Soit (Xi )iI , avec I dnombrable et chacun des Xi aussi. Soient i : Xi N, pour i I,
des applications injectives, et soit Y I N lensemble des couples (i, i (x)), pour i I et
x Xi . Alors Y est dnombrable comme sous-ensemble de lensemble dnombrable I N, et
lapplication (i, y)  1
i (y) de Y dans iI Xi est surjective, ce qui prouve que iI Xi est
dnombrable.

E
L
O

Z, Nd , Zd , si d N, et Q sont dnombrables(9) .
Lapplication (a, b)  a b est une surjection de N N sur Z, et comme N N est dnombrable, en tant que produit ni densembles dnombrables, il en est de mme de Z. Les
ensembles Nd , Zd sont dnombrables puisque ce sont des produits nis densembles dnombrables. Enn, (a, b)  ab induit une surjection de Z (Z {0}) sur Q qui, de ce fait est
dnombrable, Z et Z {0} ltant.

R et lensemble {0, 1}N des suites valeurs dans {0, 1} ne sont pas dnombrables.
Supposons que {0, 1}N est dnombrable. Il existe donc une bijection n  xn de N sur
{0, 1}N . Chaque xn est une suite xn = (xn,k )kN , o xn,k {0, 1}, ce qui permet de considrer
la suite y = (yk )kN , o yk = 1 xk,k . Par construction, la suite y a sa n-ime valeur
distincte de celle de xn , pour tout n, et on a donc y = xn , quel que soit n N, ce qui est
en contradiction avec lhypothse selon laquelle n  xn est surjective ; cest donc que {0, 1}N
nest pas dnombrable. Cet argument est largument diagonal de Cantor (1891).
Pour dmontrer que R nest pas dnombrable, il sut de constater que si X dsigne le
sous-ensemble de [0, 1[ des nombres dont le dveloppement dcimal ne comportent que des 0 et

T
Y
L
PO

N
H
EC

E
U
IQ

Ces rsultats, la non dnombrabilit de R et la dnombrabilit de lensemble des nombres algbriques

sont le fruit dun change de lettres entre G. Cantor et R. Dedekind datant de la n 1873. Cantor prouvera
en 1877 que [0, 1] et [0, 1] [0, 1] peuvent tre mis en bijection ; comme il lcrit Dedekind : Je le vois,
mais je ne le crois pas .
(9)

E
L
O

E
U
Q
I

11

2. PRODUITS, SOMMES ET QUOTIENTS

N
H
EC

des 1, alors X est en bijection avec {0, 1}N , et donc nest pas dnombrable. Il en est a fortiori
de mme de R, qui contient X.

T
Y
POL

Exercice 1.4. Montrer que lensemble P(N) des parties de N nest pas dnombrable, mais que lensemble des parties nies de N est dnombrable.

E
L
O

Exercice 1.5. On rappelle que x C est algbrique sil existe P Q[X] non nul tel que P(x) = 0, et
que x C est transcendant sil nest pas algbrique. Montrer que lensemble Q des nombres algbriques
est dnombrable. En dduire quil existe des nombres transcendants.
Exercice 1.6. Soit (Bj )jI une famille de disques ouverts non vides de C. Montrer que si les Bj sont
deux deux disjoints, alors I est dnombrable.
Exercice 1.7. Soit f : R R une fonction croissante.
(i) Montrer que f admet une limite droite et une limite gauche en tout point et que, si x0 R,

+
alors f (x+
0 ) = inf x>x0 f (x) et f (x0 ) = supx<x0 f (x) ; en dduire que f (x0 )  f (x0 )  f (x0 ). A quelle
condition f est-elle continue en x0 ?

(ii) Montrer que, si x0 < x1 , alors f (x+

0 )  f (x1 ).
(iii) Montrer que lensemble D des points o f est discontinue est dnombrable.

N
H
EC

E
U
IQ

Exercice 1.8. Soient X un sous-ensemble dnombrable de R, dense (i.e. ]a, b[X = , pour tous a < b),
et n  xn une bijection de N sur X. On dnit, par rcurrence, une suite n  (n), en posant (0) = 0,
(1) = 1 et en prenant pour (n) le plus petit entier i  (n 1) tel que xi soit entre x(n1) et x(n2) .
Montrer que la suite (x(n) )nN a une limite et que cette limite nappartient pas X. En dduire que R
nest pas dnombrable.

E
L
O

T
Y
L
PO

Exercice 1.9. (dicile) Un huit est la runion de deux cercles dans le plan, de mme rayon (non
nul), tangents en un point. Montrer que lon peut mettre dans le plan au plus un nombre dnombrable
de huit deux deux disjoints.
Exercice 1.10. (dicile) Un tripode est la gure forme de trois segments [G, A], [G, B] et [G, C],
o A, B, C sont les sommets dun triangle quilatral (non rduit un point) et G est le centre de gravit
du triangle. Montrer que lon peut mettre dans le plan au plus un nombre dnombrable de tripodes deux
deux disjoints.

2. Produits, sommes et quotients

2.1. Produits et sommes
2.1.1. Produits et sommes directes de groupes commutatifs

N
H
EC

E
U
IQ

Si (Ai )iI est une famille de groupes (de lois notes multiplicativement), on munit

leur produit iI Ai dune structure de groupe, en faisant le produit composante par
composante [i.e en posant (xi )iI (yi )iI = (xi yi )iI ]. Llment neutre est alors (ei )iI , si ei
dsigne llment neutre de Ai , et linverse de (xi )iI est (x1
i )iI . On dispose, pour tout i,

dune surjection naturelle pi : iI Ai Ai envoyant (xi )iI sur xi , qui est un morphisme
de groupes de manire vidente.

E
L
O

T
Y
L
PO

12

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

Le produit vrie la proprit universelle suivante : si B est un groupe, et si fi : B Ai

est un morphisme de groupes pour tout i I, il existe un unique morphisme de groupes

f : B iI Ai tel que pi f = fi , quel que soit i I.

E
L
O

Y
L
O
P

On doit poser f (x) = (fi (x))iI . Il est alors vident que f est un morphisme de groupes, et
que lon a pi f = fi , quel que soit i I.

Si (Ai )iI est une famille de groupes commutatifs (de loi note additivement), on dnit

leur somme directe iI Ai comme le sous-ensemble du produit iI Ai des (xi )iI vriant
xi = 0 pour presque tout i (i.e. lexception dun nombre ni de i). On dispose alors,
pour tout i, dune injection naturelle i : Ai A, envoyant a Ai sur (xi )iI , avec xi = a
et xj = 0, si j = i.
Si I est ni, la somme directe est gale au produit, mais pas si I est inni(10) .
La somme directe vrie la proprit universelle suivante : si B est un groupe commutatif,
et si fi : Ai B est un morphisme de groupes pour tout i I, il existe un unique
morphisme de groupes f : iI Ai B tel que f i = fi , quel que soit i I.


N
H
EC

E
U
IQ

On doit poser f ((xi )iI ) = iI fi (xi ), ce qui a un sens car la somme est en fait nie. Il est
alors vident que f est un morphisme de groupes, et que lon a f i = fi , quel que soit i I.

T
Y
L
PO

Si A est un groupe commutatif, et si (Ai )iI est une famille de sous-groupes de A, on

dispose dun morphisme de groupes naturel de iI Ai dans A, induit par lidentit sur Ai ,

pour tout i. On note iI Ai limage de ce morphisme ; cest le sous-groupe de A engendr
par les Ai . On dit que les Ai sont en somme directe, si lapplication naturelle de iI Ai
dans A est un isomorphisme. De manire plus concrte, les Ai sont en somme directe,

si tout lment x de A peut scrire de manire unique sous la forme x = iI xi , avec
xi Ai pour tout i, et xi = 0 pour presque tout i.

E
L
O

Si B et C sont deux sous-groupes dun groupe commutatif A, alors B et C sont en somme

directe, si et seulement si B C = {0} et tout lement de A est somme dun lment de B
et dun lment de C.
2.1.2. Le cas des espaces vectoriels
Soit K un corps (sous-entendu commutatif). Un K-espace vectoriel est en particulier un
groupe commutatif, et tout ce que lon a dit lalina prcdent sapplique. On dispose
en plus dune action de K, dnie par (xi )iI = ( xi )iI , si K, sur le produit et
la somme directe, ce qui en fait des K-espaces vectoriels. Si (Ei )iI est une famille de
K-espaces vectoriels, ces objets vrient alors les proprits universelles suivantes.

N
H
EC

E
U
IQ

Si F est un K-espace vectoriel, et si fi : F Ei est une application linaire pour tout


i I, il existe une unique application linaire f : F iI Ei telle que pi f = fi , quel
que soit i I.
(10)

E
L
O

T
Y
L
PO

Le lecteur dsireux de comprendre plus en profondeur la dirence entre les notions de produit et de
somme est invit se munir dune loupe et consulter lalina 2.1.3.

E
U
Q
I

13

2. PRODUITS, SOMMES ET QUOTIENTS

N
H
EC

Si F est un K-espace vectoriel, et si fi : Ei F est une application linaire pour tout

i I, il existe une unique application linaire f : iI Ei F telle que f i = fi , quel
que soit i I.

Si I est ni, les espaces vectoriels iI Ei et iI Ei sont isomorphes, et les Ei sont en

somme directe dans iI Ei .

E
L
O

T
Y
POL

Les Ei nont pas de raison dtre distincts : par exemple, si K = C, et si E1 = E2 = C,

alors E1 E2 = C2 , et 1 (E1 ) (resp. 2 (E2 )) est la droite engendre par 1 (1) = (1, 0)
(resp. 2 (1) = (0, 1)) ; autrement dit, C C est gal C2 , muni de sa base canonique.
2.1.3. Produit et somme dans une catgorie
On dnit la notion de catgorie pour mettre sous un mme chapeau les objets ayant les mmes proprits. Le
lecteur connat dj, sans en avoir forcment conscience, un certain nombre de ces catgories (celle des ensembles,
celle des groupes ou celle des espaces vectoriels sur R ou C par exemple ; il y en a beaucoup dautres comme celle
des espaces topologiques, des espaces de Banach...).
Une catgorie C est une collection dobjets (les objets de la catgorie), et de ches entre ces objets (les
morphismes de la catgorie) : si X et Y sont deux objets de C, on note HomC (X, Y) les morphismes de X
vers Y dans la catgorie C. On impose que lidentit idX soit un morphisme de X dans X, et que lon puisse
composer les morphismes : si X, Y et Z sont trois objets de C, on dispose dune application (f, g)  f g de
HomC (X, Y) HomC (Y, Z) HomC (X, Z) vriant les proprits videntes :

T
Y
L
PO

N
H
EC

E
U
IQ

f idX = f , idY f = f et (f g) h = f (g h).

Les exemples les plus simples de catgories sont les suivants :

La catgorie des ensembles ; les morphismes de X dans Y sont les applications YX de X dans Y.
La catgorie des groupes ; les morphismes sont les morphismes de groupes.
La catgorie des groupes commutatifs ; les morphismes sont les morphismes de groupes.
La catgorie des anneaux commutatifs ; les morphismes sont les morphismes danneaux.
La catgorie des K-espaces vectoriels, K un corps ; les morphismes sont les applications K-linaires.
La catgorie des espaces topologiques ; les morphismes sont les applications continues.
La catgorie des espaces mtriques ; les morphismes sont les applications continues.
La catgorie des K-espaces de Banach, K = R ou K = C ; les morphismes sont les applications K-linaires
continues.

E
L
O

Dans une catgorie, on dnit les notions de produit et somme par les proprits universelles suivantes (la
proprit universelle implique lunicit dun tel objet, mais pas son existence qui doit se dmontrer cas par cas).
Q
Si C est une catgorie et les (Xi )iI sont des objets de C, le produit X = iI Xi des Xi est un objet de C muni
de morphismes pi HomC (X, Xi ), pour i I, tel que, si Y est nimporte quel objet de C, et si fi HomC (Y, Xi ),
pour tout i I, alors il existe f HomC (Y, X) unique, tel que pi f = fi pour tout i I.

La somme X = iI Xi des Xi est un objet de C muni de morphismes i HomC (Xi , X), pour i I, tel que, si
Y est nimporte quel objet de C, et si fi HomC (Xi , Y), pour tout i I, alors il existe f HomC (X, Y) unique,
tel que f i = fi pour tout i I.

N
H
EC

E
U
IQ

Montrons par exemple lunicit du produit. Si X (resp. X ) muni des pi : X Xi (resp. des pi : X Xi ) est
un produit des Xi , alors en particulier, il existe f : X X unique tel que pi f = pi pour tout i, et il existe
g : X X unique tel que pi g = pi pour tout i. Alors f g : X X vrie pi (f g) = pi pour tout i, ce
qui implique que f g = idX puisque idX vrie la mme proprit, et que par hypothse, il ny a quun seul
morphisme de X dans X ayant cette proprit. Pour la mme raison, on a g f = idX , ce qui prouve que X et X
sont isomorphes ( isomorphisme unique prs puisque f et g taient uniques). Cette dmonstration stend tout
objet solution dun problme universel.

E
L
O

T
Y
L
PO

14

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

On dit quune catgorie admet des produits (resp. des sommes), si tout couple (et donc toute famille nie)
dobjets de la catgorie admet un produit (resp. une somme). Toutes les catgories ci-dessus admettent des
produits, car on peut munir le produit ensembliste de deux objets des structures additionnelles demandes. Elles
admettent aussi toutes une somme, mais celle-ci peut prendre des formes assez varies.
Dans la catgorie des ensembles, la somme dune famille (Xi )iI densemble est leur runion disjointe
iI ({i} Xi ).
Dans la catgorie des K-espaces vectoriels, ou dans celle des groupes commutatifs, la somme est la somme
directe, et la somme dun nombre ni dobjets est isomorphe leur produit comme on la vu ci-dessus.
Dans la catgorie des groupes, la somme de deux groupes A et B est leur produit libre A  B : les lments
de A  B sont les mots nis composs dlments de A et B modulo la relation dquivalence selon laquelle on
peut remplacer toute lettre x dans un mot par deux lettres x1 , x2 appartenant au mme groupe si x1 x2 = x, et
rciproquement, on peut remplacer deux lettres conscutives appartenant au mme groupe par leur produit. La
somme de deux groupes commutatifs nest donc pas la mme dans la catgorie des groupes que dans celle des
groupes commutatif. Par exemple, on a (Z/2Z) (Z/3Z) = (Z/6Z), alors que (Z/2Z)  (Z/3Z) est un groupe
`
inni, isomorphe au groupe PSL2 (Z), quotient de SL2 (Z) par son centre 10 01 .

E
L
O

Y
L
O
P

2.2. Relations dquivalence

2.2.1. Relations dquivalence et partitions

N
H
EC

E
U
IQ

Si E est un ensemble, une partition de E est une famille de sous-ensembles non vides
de E, deux deux disjoints, dont la runion est E.

T
Y
L
PO

Par exemple, {R+ , R , {0}} est une partition de R. Si D N{0}, les r +DZ, pour r {0, . . . , D1}
forment une partition de Z.

E
L
O

Une relation R sur E est un sous-ensemble de E E. Si (x, y) E E, on crit souvent

xRy pour signier (x, y) R.

Une relation R sur E est une relation dquivalence si elle est rexive (xRx quel que
soit x E), symtrique (xRy implique yRx) et transitive (xRy et yRz impliquent xRz).
Si R est une relation dquivalence sur E, et si x E, la classe dquivalence de x est
lensemble Cx = {y E, yRx}. Un sous-ensemble C de E est une classe dquivalence
(pour R), sil existe x E tel que C = Cx . Si x, y E, alors Cx Cy = si et seulement
si xRy, et on a alors Cx = Cy . Les classes dquivalence forment donc une partition de E.
Rciproquement, si les (Ci )iI forment une partition de E, alors la relation R dnie
par xRy si et seulement si il existe i I tel que {x, y} Ci est une relation dquivalence
dont les classes dquivalence sont les Ci . En dautres termes, il revient au mme de munir
un ensemble dune relation dquivalence ou de faire une partition de cet ensemble.

E
U
IQ

Par exemple, la partition de R ci-dessus correspond la relation dquivalence x y si et seulement

si x et y ont mme signe ; celle de Z correspond la relation dquivalence a b si et seulement si a
et b ont mme reste dans la division euclidienne par D .

N
H
EC

2.2.2. Passage au quotient par une relation dquivalence. Si R est une relation dquivalence sur E, on dnit le quotient E/R de E par la relation dquivalence R comme lensemble des classes dquivalence. On dispose dune application naturelle de E dans E/R,
savoir lapplication qui x associe sa classe dquivalence (souvent note x) ; cette application est surjective par construction de E/R. Un sous-ensemble S de E est un systme

E
L
O

T
Y
L
PO

E
U
Q
I

15

2. PRODUITS, SOMMES ET QUOTIENTS

N
H
EC

de reprsentants de E/R, sil contient un et un seul lment de chaque classe dquivalence. Autrement dit, S E est un systme de reprsentants de E/R si et seulement si
lapplication naturelle de E dans E/R induit une bijection de S sur E/R.

E
L
O

T
Y
POL

Cette manire de dnir de nouveaux objets en passant au quotient par une relation
dquivalence est une des plus universelles qui soit(11) . Pour le petit enfant, le nombre 5
est la classe dquivalence des ensembles pouvant tre mis en bijection avec lensemble
{un,deux,trois,quatre,cinq} (ce nest pas une raison pour le lui dnir de cette manire...).
Pour le commun des mortels, un nombre rel est un nombre avec une innit de chires
derrire la virgule, et comme certains nombres ont deux critures, il faut passer au quotient... Une couleur aussi est dnie par un passage au quotient nettement plus dlicat
que les passages au quotient mathmatiques...
En gnral, on aime bien que E/R hrite des proprits que pouvait avoir E (i.e. on
aime bien que les proprits de E passent au quotient), ce qui impose des contraintes aux
relations dquivalence que lon peut considrer. Par exemple, une fonction f : E X
passe au quotient si et seulement si on a f (x) = f (y) pour tout couple dlments de E
vriant xRy (si cest le cas, on dnit f : E/R X par f (z) = f (x) pour nimporte quel
lment x de E ayant pour image z dans E/R. Si : E E/R est lapplication naturelle,
on a f = f ; on dit que f se factorise travers E/R ou que f se factorise travers ,
ce qui est une terminologie assez parlante puisquelle signie que lquation f = g a
une solution g = f ).

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

2.3. Lanneau Z/DZ des entiers relatifs modulo D

Dans tout ce qui suit, D est un entier  1. On note DZ lensemble des multiples de D.
On dnit une relation de congruence modulo D sur Z, en disant que a est congru b
modulo D (ou modulo DZ), ce qui se note a b [D] ou a b mod D, si b a DZ.
La relation de congruence modulo D est une relation dquivalence sur Z. On note Z/DZ
lensemble des classes dquivalence. Limage dun entier dans Z/DZ est sa rduction
modulo D.
(11)

Lexprience montre que les premiers passages au quotient que lon rencontre sont un peu traumatisants, mais on nit par sy faire... Il fut un temps pas si lointain, o lon dnissait Z comme le quotient de
N N par la relation dquivalence (a, b) (a , b ) si et seulement si a + b = a + b, lide tant que (a, b)
reprsente lentier relatif a b. Au bout de 3 semaines, on avait enn le droit dcrire 2 3 + 5 7 = 3,
ce que nimporte qui ayant regard un thermomtre comprend trs bien. Pour en arriver l, il avait fallu
passer par (2, 0) + (0, 3) + (5, 0) + (0, 7) = (7, 10) = (0, 3), puis par (+2) + (3) + (+5) + (7) = (3). On
achevait de traumatiser les lves (et leur parents) en dnissant, en classe de 4me , un vecteur comme
une classe dquipollence de bipoints (un bipoint (i.e. un couple de points) (A, B) est quipollent (C, D),
si (A, B, D, C) est un paralllogramme). Dans une priode plus rcente, les alas de la conjoncture ayant
provoqu un tarissement des vocations de professeurs de mathmatiques, on sest retrouv avec une pnurie que lon a traite en diminuant lhoraire de mathmatiques dans lenseignement, et on en a prot
pour jeter allgrement la poubelle toutes ces horribles mathmatiques modernes...

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

16

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

Cette relation est reexive car 0 est un multiple de D, symtrique car si b a est un multiple
de D, il en est de mme de a b, et transitive car si b a et c b sont des multiples de D, il
en est de mme c a = (c b) + (b a).

Y
L
O
P

Un systme naturel de reprsentants de Z/DZ dans Z est lensemble {0, 1, . . . , D 1} ;

en particulier, Z/DZ est de cardinal D.

E
L
O

Si a, b {0, 1, . . . , D 1} sont distincts, et si b > a, alors 1  b a  D 1. En particulier

b a nest pas un multiple de D, ce qui prouve que b et a sont dans des classes distinctes
modulo D, et donc que lapplication naturelle de {0, 1, . . . , D 1} dans Z/DZ est injective.
Par ailleurs, si a Z est quelconque, et si r {0, 1, . . . , D 1} est le reste de la division
de a par D, alors a r est un multiple de D et a est dans la mme classe que r modulo D ;
lapplication naturelle de {0, 1, . . . , D 1} dans Z/DZ est donc surjective.

Laddition et la multiplication sur Z passent au quotient, et Z/DZ muni des lois daddition et multiplication ainsi dnies est un anneau commutatif(12) .

E
U
IQ

Si x x et y y  sont divisibles par D, alors (x + y) (x + y  ) = (x x ) + (y y  ) et

xy x y  = x(y y  ) + y  (x x ) sont divisibles par D, ce qui prouve que le rsultat modulo D
de laddition et la multiplication de deux entiers ne dpend que de leurs rductions modulo D ;
en dautres termes, laddition et la multiplication passent au quotient. Par ailleurs, les identits
verier pour prouver que Z/DZ est un anneau sont dj vraies dans lanneau Z ; elles le sont
donc, a fortiori, dans Z/DZ.

T
Y
L
PO

N
H
EC

a Z est inversible (pour la multiplication) dans Z/DZ si et seulement si a est premier

D. On note (Z/DZ) lensemble des lments inversibles ; cest un groupe dont le cardinal
est traditionnellement not (D), et la fonction est la fonction indicatrice dEuler.

E
L
O

Si a est premier D, il existe, daprs le thorme de Bzout, u, v Z tels que au + Dv = 1,

ce qui prouve que a est inversible dans Z/DZ, dinverse u. Rciproquement, si ab = 1 dans
Z/DZ, cela signie que ab1 est divisible par D, et donc quil existe v Z tel que ab+Dv = 1 ;
daprs le thorme de Bzout, cela implique que a et D sont premiers entre eux, ce qui permet
de conclure.

D est premier si et seulement si Z/DZ est un corps.

Lanneau {0} nest pas un corps (si K est corps, K{0} est un groupe pour la multiplication
et donc est non vide) et 1 nest pas un nombre premier ; on peut donc supposer D  2.
Si D  2 nest pas premier, on peut le factoriser sous la forme D = ab, avec a {2, . . . , D1}
et b {2, . . . , D1}. Donc a et b ne sont pas nuls dans Z/DZ alors que ab = D = 0 dans Z/DZ ;
lanneau Z/DZ admet donc des diviseurs de 0 et nest pas un corps.
Si D est premier, et si a nest pas divisible par D, alors a est premier D et donc inversible
dans Z/DZ daprs le point prcdent. Ceci permet de conclure.

T
Y
L
PO

N
H
EC

E
U
IQ

La manire qui est probablement la plus ecace pour penser lanneau Z/DZ est de le voir comme
tant lanneau Z auquel on a rajout la relation D = 0 ; on fait donc les additions et les multiplications
comme si on tait dans Z, mais on se permet denlever le multiple de D que lon veut au rsultat. Par
exemple, dans Z/21Z, on a 6 14 = 4 21 = 0 et 4 16 = 1 + 3 21 = 1, ce qui montre que 6 et 14
sont des diviseurs de 0, alors que 4 est inversible, dinverse 16

(12)

E
L
O

E
U
Q
I

17

2. PRODUITS, SOMMES ET QUOTIENTS

N
H
EC

Un nombre premier a tendance tre not p, et si on veut insister sur le fait que Z/pZ
est un corps, on le note Fp . Par exemple, on parlera despaces vectoriels sur F2 au lieu
despaces vectoriels sur Z/2Z pour parler des objets qui peuplent Internet(13) et dans
lesquels vivent les codes correcteurs derreurs.

E
L
O

T
Y
POL

Tout corps de cardinal p est isomorphe Fp ; autrement dit Fp est le corps p lments(14) .

Soit K un corps p lment. On dispose dun morphisme danneaux f : Z K envoyant 1

sur 1. Ce morphisme danneaux est en particulier un morphisme de groupes additifs. Son image
est donc un sous-groupe du groupe (K, +), et son cardinal est un diviseur de |K| = p, daprs
le thorme de Lagrange, et comme cette image a au moins deux lments, savoir 0 et 1,
cest K tout entier. On en dduit que f induit un isomorphisme de Z/Ker f sur K, et comme
|K| = p, on a Ker f = pZ, et donc K
= Z/pZ = Fp . Ceci permet de conclure.

Si D est un diviseur de D, alors lapplication naturelle Z (Z/D Z) se factorise

travers une application naturelle (Z/DZ) (Z/D Z) qui est un morphisme danneaux.

E
U
IQ

Si D est un diviseur de D, alors un multiple de D est aussi un multiple de D . On en dduit

que, si a b mod D, alors a b mod D ; autrement dit lapplication naturelle Z (Z/D Z)
se factorise travers une application naturelle (Z/DZ) (Z/D Z). On obtient un morphisme
danneaux car les identits vrier sont dj valables en remontant Z.

T
Y
L
PO

N
H
EC

Si a et b sont premiers entre eux, lapplication naturelle Z/abZ (Z/aZ) (Z/bZ)

est un isomorphisme danneaux qui induit un isomorphisme de groupes de (Z/abZ) sur
(Z/aZ) (Z/bZ) (thorme des restes chinois).

E
L
O

Lapplication naturelle Z/abZ (Z/aZ) (Z/bZ) est un morphisme danneaux daprs

le point prcdent. Il est injectif car, si x Z a une rduction modulo ab qui est dans le
noyau, cest que x est divisible par a et par b, et donc par ab puisquon a suppos a et
b premiers entre eux ; autrement dit, le noyau est rduit 0. Comme les deux ensembles
considrs ont mme cardinal ab, une application injective est aussi bijective, ce qui montre
que Z/abZ (Z/aZ) (Z/bZ) est un isomorphisme. On conclut en remarquant que si A et
B sont deux anneaux, alors (A B) = A B .
En fait, on peut dcrire explicitement lisomorphisme inverse. Comme a et b sont premiers
entre eux, il existe u, v Z tels que 1 = au + bv. Si (x, y) (Z/aZ) (Z/bZ), et si x
, y Z
ont pour image x et y dans Z/aZ et Z/bZ respectivement, alors limage de bv
x + au
y dans
Internet aime beaucoup Z/DZ. Non content de faire voyager des milliards de F2 -espaces vectoriels,
Internet est trs gourmand de grands nombres premiers, par exemple pour le systme RSA de scurit
cl publique (1977). Ce systme et la fabrication de grands nombres premiers reposent sur larithmtique
dans Z/DZ qui savre tre nettement plus subtile que ce que lon pourrait attendre dun objet aussi
petit. On peut saluer la clairvoyance de la commission ayant accouch des programmes actuels, qui a fait
disparatre Z/DZ des programmes de la lire PC au moment mme o Internet prenait son envol...
(14)
Plus gnralement, si q est une puissance dun nombre premier, il y a, isomorphisme prs, un unique
corps q lment, et ce corps est not Fq . On a beaucoup fantasm ces dernires annes autour du
corps F1 1 lment dont on voit la trace dans plusieurs phnomnes sans comprendre quel genre
dobjet cela pourrait bien tre (pas lanneau {0} en tout cas). Certains y voient la clef dune dmonstration
de lhypothse de Riemann.
(13)

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

18

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

Z/abZ ne dpend pas des choix de x

et y et senvoie sur (x, y) dans (Z/aZ) (Z/bZ), comme
le montre un petit calcul immdiat. On remarque que x  bv
x induit un isomorphisme de
Z/aZ sur le sous-groupe bZ/abZ de Z/abZ et que y  au
y induit un isomorphisme de Z/bZ
sur le sous-groupe aZ/abZ de Z/abZ. On en dduit le rsultat suivant :

E
L
O

Y
L
O
P

Si a et b sont premiers entre eux, alors Z/abZ est la somme directe de ses sous-groupes
bZ/abZ et aZ/abZ ; de plus, on a des isomorphismes de groupes additifs bZ/abZ
= Z/aZ

et aZ/abZ = Z/bZ, et donc Z/abZ est isomorphe (Z/aZ) (Z/bZ), comme groupe
additif.

Exercice 2.1. Montrer que si a = 0 et b = 0 ne sont pas premiers entre eux, les groupes additifs Z/abZ
et (Z/aZ) (Z/bZ) ne sont pas isomorphes.
Exercice 2.2. Rsoudre les quations 4x + 3 = 0, 14x + 2 = 0 et 14x + 7 = 0 dans Z/21Z.
Exercice 2.3. Rsoudre lquation x2 + x + 1 = 0 dans Z/91Z. (Comme 91 est relativement petit(15) ,
on peut tester chaque lment de Z/91Z et voir lesquels conviennent, mais cest un peu fastidieux...)

N
H
EC

E
U
IQ

Exercice 2.4. (i) Soit p P. Montrer que si p = 3, et si lquation x2 + x + 1 = 0 a une solution

dans Fp , alors elle en a deux.
(ii) (dicile) Montrer quil existe une innit de nombres premiers p tels que lquation x2 + x + 1 = 0
ait deux solutions dans Fp .
(iii) En dduire que quel que soit M > 0, il existe D N tel que x2 + x + 1 = 0 ait plus de M solutions
dans Z/DZ.

E
L
O

T
Y
L
PO

Exercice 2.5. Montrer que si p P, alors Z/pn Z a pn pn1 lments inversibles. En dduire que,

si D  2, alors (D) = D p|D (1 p1 ), o est la fonction indicatrice dEuler.

2.4. Quotients despaces vectoriels

Soit E un espace vectoriel sur un corps K, soit R une relation dquivalence sur E, et
soit F E la classe dquivalence de 0. Pour que la structure despace vectoriel de E
passe au quotient, on doit en particulier avoir x F si K et x F (puisque 0 = 0
Essayer de rsoudre de la mme manire lquation x2 = 5 dans Z/DZ, avec D = 22802 2521 22281 +1
est vou lchec, mme avec laide dun ordinateur. Par contre, en partant de D = (2521 1)(22281 1),
si on sait que p1 = 2521 1 et p2 = 22281 1 sont premiers (ce sont des nombres premiers de Mersenne
dcouverts par Robinson en 1952), alors on peut sans trop deort calculer le nombre de solutions de
lquation et, avec laide dun ordinateur et dalgorithmes astucieux, calculer explicitement ces solutions.
Le calcul du nombre de solutions repose sur la loi de rciprocit quadratique conjecture par Euler en
1783 et dmontre par Gauss en 1801. Si p est un nombre premier, et si a Z nest pas divisible par
p, on pose ( ap ) = 1, si a est un carr modulo p (i.e. si lquation x2 = a a des solutions dans Fp )
et ( ap ) = 1 si a nest pas un carr modulo p (si lquation x2 = a na pas de solutions dans Fp ).
La loi de rciprocit quadratique snonce alors ainsi : si p et q sont deux nombres premiers impairs
distincts, alors ( pq ) = (1)(p1)(q1)/4 ( pq ). On applique ce qui prcde p = p1 et q = 5. Comme
p1 = 2521 1 = 24130+1 1 = 2 (24 )130 1 = 2 1 = 1 dans F5 , on a ( p51 ) = 1 et donc ( p51 ) = 1, daprs
la loi de rciprocit quadratique. On en dduit que lquation x2 = 5 a deux solutions dans Fp1 . Pour la
mme raison, elle en a aussi 2 dans Fp2 et donc 4 dans Z/DZ.
(15)

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

E
U
Q
I

19

2. PRODUITS, SOMMES ET QUOTIENTS

N
H
EC

dans E/R) et x + y F si x, y F (puisque 0 + 0 = 0 dans E/R) ; en dautres termes, F

doit tre un sous-espace vectoriel de E. De plus, comme a + 0 = a dans E/R, les classes
dquivalence doivent tre de la forme a + F.
Rciproquement, si F est un sous-espace vectoriel de E, la relation F , dnie sur E
par x F y si et seulement si x y F, est une relation dquivalence. Le quotient E/ F
est traditionnellement not E/F. Comme x y F x y F , et comme
x y F et x y  F (x + x ) (y + y  ) F , la structure despace vectoriel
sur E passe au quotient.

E
L
O

T
Y
POL

Si F E est un sous-espace vectoriel supplmentaire de F, les classes dquivalence pour F sont les
a + F, pour a F , et lapplication naturelle F E/F est un isomorphisme despaces vectoriels. En
dautres termes, dans le cas des espaces vectoriels, un quotient est toujours isomorphe un sous-objet,
mais il est trs souvent nocif de remplacer, dans les raisonnements, un quotient par un sous-objet qui lui
est isomorphe. Par exemple, si F est un sous-espace vectoriel dun espace vectoriel E, le dual F de F (i.e.
lensemble des formes linaires de F dans K) est naturellement un quotient du dual E de E (on peut
restreindre F une forme linaire sur E, et F est le quotient de E par le sous-espace des formes linaires
identiquement nulles sur F), et nest pas, en gnral, un sous-espace de E , de manire naturelle.

N
H
EC

E
U
IQ

Lespace E/F vrie la proprit universelle suivante : si u : E E est une application

K-linaire, et si Ker u contient F, alors u se factorise travers E/F (i.e. il existe une
unique application linaire u : E/F E , telle que u = u , o : E E/F est la
projection canonique).

E
L
O

T
Y
L
PO

Si u : E E est une application linaire, alors u se factorise travers E/Ker u, et

lapplication induite u : E/Ker u Im u est un isomorphisme despaces vectoriels.

2.5. Anneaux quotients

Soit A un anneau commutatif (un anneau a toujours un lment unit 1), soit R une
relation dquivalence sur A, et soit I E la classe dquivalence de 0. Pour que la
structure danneau de A passe au quotient, on doit en particulier avoir x I si A et
x I (puisque 0 = 0 dans A/R) et x + y I si x, y I (puisque 0 + 0 = 0 dans A/R) ;
un sous-ensemble de A vriant ces deux proprits est un idal de A. De plus, comme
a + 0 = a dans A/R, les classes dquivalence doivent tre de la forme a + I.
Rciproquement, si I est un idal de A, la relation I , dnie sur E par x I y si et
seulement si x y I, est une relation dquivalence. Le quotient A/ I est traditionnellement not A/I. Comme x y I et x y  I (x + x ) (y + y  ) I , et
comme x y I et x y  I xx yy  = x(y y  ) + y  (x x ) I , la structure
danneau sur A passe au quotient.

N
H
EC

E
U
IQ

Contrairement ce qui se passe dans le cas des espaces vectoriels, lanneau A/I nest pas, en gnral,
isomorphe un sous-anneau de A. Par exemple Z/DZ nest pas isomorphe un sous-anneau de Z, ni
mme un sous-groupe additif.

T
Y
L
PO

Lanneau A/I vrie la proprit universelle suivante : si f : A A est un morphisme

danneaux, et si Ker f contient I, alors f se factorise travers A/I (i.e. il existe un unique

E
L
O

20

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

morphisme danneaux f : A/I A , tel que f = f , o : A A/I est la projection

canonique).

Y
L
O
P

Si f : A A est un morphisme danneaux, alors Ker f est un idal de A, f se factorise

travers A/Ker f et lapplication induite f : A/Ker f Im f est un isomorphisme
danneaux.

E
L
O

Le lecteur connat dj beaucoup danneaux dnis de cette manire. Par exemple :

le corps des nombres complexes(16) C = R[X]/(X2 + 1) (prendre le quotient de R[X] par

lidal(17) (X2 + 1) revient rajouter R un lment X vriant X2 + 1 = 0, et donc X
devient une racine carre de 1 dans le quotient) ;

lanneau Z[X]/(10X1) des nombres dcimaux (prendre le quotient de Z[X] par (10X1)
revient rajouter Z un lment X vriant 10X = 1, et an Xn + + a0 Z[X] devient
a1
an
le nombre dcimal 10
n + + 10 + a0 ) ;

E
U
IQ

le corps Fp , quotient de Z par lidal pZ (p tant un nombre premier) ;

lanneau Z/DZ quotient de Z par lidal DZ (D entier quelconque).

N
H
EC

On en rencontre beaucoup dautres, par exemple les anneaux suivants.

Z[X]/(X2 + 1), anneau des entiers de Gauss ; en envoyant X sur i ou i, cet anneau sidentie au
sous-anneau des {a + ib, a, b Z} de C.

T
Y
L
PO

3
Z[X]/(X
2). Il sidentie
un sous-anneau
de C de trois manires direntes : on peut envoyer X

3
sur 2, ou sur e2i/3 3 2 ou sur e4i/3 3 2. Dans le premier cas, limage est un sous-anneau de R, dans les
autres cas, elle nest pas incluse dans R.

E
L
O

Lanneau K[]/(2 ) des nombres duaux, o K est un corps ; est alors lanalogue algbrique dun
inniment petit (18) .
Lanneau C[X, Y]/(DY2 (X3 X)) des fonctions rationnelles sur la courbe algbrique CD dquation
DY2 = X3 X dans C2 (si f C[X, Y], la restriction de f CD ne dpend que de limage de f modulo
lidal engendr par P(X, Y) = DY2 (X3 X), puisque P est identiquement nul sur CD ).
Exercice 2.6. Montrer que, si D est un diviseur de D, alors Z/D Z est le quotient de Z/DZ par lidal
engendr par D .

2.6. Groupes quotients

2.6.1. Groupe oprant sur un ensemble. Soit G un groupe dlment neutre 1, et soit X
un ensemble. On dit que G opre gauche sur X ou que lon a une action gauche de G
sur X si on dispose dune application (g, x)  g x de GX dans X telle que 1x = x, quel
que soit x X, et g (g  x) = gg  x, quels que soient g, g  G et x X. On remarquera

N
H
EC

E
U
IQ

Cette dnition de C est due Cauchy (1847).

De manire gnrale, si A est un anneau, et si a est un lment de A, on note souvent (a) lidal de
A engendr par A ; on a donc (a) = aA.
(18)
On peut dicilement faire plus petit puisque = 0, alors que 2 = 0 ; si P K[X] est un polynme, on
a P(X + ) = P(X) + P (X) dans K[]/(2 ), comme le montre la formule de Taylor pour les polynmes.
Peut-on rver de dveloppements limits plus sympathiques ?
(16)
(17)

E
L
O

T
Y
L
PO

E
U
Q
I

21

2. PRODUITS, SOMMES ET QUOTIENTS

N
H
EC

que si g G, alors x  g (x) = g x est une bijection de X dans X, la bijection rciproque

tant x  g1 (x) = g 1 x, et que lon a gg = g g , quels que soient g, g  G. Dnir
une action de G sur X revient donc se donner un morphisme de G dans le groupe des
permutations de X (i.e. les bijections de X dans X) muni de la composition.
On dit que G opre droite sur X si on a une application (g, x)  x
g de G X
dans X telle que x
1 = x, quel que soit x X, et (x
g)
g  = x
gg  , quels que soient
g, g  G et x X. On peut toujours transformer une action gauche en action droite
(et vice-versa), en posant x
g = g 1 x.

E
L
O

T
Y
POL

Par exemple, si K est un corps commutatif, le groupe GLn (K) opre naturellement ( gauche) sur
beaucoup dobjets :
par dnition, il opre sur lespace vectoriel Kn ;
comme laction est linaire, elle transforme une droite vectorielle en droite vectorielle et donc GLn (K)
opre sur lensemble Pn1 (K) des droites vectorielles de Kn (espace projectif de dimension n 1 sur K) ;
il opre sur lensemble Mn (K) des matrices n n coecients dans K, par multiplication gauche
(i.e. A M = AM), par multiplication droite (i.e. A M = MA1 ) et par similitude (i.e. A M = AMA1 ,
ce qui correspond un changement de base).
Il opre sur les ensembles des matrices symtriques et antisymtriques par A M = AM t A,
Le groupe GLn (C) opre sur lensemble des matrices auto-adjointes (i.e. vriant t M = M) par
A M = AMA , avec A = t A.

T
Y
L
PO

N
H
EC

E
U
IQ

Exercice 2.7. Soit K un corps commutatif. On rajoute K un lment , et on tend larithmtique

a
de K en posant a0 = , si a = 0 (on ne donne pas de sens 00 ), et a+b
c+d = c , si a = 0 ou c = 0.
(i) Montrer que lapplication qui v = (x, y) K2 {(0, 0)} associe (v) = xy K {} induit une
bijection de la droite projective P1 (K), ensemble des droites vectorielles de K2 , sur K {}.
 
(ii) Montrer que laction de GL2 (K) sur K {} qui sen dduit est donne par ac db z = az+b
cz+d .

E
L
O

Si G opre ( gauche ou droite) sur X, et si x X, un translat de x est un point de X

dans limage de G {x}, et lorbite Ox de x est lensemble des translats de X (i.e. limage
de G {x} dans X). Une orbite pour laction de G est un sous-ensemble O de X de la
forme Ox pour un certain x X.
La relation G dnie sur X par x G y si et seulement si il existe g G tel que
y = g x (si laction est gauche) ou y = x
g (si laction est droite) est une relation
dquivalence sur X dont les classes dquivalence sont les orbites.

E
U
IQ

On peut se contenter de traiter le cas dune action gauche. On a x = 1 x, et donc G

est reexive. Si y = g x, alors x = g 1 y, et donc G est symtrique. Enn, si y = g x et
z = h y, alors z = hg x, et donc G est transitive. Cela prouve que G est une relation
dquivalence sur X. La classe dquivalence de x est Ox par dnition de Ox , ce qui prouve
que les classes dquivalence sont les orbites.

T
Y
L
PO

N
H
EC

Lespace quotient X/ G , ensemble des orbites, est traditionnellement not G\X si

laction est gauche, et X/G si laction est droite. Un systme de reprsentants de G\X
ou X/G dans X est parfois appel un domaine fondamental.

E
L
O

22

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

Si x X, lensemble Gx des g G xant x (i.e. g x = x) est un sous-groupe de G,

appel stabilisateur de x.

Y
L
O
P

Comme 1 x = x, on a 1 Gx . Si g x = x, alors x = g 1 (g x) = g 1 x, et donc Gx est

stable par passage linverse. Enn, si g x = x et h x, alors gh x = g (h x) = g x = x, ce
qui prouve que Gx est stable par la loi de groupe de G, et donc est un sous-groupe de G.

E
L
O

On fabrique des tas de groupes intressants en considrant les stabilisateurs dlments densembles
munis dactions de groupes.
Si M est une matrice symtrique, le stabilisateur de M dans GLn (K) pour laction A M = AM t A est
le groupe orthogonal associ M ; si M = In , ce groupe est not On (K). Si K = R, si p + q = n, et si M
est la matrice diagonale avec p fois 1 et q fois 1 sur la diagonale, le groupe obtenu est not O(p, q) ; en
particulier O(n) = On (R).
Si M est une matrice antisymtrique, le stabilisateur de M dans GLn (K) pour laction A M = AM t A


est le groupe symplectique associ M ; si n = 2m est pair, et si M est la matrice par bloc I0m I0m , ce
groupe est not Spn (K).
Le stabilisateur de In pour laction A M = AMA de GLn (C) est le groupe unitaire U(n).

N
H
EC

E
U
IQ

Exercice 2.8. Montrer que, si y = g x, alors Gy = gGx g 1 = {gxg 1 , x Gx }. En dduire que, si G

est ni, le cardinal du stabilisateur est constant dans chaque orbite.

T
Y
L
PO

Exercice 2.9. (i) Montrer que le groupe D4 des isomtries du carr de sommets A = (1, 1), B = (1, 1),
C = (1, 1) et D = (1, 1) est un groupe dordre 8, et expliciter ses lments.
(ii) Soit O = (0, 0), et soit S = {O, A, B, C, D}. Montrer que S est stable sous laction de D4 , et
dterminer les orbites sous laction de D4 , ainsi que le stabilisateur dun des lments de chaque orbite.
(iii) Soit T lensemble des paires dlments distincts de S. Dterminer les orbites de T sous laction
de D4 , ainsi que le stabilisateur dun lment de chaque orbite.
(iv) Quel lien y a-t-il entre le cardinal dune orbite et celui du stabilisateur dans tous les cas ci-dessus ?

E
L
O

2.6.2. Classes de conjugaison

Si G est un groupe, alors (g, x)  g x = gxg 1 est une action ( gauche) de G sur
lui-mme.
Si g, h, x G, alors gh x = ghx(gh)1 = ghxh1 g 1 = g (hxh1 ) = g (h x).

Laction de G sur lui-mme ainsi dnie est laction par conjugaison. Lorbite de x G
est alors la classe de conjugaison de x, les lments de la classe de conjugaison de x
sont dits conjugus x (et donc x et y sont conjugus dans G sil existe h G tel que
y = hxh1 ), et lensemble Conj(G) des orbites est lensemble des classes de conjugaison
de G. Le stabilisateur Zx de x pour cette action est appel le centralisateur de x ; cest
lensemble des g G qui commutent x.

T
Y
L
PO

N
H
EC

E
U
IQ

G est commutatif si et seulement si les classes de conjugaison sont rduites un lment.

La classe de conjugaison de x G est lensemble des gxg 1 , pour g G. Comme elle
contient x, elle est rduite un lment si et seulement si gxg 1 = x, quel que soit g G, et
donc si et seulement si x commute tous les lments de G. Ceci permet de conclure.

E
L
O

E
U
Q
I

23

2. PRODUITS, SOMMES ET QUOTIENTS

N
H
EC

Le centre Z de G est lensemble des x G commutant tout lment de G ; cest aussi

lensemble des x G dont la classe de conjugaison est rduite un point, et cest un
sous-groupe de G.

T
Y
POL

Si xg = gx et yg = gy quel que soit g G, alors xyg = xgy = gxy, ce qui montre que xy
commute tous les lments de G et donc que Z est stable par la loi de groupe. De mme, si
xg = gx quel que soit g G, alors gx1 = x1 xgx1 = x1 gxx1 = x1 g, ce qui prouve que
Z est stable par passage linverse. Comme il contient llment neutre ; cest un sous-groupe
de G. Le reste ayant t dmontr ci-dessus, cela permet de conclure.

E
L
O

Exercice 2.10. (i) Soient X un ensemble et G un groupe oprant sur X. Si g G, on note Xg lensemble
{x X, g x = x} des points xes de g.
(a) Si g, h G, quel lien y a-t-il entre les points xes de g et ceux de hgh1 ?
(b) Montrer que si X est ni et si g, g  sont conjugus dans G, alors ils ont le mme nombre de
points xes.
(ii) Soient V un espace vectoriel sur un corps K et G un groupe. On dit que G opre linairement sur V
si G opre sur V et si v  g v est une application linaire de V dans V, pour tout g G (on dit alors
que V est une reprsentation de G).
(a) Montrer que, si cest le cas et si g G, lensemble des points xes de g est un sous-espace
espace vectoriel de V.
(b) Montrer que, si V est de dimension nie et si g, g  sont conjugus dans G, alors leurs points
xes sont des espaces vectoriels de mme dimension.

T
Y
L
PO

N
H
EC

E
U
IQ

2.6.3. Quotients de groupes. Si G est un groupe, et si H est un sous-groupe de G,

on peut utiliser la multiplication dans G pour faire agir H sur G gauche (h x = hx)
et droite (x
h = xh). Une classe gauche est alors de la forme Hx = {hx, h H},
pour x G, et une classe droite, de la forme xH = {xh, h H}, pour x G. Les
quotients H\G ( gauche) et G/H ( droite) de G par H ne sont, en gnral, pas des
groupes, mais la multiplication dans G les munit dactions de G ( droite pour H\G et
gauche pour G/H). Rciproquement, si R est une relation dquivalence sur G telle que
la multiplication dans G induise une action gauche (resp. droite) de G sur G/R, et
si H est la classe dquivalence de e, alors H est un sous-groupe de G et G/R = G/H
(resp. G/R = H\G).

E
L
O

Si G opre ( gauche) sur un ensemble X, si x X, et si Gx est le stabilisateur de x

dans G, alors g  g x induit un isomorphisme de G/Gx sur lorbite Ox de x (cest un
isomorphisme de G-ensembles, i.e. densembles munis dune action de G).

E
U
IQ

Commenons par remarquer que, si g1 , g2 ont mme image dans G/Gx , alors il existe h Gx
tel que g2 = g1 h, ce qui implique que g2 x = (g1 h)x = g1 (hx) = g1 x ; lapplication g  g x
passe donc au quotient et nous dnit une application : G/Gx Ox qui est surjective par
dnition de Ox . Maintenant, si g1 x = g2 x, alors g21 g1 x = x et donc g21 g1 Gx ; on en
dduit que g1 g2 Gx et donc que g1 et g2 ont mme image dans G/Gx , ce qui prouve que est
injective et donc bijective. Enn, si h G et g G/Gx , alors h(g) = h(g x) = hg x = (hg),
ce qui prouve que commute laction de G et donc est un morphisme de G-ensembles.

E
L
O

T
Y
L
PO

N
H
EC

La classe de conjugaison de x est isomorphe G/Zx , o Zx est le centralisateur de x.

24

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

Cest un cas particulier du point prcdent.

Y
L
O
P

Pour que la structure de groupe de G passe au quotient G/H, il faut et il sut que,
quels que soient x, x G et h, h H, on puisse trouver h H tel que xhx h = xx h .
Comme h (h )1 = (x )1 hx , on voit que la condition prcdente est quivalente ce que
H soit laiss stable par la conjugaison h  ghg 1 , quel que soit g G. Si tel est le cas on
dit que H est distingu (normal en franglais) dans G.
Un groupe simple est un groupe dont les seuls sous-groupes distingus sont {1} et le
groupe lui-mme.

E
L
O

Le groupe G/H vrie la proprit universelle suivante : si f : G G est un morphisme

de groupes, et si Ker f contient H, alors f se factorise travers G/H (i.e. il existe un unique
morphisme de groupes f : G/H G , tel que f = f , o : G G/H est la projection
canonique).

E
U
IQ

Si u : G G est un morphisme de groupes, alors Ker u est distingu dans G et u se

factorise travers G/Ker u et induit un isomorphisme de groupes de G/Ker u sur Im u.
Si G est simple, alors u est soit injectif soit trivial (u(g) = 1, quel que soit g G).
3. Groupes nis

E
L
O

T
Y
L
PO

N
H
EC

3.1. Gnralits sur les groupes

Un groupe G est un ensemble non vide, muni dune loi (g, h) gh de G G G qui
est associative (i.e (g1 g2 )g3 = g1 (g2 g3 ), quels que soient g1 , g2 , g3 G), possde un lment
neutre (i.e. il existe e G tel que eg = ge = g, pour tout g G), et telle que tout lment
g admet un inverse (i.e. il existe g 1 G tel que gg 1 = g 1 g = e).

Un groupe G est commutatif ou ablien si gh = hg quels que soient g, h G. La loi

de groupe dun groupe commutatif est souvent note +, auquel cas llment neutre est
not 0 et linverse de x G est not x et appel loppos de x. Une loi note + ou ou
 est implicitement commutative, moins que lauteur nait vraiment dcid de rendre
son texte illisible. Si la loi de groupe est note multiplicativement, llment neutre de G
est en gnral not 1 au lieu de e ; sil sagit dun groupe de bijections dun ensemble X,
llment neutre est lidentit de X, et est souvent not id.

E
U
IQ

Si G est un groupe dlment neutre 1, si x G, on dnit xn , pour n Z, en posant

x = 1, et xn+1 = xn x, si n N, et xn = (x1 )n , si n  0. Si G est commutatif et si
la loi est note +, llment xn est not nx, et on a 0x = 0 et (1)x = x. On vrie
facilement que si n Z, alors xn+1 = xn x et xn1 = xn x1 , ce qui permet de montrer, par
rcurrence sur m, que xm+n = xm xn quels que soient m, n N. Autrement dit, n  xn
est un morphisme de groupes de Z dans G.
Si x et y commutent, on a (xy)n = xn y n , mais sils ne commutent pas, cest en gnral
faux (et si n = 2 ou si n = 1, cela nest vrai que si x et y commutent).
0

E
L
O

T
Y
L
PO

N
H
EC

3. GROUPES FINIS

N
H
EC

E
U
Q
I

25

Un sous-groupe H dun groupe G est une partie de H qui contient llment neutre,
est stable par la loi de groupe (h1 , h2 H h1 h2 H) et par passage linverse
(h H h1 H) ; cest donc un groupe pour la loi induite par celle de G.
Si les (Hi )iI sont des sous-groupes dun groupe G, alors iI Hi est un sous-groupe
de G. Ceci permet de dnir le sous-groupe X de G engendr par une partie X de G
comme tant lintersection de tous les sous-groupes de G qui la contiennent. Par exemple,
si x G, le sous-groupe x engendr par x est lensemble des xn , pour n Z.

E
L
O

T
Y
POL

En eet, dune part un sous-groupe qui contient x contient xn , pour n N, comme le

montre une rcurrence immdiate, et comme il contient x1 , il contient aussi xn , pour n  0 ;
dautre part, lensemble des xn , pour n Z, est un groupe qui contient x, puisque cest limage
de Z par le morphisme x  xn .

3.2. Groupes cycliques

3.2.1. Structure des groupes cycliques, ordre dun lment

E
U
IQ

Un groupe est cyclique sil peut tre engendr par un seul lment. Autrement dit, G
est cyclique, sil existe x G tel que le morphisme x  xn de Z dans G soit surjectif. Si
G est cyclique, un gnrateur de G est un lment x de G tel que le morphisme x  xn
de Z dans G soit surjectif.

T
Y
L
PO

N
H
EC

Le groupe Z est cyclique, et il admet deux gnrateurs 1 et 1. Si D  1, le groupe

Z/DZ est cyclique et les gnrateurs de Z/DZ sont les lments de (Z/DZ), cest--dire
les (rductions modulo D des) entiers premiers D.

E
L
O

Lnonc concernant Z est immdiat. Il est aussi immdiat que Z/DZ est cyclique et que
1 en est un gnrateur. Maintenant, si a Z/DZ en est un gnrateur, alors il existe en
particulier b Z tel que ba = 1, ce qui fait que la rduction modulo D de b est un inverse de
a, et donc que a est inversible. Rciproquement, si a est inversible, alors n  na est bijectif
de Z/DZ dans Z/DZ et donc n  na est surjectif de Z dans Z/DZ, ce qui prouve que a est
un gnrateur de Z/DZ.

Le groupe D des racines D-imes de lunit dans C est cyclique, engendr par e2i/D ,
et n  e2i n/D induit un isomorphisme de groupes Z/DZ
= D . Un gnrateur de D est
une racine primitive D-ime de lunit, et les racines primitives D-imes de lunit sont,
daprs le point prcdent, les racines de la forme e2i a/D , pour a premier D.
Un groupe cyclique inni est isomorphe Z ; un groupe cyclique de cardinal D est
isomorphe(19) Z/DZ. En particulier, un groupe cyclique est commutatif.
(19)

N
H
EC

E
U
IQ

Un groupe cyclique est donc un objet parfaitement ennuyeux dun point de vue thorique. La situation
est, en pratique, assez dirente : il est trs dicile, tant donn un groupe cyclique G de cardinal N
trs grand ( 10100 ), un gnrateur g de G et x G, de dterminer llment n de Z/NZ tel que
x = g n (problme du logarithme discret), alors que calculer g n se fait sans problme. Ceci est la
base des signatures lectroniques : G, N et g sont publics et on attribue chaque personne P un code
n(P) Z/NZ (tenu secret), partir duquel P fabrique une signature publique s(P) = g n(P) . Deux
personnes P et Q peuvent sassurer de leur identit mutuelle de la manire suivante : P calcule s(Q)n(P)

E
L
O

T
Y
L
PO

26

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

Soit G un groupe cyclique, et soit x un gnrateur de G. Alors f : Z G dni par

f (n) = xn est un morphisme surjectif, et il y a deux cas :
f est injectif et alors G est isomorphe Z ;
le noyau de f est non nul et donc de la forme DZ, avec D  1, puisque cest un sous-groupe
de Z ; alors f se factorise travers f : Z/DZ G, et f est surjectif puisque f lest et injectif
puisquon a factoris modulo Ker f ; autrement dit f est un isomorphisme de Z/DZ sur G et,
en particulier, G et Z/DZ ont mme cardinal.
Ceci permet de conclure.

E
L
O

Y
L
O
P

Si G est un groupe quelconque et x G, le sous-groupe x de G engendr par x est

cyclique par dnition. On dnit lordre de x comme le cardinal du groupe x. Si x est
dordre D, le noyau du morphisme n xn de Z dans G est DZ daprs ce qui prcde, ce
qui fait que lordre de x est aussi le plus petit entier n > 0 tel que xn soit gal llment
neutre.
3.2.2. Sous-groupes des groupes cycliques

E
U
IQ

Si D  1, lapplication d  dZ/DZ est une bijection de lensemble des diviseurs de D

sur celui des sous-groupes de Z/DZ.

N
H
EC

Si G est un sous-groupe de Z/DZ, on peut considrer son image inverse dans Z, qui est
un sous-groupe de Z contenant DZ ; on obtient ainsi une bijection de lensemble des sousgroupes de Z/DZ dans celui des sous-groupes de Z contenant DZ, la bijection inverse tant
G/DZ.

G
Comme un sous-groupe de Z contenant DZ est de la forme dZ, avec d diviseur
de D, cela permet de conclure.

E
L
O

T
Y
L
PO

Si G est un groupe cyclique, tous les sous-groupes de G sont cycliques, et si G est de

cardinal D, alors G admet exactement un sous-groupe de cardinal D , pour tout diviseur D
de D.

Si G est inni, alors G est isomorphe Z, et tous les sous-groupes non nuls de G sont
isomorphes Z, et donc cycliques.
Si G est ni de cardinal D, alors G est isomorphe Z/DZ, et on sait que les sous-groupes
de Z/DZ sont de la forme dZ/DZ, pour d diviseur de D. Or n  dn induit une surjection
de Z sur dZ/DZ dont le noyau est D Z, o D = D/d, ce qui montre que dZ/DZ
= Z/D Z.
Comme d  D = D/d est une permutation de lensemble des diviseurs de D, cela permet de
conclure.

3.3. Groupes abliens nis

E
U
IQ

Soit P lensemble des nombres premiers. Daprs le thorme des restes chinois, si
D N {0}, alors Z/DZ
= pP (Z/pvp (D) Z). La somme ci-dessus est en fait une somme
nie car vp (D) = 0, sauf pour un nombre ni de nombres premiers. Ce rsultat se gnralise
tous les groupes abliens nis sous la forme (cf. no 4.3 du 4 pour la dmonstration).

T
Y
L
PO

N
H
EC

et Q calcule s(P)n(Q) , chacun de son ct ; si les rsultats sont les mmes ( savoir g n(P)n(Q) ), alors P et
Q sont bien P et Q (sinon, cela veut dire que quelquun a russi retrouver le code de lun des deux
partir de sa signature publique, ce qui est rput tre impossible). Les groupes cycliques utiliss sont en
gnral construits partir de courbes elliptiques sur les corps nis (cf. annexe E).

E
L
O

3. GROUPES FINIS

N
H
EC

E
U
Q
I

27

Thorme 3.1. (Kronecker, 1867) Soit G un groupe ablien ni et, si p P, soit Gp

lensemble des lments de G dordre une puissance de p.
(i) Gp est un sous-groupe de G, nul pour presque tout p, et G = pP Gp .
(ii) Si p P, il existe une suite nie dentiers ap,i  1, dcroissante et uniquement
dtermine, telle que lon ait Gp
= i (Z/pap,i Z).
 
Remarque 3.2. Avec les notations du thorme, on a |G| = p i pai , et donc |G| est
un multiple de pai , pour tous p et i, ce qui prouve que la multiplication par |G| annule
tout lment de G, puisquelle annule tous les Z/pap,i Z. Autrement dit, dans un groupe
commutatif, lordre dun lment divise lordre du groupe (cas particulier du thorme de
Lagrange).

E
L
O

T
Y
POL

Exercice 3.3. Dcomposer (Z/108Z) et (Z/200Z) sous la forme ci-dessus.

E
U
IQ

Exercice 3.4. (i) Soit K un corps ni commutatif(20) . Montrer que le groupe K est cyclique (on pourra
considrer le nombre de solutions de lquation xp = 1, pour p nombre premier divisant |K | et utiliser
le th. 3.1).
(ii) Soit p = 2 un nombre premier. Montrer que x est un carr dans Fp (i.e. x = y 2 , avec y Fp ) si et
seulement si x(p1)/2 = 1.
(iii) En dduire que 1 est un carr dans Fp si et seulement si p est de la forme 4n + 1.
(iv) Soit p de la forme 4n + 3. Montrer que lquation a2 + b2 = p na pas de solution avec a, b Z.

T
Y
L
PO

N
H
EC

Exercice 3.5. (i) Soit p un nombre premier. Montrer que, si x 1 + pk a mod pk+1 , et si k  1 (k  2,
n2
= 1 dans (Z/pn Z) , si p = 2 et
si p = 2), alors xp 1 + pk+1 a mod pk+2 . En dduire que (1 + p)p
pn3
n

= 1 dans (Z/2 Z) , si n  3.
n  2, et que (1 + 4)
(ii) Soit N le noyau de la rduction modulo p de (Z/pn Z) dans Fp (dans (Z/4Z) , si p = 2). Montrer
que N est isomorphe Z/pn1 Z ( Z/2n2 Z, si p = 2).
(iii) En utilisant le rsultat de lex. 3.4, montrer que (Z/pn Z)
= (Z/(p 1)Z) (Z/pn1 Z) en tant
que groupe commutatif, si p = 2 et n  1.
(iv) Montrer que (Z/2n Z)
= (Z/2Z) (Z/2n2 Z), si n  2.

E
L
O

3.4. Le thorme de Lagrange et ses variantes

Si G est un groupe ni, et si H est un sous-groupe de G, alors h  xh induit une bijection
de H sur xH, ce qui fait que les classes droite xH ont toutes le mme cardinal |H|. Comme
G est la runion disjointe des xH, pour x G/H, on en dduit la formule
|G| = |G/H| |H|.
En particulier, |H| divise |G|, ce qui se traduit par :

N
H
EC

E
U
IQ

Si G est un groupe ni, alors le cardinal de tout sous-groupe de G divise celui de G

(thorme de Lagrange).

T
Y
L
PO

On peut spcialiser cela au sous-groupe engendr par un lment x de G : le cardinal de ce

sous-groupe est, par dnition, lordre de x, ce qui nous donne :
(20)

E
L
O

Cette hypothse est en fait superue car tout corps ni est commutatif (thorme de Wedderburn).

28

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

Dans un groupe ni lordre dun lment divise le cardinal du groupe.

Y
L
O
P

Finalement, on remarque que |G/H| aussi divise |G|. Si X est un ensemble sur lequel G agit,
si O est une orbite, si x O, et si H est le stabilisateur de x, on sait que O
= G/H. On en
dduit que :

E
L
O

Dans un ensemble sur lequel agit un groupe ni, le cardinal dune orbite divise le cardinal
du groupe et, plus prcisment, le produit du cardinal de lorbite par celui du stabilisateur
dun de ses lments est gal au cardinal du groupe.

En particulier, en appliquant ceci laction de G sur lui-mme par conjugaison intrieure,

on obtient :

Dans un groupe ni, le cardinal dune classe de conjugaison divise le cardinal du groupe.
Si X est un ensemble ni sur lequel agit un groupe ni G, on peut dcouper X en orbites
pour cette action. Si on choisit un lment par orbite, et si on utilise lisomorphisme
Ox
= G/Gx , o Gx est le stabilisateur de x, on obtient la formule des classes :
 1

.
|Ox | = |G|
|X| =
|Gx |
xG\X

N
H
EC

xG\X

T
Y
L
PO

E
U
IQ

Exercice 3.6. Montrer que tout lment x Fp vrie xp1 = 1. En dduire le petit thorme de
Fermat(21) (si n Z, alors np n est divisible par p).

E
L
O

Exercice 3.7. (dmonstration combinatoire du petit th. de Fermat). Soient n  1 et X lensemble des
applications de Z/pZ dans {1, . . . , n}. Si g Z/pZ et X, on dnit g par (g )(x) = (x + g),
pour tout x Z/pZ (la loi de groupe de Z/pZ est note additivement).
(i) Vrier que ceci dnit une action de groupe.
(ii) Quels sont les points xes de cette action ? Combien y en a-t-il ?
(iii) Combien dlments a une orbite non rduite un point ?
(iv) Calculer le nombre de ces orbites, et en dduire le petit thorme de Fermat.

3.5. Le groupe symtrique Sn

3.5.1. Permutations
Si n N {0}, on note Sn le groupe des bijections de {1, . . . , n}. Comme il y a n
manires de choisir limage de 1, n 1 de choisir celle de 2 une fois celle de 1 choisie, etc.
le cardinal de Sn est n(n 1) 1 = n!. Par dnition, Sn opre sur {1, . . . , n} ; il opre
donc aussi sur toutes sortes dobjets construits partir de {1, . . . , n} comme lensemble
des parties de {1, . . . , n} (limage dune partie {i1 , . . . , ip } par est {(i1 ), . . . , (ip )}).

N
H
EC

E
U
IQ

Exercice 3.8. On fait agir Sn sur lensemble des parties de {1, . . . , n} comme ci-dessus.
(i) Si p  n, quelle est lorbite de {1, . . . , p} ?
(ii) Quel est le stabilisateur de {1, . . . , p} ; quel est son cardinal ?
n!
pour le nombre de parties p lments dun ensemble n lments.
(iii) Retrouver la valeur p! (np)!
(21)

E
L
O

T
Y
L
PO

nonc dans une lettre Frenicle du 18 octobre 1640.

3. GROUPES FINIS

N
H
EC

E
U
Q
I

29

Un lment de Sn est une permutation. Si Sn , on dnit le support de comme

lensemble des i {1, . . . , n} tels que (i) = i. Il est plus ou moins vident que deux
permutations de supports disjoints permutent entre elles.
On peut reprsenter une permutation de Sn sous la forme dune matrice 2 lignes et
n colonnes en mettant les nombres de 1 n sur la premire ligne et leurs images par
juste en-dessous. Cette reprsentation est trs commode pour faire le produit de deux
permutations (en noubliant pas que cest la matrice de droite qui agit en premier). Par
exemple, si et sont les permutations de S6 dnies par (1) = 2, (2) = 4, (3) = 5,
(4) = 6, (5) = 1 et (6) = 3, et (1) = 4, (2) = 2, (3) = 1, (4) = 6, (5) = 5 et
(6) = 3, alors






 

= 12 24 35 46 51 63 , = 14 22 31 46 55 63
et = 12 24 35 46 51 63 14 22 31 46 55 63 = 16 24 32 43 51 65 .

E
L
O

T
Y
POL

E
U
IQ

Une permutation Sn est un k-cycle sil existe i1 , . . . , ik distincts, tels que

(i1 ) = i2 , (i2 ) = i3 , . . . , (ik ) = i1 ,

N
H
EC

et (j) = j, si j
/ {i1 , . . . , ik }.

On note (i1 , i2 , . . . , ik ) le k-cycle dni ci-dessus ; son support est lensemble {i1 , . . . , ik } ;
il est dordre k. On remarquera que le k-cycle (i1 , i2 , . . . , ik ) est aussi gal au k-cycle
(ia , ia+1 , . . . , ia+k1 ), si on crit les indices modulo k, et a est nimporte quel lment de
Z/kZ. Pour rtablir une unicit de lcriture, il sut dimposer que i1 soit le plus petit
lment de {i1 , . . . , ik }. Il est commode dtendre la notation ci-dessus aux cycles de
longueur 1 (qui sont tous gaux lidentit...).

E
L
O

T
Y
L
PO

Si est un k-cycle, alors k = id.

Une permutation peut scrire comme un produit de cycles de supports disjoints.
Si est une permutation, on fabrique une partition de {1, . . . , n} en prenant les orbites
O1 , . . . , Os sous laction de (i.e. sous laction du sous-groupe cyclique de Sn engendr par ).
Si Oi est une de ces orbites, de cardinal ki , on peut considrer le cycle ci = (a, (a), . . . , ki 1 (a)),
o a est le plus petit lment de Oi ; cest un cycle de longueur ki et de support Oi , et est
le produit des ci , pour i {1, . . . , s}.

Comme des cycles ayant des supports deux deux disjoints commutent entre eux, on
peut faire le produit dans nimporte quel ordre dans la dcomposition dune permutation en cycles de supports disjoints. Par exemple, soit S6 la permutation dnie
par : (1) = 3, (2) = 2, (3) = 5, (4) = 6, (5) = 1 et (6) = 4. Alors on a
= (1, 3, 5)(4, 6)(2) = (4, 6)(2)(1, 3, 5)... Trs souvent on omet les cycles de longueur 1 de
la dcomposition ; on crit donc plutt la permutation prcdente sous la forme
= (1, 3, 5)(4, 6) ou = (4, 6)(1, 3, 5).

T
Y
L
PO

N
H
EC

E
U
IQ

Tout lment de Sn est conjugu un unique lment de la forme

E
L
O

(1, . . . , 1 )(1 + 1, . . . , 1 + 2 ) (1 + + s1 + 1, . . . , 1 + + s1 + s ),

30

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

o (1 , . . . , s ) est une partition de n, cest--dire une suite dcroissante dentiers  1 dont

la somme est n. Les classes de conjugaison de Sn sont donc en bijection naturelle avec les
partitions de n.

Y
L
O
P

Soit Sn . La conjugaison  1 par un lment de Sn transforme un k-cycle

i1  i2   ik  i1 , en le k-cycle (i1 )  (i2 )   (ik )  (i1 ). On en dduit en
particulier que les longueurs des cycles apparaissant dans les dcompositions de deux permutations conjugues sont les mmes, ce qui implique lunicit dun conjugu de la forme voulue, les
j tant les longueurs des cycles apparaissant dans la dcomposition de ranges dans lordre
dcroissant. crivons donc comme un produit de cycles 1 . . . s supports disjoints. Soit j
la longueur de j . On a 1 + + s = n, et quitte permuter les j , on peut supposer que
1  2  s . On peut alors crire j sous la forme j = (i1 ++j1 +1 , . . . , i1 ++j1 +j ),
et k  ik nous dnit une permutation de {1, . . . , n}, car les supports des j forment une
partition de {1, . . . , n}. Alors 1 est un conjugu de de la forme voulue, ce qui permet
de conclure.

E
L
O

E
U
IQ

Un 2-cycle est appel une transposition, et Sn est engendr par les transpositions ; plus
prcisment, tout lment de Sn est produit de moins de n 1 transpositions.

N
H
EC

La dmonstration se fait par rcurrence sur n. Pour n = 1 (et n = 2), le rsultat est
immdiat. Si n  2, et si Sn vrie (n) = n, alors = ((n), n) est une transposition et
xe n, et donc peut tre vu comme un lment de Sn1 . Daprs lhypothse de rcurrence,
est un produit de moins de n 2 transpositions support dans {1, . . . , n 1}, et donc
= ( ) est un produit de moins de n 1 transpositions. On en dduit le rsultat, le cas
(n) = n se traitant directement.

E
L
O

T
Y
L
PO

Exercice 3.9. Calculer (1, 2)(2, 3)(3, 4)(4, 5) dans S5 .

Exercice 3.10. Montrer que Sn est engendr par les transpositions (1, 2), (2, 3), . . . , (n 1, n).
Exercice 3.11. Soit Sn dont la dcomposition en cycles disjoints est 1 s , chaque i tant de
longueur i . Quel est lordre de ?
Exercice 3.12. (i) Combien y a-t-il de cycles de longueur k dans Sn .
(ii) Montrer que le nombre moyen de cycles dans la dcomposition dun lments de Sn tend vers
linni avec n. (On pourra commencer par se demander dans combien de permutations un cycle donn
apparat.)
Exercice 3.13. (dicile mais trs surprenant) Le DGAE voulant tester le niveau de comprhension
des X a dcid de les mettre lpreuve. Pour ce faire, il runit les 500 membres de la promotion dans
lamphi Poincar et leur tient ce langage : Jai dispos dans lamphi Arago vos 500 noms dans des casiers
numrots de 1 500, raison dun par casier. Je vais vous appeler un par un, et demander chacun
dentre vous douvrir des casiers un par un la recherche de son nom puis de les refermer sans changer
le contenu et de regagner sa chambre sans possibilit de communiquer quoi que ce soit ses camarades
rests dans lamphi Poincar. Si tout le monde trouve son nom dans les 250 premiers casiers quil a
ouverts, vous pouvez partir en vacances. Si lun dentre vous ne trouve pas son nom, on recommence le
jour suivant (et je change le contenu des casiers bien videmment). Voil, vous avez deux heures pour
concevoir une stratgie. Dsespoir des X qui se rendent compte que chacun a une chance sur deux de
tomber sur son nom, et quau total ils ont une chance sur 2500 de partir en vacances au bout dun jour,
et donc quils ne partiront pas en vacances. Pourtant au bout dun certain temps, lun de nos X dclare :

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

3. GROUPES FINIS

N
H
EC

E
U
Q
I

31

pas de panique, avec un peu de discipline, on a 9 chances sur 10 de partir en vacances avant la n de
la semaine . Saurez-vous retrouver son raisonnement ?

T
Y
POL

3.5.2. Signature dune permutation

E
L
O

Si Sn , on dnit la signature sign() de par la formule

(i) (j)
sign() =
.
ij
1i<jn

sign : Sn {1} est un morphisme de groupes.

Si , Sn , on a

sign( ) =
1i<jn

(i) (j)
=(
ij

1i<jn

(i) (j) 
(i) (j)

1i<jn

(i) (j) 
.
ij

E
U
IQ

(i) (j)
(j) (i)
Le second terme est gal sign( ), et le premier sign() car on a (i)
(j) = (j) (i) ,

(j))
= sign().
ce qui permet dcrire le produit sous la forme 1 (i)< (j)n ((i))(
(i) (j)

Si est un k-cycle, alors sign( ) = (1)k1 .

N
H
EC

On a sign(1 ) = sign()sign()sign()1 = sign(), ce qui prouve que la signature est

invariante par conjugaison et donc que tous les k-cycles ont mme signature. Cela permet de
prendre = (n 1, n) pour calculer la signature dune transposition. On a alors


sign( ) =

C
=

(i) (j)  (i) (n 1)  (i) (n)  (n 1) (n)

ij
i (n 1)
in
(n 1) n

E
L
O

1i<jn2

in2

T
Y
L
PO
in2

in2

i n  i (n 1) 
(1) = 1,
i (n 1)
in
in2

ce qui prouve le rsultat pour une transposition. Maintenant, le k-cycle k = (i1 , . . . , ik ) est
le produit des transpositions (i1 , i2 ) (ik1 , ik ), et comme il y a k 1 transpositions dans ce
produit, on a sign(k ) = (1)k1 , ce quon cherchait dmontrer.
Exercice 3.14. Montrer que sign() = (1)n() , o () est le nombre dorbites de .
Exercice 3.15. Si Sn , on note u lendomorphisme de Cn envoyant un lment ei de la base
canonique de Cn sur e(i) .
(i) Montrer que  u est un morphisme de groupes de Sn dans GLn (C).
(ii) Montrer que si est une transposition, alors u est une symtrie par rapport un hyperplan que
lon dterminera. Que vaut det u ?
(iii) En dduire que det u = sign() pour tout Sn .

3.5.3. Groupe altern

T
Y
L
PO

N
H
EC

E
U
IQ

On dnit le groupe altern An comme le noyau de la signature. Comme la signature

est surjective sur {1}, on a |An | = 12 |Sn | = n!2 . Un k-cycle est dans An , si et seulement
si k est impair.

E
L
O

An est engendr par les 3-cycles.

32

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

Cela se dmontre par rcurrence sur n. Le rsultat est vident (et vide) si n  2. Soit n  3,
/ {n, (n)}, et alors
et soit An . Si (n) = n, on peut choisir un 3-cycle (n, (n), c), o c
1 xe n et peut tre crit comme un produit de 3-cycles support dans {1, . . . , n 1}
daprs lhypothse de rcurrence ; donc = ( 1 ) peut tre crit comme un produit de
3-cycles. On en dduit le rsultat, le cas (n) = n se traitant directement.

E
L
O

Y
L
O
P

Si n  5, tous les 3-cycles sont conjugus dans An .

Il sut de prouver quils sont tous conjugus 0 = (1, 2, 3). Soit un 3-cycle. Comme les
3-cycles sont tous conjugus dans Sn , il existe Sn tel que = 0 1 . Si An , on a
gagn. Sinon, = (4, 5) commute avec 0 puisque leurs supports sont disjoints, et = An
vrie 0 1 = 0 1 1 = 0 1 = , ce qui montre que est conjugu 0 dans An .

Le groupe A5 est un groupe simple.

Soit H un sous-groupe distingu de A5 non rduit lidentit. On veut prouver que H = A5
et il sut de prouver que H contient un 3-cycle, car ceci implique quil contient tous les 3-cycles
puisque ceux-ci sont conjugus dans A5 , et donc H = A5 puisque les 3-cycles engendrent A5 .
Soit donc H {1}. Il y a trois possibilits : est un 3-cycle et il ny a rien faire, ou
est un 5-cycle ou cest le produit de 2 tranpositions de supports disjoints.
Si est le 5-cycle (a, b, c, d, e), soit = (a, b, c). Alors H contient 1 1 puisquil est
distingu et donc aussi h = 1 1 . Or 1 est le 3-cycle (c, b, a) et 1 1 est le 3-cycle
((c), (b), (a)) = (d, c, b). Donc h = (d, c, b)(a, b, c) laisse xe e et a  b  d, b  c  b,
c  a  a, et d  d  c ; cest donc le 3-cycle (a, d, c).
Si = 1 2 , avec 1 = (a, b), 2 = (c, d), et a, b, c, d distincts deux deux, et si =
(c, d, e), o e
/ {a, b, c, d}, alors H contient h = 1 1 . Or 1 commute 2 et , donc
1 1
h = 2 2 . Maintenant, 1 21 est la transposition ( 1 (c), 1 (d)) = (e, c) et donc
h = (c, d)(e, c) = (c, e, d) est un 3-cycle.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

Si n  5, le groupe An est un groupe simple(22) .

Soit n  5, soit H un sous-groupe distingu de An , et soient = id un lment de H et
= (a, b, c) un 3-cycle. Alors H contient h = 1 1 qui est le produit des 3-cycles et
/ {a, (a), 2 (a)}, non x par
1 1 = ((c), (b), (a)). Soit alors b = (a), et soit c
si jamais change a et (a) (un tel c existe toujours, sinon serait une transposition, ce
qui est impossible puisque An ). La condition mise sur c fait que h = id, et celle mise
sur b implique que le support de h est inclus dans {a, (a), 2 (a), c, (c)} et donc comporte
au plus 5 lments. Soit X de cardinal 5 contenant le support de h, et soit Perm(X) le groupe
des permutations de X. Alors H Perm(X) est un sous-groupe distingu de Perm(X), et donc
contient un 3-cycle daprs ltude du cas n = 5. On en dduit que H = An comme-ci-dessus
puisque An est engendr par les 3-cycles qui sont tous conjugus dans An .

N
H
EC

E
U
IQ

Exercice 3.16. (i) Montrer que si G est un groupe ni ablien, et si d divise |G|, alors G a un sousgroupe de cardinal d. (On pourra utiliser le thorme de structure.)
(ii) Montrer que si f : S5 S3 est un morphisme de groupes, alors Im(f ) a 1 ou 2 lments.
(iii) Montrer que S5 na pas de sous-groupe dordre 40.
(22)

E
L
O

T
Y
L
PO

Ce rsultat, conjugu avec la thorie de Galois, explique que lon ne puisse pas trouver de formule
gnrale donnant les racines dune quation de degr n, si n  5.

3. GROUPES FINIS

3.6. Les thormes de Sylow

T
Y
POL

N
H
EC

E
U
Q
I

33

Cauchy a dmontr (cf. ex. 3.18) que, si G est un groupe ni dordre (lordre dun groupe
est, par dnition, son cardinal) divisible par p, alors G contient un lment dordre p
(et donc un sous-groupe (cyclique) dordre p). Dun autre ct, lordre dun sous-groupe
divisant lordre du groupe (thorme de Lagrange), tout sous-p-groupe (un p-groupe est un
groupe dont lordre est une puissance de p) de G dordre pa vrie a  vp (|G|). Un p-Sylow
de G est un sous-groupe dordre pvp (|G|) . (Dans le cas vp (|G|) = 0, un tel sous-groupe est
donc rduit llment neutre.)

E
L
O

Si G est un groupe commutatif dordre divisible par p, alors G contient un sous-groupe

cyclique dordre p.
Si x G, soit nx lordre de x. Par dnition cela signie que le morphisme de groupes
de Z dans G envoyant a Z sur xa admet pour noyau nx Z, et donc induit un isomorphisme
de Z/nx Z sur le sous-groupe de G engendr par x. Soit alors X G engendrant G (on peut
prendre X = G par exemple). Comme G est commutatif, lapplication xX (Z/nx Z) G,

envoyant (ax )xX sur xX xax est un morphisme de groupes, et comme X engendre G, ce

morphisme est surjectif. Lordre de G est donc un diviseur de xX nx . Comme p divise |G|,
cela implique que p divise un des nx , et alors y = xnx /p est dordre p et le sous-groupe de G
engendr par y est dordre p. Ceci permet de conclure.

T
Y
L
PO

N
H
EC

E
U
IQ

Thorme 3.17. (Sylow, 1872) Si G est un groupe ni, lensemble des p-Sylow de G
est non vide. De plus :
(i) Tous les p-Sylow de G sont conjugus.
(ii) Si Q est un sous-p-groupe de G, alors il existe un p-Sylow de G contenant Q ; en
particulier, tout lment dordre p est contenu dans un p-Sylow de G.

E
L
O

La dmonstration se fait par rcurrence sur |G|, le cas |G| = 1 tant vident (et vide). Soit
Z le centre de G, et soit k = vp (|G|).
Si p divise lordre de Z, alors Z contient, daprs le point prcdent, un sous-groupe
cyclique C dordre p. On peut appliquer lhypothse de rcurrence H = G/C qui est
dordre mpk1 . Si PH est un p-Sylow de H, limage inverse de PH dans G est un sous-groupe
dordre |PH | |C| = pk1 p = pk ; cest donc un p-Sylow de G.
Si p ne divise pas |Z|, on fait agir G par conjugaison intrieure (g x = gxg 1 ) sur G.
Par dnition du centre, les orbites (qui ne sont autres que les classes de conjugaison de G)
ne comportant quun seul lment pour cette action, sont exactement les {c}, pour c Z.
Comme |Z| est premier p et comme |G| est divisible par p, il y a une orbite O, non rduite
un lment, de cardinal premier p. Si x O, et si H est lensemble des lments de G
commutant x, on a O = G/H. On en dduit que |H| = |G|
|O| . Comme vp (|O|) = 0, on a
vp (|H|) = vp (|G|) = k, et comme |O| > 1, on a |H| < |G|. Lhypothse de rcurrence montre
que H contient un sous-groupe dordre pk , et donc que G aussi.
Maintenant, si P est un p-Sylow de G, et si Q est un sous-p-groupe de G, on peut faire
agir Q sur G/P par translation gauche. Comme G/P est de cardinal premier p, puisque
P est un p-Sylow, au moins une des orbites O a un cardinal premier p. Mais O est de la
forme Q/H, o H est un sous-groupe de Q, et comme Q est un p-groupe, on a |Q/H| premier

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

34

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

p si et seulement si H = Q. Il existe donc x G/P xe par Q tout entier. En prenant un

reprsentant x
de x dans G, cela se traduit par Q
xP x
P, ou encore par Q x
P
x1 .
Si Q est un p-Sylow, on en dduit que Q = x
P
x1 pour des raisons de cardinal, ce qui
dmontre le (i). Si Q est un sous-p-groupe quelconque, cela montre que Q est contenu dans
un sous-groupe dordre pk , cest--dire dans un p-Sylow. Ceci dmontre le (ii) et permet de
conclure.

E
L
O

Y
L
O
P

Exercice 3.18. Soient p un nombre premier et G un groupe ni de cardinal divisible par p. On fait
agir Z/pZ sur Gp par i (x0 , . . . , xp1 ) = (xi , xi+1 , . . . , xi1 ) (i.e. on dcale les indices de i, en identiant
Z/pZ et {0, . . . , p 1}). Soit X le sous-ensemble de Gp des (x0 , . . . , xp1 ) vriant x0 xp1 = 1.
(i) Montrer que X est stable par Z/pZ. Quels sont les points xes de cette action ?
(ii) Montrer que |X| est divisible par p ; en dduire que G admet des lments dordre p.

4. Algbre linaire

E
U
IQ

Dans le no 4.1, on rappelle (et complte) sans dmonstration les rsultats vus en classe
prparatoire concernant la rduction des endomorphismes (diagonalisation, mise sous
forme de Jordan...). Au no 4.2, on explique comment on peut retrouver ces rsultats en
utilisant le thorme de structure des modules de torsion sur les anneaux principaux
dmontr au no 4.3. Lintrt de cette nouvelle approche est de ne rien supposer sur le
corps K, alors que lapproche vue en classe prparatoire impose plus ou moins K dtre
algbriquement clos (ce qui, il faut le reconnatre, est le cas de C, mais est loin dtre
celui de F2 ).

E
L
O

T
Y
L
PO

N
H
EC

4.1. Gnralits

Soit K un corps commutatif, et soit V un K-espace vectoriel de dimension nie.

4.1.1. Endomorphismes
On note End(V) lensemble des endomorphismes de V, cest--dire, lensemble des applications u : V V qui sont linaires. Muni de laddition (u1 + u2 )(v) = u1 (v) + u2 (v),
et de la composition des endomorphismes, End(V) est un anneau non commutatif (sauf
en dimension 1), possdant un lment unit (que nous noterons 1) en la personne de
lapplication identit id : V V. Lhomothtie de rapport est lapplication v  v. On
la note simplement , ce qui est compatible avec le fait que lidentit (que lon a note 1)
peut aussi tre vue comme lhomothtie de rapport 1.
4.1.2. Le thorme de Cayley-Hamilton

N
H
EC

E
U
IQ

Si u End(V), on note det(u) K son dterminant. On a det(u1 u2 ) = det(u1 ) det(u2 ),

si u1 , u2 End(V). On note Caru (X) le polynme caractristique Caru (X) = det(X u)
de u. Si V est de dimension d, cest un polynme de degr d, dont le dveloppement est
donn par
Caru (X) = Xd Tr(u)Xd1 + + (1)d det(u),

E
L
O

T
Y
L
PO

o Tr(u) est, par dnition, la trace de u. On a Tr(u1 u2 ) = Tr(u2 u1 ), si u1 , u2 End(V).

4. ALGBRE LINAIRE

N
H
EC

E
U
Q
I

35

Lensemble des P K[X] tels que P(u) = 0 est un idal de K[X], non nul car End(V) est
2
de dimension (dim V)2 et donc 1, u, . . . , u(dim V) forment une famille lie. On note Minu le
gnrateur unitaire de cet idal. Cest le polynme minimal de u et, daprs le thorme
de Cayley-Hamilton (1858), Caru annule u ; autrement dit, Caru est un multiple de Minu .

E
L
O

T
Y
POL

4.1.3. Automorphismes

Si u End(V), le noyau et limage de u, dnis par

Ker(u) = {v V, u(v) = 0} et Im(u) = {v V, v  V, u(v  ) = v},

sont des sous-espaces vectoriels de V, et on a les quivalences :

det u = 0 Ker(u) = 0 u injectif u bijectif u surjectif Im(u) = V.
Un automorphisme de V est un lment de End(V) vriant les conditions ci-dessus. On
note GL(V) End(V) lensemble des automorphismes de V ; cest le groupe des lments
inversibles de lanneau End(V).
4.1.4. Matrices

N
H
EC

E
U
IQ

Si V est de dimension d, et si on choisit une base e1 , . . . , ed de V, on peut associer

tout lment u de End(V) sa matrice dans la base e1 , . . . , ed . Cest llment (ai,j )1i,jd


de Md (K) dni par u(ej ) = di=1 ai,j ei . La trace de u est alors la somme di=1 ai,i des
coecients diagonaux de la matrice de u ; cette somme ne dpend donc pas du choix de la
base. Le groupe GL(V) sidentie au groupe GLd (K) des matrices d d inversibles (ce qui
quivaut ce que le dterminant soit non nul) coecients dans K.
Si f1 , . . . , fd est une autre base de V, si P est la matrice dont les colonnes sont f1 , . . . , fd
exprims dans la base e1 , . . . , ed , les matrices M et M de u dans les bases e1 , . . . , ed et
f1 , . . . , fd sont relies par la formule M = P1 MP.

E
L
O

T
Y
L
PO

4.1.5. Espaces propres, espaces caractristiques

Soit u End(V). On dit que K est une valeur propre de u, si u nest pas
inversible, ce qui quivaut Ker(u ) = 0, et donc lexistence de v V, non nul, tel
que u(v) = v ; un tel v est un vecteur propre de u pour la valeur propre . Le spectre
Spec(u) de u est lensemble des valeurs propres de u. Cest aussi lensemble des racines
du polynme caractristique Caru (X) = det(X u) de u.
Si Spec(u), le noyau de Ker(u ) est lespace propre associ la valeur propre .
On dit que u est diagonalisable, si V = Spec(u) Ker(u ). Ceci quivaut lexistence
dune base (ei )iI de V (constitue de vecteurs propres) dans laquelle la matrice de u
est une matrice diagonale (i.e. ai,j = 0 si i = j). Le polynme minimal de u est alors le
produit des (X ), pour Spec(u) ; en particulier, tous ses zros sont dans K et ces
zros sont simples. Rciproquement, sil existe P K[X], dont tous les zros sont simples
et appartiennent K, avec P(u) = 0, alors u est diagonalisable.
Si Spec(u), la suite des Ker (u)k est croissante, et donc stationnaire (i.e. constante

partir dun certain rang). On note e le plus petit k tel que Ker (u )k = Ker (u )k ,

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

36

U
Q
I
N

VOCABULAIRE MATHMATIQUE

H
C
TE

quel que soit k   k. Alors Ker (u )e est le sous-espace caractristique associ . Si

K est algbriquement clos, V est la somme directe Spec(u) V de ses sous-espaces caractristiques. On note d la dimension de V ; cest la multiplicit de la valeur propre , et
cest aussi la multiplicit de en tant que racine de Caru .

E
L
O

Y
L
O
P

4.1.6. Mise sous forme de Jordan

Un bloc de Jordan J,r dordre r pour est une matrice r r avec des sur la diagonale,
des 1 juste au-dessus de la diagonale et des 0 partout ailleurs. Les polynmes minimal et
caractristique de J,r sont tous deux gaux (X )r . Une matrice est sous forme de
Jordan si elle est diagonale par blocs, et si chacun des blocs est un bloc de Jordan (on ne
demande pas aux blocs dtre de la mme taille, ni dtre associs au mme ).
On peut trouver une base de V dans laquelle la matrice de u est sous forme de Jordan.
La taille des blocs r,1  r,2   r,k est alors indpendante du choix de la base, et on

a r,1 = e et kj=1
r,j = d  e . En juxtaposant les bases des V , pour Spec(u), cela
permet, si Caru a toutes ses racines dans K (ce qui est automatique si K est algbriquement
clos), de mettre la matrice de u sur V sous forme de Jordan. On en dduit que les
polynmes minimal Minu et caractristique Caru de u sont donns par


(X )e et Caru (X) =
(X )d .
Minu (X) =

T
Y
L
PO

Spec(u)

E
L
O

N
H
EC

E
U
IQ

Spec(u)

On dduit aussi de lexistence de la forme de Jordan que Tr(u) (resp. det(u)) est la somme
(resp. le produit) des valeurs propres de u, comptes avec multiplicit.

4.2. Modules de torsion sur K[T] et rduction des endomorphismes

4.2.1. Anneaux et modules. Si A est un anneau (avec lment unit 1), un A-module M
est un groupe commutatif pour une loi +, muni dune action (a, x)  ax de A, vriant :
0 x = 0,

1 x = x,

a(x + y) = ax + ay,

(a + b)x = ax + bx,

(ab)x = a(bx),

quels que soient x, y M et a, b A.

Si A est un corps commutatif, on retombe sur la dnition dun espace vectoriel, et il y
a de grandes similarits entre la thorie des modules sur un anneau commutatif et celle
des espaces vectoriels sur un corps commutatif.

E
U
IQ

Tout groupe commutatif est naturellement un Z-module, en dnissant nx par rcurrence sur n, par 0x = 0, (n+1)x = nx+x si n N, et nx = ((n)x), si n  0. (Montrer
que ceci dnit bien une action de Z est un exercice fastidieux qui nest pas sans rappeler
la dmonstration du fait que Z est un anneau en partant des axiomes de Peano.)

T
Y
L
PO

N
H
EC

Si A est commutatif, un sous-A-module de A nest autre quun idal de A.

Si K est un corps commutatif, et si V est un K-espace vectoriel, alors V est un module

sur lanneau End(V) (non commutatif si dim V  2).

E
L
O

4. ALGBRE LINAIRE

N
H
EC

E
U
Q
I

37


Si (Mi )iI est une famille de A-modules, les groupes commutatifs iI Mi et iI Mi
sont naturellement munis dune action de A (comme dans le cas des espaces vectoriels),
et sont donc des A-modules.

E
L
O

T
Y
POL

Si M M sont deux A-modules, le groupe commutatif quotient M/M est muni dune
action de A et donc est un A-module.

Un morphisme u : M1 M2 de A-modules est un morphisme de groupes additifs

commutant laction de A (i.e. u(ax) = a u(x), si x M1 et a A) ; si A est un
corps commutatif, on retombe sur la dnition dune application linaire entre espaces
vectoriels.
Si u : M1 M2 est un morphisme de A-modules, alors Ker u et Im u sont des A-modules,
et u induit un isomorphisme de A-modules de M1 /Ker u sur Im u.

E
U
IQ

Si M est un A-module et si les Mi , pour i I, sont des sous-A-modules de M, alors

lintersection des Mi est un A-module. Ceci permet de dnir le sous-A-module engendr
par une famille (ej )jJ dlments de M, comme lintersection de tous les sous-A-modules
de M contenant les ej . Comme dans le cas des espaces vectoriels, ce module est lensemble
des combinaisons linaires nies, coecients dans A, en les ej .
Un A-module M est de type ni si on peut trouver un ensemble ni e1 , . . . , ed dlments
de M tels que lapplication (a1 , . . . , ad )  a1 e1 + +ad ed soit une surjection de Ad sur M ;
autrement dit, M est de type ni sil admet une famille gnratrice nie. Une dirence
essentielle avec le cas des espaces vectoriels sur un corps est quun A-module ne possde
pas, en gnral, de base sur A.
Un A-module M est de torsion si, pour tout x M, on peut trouver a A {0}, tel
que ax = 0. Un A-module de torsion non nul est un exemple de module ne possdant pas
de base puisque toute famille ayant plus dun lment est lie. Si A est commutatif, un
exemple typique de A-module de torsion est un module de la forme A/I, o I est un idal
de A distinct de {0} et A ; par exemple, Z/DZ est un Z-module de torsion, si D  2.

E
L
O

T
Y
L
PO

N
H
EC

4.2.2. Structure des modules de torsion sur K[T]. Soit K un corps commutatif. Comme
le montre la discussion suivant le th 4.2 ci-dessous, un K-espace vectoriel de dimension
nie muni dun endomorphisme K-linaire u est la mme chose quun K[T]-module de
torsion et de type ni. Ce changement de point de vue est particulirement intressant
cause du thorme de structure (th. 4.2) ci-dessous, que le lecteur pourra comparer avec
le thorme de structure (th. 3.1) pour les groupes nis abliens (nous dmontrons les
deux simultanment au no 4.3).

T
Y
L
PO

N
H
EC

E
U
IQ

Un polynme P K[T] est dit irrductible sil est de degr  1 et si on ne peut pas
le factoriser sous la forme P = Q1 Q2 , avec Q1 , Q2 K[T] et deg Q1  1, deg Q2  1.
Un corps K est algbriquement clos si et seulement si les polynmes irrductibles de K[T]
sont de degr 1 ; les polynmes irrductibles de R[T] sont de degr 1 ou 2, ceux de Q[T]

E
L
O