Abstract
In the first section, we prove the Artin-Lang homomorphism theorem as a consequence of the Tarski-Seidenberg principle. We then present the real Nullstellensatz, which characterizes the ideals of polynomials vanishing on an algebraic set, when the ground field is real closed. The next two sections develop an ℜArtin-Schreier theoryℝ for rings, which is an extension of the theory presented in Chap. 1 for fields. The notion of a prime cone of a ring, which is related to that of a ring homomorphism into a real closed field, plays an important role and we shall encounter it later on in the study of the real spectrum in Chap. 7. In Section 4 we use the Artin-Schreier theory for rings, together with the Artin-Lang homomorphism theorem, to establish various versions of the Positivstellensatz, which characterizes polynomials which are positive on certain semi-algebraic subsets of R n. The last section presents the following criterion: an irreducible polynomial f ∈ R[X 1, ..., X n ] generates the ideal of polynomials vanishing on Z(f) if and only if f changes sign on R n.
Throughout this chapter R is a real closed field.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bochnak, J., Coste, M., Roy, MF. (1998). Real Algebra. In: Real Algebraic Geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete / A Series of Modern Surveys in Mathematics, vol 36. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-03718-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-662-03718-8_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-08429-4
Online ISBN: 978-3-662-03718-8
eBook Packages: Springer Book Archive