{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nIn the 2-ary case, there can be zero or one identity elements: the [[empty set|0ECVK59Y03]] is a 2-ary group, since the empty set is both a semigroup and a quasigroup, and every inhabited 2-ary group is a group. In *n*-ary groups for *n* ≥ 3 there can be zero, one, or many identity elements.\n\nAn *n*-ary groupoid (*G*, *f*) with *f* = (*x*\u003csub\u003e1\u003c/sub\u003e ◦ *x*\u003csub\u003e2\u003c/sub\u003e ◦ ⋯ ◦ *x*\u003csub\u003e*n*\u003c/sub\u003e), where (*G*, ◦) is a group is called reducible or derived from the group (*G*, ◦). In 1928 Dörnte  published the first main results: An *n*-ary groupoid that is reducible is an *n*-ary group, however for all *n* \u003e 2 there exist inhabited *n*-ary groups that are not reducible. In some *n*-ary groups there exists an element *e* (called an *n*-ary identity or neutral element) such that any string of *n*-elements consisting of all *e*'s, apart from one place, is mapped to the element at that place. E.g., in a quaternary group with identity *e*, *eeae* = *a* for every *a*.\n\nAn *n*-ary group containing a neutral element is reducible. Thus, an *n*-ary group that is not reducible does not contain such elements. There exist *n*-ary groups with more than one neutral element. If the set of all neutral elements of an *n*-ary group is non-empty it forms an *n*-ary subgroup.\n\nSome authors include an identity in the definition of an *n*-ary group but as mentioned above such *n*-ary operations are just repeated binary operations. Groups with intrinsically *n*-ary operations do not have an [[identity element|07WYQPB8E3]].\n",
  "commit": "f59dc232b275d0af9ce0d36319ccb95f730f90a0",
  "front": {
    "inventory": [
      "VF1W49P9KE"
    ],
    "kind": "statement",
    "name": "Identity / neutral elements",
    "role": "proposition",
    "sources": [
      {
        "locator": "N-ary group, section Axioms \u003e Identity / neutral elements",
        "mention": "wikipedia://en/23340612#5WCX",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:23340612@r1359521036"
      }
    ],
    "tag": "7ESVWM5KM3"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/7ESVWM5KM3/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/7ESVWM5KM3.md",
  "msc": null,
  "name": "Identity / neutral elements",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/7ES/7ESVWM5KM3.md",
  "status": null,
  "tag": "7ESVWM5KM3",
  "uri": "m2://7ESVWM5KM3",
  "url": "https://math2.tamnd.com/wiki/identity-neutral-elements/",
  "writing": {
    "tag": "7ESVWM5KM3",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}