Abstract
LetR⊂T be domains, not fields, such that Spec(R)=Spec(T) as sets; that is, such that the prime ideals ofT coincide, as sets, with those ofR. It is proved that the canonical map Spec(T[[X]])→Spec(R[[X]]) is a homeomorphism. This generalizes a result of Girolami in caseR is a pseudovaluation domain with the SFT (strong finite type)—property andT is its associated valuation domain. The analogous property for polynomial rings is also characterized: Spec(T[X])→Spec(R[X]) is a homeomorphism if and only ifR/M⊂T/M is a purely inseparable (algebraic) field extension, whereM is the maximal ideal ofR.
Similar content being viewed by others
References
Anderson D.F., Dobbs D.E.,Pairs of rings with the same prime ideals, Can. J. Math.32 (1980), 362–384.
Anderson D.F., Dobbs D.E.,Pairs of rings with the same prime ideals, Il Can. J. Math.40 (1988), 1399–1409.
Andreotti A, Bombieri E.,Sugli omeomorfismi delle varietà algebriche, Ann. Scuola Norm. Sup. Pisa23 (1969), 431–450.
Arnold J.T.,Krull dimension in power series rings, Trans. Amer. Math. Soc.177 (1973), 299–304.
Arnold J.T.,Power series rings over Prüfer domains, Pac. J. Math.44 (1973), 1–11.
Bouvier A., Dobbs D.E., Fontana M.,Universally catenarian integral domains, Advances in Math.72 (1988), 211–238.
Dawson J., Dobbs D.E.,On going down in polynomial rings, Can. J. Math.26 (1974), 177–184.
Dobbs D.E., Fontana M.,Locally pseudo-valuation domains, Annali Mat. Pura Appl.134 (1983), 147–168.
Dobbs D.E., Fontana M.,Universally going-down homomorphisms of commutative rings, J. Algebra90 (1984), 410–429.
Fontana M.,Topologically defined classes of commutative rings, Annali Mat. Pura Appl.123 (1980), 331–355.
Gilmer R.,Multiplicative Ideal Theory, Dekker, New York, 1972.
Girolami F.,Power series rings over globalized pseudo-valuation domains, J. Pure Appl. Algebra50 (1988), 259–269.
Girolami F.,The catenarian property of power series rings over a globalized pseudo-valuation domain, Rend. Circ. Mat. Palermo38 (1989), 5–12.
Grothendieck A., Dieudonné J.,Eléments de Géométrie Algfébrique, I, Springer-Verlag, Berlin/Heidelberg/New York, 1971.
Hedstrom J.R., Houston E.G.,Pseudo-valuation domains, Pac. J. Math.75 (1978), 137–147.
Hochster M.,Prime ideal structure in commutative rings, Trans. Amer. Math. Soc.142 (1969), 43–60.
Lequain Y.,Catenarian property in a domain of formal power series, J. Algebra65 (1980), 110–117.
McAdam S.,Going down in polynomial rings, Can. J. Math.23 (1971), 704–711.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dobbs, D.E. Rings of formal power series with homeomorphic prime spectra. Rend. Circ. Mat. Palermo 41, 55–61 (1992). https://doi.org/10.1007/BF02844462
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02844462