Exercice 5, § 2
Algèbre commutative, VI
Soient un corps, une place de à valeurs dans un corps ordonné maximal .**
a) Pour tout , montrer qu’il existe une extension de , soit à , soit à , qui soit une place à valeurs dans . (Considérer deux cas, suivant qu’il existe tel que ne soit ni ni , ou que est égal à ou à pour tout ).
b) Déduire de a) qu’il existe une extension de qui soit un corps ordonné maximal et un prolongement de à qui soit une place de à valeurs dans . (Se ramener au cas où est euclidien et utiliser l’exerc. 4 a)).
Solution
Aucune solution n’a encore été écrite.