Rédigé et vérifié par un professeur diplômé de l’École Polytechnique, avec le niveau d’exigence attendu en classe préparatoire. Découvrir le professeur
Tu sais additionner, soustraire, multiplier et diviser dans \(\mathbb{Q}\), \(\mathbb{R}\) ou \(\mathbb{C}\) depuis le lycée. En prépa, on donne un nom à cette propriété exceptionnelle : ces ensembles où les quatre opérations fonctionnent sans restriction sont des corps. C’est la structure algébrique la plus riche du programme de MPSI, celle qui sert de socle à toute l’algèbre linéaire : un espace vectoriel se construit toujours sur un corps. Dans cet article, tu vas comprendre ce qu’est réellement un corps, distinguer un corps d’un anneau, connaître les exemples incontournables, savoir vérifier qu’un sous-ensemble est un sous-corps, et manier la notion de caractéristique.
En bref. Un corps en mathématiques est un ensemble muni de deux opérations, une addition et une multiplication, dans lequel on peut additionner, soustraire, multiplier et surtout diviser par tout élément non nul. Autrement dit, c’est un anneau commutatif dans lequel tout élément différent de zéro possède un inverse, et qui n’est pas réduit à \(\{0\}\).
À quoi sert la structure de corps
Avant la définition formelle, comprenons l’intérêt de l’objet. Dans un ensemble comme \(\mathbb{Z}\), tu peux additionner, soustraire et multiplier, mais tu ne peux pas toujours diviser : \(\displaystyle\frac{1}{2}\) n’est pas un entier. C’est précisément ce qui manque à \(\mathbb{Z}\) pour être un corps. Dès que l’on passe à \(\mathbb{Q}\), la division par tout nombre non nul redevient possible : on gagne une opération.
Cette capacité de division a des conséquences immenses. Elle permet de résoudre systématiquement les équations du type \(ax = b\) avec \(a \neq 0\), de définir la notion de combinaison linéaire à coefficients quelconques, et donc de bâtir toute la théorie des espaces vectoriels. Quand on écrit « soit \(E\) un \(\mathbb{K}\)-espace vectoriel », le \(\mathbb{K}\) désigne toujours un corps : sans division, le pivot de Gauss, l’inversion des matrices et la résolution des systèmes linéaires s’effondrent.
L’idée à retenir : un corps, c’est « un ensemble où l’arithmétique de l’école se comporte parfaitement bien » — les quatre opérations sont disponibles, sans exception, sauf l’interdiction universelle de diviser par zéro.
Définition et notation d’un corps
Un corps se construit par-dessus la structure d’anneau. On rappelle qu’un anneau commutatif unitaire \((\mathbb{K}, +, \times)\) est un ensemble où l’addition forme un groupe abélien, la multiplication est associative, commutative, admet un élément neutre \(1\), et est distributive sur l’addition. Un corps ajoute une exigence de plus : l’inversibilité.
Définition formelle
Définition — Corps
Un corps \((\mathbb{K}, +, \times)\) est un anneau commutatif tel que :
- \(\mathbb{K}\) n’est pas réduit à \(\{0\}\), c’est-à-dire \(0 \neq 1\) ;
- tout élément non nul est inversible : pour tout \(x \in \mathbb{K}\) tel que \(x \neq 0\), il existe \(y \in \mathbb{K}\) avec \(x \times y = 1\).
De façon équivalente : \((\mathbb{K}, +)\) est un groupe abélien de neutre \(0\), et \((\mathbb{K} \setminus \{0\}, \times)\) est un groupe abélien de neutre \(1\), la multiplication étant distributive sur l’addition.
La seconde formulation est éclairante : dans un corps, l’ensemble des éléments non nuls, muni de la multiplication, forme lui-même un groupe. On le note \(\mathbb{K}^{\times}\) ou \(\mathbb{K}^*\), c’est le groupe multiplicatif du corps. Ainsi, un corps « contient » deux structures de groupe abélien, l’une additive sur tout \(\mathbb{K}\), l’autre multiplicative sur \(\mathbb{K}\setminus\{0\}\), reliées par la distributivité.
La condition \(0 \neq 1\) n’est pas un détail : elle exclut l’anneau nul \(\{0\}\). Sans elle, cet anneau à un seul élément vérifierait toutes les autres conditions et on l’appellerait à tort un corps.
Corps commutatif : la convention française
Voici un point qui déroute beaucoup d’étudiants, surtout lorsqu’ils consultent des sources anglophones ou Wikipédia. La définition ci-dessus impose la commutativité de la multiplication. C’est la convention du programme français : sauf mention explicite du contraire, « corps » signifie « corps commutatif ».
Corps en anglais — attention au vocabulaire :
- un corps commutatif se dit field en anglais ;
- un corps non commutatif (aussi appelé corps gauche) se dit division ring ou skew field.
En anglais, field impose la commutativité ; en français classique, on parlait de « corps » même dans le cas non commutatif, d’où une divergence historique de définition. En prépa française aujourd’hui, retiens : corps = corps commutatif par défaut.
L’exemple canonique de corps non commutatif est le corps des quaternions de Hamilton, noté \(\mathbb{H}\) : on y définit une multiplication où \(ij = k\) mais \(ji = -k\). On peut y diviser par tout élément non nul, mais la multiplication n’est pas commutative. Il est hors programme de MPSI, mais utile à connaître pour comprendre pourquoi la commutativité mérite d’être précisée.
Toute la structure de corps sur une fiche recto-verso
Définition, caractérisation d’un sous-corps, caractéristique et exemples usuels — l’essentiel du chapitre, prêt à réviser avant une colle.
📄 Télécharger la fiche de coursLe réflexe méthode pour ne jamais confondre corps et anneau.
Propriétés fondamentales d’un corps
Une fois la définition posée, deux résultats structurants s’imposent : tout corps est intègre, et tout corps possède une caractéristique. Ce sont les deux propriétés les plus souvent exploitées en exercice.
Tout corps est un anneau intègre
Rappelons qu’un anneau intègre est un anneau commutatif non nul sans diviseur de zéro : si \(ab = 0\), alors \(a = 0\) ou \(b = 0\).
Propriété — Un corps est intègre
Tout corps est un anneau intègre.
Démonstration au programme. Soit \(\mathbb{K}\) un corps et \(a, b \in \mathbb{K}\) tels que \(ab = 0\). Supposons \(a \neq 0\). Comme \(\mathbb{K}\) est un corps, \(a\) est inversible : il existe \(a^{-1}\). En multipliant l’égalité \(ab = 0\) à gauche par \(a^{-1}\), on obtient :
\(a^{-1}(ab) = a^{-1} \times 0 \quad\Longrightarrow\quad (a^{-1}a)b = 0 \quad\Longrightarrow\quad 1 \times b = 0 \quad\Longrightarrow\quad b = 0.\)Donc \(a \neq 0\) entraîne \(b = 0\), ce qui est exactement l’intégrité. ∎
La réciproque est fausse en général : \(\mathbb{Z}\) est intègre mais n’est pas un corps. En revanche, un résultat remarquable est vrai dans le cas fini.
Résultat clé (à connaître) : tout anneau intègre fini est un corps. C’est un classique d’oral : la démonstration exploite qu’une application injective d’un ensemble fini dans lui-même est bijective. Elle est développée sur la page dédiée à la hiérarchie des anneaux.
La caractéristique d’un corps
La caractéristique mesure « au bout de combien d’additions de \(1\) on retombe sur \(0\) ». Dans \(\mathbb{R}\), ajouter \(1\) à lui-même ne donne jamais \(0\) : on dit que la caractéristique est nulle. Dans \(\mathbb{Z}/5\mathbb{Z}\), au contraire, \(1+1+1+1+1 = 0\).
Définition — Caractéristique
La caractéristique d’un corps \(\mathbb{K}\), notée \(\mathrm{car}(\mathbb{K})\), est le plus petit entier \(n \geq 1\) tel que \(\underbrace{1 + 1 + \cdots + 1}_{n \text{ fois}} = 0\), c’est-à-dire \(n \cdot 1 = 0\). Si aucun tel entier n’existe, on pose \(\mathrm{car}(\mathbb{K}) = 0\).
Propriété — La caractéristique est nulle ou première
La caractéristique d’un corps est soit \(0\), soit un nombre premier.
Démonstration. Supposons \(\mathrm{car}(\mathbb{K}) = n \geq 1\) et montrons que \(n\) est premier. Déjà \(n \neq 1\) car \(1 \cdot 1 = 1 \neq 0\). Supposons par l’absurde \(n = ab\) avec \(1 < a < n\) et \(1 < b < n\). Alors \((a \cdot 1)(b \cdot 1) = (ab) \cdot 1 = n \cdot 1 = 0\). Comme \(\mathbb{K}\) est intègre, \(a \cdot 1 = 0\) ou \(b \cdot 1 = 0\), ce qui contredit la minimalité de \(n\) puisque \(a\) et \(b\) sont strictement inférieurs à \(n\). Donc \(n\) est premier. ∎
Concrètement : \(\mathbb{Q}\), \(\mathbb{R}\) et \(\mathbb{C}\) sont de caractéristique \(0\), tandis que \(\mathbb{Z}/p\mathbb{Z}\) est de caractéristique \(p\). La caractéristique conditionne des identités fondamentales : en caractéristique \(p\), on a le « rêve du débutant » \((x+y)^p = x^p + y^p\), car les coefficients binomiaux intermédiaires sont divisibles par \(p\).
Les exemples de corps à connaître
La théorie ne prend son sens qu’à travers des exemples. Voici les corps incontournables du programme, du plus familier au plus subtil.
Les corps usuels. \(\mathbb{Q}\) (rationnels), \(\mathbb{R}\) (réels) et \(\mathbb{C}\) (complexes) sont des corps commutatifs de caractéristique \(0\). Ce sont les trois exemples de référence à citer d’instinct.
Les corps finis \(\mathbb{Z}/p\mathbb{Z}\). Lorsque \(p\) est premier, l’anneau \(\mathbb{Z}/p\mathbb{Z}\) est un corps, souvent noté \(\mathbb{F}_p\). C’est le plus petit exemple de corps de caractéristique non nulle. La démonstration précise et le calcul des inverses par le théorème de Bézout sont traités en détail sur la page dédiée à l’anneau Z/nZ : nous n’y revenons pas ici pour éviter les redites.
Le corps \(\mathbb{Q}(\sqrt{2})\). L’ensemble \(\mathbb{Q}(\sqrt{2}) = \{a + b\sqrt{2} \mid a, b \in \mathbb{Q}\}\) est un sous-corps de \(\mathbb{R}\). Le point délicat — et instructif — est l’inversibilité : l’inverse s’obtient en rationalisant le dénominateur. Nous le prouvons en exercice.
Le corps des fractions rationnelles \(\mathbb{K}(X)\). À partir d’un corps \(\mathbb{K}\), l’ensemble des fractions \(\displaystyle\frac{P}{Q}\) où \(P, Q\) sont des polynômes et \(Q \neq 0\) forme un corps. C’est le « corps des fractions » de l’anneau des polynômes \(\mathbb{K}[X]\), exactement comme \(\mathbb{Q}\) est le corps des fractions de \(\mathbb{Z}\).
| Corps | Description | Caractéristique | Fini ? |
|---|---|---|---|
| \(\mathbb{Q}\) | Nombres rationnels | \(0\) | Non |
| \(\mathbb{R}\) | Nombres réels | \(0\) | Non |
| \(\mathbb{C}\) | Nombres complexes | \(0\) | Non |
| \(\mathbb{Z}/p\mathbb{Z}\) (\(p\) premier) | Corps fini à \(p\) éléments | \(p\) | Oui |
| \(\mathbb{Q}(\sqrt{2})\) | Extension quadratique de \(\mathbb{Q}\) | \(0\) | Non |
| \(\mathbb{K}(X)\) | Fractions rationnelles sur \(\mathbb{K}\) | \(\mathrm{car}(\mathbb{K})\) | Non |
Erreur classique : croire que \(\mathbb{Z}/n\mathbb{Z}\) est toujours un corps. C’est FAUX dès que \(n\) n’est pas premier. Par exemple dans \(\mathbb{Z}/6\mathbb{Z}\), on a \(2 \times 3 = 0\) avec \(2 \neq 0\) et \(3 \neq 0\) : il y a des diviseurs de zéro, donc ce n’est même pas intègre, encore moins un corps.
Sous-corps : définition et méthode de vérification
De même qu’un sous-espace vectoriel est un espace vectoriel « à l’intérieur » d’un autre, un sous-corps est un corps inclus dans un corps donné, pour les mêmes opérations.
Définition — Sous-corps
Soit \((\mathbb{K}, +, \times)\) un corps. Une partie \(\mathbb{L} \subset \mathbb{K}\) est un sous-corps de \(\mathbb{K}\) si \(\mathbb{L}\), munie des opérations induites, est elle-même un corps, avec le même \(1\).
En pratique, on ne revérifie jamais tous les axiomes : ils sont hérités de \(\mathbb{K}\). On applique une caractérisation qui se limite aux propriétés de stabilité.
La méthode en 3 étapes
Critère de sous-corps. \(\mathbb{L} \subset \mathbb{K}\) est un sous-corps si et seulement si :
- \(1 \in \mathbb{L}\) (en particulier \(\mathbb{L}\) est non vide) ;
- stabilité par différence : pour tous \(x, y \in \mathbb{L}\), \(x- y \in \mathbb{L}\) ;
- stabilité par produit et inverse : pour tous \(x, y \in \mathbb{L}\) avec \(y \neq 0\), \(x \times y^{-1} \in \mathbb{L}\).
À écrire sur la copie. Pour montrer que \(\mathbb{L}\) est un sous-corps de \(\mathbb{K}\) :
- « \(\mathbb{L} \subset \mathbb{K}\) et \(1 \in \mathbb{L}\) » ;
- « Soient \(x, y \in \mathbb{L}\) : montrons \(x- y \in \mathbb{L}\) » ;
- « Soient \(x, y \in \mathbb{L}\), \(y \neq 0\) : montrons \(xy^{-1} \in \mathbb{L}\) (souvent la partie la plus technique, via rationalisation) » ;
- Conclure : « donc \(\mathbb{L}\) est un sous-corps de \(\mathbb{K}\) ».
La stabilité par différence garantit à elle seule que \(0 \in \mathbb{L}\) (prendre \(x = y\)) et que les opposés y sont, donc que \((\mathbb{L}, +)\) est un sous-groupe. Un sous-corps est en particulier un sous-anneau, mais avec la condition supplémentaire sur les inverses.
Corps parfait : une note avancée
Cette section dépasse le cœur du programme MPSI et prépare l’algèbre de L3.
En caractéristique \(p > 0\), l’application \(\varphi : x \mapsto x^p\) est un morphisme de corps injectif, appelé morphisme de Frobenius. On dit qu’un corps \(\mathbb{K}\) est parfait lorsque :
- soit \(\mathrm{car}(\mathbb{K}) = 0\) ;
- soit \(\mathrm{car}(\mathbb{K}) = p > 0\) et le Frobenius \(x \mapsto x^p\) est surjectif (donc bijectif, c’est-à-dire un automorphisme).
Tous les corps de caractéristique nulle et tous les corps finis sont parfaits. Ce n’est qu’avec des corps de fonctions en caractéristique \(p\) que l’on rencontre des corps non parfaits. À ce stade, retiens simplement que la notion de corps parfait sert à contrôler la « bonne » séparabilité des polynômes en caractéristique positive.
Corps, anneau, anneau intègre : le tableau de synthèse
Pour ne plus confondre ces structures voisines, voici leur hiérarchie. C’est la version réduite du récapitulatif complet, développé avec tous les contre-exemples sur la page anneau intègre.
| Structure | Condition supplémentaire | Exemple type | Contre-exemple |
|---|---|---|---|
| Anneau commutatif | \(+\) groupe abélien, \(\times\) associative, commutative, unitaire, distributive | \(\mathbb{Z}/6\mathbb{Z}\) | — |
| Anneau intègre | Pas de diviseur de zéro | \(\mathbb{Z}\) | \(\mathbb{Z}/6\mathbb{Z}\) |
| Corps | Tout élément non nul est inversible | \(\mathbb{Q}, \mathbb{R}, \mathbb{C}\) | \(\mathbb{Z}\) (intègre, non corps) |
Chaque ligne ajoute une condition à la précédente : un corps est un anneau intègre particulier, lui-même un anneau commutatif particulier. La distinction précise avec l’anneau fait l’objet d’une question de FAQ ci-dessous.
Exercices corrigés
Passons à la pratique avec quatre exercices de difficulté croissante, du repérage direct au classique d’oral sur le Frobenius. Essaie chaque exercice avant de dérouler la correction.
Exercice 1 — Reconnaître un corps ★
Parmi les ensembles suivants, munis des opérations usuelles, déterminer lesquels sont des corps : \(\mathbb{Z}\), \(2\mathbb{Z}\), \(\mathbb{Q}\), \(\mathbb{Z}/7\mathbb{Z}\), \(\mathbb{Z}/8\mathbb{Z}\).
Voir la correction de l’exercice 1
\(\mathbb{Z}\) : anneau intègre mais \(2\) n’est pas inversible dans \(\mathbb{Z}\) (\(\displaystyle\frac{1}{2} \notin \mathbb{Z}\)). Ce n’est pas un corps.
\(2\mathbb{Z}\) : ne contient même pas \(1\), ce n’est pas un anneau unitaire. Ce n’est pas un corps.
\(\mathbb{Q}\) : tout rationnel non nul admet un inverse rationnel. C’est un corps.
\(\mathbb{Z}/7\mathbb{Z}\) : \(7\) est premier, donc c’est un corps (à \(7\) éléments).
\(\mathbb{Z}/8\mathbb{Z}\) : \(8\) n’est pas premier, et \(2 \times 4 = 8 = 0\) avec \(2, 4 \neq 0\) : diviseurs de zéro. Ce n’est pas un corps.
Conclusion : seuls \(\mathbb{Q}\) et \(\mathbb{Z}/7\mathbb{Z}\) sont des corps.
Exercice 2 — Le sous-corps Q(√2) ★★
On pose \(\mathbb{L} = \{a + b\sqrt{2} \mid a, b \in \mathbb{Q}\}\). Montrer que \(\mathbb{L}\) est un sous-corps de \(\mathbb{R}\).
Voir la correction de l’exercice 2
Inclusion et unité. On a bien \(\mathbb{L} \subset \mathbb{R}\) et \(1 = 1 + 0\sqrt{2} \in \mathbb{L}\).
Stabilité par différence. Soient \(x = a + b\sqrt{2}\) et \(y = c + d\sqrt{2}\) avec \(a,b,c,d \in \mathbb{Q}\). Alors :
\(x- y = (a- c) + (b- d)\sqrt{2} \in \mathbb{L}\)car \(a- c\) et \(b- d\) sont rationnels.
Stabilité par produit. \(xy = (ac + 2bd) + (ad + bc)\sqrt{2} \in \mathbb{L}\), les deux coordonnées étant rationnelles.
Stabilité par inverse. C’est le point clé. Soit \(x = a + b\sqrt{2} \neq 0\). On rationalise :
\(\displaystyle\frac{1}{a + b\sqrt{2}} = \displaystyle\frac{a- b\sqrt{2}}{(a + b\sqrt{2})(a- b\sqrt{2})} = \displaystyle\frac{a- b\sqrt{2}}{a^2- 2b^2}\)Le dénominateur \(a^2- 2b^2\) est non nul : sinon \(\sqrt{2} = \displaystyle\frac{a}{b}\) serait rationnel (si \(b \neq 0\)), ce qui est faux ; et si \(b = 0\) alors \(a \neq 0\) donne \(a^2 \neq 0\). Donc :
\(\displaystyle x^{-1} = \displaystyle\frac{a}{a^2- 2b^2} + \displaystyle\frac{-b}{a^2- 2b^2}\sqrt{2} \in \mathbb{L}.\)Conclusion : \(\mathbb{L} = \mathbb{Q}(\sqrt{2})\) est un sous-corps de \(\mathbb{R}\).
Exercice 3 — Intersection de sous-corps ★★
Soient \(\mathbb{L}_1\) et \(\mathbb{L}_2\) deux sous-corps d’un corps \(\mathbb{K}\). Montrer que \(\mathbb{L}_1 \cap \mathbb{L}_2\) est un sous-corps de \(\mathbb{K}\).
Voir la correction de l’exercice 3
Notons \(\mathbb{L} = \mathbb{L}_1 \cap \mathbb{L}_2\) et appliquons le critère.
Unité. \(1 \in \mathbb{L}_1\) et \(1 \in \mathbb{L}_2\) (chacun est un sous-corps), donc \(1 \in \mathbb{L}\). En particulier \(\mathbb{L} \neq \emptyset\).
Différence. Soient \(x, y \in \mathbb{L}\). Alors \(x, y \in \mathbb{L}_1\) donc \(x- y \in \mathbb{L}_1\) ; de même \(x- y \in \mathbb{L}_2\). Donc \(x- y \in \mathbb{L}\).
Produit et inverse. Soient \(x, y \in \mathbb{L}\) avec \(y \neq 0\). Comme \(x, y \in \mathbb{L}_1\) et \(\mathbb{L}_1\) est un sous-corps, \(xy^{-1} \in \mathbb{L}_1\). De même \(xy^{-1} \in \mathbb{L}_2\). Donc \(xy^{-1} \in \mathbb{L}\).
Conclusion : \(\mathbb{L}_1 \cap \mathbb{L}_2\) est un sous-corps de \(\mathbb{K}\). Remarque : la réunion de deux sous-corps n’en est pas un en général.
Exercice 4 — Le morphisme de Frobenius ★★★
Soit \(\mathbb{K}\) un corps de caractéristique \(p > 0\). On définit \(\varphi : \mathbb{K} \to \mathbb{K}\) par \(\varphi(x) = x^p\). Montrer que \(\varphi\) est un morphisme de corps injectif.
Voir la correction de l’exercice 4
Compatibilité avec le produit. Pour tous \(x, y \in \mathbb{K}\), la multiplication étant commutative :
\(\varphi(xy) = (xy)^p = x^p y^p = \varphi(x)\varphi(y).\)Compatibilité avec la somme. C’est le cœur de l’exercice. Par la formule du binôme :
\(\displaystyle (x + y)^p = \sum_{k=0}^{p} {p \choose k} x^k y^{p-k}.\)Pour \(1 \leq k \leq p-1\), le coefficient \({p \choose k} = \displaystyle\frac{p!}{k!(p-k)!}\) est divisible par \(p\) (car \(p\) est premier et ne divise ni \(k!\) ni \((p-k)!\)). Or dans \(\mathbb{K}\), \(p \cdot 1 = 0\), donc chacun de ces termes intermédiaires est nul. Il ne reste que \(k = 0\) et \(k = p\) :
\(\varphi(x + y) = (x + y)^p = x^p + y^p = \varphi(x) + \varphi(y).\)Unité. \(\varphi(1) = 1^p = 1\). Donc \(\varphi\) est bien un morphisme de corps.
Injectivité. Un morphisme de corps est toujours injectif : son noyau est un idéal de \(\mathbb{K}\) ne contenant pas \(1\), donc réduit à \(\{0\}\). Autrement dit, si \(x^p = 0\), alors \(x = 0\) par intégrité.
Conclusion : \(\varphi\) est un morphisme de corps injectif, le morphisme de Frobenius. Lorsqu’il est de plus surjectif, le corps est dit parfait.
Erreurs classiques et pièges
Trois erreurs reviennent systématiquement en copie. Les repérer maintenant t’évitera de perdre des points.
❌ Copie fautive : « \(\mathbb{Z}\) est un corps car on peut y additionner, soustraire et multiplier. »
Diagnostic : l’étudiant oublie la division. La division par \(2\) sort de \(\mathbb{Z}\).
✅ Correction : \(\mathbb{Z}\) est un anneau intègre, mais pas un corps : \(2\) n’y est pas inversible. Seuls \(1\) et \(-1\) le sont.
❌ Copie fautive : « \(\mathbb{Z}/n\mathbb{Z}\) est un corps » (sans condition sur \(n\)).
Diagnostic : confusion entre anneau et corps. \(\mathbb{Z}/n\mathbb{Z}\) est toujours un anneau, mais un corps seulement si \(n\) est premier.
✅ Correction : toujours écrire « \(\mathbb{Z}/p\mathbb{Z}\) est un corps si et seulement si \(p\) est premier », et le justifier par l’absence de diviseurs de zéro.
❌ Copie fautive : oublier de vérifier la stabilité par inverse quand on montre qu’un ensemble est un sous-corps, en se contentant de la somme et du produit.
Diagnostic : l’étudiant traite l’ensemble comme un sous-anneau. Or c’est justement la condition d’inversibilité \(xy^{-1} \in \mathbb{L}\) qui distingue un sous-corps d’un sous-anneau.
✅ Correction : la troisième étape du critère (produit et inverse) est non négociable. C’est souvent la plus technique, via une rationalisation.
Rédaction concours : ce que le correcteur attend
Sur ce chapitre, les questions de concours et d’oral (CCINP, Mines-Ponts) portent presque toujours sur la vérification qu’un ensemble donné est un corps ou un sous-corps, ou sur une propriété de la caractéristique. Voici les attentes précises.
- Ne jamais revérifier les axiomes hérités. Pour un sous-corps de \(\mathbb{R}\) ou \(\mathbb{C}\), la commutativité, l’associativité et la distributivité sont acquises. Le correcteur attend uniquement les trois stabilités du critère. Vouloir tout redémontrer fait perdre du temps et signale une mauvaise maîtrise de la notion de « propriété héritée ».
- La ligne qui rapporte les points sur \(\mathbb{Q}(\sqrt{2})\) : justifier que le dénominateur \(a^2- 2b^2\) est non nul. C’est le seul point réellement mathématique ; l’oublier transforme une réponse complète en réponse fausse.
- Sur la caractéristique, formuler à l’oral : « la caractéristique d’un corps est nulle ou première, et la preuve repose sur l’intégrité ». Le jury vérifie que tu relies la caractéristique à l’intégrité, pas que tu récites une définition.
- Un corps est intègre : phrase attendue si l’énoncé demande de « montrer qu’un corps n’a pas de diviseur de zéro ». Partir de \(ab = 0\) et \(a \neq 0\), multiplier par \(a^{-1}\) : trois lignes suffisent, mais elles doivent y être.
Questions fréquentes
C’est quoi un corps en maths ?
Un corps est un ensemble muni de deux opérations, une addition et une multiplication, dans lequel on peut additionner, soustraire, multiplier et diviser par tout élément non nul. Formellement, c’est un anneau commutatif non réduit à \(\{0\}\) dont tout élément non nul est inversible. Les exemples de référence sont \(\mathbb{Q}\), \(\mathbb{R}\) et \(\mathbb{C}\).
Quelle est la différence entre un corps et un anneau ?
Tout corps est un anneau, mais l’inverse est faux. Dans un anneau commutatif, on peut additionner, soustraire et multiplier. Un corps ajoute une exigence : tout élément non nul possède un inverse, donc on peut aussi diviser. \(\mathbb{Z}\) est un anneau mais pas un corps (on ne peut pas diviser par \(2\)) ; \(\mathbb{Q}\) est un corps. Un corps est aussi toujours intègre, ce qu’un anneau quelconque n’est pas.
Quels sont des exemples de corps en maths ?
Les corps usuels sont \(\mathbb{Q}\), \(\mathbb{R}\) et \(\mathbb{C}\). On rencontre aussi les corps finis \(\mathbb{Z}/p\mathbb{Z}\) pour \(p\) premier, les extensions comme \(\mathbb{Q}(\sqrt{2}) = \{a + b\sqrt{2} \mid a, b \in \mathbb{Q}\}\), et le corps des fractions rationnelles \(\mathbb{K}(X)\). En revanche \(\mathbb{Z}\) et \(\mathbb{Z}/6\mathbb{Z}\) ne sont pas des corps.
Comment dit-on corps en anglais en mathématiques ?
Un corps commutatif se dit field en anglais. Un corps non commutatif (ou « corps gauche ») se traduit par division ring ou skew field. Attention : en anglais, field impose la commutativité, alors que le mot français « corps » a historiquement désigné aussi le cas non commutatif. En prépa française, « corps » signifie « corps commutatif » par défaut.
Pourquoi Z/nZ n’est-il un corps que si n est premier ?
Si \(n\) n’est pas premier, il s’écrit \(n = ab\) avec \(1 < a, b < n\), et alors \(a \times b = 0\) dans \(\mathbb{Z}/n\mathbb{Z}\) avec \(a, b \neq 0\) : il y a des diviseurs de zéro, donc ce n’est même pas intègre. Si \(p\) est premier, tout élément non nul est premier avec \(p\) et le théorème de Bézout fournit son inverse. Le détail est traité sur la page dédiée à l’anneau Z/nZ.
Un corps est-il toujours un anneau intègre ?
Oui. Dans un corps, si \(ab = 0\) et \(a \neq 0\), on multiplie par \(a^{-1}\) pour obtenir \(b = 0\) : il n’y a donc jamais de diviseur de zéro. La réciproque est fausse en général (\(\mathbb{Z}\) est intègre sans être un corps), mais elle devient vraie pour les anneaux finis : tout anneau intègre fini est un corps.
D’où ça vient, où ça mène
En amont. La structure de corps prolonge celle d’anneau, elle-même construite sur les lois de composition étudiées dans le cours sur les structures algébriques. Les propriétés de base des opérations (distributivité, commutativité) remontent au collège.
À ce niveau. Le corps est l’aboutissement de la hiérarchie anneau → anneau intègre → corps, avec les exemples usuels et les corps finis.
En aval. Le corps est le socle de l’algèbre linéaire : tout espace vectoriel est défini sur un corps \(\mathbb{K}\). En L3 et à l’agrégation, on étudie les extensions de corps, la théorie de Galois et les corps finis \(\mathbb{F}_q\).
Pour aller plus loin
Tu maîtrises maintenant la structure de corps. Pour approfondir et poursuivre le cocon :
- Espace vectoriel : cours complet avec démonstrations et exercices corrigés
- Matrices en Mathématiques : Cours, Méthodes et Exercices Corrigés
- Logique et raisonnement en mathématiques
- 20 Exercices Corrigés : Applications Linéaires — Prépa MPSI/PCSI/MP
Dernière mise à jour : septembre 2026. Cours conforme au programme officiel de CPGE 2026-2027, chapitre « Structures algébriques usuelles ».
