{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "5W801R7ZF5"
    },
    {
      "field": "uses",
      "target": "J9BZ6ZWGH6"
    },
    {
      "field": "defines",
      "target": "WZ157RXTNV"
    }
  ],
  "body": "\n## Summary\n\nA locally finite variety is a [[variety|AJNZJD8442]] of algebras in which every finitely generated member is finite.\nEquivalently, its free algebras on finitely many generators are finite.\nMany structural results on finite algebras, such as those of tame congruence theory, are stated for locally finite varieties.\n\n## Explanations\n\n### L1 human\n\nIn some kinds of algebra, a few elements can only produce finitely many new elements by the operations.\nA variety is locally finite when this happens for every finite set of starting elements in every algebra of the variety.\nBoolean algebras are an example: $n$ elements generate a Boolean algebra with at most $2^{2^n}$ elements.\nGroups are not an example, since one element of infinite order already generates the infinite group $\\Z$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "08B05",
      "08B20"
    ],
    "name": "Locally finite variety",
    "same_as": {
      "wikidata": "Q6664684",
      "wikipedia": "Locally finite variety"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Locally_finite_variety"
      }
    ],
    "specializes": [
      "AJNZJD8442"
    ],
    "tag": "8QPW65PZVW"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/8QPW65PZVW/",
  "links": [
    {
      "field": "specializes",
      "target": "AJNZJD8442"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/8QPW65PZVW.md",
  "msc": [
    "08B05",
    "08B20"
  ],
  "name": "Locally finite variety",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/8QP/8QPW65PZVW.md",
  "status": null,
  "tag": "8QPW65PZVW",
  "uri": "m2://8QPW65PZVW",
  "url": "https://tamnd.github.io/math2/wiki/locally-finite-variety/",
  "writing": {
    "tag": "8QPW65PZVW",
    "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
      }
    ]
  }
}