{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "5FKKCM9ESE"
    },
    {
      "field": "uses",
      "target": "6Y0Y9JRXSK"
    },
    {
      "field": "uses",
      "target": "CECPTP66EK"
    },
    {
      "field": "uses",
      "target": "J7NBAJMQND"
    },
    {
      "field": "uses",
      "target": "NE0XB0AEDR"
    },
    {
      "field": "uses",
      "target": "RKJBNRKEDT"
    },
    {
      "field": "uses",
      "target": "YA2NN86Y11"
    },
    {
      "field": "defines",
      "target": "ZPVRRQDYRB"
    }
  ],
  "body": "\n## Summary\n\nA topological space is irreducible when it is nonempty and is not the union of two proper closed subsets.\nAn irreducible component of a space is a maximal irreducible subset.\nIn a Noetherian space, such as an algebraic set with its Zariski topology, there are only finitely many irreducible components.\nThe space is their union.\nThis splits every algebraic set into irreducible pieces, the varieties.\n\n## Explanations\n\n### L1 human\n\nAn algebraic set can be made of several pieces that cannot be split further.\nThe set of solutions of $xy = 0$ in the plane is the union of the two coordinate axes.\nEach axis is a single piece that is not a union of two smaller algebraic sets, and the two axes are the irreducible components.\nA finite set of two or more points is not irreducible: each point is a piece of its own.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "14A10",
      "14A15"
    ],
    "name": "Irreducible component",
    "same_as": {
      "wikidata": "Q6073574",
      "wikipedia": "Irreducible component"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Irreducible_component"
      }
    ],
    "tag": "SY2MWC434Z"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/SY2MWC434Z/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/SY2MWC434Z.md",
  "msc": [
    "14A10",
    "14A15"
  ],
  "name": "Irreducible component",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/SY2/SY2MWC434Z.md",
  "status": null,
  "tag": "SY2MWC434Z",
  "uri": "m2://SY2MWC434Z",
  "url": "https://tamnd.github.io/math2/wiki/irreducible-component/",
  "writing": {
    "tag": "SY2MWC434Z",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}