{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Problem\n\nLet $L$ be a finite [[lattice|WH4SFAACAS]].\nIs there always a finite [[algebra|QJGPT2W0FT]] $A$ whose [[congruence lattice|REE07CSXHR]] is isomorphic to $L$?\n\n## Remarks\n\nPálfy and Pudlák proved in 1980 that the problem has an equivalent form in group theory.\nThe problem has a positive answer if and only if the following holds.\nEvery finite lattice is isomorphic to an interval $[H, G] = \\set{K : H \\le K \\le G}$ in the [[lattice of subgroups|0B8BW4YWTF]] of some finite group $G$.\nHere $H$ is a subgroup of $G$, and the interval is ordered by inclusion.\nThe problem is open.\n\nWithout the finiteness condition on $A$, the answer is yes.\nBy a theorem of Grätzer and Schmidt, every algebraic lattice, and so every finite lattice, is the congruence lattice of some algebra.\nThe difficulty is to find a finite algebra.\nFor a finite distributive lattice the answer is also yes, since it is the congruence lattice of a finite lattice.\n\n## Explanations\n\n### L1 human\n\nEach finite algebraic structure comes with a lattice of [[congruences|DCSXXT4SER]]: the ways of gluing its elements together that respect the operations.\nThe question is whether every finite lattice can be obtained in this way from some finite structure.\nIf one allows infinite structures, the answer is yes.\nFor finite structures nobody knows, and the question turns out to be the same as a question about subgroups of finite groups.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "REE07CSXHR",
      "0B8BW4YWTF"
    ],
    "history": {
      "first_stated": "1980",
      "notes": "Pálfy and Pudlák stated the problem in its form about intervals in subgroup lattices of finite groups. The question for finite algebras was open since Grätzer and Schmidt showed in 1963 that every algebraic lattice is the congruence lattice of some algebra.",
      "posed_by": "Péter Pál Pálfy and Pavel Pudlák"
    },
    "kind": "problem",
    "msc": [
      "06B15",
      "08A30",
      "20E15"
    ],
    "name": "Finite lattice representation problem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Lattice_of_subgroups"
      }
    ],
    "tag": "W83D78WN7T",
    "uses": [
      "WH4SFAACAS",
      "REE07CSXHR",
      "0B8BW4YWTF",
      "QJGPT2W0FT",
      "DCSXXT4SER"
    ]
  },
  "kind": "problem",
  "link": "https://tamnd.github.io/math2/node/W83D78WN7T/",
  "links": [
    {
      "field": "about",
      "target": "REE07CSXHR"
    },
    {
      "field": "about",
      "target": "0B8BW4YWTF"
    },
    {
      "field": "uses",
      "target": "WH4SFAACAS"
    },
    {
      "field": "uses",
      "target": "REE07CSXHR"
    },
    {
      "field": "uses",
      "target": "0B8BW4YWTF"
    },
    {
      "field": "uses",
      "target": "QJGPT2W0FT"
    },
    {
      "field": "uses",
      "target": "DCSXXT4SER"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/W83D78WN7T.md",
  "msc": [
    "06B15",
    "08A30",
    "20E15"
  ],
  "name": "Finite lattice representation problem",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/W83/W83D78WN7T.md",
  "status": null,
  "tag": "W83D78WN7T",
  "uri": "m2://W83D78WN7T",
  "url": "https://tamnd.github.io/math2/wiki/finite-lattice-representation-problem/",
  "writing": {
    "tag": "W83D78WN7T",
    "kind": "problem",
    "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
      }
    ]
  }
}