Corps commutatif
En mathématiques, un corps commutatif (parfois simplement appelé corps, voir plus bas, ou parfois appelé champ) est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni de deux opérations binaires rendant possibles les additions, soustractions, multiplications et divisions. Plus précisément, un corps commutatif est un anneau commutatif dans lequel l'ensemble des éléments non nuls est un groupe commutatif pour la multiplication.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/ce/Anillo_c%C3%ADclico.png/220px-Anillo_c%C3%ADclico.png)
Selon la définition choisie d'un corps qui diffère selon les auteurs (la commutativité de la multiplication n'est pas toujours imposée), soit les corps commutatifs sont des cas particuliers de corps (dans le cas où la commutativité n'est pas imposée), soit la dénomination corps commutatif est un pléonasme qui désigne simplement un corps (dans le cas où elle l'est). On renvoie à l'article corps (mathématiques) pour plus de détails.
Des exemples élémentaires de corps commutatifs sont le corps des nombres rationnels noté ℚ (ou Q), le corps des nombres réels noté ℝ (ou R), le corps des nombres complexes noté ℂ (ou C) et le corps ℤ/pℤ des classes de congruences modulo p où p est un nombre premier, noté alors également 𝔽p (ou Fp).
La théorie des corps commutatifs est le cadre historique de la théorie de Galois, une méthode d'étude qui s'applique en particulier aux corps commutatifs et aux extensions de corps, en relation avec la théorie des groupes, mais s'étend aussi à d'autres domaines, par exemple l'étude des équations différentielles (théorie de Galois différentielle), ou des revêtements.
Fragments d'histoire
modifierLa théorie des corps (commutatifs) se développe tout au long du XIXe siècle, en parallèle et de façon intimement liée avec la théorie des groupes, la théorie des anneaux et l'algèbre linéaire. Jusqu'à cette époque, l'algèbre s'identifie à la théorie des équations polynomiales et de leur résolution. C'est dans ce contexte qu'apparaissent les premières notions de théorie des corps, avec les travaux de Niels Abel et ceux d'Évariste Galois, même si la structure n'est pas identifiée explicitement. Galois est le premier à parler d'adjonction (pour des éléments algébriques) et démontre le théorème de l'élément primitif[1].
Avec la naissance de l'étude des nombres algébriques, motivée par des problèmes de nature arithmétique, il est devenu nécessaire de préciser explicitement la structure de corps, en parallèle avec les notions d'entier algébrique, et d'anneau. C'est dans ce contexte que la structure de corps est introduite indépendamment (et de façons assez différentes) par Richard Dedekind et Leopold Kronecker[2]. Le vocabulaire actuel vient de Dedekind, qui définit un corps (Körper en allemand, c'est la raison pour laquelle un corps quelconque est souvent nommé K)[3] comme un sous-ensemble de nombres réels ou complexes stable par addition, soustraction, multiplication et division.
Par ailleurs, Gauss avait étudié les congruences sur les entiers dans ses Disquisitiones arithmeticae, parues en 1801, et étudié en détail le cas premier, ce qui revient implicitement à l'étude des corps finis premiers. En 1830, s'inspirant de Gauss, Galois avait étendu cette étude aux corps finis quelconques[4], les éléments de ceux-ci étant vus comme des expressions polynomiales finies traitées comme des nombres (le calcul se faisant modulo un polynôme irréductible)[5]. E. H. Moore montre en 1893[6] qu'un corps commutatif fini, qu'il voit comme un ensemble de symboles de cardinal fini s, muni des quatre opérations « sujettes aux identités ordinaires de l'algèbre abstraite » peut se définir à la façon de Galois[5].
La même année, Heinrich Weber donne la première véritable axiomatisation des corps (commutatifs)[7], dans un article dont le but est de donner une présentation générale de la théorie de Galois. L'axiomatisation des théories mathématiques en est encore à ses balbutiements et Weber oublie (mais bien sûr utilise) l'associativité de la multiplication[8].
En 1910, Ernst Steinitz établit la théorie axiomatique des corps, dans un mémoire fondateur de l'algèbre moderne[9].
Définition et exemples
modifierUn corps commutatif est un ensemble K muni de deux lois internes notées en général + et × vérifiant les conditions suivantes :
- (K, +) forme un groupe abélien (on dit aussi : groupe commutatif), dont l'élément neutre est noté 0 ;
- (K\{0}, ×) forme un groupe abélien, dont l'élément neutre est 1 ;
- la multiplication est distributive par rapport à l'addition (à gauche comme à droite) c’est-à-dire que
- .
On parle alors du corps commutatif (K, +, ×).
Exemples de corps commutatifs :
- l'ensemble (ℚ, +, ×) des nombres rationnels ;
- l'ensemble (ℝ, +, ×) des nombres réels ;
- l'ensemble (ℂ, +, ×) des complexes ;
- l'ensemble (ℤ/pℤ, +, ×) des entiers modulo un nombre premier p.
Un sous-corps d'un corps commutatif K est une partie L de K, stable par + et ×, telle que L munie des lois induites soit un corps.
Caractéristique et corps premier
modifierSoit 1K l'unité du corps K. S'il existe un entier naturel n non nul tel que n•1K = 1K + 1K + … + 1K (additionné n fois) est nul, on appelle caractéristique du corps K le plus petit entier positif non nul vérifiant cette propriété. S'il n'existe pas d'entier non nul vérifiant cette propriété, on dit que le corps K est de caractéristique nulle.
Par exemple, le corps ℝ est de caractéristique nulle alors que le corps ℤ/pℤ est de caractéristique p. Si elle est non nulle, la caractéristique d'un corps est nécessairement un nombre premier. En effet si tel n'était pas le cas une factorisation de ce nombre fournirait des diviseurs non nuls de 0, or un corps est un anneau intègre.
Un corps est dit premier s'il n'a pas de sous-corps autre que lui-même. Un corps premier infini est isomorphe au corps ℚ des nombres rationnels. Un corps premier fini est isomorphe au corps ℤ/pℤ pour un certain nombre premier p[10].
Plus généralement, tout corps K contient un corps premier, qui est le plus petit de ses sous-corps, et que l'on appelle corps premier de K[10], ou sous-corps premier de K. Le sous-corps premier de K contient nécessairement 1K, donc ses multiples entiers ℤ•1K. Si la caractéristique est nulle c'est donc un corps isomorphe à ℚ (le corps des fractions de ℤ) ; si la caractéristique est un nombre premier p, c'est un corps isomorphe à ℤ/pℤ, et on identifie habituellement ce sous-corps premier soit à ℚ soit à ℤ/pℤ.
Corps finis
modifierCe sont les corps dont le nombre d'éléments est fini. Le théorème de Wedderburn montre qu'ils sont nécessairement commutatifs. On démontre aussi que le nombre d'éléments d'un tel corps est toujours une puissance d'un nombre premier. Il est en fait possible de dresser la liste de tous les corps finis, à isomorphisme près.
Le plus petit corps fini est celui des booléens, dont voici les tables d'addition (correspondant au « ou exclusif ») et de multiplication (correspondant au « et ») :
|
|
Les exemples les plus élémentaires de corps finis sont les corps de congruences modulo un nombre premier comme dans le cas ci-dessus, mais il en existe une infinité d’autres : à isomorphisme près, un par puissance de nombre premier.
Corps et anneau
modifierL'ensemble (ℤ, +, ×) n'est pas un corps car la plupart des éléments non nuls de ℤ ne sont pas inversibles : par exemple, il n'existe pas d'entier relatif n tel que 2n = 1 donc 2 n'est pas inversible.
Un anneau commutatif est un ensemble A qui, comme ℤ, est muni de deux lois + et × vérifiant les axiomes suivants :
- (A, +) forme un groupe abélien dont l'élément neutre est noté 0 ;
- (A\{0}, ×) forme un monoïde commutatif ;
- la multiplication est distributive par rapport à l'addition (à gauche comme à droite).
Un anneau commutatif A est intègre s'il vérifie :
- .
Tout corps commutatif est un anneau intègre et tout anneau intègre fini est un corps. Le théorème suivant règle le cas des anneaux infinis :
- si un anneau commutatif A est intègre, on peut le plonger dans son corps des fractions, qui est le plus petit corps contenant l'anneau.
Exemple : ℚ est le corps des fractions de ℤ.
Un anneau commutatif A est un corps si et seulement s'il est simple, c.-à-d. non nul et sans idéaux non triviaux[11],[12].
Un anneau commutatif non nul A est un corps si et seulement si tout A-module est libre[13].
Corps et espace vectoriel
modifierPartant du corps ℝ, il est naturel de s'intéresser à ℝn, ensemble des n-uplets de réels. On est amené à le munir d'une addition et d'une multiplication par un réel. La structure ainsi définie (une addition interne munissant l'ensemble d'une structure de groupe et une multiplication externe possédant des propriétés de distributivité et d'associativité) est appelée espace vectoriel sur ℝ. Il est alors naturel de définir ce que pourrait être un espace vectoriel sur un corps commutatif K quelconque.
Corps et équation algébrique
modifierL'étude des polynômes à coefficients dans un corps commutatif et la recherche de leurs racines ont développé considérablement la notion de corps. Si est un polynôme de degré n sur un corps commutatif K, l'équation est une équation algébrique dans K. Si, de plus, est un polynôme irréductible, l'équation est dite irréductible. Lorsque n ≥ 2, trouver les solutions d'une telle équation demande de se placer dans un corps plus grand que K, une extension de corps.
Par exemple, l'équation x2 – 2 = 0 est irréductible dans ℚ mais possède des racines dans ℝ ou mieux dans ℚ[√2]. L'équation x2 + 1 = 0 ne possède pas de solution dans ℝ mais en possède dans ℂ ou mieux dans ℚ[i].
Un corps de rupture d'un polynôme est, par exemple, un corps minimal contenant K et une racine de f.
Le corps de décomposition de f est le plus petit corps contenant K ainsi que toutes les racines de f.
L'étude des corps de décomposition d'un polynôme et du groupe de permutations de ses racines forme la branche des mathématiques que l'on appelle la théorie de Galois.
Propriétés
modifier- Soit (K,+,×) un corps commutatif. Alors tout polynôme de degré n≥0 admet au plus n zéros (ou racines) dans K.
- Soit (K,+,×) un corps commutatif. Alors tout sous-groupe fini de (K*,×) est un groupe cyclique.
Ces résultats restent vrais si l'on remplace le corps par un anneau commutatif intègre quelconque (comme on peut voir en plongeant un tel anneau dans son corps des fractions).
Autres champs d'étude
modifierOn retrouve la théorie des corps dans l'étude de certaines fonctions comme les fonctions rationnelles ou les fonctions elliptiques.
Structures additionnelles
modifierNotes et références
modifier- Kleiner 1999, I, p. 677-678.
- Kleiner 1999, I, p. 679-681.
- (de) R. Dedekind, Gesammelte mathematische Werke, d'après Nicolas Bourbaki, Éléments d'histoire des mathématiques [détail des éditions], p. 106, réf. 79.
- Evariste Galois (1830), Sur la théorie des nombres. Bulletin des sciences mathématiques de M. Férussac 13, p. 428-435 (1830), repris dans le journal de mathématiques pures et appliquées 11, p. 398-407 (1846) Texte sur Gallica.
- Kleiner 1999, I, p. 683.
- Résultat annoncé dans (en) E. H. Moore, « A doubly-infinite system of simple groups », Bull. New York Math. Soc., vol. 3, , p. 73-78 (lire en ligne) et démontré dans un article paru sous le même titre dans Mathematical Papers Read at the International Mathematical Congress […] Chicago 1893, Macmillan, New York, 1896, p. 208-242.
- (de) H. Weber, « Die allgemeinen Grundlagen der Galois’schen Gleichungstheorie », Mathematische Annalen, vol. 43, , p. 521-549 (lire en ligne), cité par Kleiner 1999, II, p. 859-860.
- Kleiner 1999, II, p. 860.
- (de) Ernst Steinitz, « Algebraische Theorie der Körper », J. reine angew. Math., vol. 137, , p. 167-309 (lire en ligne), « travail fondamental qui peut être considéré comme ayant donné naissance à la conception actuelle de l'Algèbre » pour Bourbaki, p. 109 de l'édition Springer.
- Serge Lang, Algèbre [détail des éditions], 3e éd., Dunod, 2004, p. 97.
- Jean-Pierre Ramis, André Warusfel et al., Mathématiques - Tout-en-un pour la Licence 2, Dunod, , 3e éd. (lire en ligne), p. 19.
- (en) John A. Beachy, Introductory Lectures on Rings and Modules, Cambridge University Press, (lire en ligne), p. 16.
- (en) Bruce A. Magurn, An Algebraic Introduction to K-Theory, Cambridge University Press, coll. « Encyclopedia of Mathematics and its Applications » (no 87), (lire en ligne), p. 41.
Bibliographie
modifier- Jacques Bouveresse, Jean Itard et Émile Sallé, Histoire des mathématiques [détail des éditions]
- (en) Israel Kleiner, « Field Theory: From Equations to Axiomatization — Part I », Amer. Math. Monthly, vol. 106, no 7, , p. 677-684 (JSTOR 2589500) et (en) Israel Kleiner, « — Part II », ibid., no 9, 1999b, p. 859-863 (JSTOR 2589621), republiés dans (en) I. Kleiner, A History of Abstract Algebra, Boston, Birkhäuser, , 168 p. (ISBN 978-0-8176-4684-4, lire en ligne), « History of Field Theory », p. 63-78
- Jacqueline Lelong-Ferrand et Jean-Marie Arnaudiès, Cours de mathématiques : Algèbre, Volume 1, 3e éd., Dunod, 1998 (ISBN 9782100041800)
- Jacques-Louis Lions, Petite Encyclopédie des mathématiques, éd. K. Pagoulatos