{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "48AR35RY9R"
    },
    {
      "field": "uses",
      "target": "4JEDEJRXJW"
    },
    {
      "field": "uses",
      "target": "7N5NDD77MS"
    },
    {
      "field": "uses",
      "target": "7SP03R55HW"
    },
    {
      "field": "uses",
      "target": "97SRYBF41G"
    },
    {
      "field": "uses",
      "target": "BV2GCXPDDJ"
    },
    {
      "field": "uses",
      "target": "DJEK11CXXJ"
    },
    {
      "field": "uses",
      "target": "DQ14ERMRTZ"
    },
    {
      "field": "uses",
      "target": "FC34XP2DQV"
    },
    {
      "field": "uses",
      "target": "H4XGGXDTKN"
    },
    {
      "field": "uses",
      "target": "HJ1159KYP3"
    },
    {
      "field": "uses",
      "target": "T440VB9JJM"
    },
    {
      "field": "uses",
      "target": "WBYTAFMWJR"
    },
    {
      "field": "uses",
      "target": "XK1KDMCW4K"
    },
    {
      "field": "uses",
      "target": "XS41Y1Q01M"
    },
    {
      "field": "uses",
      "target": "Y5BF0G0T9X"
    },
    {
      "field": "about",
      "target": "97SRYBF41G"
    },
    {
      "field": "defines",
      "target": "W8XWKYWV1D"
    }
  ],
  "body": "\n## Summary\n\nA term operation of an algebra is an operation on the algebra obtained by [[evaluating|DH30WTA26T]] a [[term|6D3WA7N2W4]] in it.\nThe term operations are exactly the operations that can be built from the basic operations and the projections by composition.\nThey form the clone of the algebra, and two algebras with the same term operations behave alike for most questions of universal algebra.\n\n## Explanations\n\n### L1 human\n\nThe basic operations of an algebra are the ones it comes with, such as $+$ and $\\cdot$ in a ring.\nCombining them gives new operations, such as $(x, y) \\mapsto x \\cdot x + y$, and these are the term operations.\nIn a group, $(x, y) \\mapsto x y x^{-1}$ is a term operation, built from multiplication and inversion.\nFixed elements of the algebra may not be used as constants unless the signature names them.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "08A40"
    ],
    "name": "Term operation",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Clone_(algebra)"
      }
    ],
    "tag": "N9M2N27END"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/N9M2N27END/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/N9M2N27END.md",
  "msc": [
    "08A40"
  ],
  "name": "Term operation",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/N9M/N9M2N27END.md",
  "status": null,
  "tag": "N9M2N27END",
  "uri": "m2://N9M2N27END",
  "url": "https://tamnd.github.io/math2/wiki/term-operation/",
  "writing": {
    "tag": "N9M2N27END",
    "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
      }
    ]
  }
}