{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "6RDM3069KC"
    },
    {
      "field": "uses",
      "target": "TGNMG87Z6T"
    },
    {
      "field": "specializes",
      "target": "9H61HXXJ11"
    },
    {
      "field": "defines",
      "target": "CZ6ABG86WY"
    }
  ],
  "body": "\n## Summary\n\nAn element of a [[lattice|WH4SFAACAS]] is join-irreducible if it is not the bottom element and not the [[join|J2T75ATRV5]] of two smaller elements.\nIn a finite lattice, every element is a join of join-irreducible elements, so these elements generate the lattice by joins.\nFor finite [[distributive lattices|0HM0HQCK6N]], the poset of join-irreducible elements determines the whole lattice, which is the content of Birkhoff's representation theorem.\nMeet-irreducible elements are defined dually.\n\n## Explanations\n\n### L1 human\n\nA join-irreducible element is one that cannot be split into two smaller pieces by a join.\nIn the subsets of a set, the join-irreducible elements are the one-element sets: a set with two or more points is the union of two smaller sets.\nIn the positive integers ordered by divisibility, where join is the least common multiple, they are the prime powers $p^k$ with $k \\ge 1$.\nFor instance $12 = \\lcm(4, 3)$ is not join-irreducible, but $8$ is, since every proper divisor of $8$ divides $4$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "06B05"
    ],
    "name": "Join-irreducible element",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Join_and_meet"
      }
    ],
    "tag": "ZHRQ0AT8PM"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/ZHRQ0AT8PM/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/ZHRQ0AT8PM.md",
  "msc": [
    "06B05"
  ],
  "name": "Join-irreducible element",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ZHR/ZHRQ0AT8PM.md",
  "status": null,
  "tag": "ZHRQ0AT8PM",
  "uri": "m2://ZHRQ0AT8PM",
  "url": "https://tamnd.github.io/math2/wiki/join-irreducible-element/",
  "writing": {
    "tag": "ZHRQ0AT8PM",
    "kind": "concept",
    "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
      }
    ]
  }
}