{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "QYZXXXFM53"
    }
  ],
  "body": "\n## Summary\n\nA spectral space is a compact [[sober|4N4DNDR22Z]] topological space whose compact open sets are closed under finite intersections and form a basis of the topology.\nThe prime spectrum of any [[commutative ring|0310REJJY8]] with the [[Zariski topology|8SQK7RTB63]] is spectral, and by [[Hochster's theorem|C82AXZK2BS]] every spectral space arises in this way.\nThe compact open sets of a spectral space form a bounded [[distributive lattice|0HM0HQCK6N]], and every bounded distributive lattice arises in this way.\nSo spectral spaces connect commutative algebra, lattice theory and topology.\n\n## Explanations\n\n### L1 human\n\nThe points of a spectral space behave like the prime ideals of a ring: some points are \"general\" and have other points in their closure.\nThe space is compact, and it has many open sets that are compact as well, enough to describe the whole topology.\nEach closed set that cannot be split into two smaller closed sets has exactly one \"generic\" point whose closure is that set.\nFor example, the prime ideals of the integers form a spectral space whose generic point $(0)$ has every point in its closure.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "54F65",
      "06D50",
      "14A05"
    ],
    "name": "Spectral space",
    "same_as": {
      "wikidata": "Q7575210",
      "wikipedia": "Spectral space"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Spectral_space"
      }
    ],
    "specializes": [
      "0CQHFPGJ45"
    ],
    "tag": "G3W2WXY2VN"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/G3W2WXY2VN/",
  "links": [
    {
      "field": "specializes",
      "target": "0CQHFPGJ45"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/G3W2WXY2VN.md",
  "msc": [
    "54F65",
    "06D50",
    "14A05"
  ],
  "name": "Spectral space",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/G3W/G3W2WXY2VN.md",
  "status": null,
  "tag": "G3W2WXY2VN",
  "uri": "m2://G3W2WXY2VN",
  "url": "https://tamnd.github.io/math2/wiki/spectral-space/",
  "writing": {
    "tag": "G3W2WXY2VN",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}