I. El Hage www.les-mathematiques.net 3
alors σai0 pour i0 1 n. Il en résulte ai0 pour i0 1 net P0. σest
l’unique isomorphisme qui vérifie σX X et σkσkpour tout k K car, si τ
est une autre solution, alors nous avons
τa0a1X anXnτa0τa1τanXn
σa0σa1XσanXn
σP
pour tout P K X .
Théorème Si Eest une extension de K’ qui contient un élément atranscendant
sur K, alors on peut prolonger σ:K K d’une manière unique en un isomorphisme
E E qui transforme aen a.
Démonstration Soit F K a .Fest une extension de Kisomorphe à K X car
aest transcendant sur K. On peut prolonger σen un isomorphisme σ;K X K X
par σa0a1X anXnσa0σa1XσanXn
σest l’unique prolongement de σqui vérifie σX X et σkσkpour tout k K.
Cet isomorphisme σpeut être prolongé, d’une manière unique, en un isomorphisme σ
de K X , corps des fractions de K X , dans K X , corps des fractions de K X , tel que
σX X et σkσkpour tout k K. Finalement, soit ul’unique isomorphisme
de K a sur K X tel que u a X et ul’unique isomorphisme de K X sur K a
tel que u X a . Nous avons
KσK
K X σK X
K a uK X σK X uK a
où les flêches verticales sont les injections canoniques. Posons σuσu.σest un
isomorphisme et il vérifie
σa u σu a u σu a u σX u X a
et σk u σu k u σu k u σk u σkσk
σest unique, car σ σ uet usont tous uniques.
Remarque Si E K a alors σest bijectif.
Théorème Si σpeut être prolongé en un isomorphisme σ, alors
aσaest transcendant sur K.