{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "XK1KDMCW4K"
    }
  ],
  "body": "\n## Summary\n\nAn abelian algebra is an algebra in which the [[commutator|6DSWPHSWQW]] of the full congruence with itself is the trivial congruence.\nEquivalently, its term operations satisfy the term condition with equality.\nFor groups this notion gives exactly the abelian groups, and modules over a ring are abelian algebras.\nAbelian algebras play the role of abelian groups in the general theory of solvable and nilpotent algebras.\n\n## Explanations\n\n### L1 human\n\nIn an abelian group, changing one input of a formula has an effect that does not depend on the other inputs.\nAn abelian algebra is an algebra with the same property for every formula built from its operations.\nModules and vector spaces are abelian in this sense.\nNonabelian groups and lattices with more than one element are not.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "08A30",
      "08B10"
    ],
    "name": "Abelian algebra",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Universal_algebra"
      }
    ],
    "tag": "EHASX3TBRQ"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/EHASX3TBRQ/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/EHASX3TBRQ.md",
  "msc": [
    "08A30",
    "08B10"
  ],
  "name": "Abelian algebra",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/EHA/EHASX3TBRQ.md",
  "status": null,
  "tag": "EHASX3TBRQ",
  "uri": "m2://EHASX3TBRQ",
  "url": "https://tamnd.github.io/math2/wiki/abelian-algebra/",
  "writing": {
    "tag": "EHASX3TBRQ",
    "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
      }
    ]
  }
}