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 -adic completions of noetherian rings.
Let A be a noetherian ring and its -adic completion. Then the following are equivalent.
- is faithfully flat over A (in general, only flat over it).
- Every maximal ideal is closed for the -adic topology.
- A is a Zariski ring.
- 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