{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $\\mathbf{A}$ be an [[algebra|QJGPT2W0FT]] with at least two elements.\nThen $\\mathbf{A}$ is isomorphic to a [[subdirect product|88WN3AD2VQ]] of a family of [[subdirectly irreducible algebras|DASF939439]].\nMoreover, each factor of the family can be chosen to be a [[quotient|N5KE7FH6CX]] of $\\mathbf{A}$.\n\n## Remarks\n\nProof idea.\nFor each pair $a \\ne b$ in $A$, [[Zorn's lemma|04RXTQA5ZA]] gives a [[congruence|DCSXXT4SER]] $\\theta_{a,b}$ that is maximal among the congruences not containing $(a, b)$.\nEvery congruence of $\\mathbf{A}/\\theta_{a,b}$ other than equality comes from a strictly larger congruence, which contains $(a, b)$.\nSo $\\mathbf{A}/\\theta_{a,b}$ is subdirectly irreducible, with monolith generated by the classes of $a$ and $b$.\nThe intersection of all $\\theta_{a,b}$ is equality, so $a \\mapsto (a/\\theta_{a,b})$ is a subdirect embedding.\n\nExample: the ring $\\Z$ is a subdirect product of the fields $\\Z/p\\Z$, $p$ prime, which are simple and hence subdirectly irreducible.\nAnother example: the only subdirectly irreducible distributive lattice is the two-element chain, so every distributive lattice with at least two elements is a subdirect product of copies of it.\n\nA subdirect product may need infinitely many factors even for a countable algebra, as for $\\Z$.\nFor a finite algebra, finitely many factors suffice, and Zorn's lemma is not needed.\n\n## Explanations\n\n### L1 human\n\nEvery algebra can be taken apart into pieces that cannot be taken apart further.\nThe pieces are quotients of the algebra, and the algebra sits inside their product, with nothing lost.\nIt is like recovering an integer from its remainders modulo many numbers.\n\n### L2 human\n\nThe theorem reduces many questions about a variety to its subdirectly irreducible members.\nA variety is generated by its subdirectly irreducible algebras, so two varieties with the same subdirectly irreducible members are equal.\nFor example, it shows that every Boolean algebra is a subdirect product of copies of the two-element Boolean algebra.\nThis leads to notions such as [[residually finite algebras|X9072A41NK]], which are subdirect products of finite algebras.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "88WN3AD2VQ",
      "DASF939439"
    ],
    "kind": "statement",
    "msc": [
      "08B26"
    ],
    "name": "Birkhoff's subdirect representation theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Subdirectly_irreducible_algebra"
      }
    ],
    "tag": "CZF5696TPY",
    "uses": [
      "QJGPT2W0FT",
      "88WN3AD2VQ",
      "DASF939439",
      "DCSXXT4SER",
      "N5KE7FH6CX",
      "04RXTQA5ZA"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/CZF5696TPY/",
  "links": [
    {
      "field": "about",
      "target": "88WN3AD2VQ"
    },
    {
      "field": "about",
      "target": "DASF939439"
    },
    {
      "field": "uses",
      "target": "QJGPT2W0FT"
    },
    {
      "field": "uses",
      "target": "88WN3AD2VQ"
    },
    {
      "field": "uses",
      "target": "DASF939439"
    },
    {
      "field": "uses",
      "target": "DCSXXT4SER"
    },
    {
      "field": "uses",
      "target": "N5KE7FH6CX"
    },
    {
      "field": "uses",
      "target": "04RXTQA5ZA"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/CZF5696TPY.md",
  "msc": [
    "08B26"
  ],
  "name": "Birkhoff's subdirect representation theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/CZF/CZF5696TPY.md",
  "status": null,
  "tag": "CZF5696TPY",
  "uri": "m2://CZF5696TPY",
  "url": "https://tamnd.github.io/math2/wiki/birkhoffs-subdirect-representation-theorem/",
  "writing": {
    "tag": "CZF5696TPY",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}