Zariski topology
Noun

Zariski topology

  1. (algebraic geometry) Originally, a topology applicable to algebraic varieties, such that the closed sets are the variety's algebraic subvarieties; later, a generalisation in which the topological space is the set of prime ideals of a commutative ring and is called the spectrum of the ring.
    The Zariski topology allows tools from topology to be used in the study of algebraic varieties, even when the underlying field is not a topological field.
    • 1994, V. I. Danilov, II. Algebraic Varieties and Schemes, Igor Shafarevich (editor), Algebraic Geometry I: Algebraic Curves, Algebraic Manifolds and Schemes, Springer, page 184 ↗,
      Thus the Zariski open subsets are 'very big'; in particular, the Zariski topology is highly non-Hausdorff.
      A further difference with the classical topology is that the Zariski topology on the product X \times Y of two affine varieties is stronger than the product of the Zariski topologies on X and Y.
    • 2008, Gert-Martin Greuel, Gerhard Pfister, A Singular Introduction to Commutative Algebra, Springer, 2nd Edition, page 523 ↗,
      In particular, “singular” is a local notion, where “local” so far was mainly considered with respect to the Zariski topology. However, since the Zariski topology is so coarse, small neighbourhoods in the Zariski topology might not be local enough.
    • 2011, Gregor Kemper, A Course in Commutative Algebra, Springer, page 34 ↗,
      If Y \subseteq K^n is an affine variety, then by definition the Zariski topology on Y has the subvarieties of Y as closed sets.
Related terms


This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.002
Offline English dictionary