On prime ideals in rings of semialgebraic functions
HTML articles powered by AMS MathViewer
- by J. M. Gamboa PDF
- Proc. Amer. Math. Soc. 118 (1993), 1037-1041 Request permission
Abstract:
It is proved that if $\mathfrak {p}$ is a prime ideal in the ring $S(M)$ of semialgebraic functions on a semialgebraic set $M$, the quotient field of $S(M)/\mathfrak {p}$ is real closed. We also prove that in the case where $M$ is locally closed, the rings $S(M)$ and $P(M)$—polynomial functions on $M$—have the same Krull dimension. The proofs do not use the theory of real spectra.References
- J. Bochnak, M. Coste, and M.-F. Roy, Géométrie algébrique réelle, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 12, Springer-Verlag, Berlin, 1987 (French). MR 949442
- Michel Carral and Michel Coste, Normal spectral spaces and their dimensions, J. Pure Appl. Algebra 30 (1983), no. 3, 227–235. MR 724034, DOI 10.1016/0022-4049(83)90058-0
- J. M. Gamboa and J. M. Ruiz, On rings of semialgebraic functions, Math. Z. 206 (1991), no. 4, 527–532. MR 1100836, DOI 10.1007/BF02571359
- Melvin Henriksen and J. R. Isbell, On the continuity of the real roots of an algebraic equation, Proc. Amer. Math. Soc. 4 (1953), 431–434. MR 55664, DOI 10.1090/S0002-9939-1953-0055664-2
- J. R. Isbell, More on the continuity of the real roots of an algebraic equation, Proc. Amer. Math. Soc. 5 (1954), 439. MR 62425, DOI 10.1090/S0002-9939-1954-0062425-8 T. Recio, Una descomposición de un conjunto semialgebraico, Proc. A.M.E.L. Mallorca, 1977.
- Jean-Jacques Risler, Le théorème des zéros en géométries algébrique et analytique réelles, Bull. Soc. Math. France 104 (1976), no. 2, 113–127 (French). MR 417167
- Jesús M. Ruiz, Cônes locaux et complétions, C. R. Acad. Sci. Paris Sér. I Math. 302 (1986), no. 2, 67–69 (French, with English summary). MR 832039
- Niels Schwartz, The basic theory of real closed spaces, Mem. Amer. Math. Soc. 77 (1989), no. 397, viii+122. MR 953224, DOI 10.1090/memo/0397
Additional Information
- © Copyright 1993 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 118 (1993), 1037-1041
- MSC: Primary 14P10; Secondary 14P05
- DOI: https://doi.org/10.1090/S0002-9939-1993-1140669-6
- MathSciNet review: 1140669