Corps

1.7 Corps
1.7.1 Définitions
Définition : On appelle corps tout anneau non nul (i.e. ≠ {0}) où tout élément non nul admet un inverse.
Si la loi . est commutative on dit qui le corps est commutatif.
Remarques :
on démontre que tout corps fini est commutatif (théorème de Wedderburn).
Un corps est intègre et donc n’a pas de diviseur de zéro.
Exercice 2
Montrer que tout anneau fini intègre est un corps.
(Pour a ≠ 0 considérer l’application x
6
a.x et montrer qu’elle est injective).
Exercice 3
Montrer que z /p z est un corps ssi p est premier.
1.7.2 Sous-corps
Définition : Si K est un corps et si K’ ⊂ K est stable pour les lois induites, on dit que K’ est un sous-corps de K ssi K’
est un corps pour les lois induites. On dit aussi que K est une extension de K’.
Exercice 4
Montrer que {a + b2/ a et b
∈
q } est un corps.
Caractérisation pratique
K’ ⊂ K est est un sous-corps de K ssi :
(i) 1
∈
K’;
(ii) ∀(a, b)
∈
K’ × K’, a – b et a.b
∈
K’;
(iii) ∀a
∈
K’–{0}, a–1
∈
K’.
(autrement dit K’ est un sous-anneau de K où tout élément non nul a un inverse dans K’).
1.7.3 Corps des fractions d’un anneau intègre
Théorème et définition : Soit A un anneau intègre et commutatif. Il existe un corps K unique (à un isomorphisme
près) vérifiant :
(i) K a un sous-anneau isomorphe à A;
(ii) K est minimal pour la condition (i) i.e. : si L est un corps vérifiant (i) alors L admet un sous-corps isomorphe à K.
K est appelé corps des fractions de A et se note Fr(A).
Exemples : q = Fr( z ); A(X) = Fr(A[X]) (corps des fractions rationnelles à coefficients dans A).