{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "1H650VRZVT"
    },
    {
      "field": "uses",
      "target": "6KFS240R42"
    },
    {
      "field": "uses",
      "target": "73DXSAH73B"
    },
    {
      "field": "uses",
      "target": "BQ0AC9QX7E"
    },
    {
      "field": "uses",
      "target": "FSZ6PCKN0F"
    },
    {
      "field": "uses",
      "target": "GF1RK91VED"
    },
    {
      "field": "uses",
      "target": "JFJYSSWSSR"
    },
    {
      "field": "uses",
      "target": "MA20X7JCET"
    },
    {
      "field": "specializes",
      "target": "1V9GKBY29Y"
    },
    {
      "field": "about",
      "target": "BQ0AC9QX7E"
    },
    {
      "field": "about",
      "target": "GF1RK91VED"
    },
    {
      "field": "defines",
      "target": "H4XGGXDTKN"
    }
  ],
  "body": "\n## Summary\n\nA clone on a set $A$ is a set of finitary operations on $A$ that contains all [[projections|769B35T6WG]] and is closed under composition.\nThe term operations of any algebra with universe $A$ form a clone, and every clone arises in this way.\nClones let one compare algebras by what they can express, regardless of which basic operations were chosen.\nTwo algebras on the same set with the same clone of term operations have the same subalgebras, congruences and automorphisms.\n\n## Explanations\n\n### L1 human\n\nStart with some operations on a set and allow yourself to plug operations into each other, repeat variables and ignore variables.\nEverything you can build in this way forms a clone.\nFor example, on $\\set{0, 1}$ the operations $\\wedge$ and $\\neg$ generate a clone that contains $x \\vee y = \\neg(\\neg x \\wedge \\neg y)$.\nIn fact this clone contains every operation on $\\set{0, 1}$.\nA clone records the expressive power of a family of operations, not the particular family.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "08A40"
    ],
    "name": "Clone",
    "same_as": {
      "wikidata": "Q838048",
      "wikipedia": "Clone (algebra)"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Clone_(algebra)"
      }
    ],
    "tag": "PTKR703G6A"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/PTKR703G6A/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/PTKR703G6A.md",
  "msc": [
    "08A40"
  ],
  "name": "Clone",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/PTK/PTKR703G6A.md",
  "status": null,
  "tag": "PTKR703G6A",
  "uri": "m2://PTKR703G6A",
  "url": "https://tamnd.github.io/math2/wiki/clone/",
  "writing": {
    "tag": "PTKR703G6A",
    "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
      }
    ]
  }
}