I. El Hage www.les-mathematiques.net 2
Démonstration Facile à vérifier.
Théorème Le corps premier d’un corps Kest isomorphe à si sa caractéristique
est nulle, et à p(où (p) est l’idéal engendré par p dans l’anneau ) si cette carac-
téristique est p0.
Démonstration Soit ul’application de dans Kdéfinie par
u n n 1. Il est facile de vérifier que uest un homomorphisme d’anneaux et que
Im uest le sous-anneau de Kengendré par 1. Ker u est un idéal de . Il est engen-
dré par un élément pde . pest la caractéristique de K. Si p0, alors est isomorphe
à Im uet le corps des fractions de (c.à.d. ) au corps des fractions de Im u. Mais
ce corps est le plus petit sous corps de Kcontenant 1. Il est le corps premier de K.
Donc, si Kest de caratéristique nulle, son corps premier est isomorphe à . Si p0,
alors Im uest isomorphe à Ker u p qui est un corps (pest premier). Ce
sous-corps de Kest le sous-corps engendré par 1. Donc, si Kest de caractéristique
p0, son corps premier est isomorphe à p.
Exemple est le corps premier de et de . pest égal à son corps premier.
Théorème Soit Ple corps premier du corps K. Nous avonsU X Xn1P X .
Soit Rle corps des racines de Usur P. Si la caractéristique pde Kest nulle ou si elle
ne divise pas n, alors Rcontient nracines n`eme de l’unité distinctes.
Démonstration Il suffit de prouver que les racines du polynôme Usont toutes
simples. Sinon, Uet son polynôme dérivé UnXn1ont une racine commune. Or
zéro est la seule racine de Ucar p0 ou nest non divisible par p. Comme 0 n’est pas
une racine de U, toutes les racines de Usont simples et Ren contient n.
Pour démontrer que SnKest un groupe cyclique, nous avons besoin d’un théo-
rème de la théorie de groupes.
Lemme Soient aet bdeux éléments d’un groupe abélien multiplicatif G. Si
p Ord a et q Ord b sont premiers entre eux, alors Ord ab pq.
Démonstration Tout d’abord, gr a désignant le sous groupe de Gengendré par a,
gr a gr b est réduit à ecar si xest un élément de cette intersection, alors l’ordre r
de xest un diviseur commun de pet q. Cet ordre est donc égal à 1 (pet qsont premiers
entre eux) et x e. D’un autre côté, ab pq apbqee e. Enfin, si dest l’ordre de
ab, alors ab dadbd. Il en résulte adb1dgr a gr b e et par suite
ade bd. On en déduit que dest donc un multiple commun de pet q, donc de leur
produit car ils sont premier entre eux. Ainsi pq est l’ordre de ab.
Lemme Soient a1andes élément d’un groupe abélien multiplicatif G. Si les
ordres des a1ansont premiers deux à deux, l’ordre de leur produit est égal au pro-
duit des ordres de ces éléments.