Exercices - Corps : corrig

Exercice 1 - Morphisme de corps - Math Sp/L3 - ?

1. Soit x K\{0K }. Alors on a x x1 = 1K . On applique f cette identit, et en utilisant

que f est un morphisme danneaux, on trouve
f (x) f (x1 ) = 1L .
Ainsi, f (x) est inversible, dinverse f (x1 ).
2. Il suffit de dmontrer que le noyau de f est rduit 0K . Mais si f (x) = 0, alors x
/ K\{0K }
daprs la question prcdente, et donc x = 0.
Exercice 2 - Sous-corps des rationnels - L2/L3/Math Sp - ?
Soit K un sous-corps de Q. Alors 0, 1 K. On a ensuite 2 = 1 + 1 K, puis 3 = 2 + 1 K.
Par rcurrence, on prouve facilement que N K. Puis, par stabilit par passage loppos,
Z K. Enfin, si x = p/q avec p Z et q N, q 6= 0, alors p K, q K, q 6= 0 et donc
p/q K. Ainsi Q K.
Exercice 3 - Anneau intgre fini - Math Sp/L3 - ??
Soit a A, a non-nul. On doit prouver que a admet un inverse. Pour cela, considrons
lapplication x 7 ax. Puisque A est intgre, elle est injective. Mais puisque A est fini, elle est
aussi bijective. Ainsi, on peut trouver x A avec ax = 1. Autrement dit, a est inversible, ce
qui prouve que A est un corps.
Exercice 4 - Produit de tous les lments - Math Sp/L3 - ??
Dans le produit, on regroupe chaque lment avec son inverse. Ceci est possible sils sont
distincts, et dans ce cas, on peut simplifier le produit xx1 = 1. On en dduit que
Y Y Y
x= x= x.
xK x=x1 x2 =1

Or, dans un corps K, lquation x2 = 1 a pour solution 1 et 1. Si ces deux nombres sont
distincts, alors le produit vaut 1. Si ces deux nombres sont gaux, alors le produit de ces deux
nombres vaut 1 = 1 galement. Finalement, dans tous les cas, on a bien
Y
x = 1.
xK

Corps algbriquement clos

Exercice 5 - Corps des fractions rationnelles origine - Math Sp/L3 - ?

Imaginons que ce corps soit algbriquement clos. Alors le polynme X 2 t aurait une racine
dans C(t). Autrement dit, on pourrait trouver deux polynmes P, Q C[t] tels que
2
P (t)

t = 0 P 2 (t) = tQ2 (t).
Q(t)
Mais ceci est impossible, car dans sa dcomposition en facteurs irrductibles, le polynme de
gauche P 2 na que des facteurs irrductibles un exposant pair, tandis que celui de droite
un facteur irrductible de degr impair, savoir t. Par unicit de la dcomposition en facteurs
irrductibles dans C[t], on en dduit le rsultat.

http://www.bibmath.net 1