{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "1JD2FVGBM2"
    },
    {
      "field": "uses",
      "target": "DFZ7ZKRZCQ"
    },
    {
      "field": "about",
      "target": "DFZ7ZKRZCQ"
    },
    {
      "field": "specializes",
      "target": "GW78A05TNA"
    },
    {
      "field": "defines",
      "target": "TW1KWXYWN0"
    }
  ],
  "body": "\n## Summary\n\nA congruence-permutable variety is a [[variety|AJNZJD8442]] in which any two congruences of any algebra permute under relational composition.\nGroups, rings, modules and quasigroups form congruence-permutable varieties, while lattices and semilattices do not.\nCongruence permutability makes the congruence lattices modular and gives strong control of direct and subdirect products.\n\n## Explanations\n\n### L1 human\n\nA congruence of an algebra is a way to identify elements that respects the operations.\nTwo congruences permute when moving first by one and then by the other reaches the same pairs as doing it in the opposite order.\nIn a group, this says that $MN = NM$ for normal subgroups $M$ and $N$, which always holds.\nA variety is congruence permutable when this happens in every one of its algebras.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "08B05",
      "08A30"
    ],
    "name": "Congruence-permutable variety",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Congruence-permutable_algebra"
      }
    ],
    "specializes": [
      "AJNZJD8442"
    ],
    "tag": "1B3N9T68YV"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/1B3N9T68YV/",
  "links": [
    {
      "field": "specializes",
      "target": "AJNZJD8442"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/1B3N9T68YV.md",
  "msc": [
    "08B05",
    "08A30"
  ],
  "name": "Congruence-permutable variety",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/1B3/1B3N9T68YV.md",
  "status": null,
  "tag": "1B3N9T68YV",
  "uri": "m2://1B3N9T68YV",
  "url": "https://tamnd.github.io/math2/wiki/congruence-permutable-variety/",
  "writing": {
    "tag": "1B3N9T68YV",
    "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
      }
    ]
  }
}