Zariski ring

In commutative algebra, a Zariski ring is a commutative Noetherian topological ring A whose topology is defined by an ideal m contained in the Jacobson radical, the intersection of all maximal ideals. They were introduced by Oscar Zariski (1946) under the name "semi-local ring" which now means something different, and named "Zariski rings" by Samuel (1953). Examples of Zariski rings are noetherian local rings and ${\mathfrak {a}}$ -adic completions of noetherian rings.

Let A be a noetherian ring and $\widehat {A}$ its ${\mathfrak {a}}$ -adic completion. Then the following are equivalent.

$\widehat {A}$ is faithfully flat over A (in general, only flat over it).
Every maximal ideal is closed for the ${\mathfrak {a}}$ -adic topology.
A is a Zariski ring.

References

M. Atiyah, I. Macdonald Introduction to commutative algebra Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont. 1969
Samuel, Pierre (1953), Algèbre locale, Mémor. Sci. Math., 123, Paris: Gauthier-Villars, MR 0054995
Zariski, Oscar (1946), "Generalized semi-local rings", Summa Brasil. Math., 1 (8): 169–195, MR 0022835
Zariski, Oscar; Samuel, Pierre (1975), Commutative algebra. Vol. II, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90171-8, MR 0389876

This article is issued from Wikipedia - version of the 9/25/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.