{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $\\mathcal{V}$ be a [[variety|AJNZJD8442]] of signature $\\sigma$, and let $X$ be a nonempty set of variables.\nLet $T(X)$ be the [[term algebra|3YYKGWJJND]] of $\\sigma$ over $X$.\nLet $\\theta$ be the set of pairs $(s, t)$ of terms such that the [[identity|PKD440G2XW]] $s \\approx t$ holds in every algebra of $\\mathcal{V}$.\nThen:\n\n1. $\\theta$ is a congruence of $T(X)$, and the [[quotient algebra|N5KE7FH6CX]] $F = T(X) / \\theta$ belongs to $\\mathcal{V}$.\n2. With $\\eta(x) = x / \\theta$, the algebra $F$ is a [[free algebra|GTS4DRRMZR]] of $\\mathcal{V}$ on $X$. So for every $A \\in \\mathcal{V}$ and every map $f \\colon X \\to A$, there is exactly one homomorphism $h \\colon F \\to A$ with $h \\circ \\eta = f$.\n3. For terms $s, t$ over $X$, the elements $s / \\theta$ and $t / \\theta$ are equal if and only if $\\mathcal{V}$ satisfies $s \\approx t$.\n\n## Remarks\n\nThe map $f$ extends to a homomorphism $T(X) \\to A$ by evaluating terms, and its kernel contains $\\theta$ because $A$ satisfies every identity of $\\mathcal{V}$; this gives $h$.\nTo see $F \\in \\mathcal{V}$, choose, for each pair $(s, t) \\notin \\theta$, an algebra of $\\mathcal{V}$ and an assignment that separate $s$ and $t$.\nThe induced maps embed $F$ in the product of these algebras, and $\\mathcal{V}$ is [[closed under subalgebras and products|5083DHSK82]].\nExample: for $\\mathcal{V}$ the variety of commutative rings with identity, $F$ is the polynomial ring $\\Z[X]$, and the unique homomorphism is evaluation of polynomials.\nThe variable set must be nonempty only when $\\sigma$ has no constants and empty algebras are not allowed; otherwise $X = \\emptyset$ is fine and gives the initial algebra of $\\mathcal{V}$.\n\n## Explanations\n\n### L1 human\n\nEvery variety has free algebras on every set of generators.\nThey are built from formal expressions in the generators, where two expressions are identified exactly when the laws of the variety prove them equal.\nAny assignment of the generators to an algebra of the variety extends in one and only one way to a structure-preserving map.\n\n### L2 human\n\nThe theorem gives free groups, free modules, polynomial rings and free lattices by one construction.\nPart 3 says that the free algebra on countably many generators encodes all identities of $\\mathcal{V}$, which links free algebras with equational logic.\nEvery algebra $A \\in \\mathcal{V}$ is a quotient of $F_{\\mathcal{V}}(A)$, by extending the identity map of $A$; presentations by generators and relations come from this.\nIn categorical terms, the construction is a left adjoint to the forgetful functor from $\\mathcal{V}$ to sets.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "GTS4DRRMZR"
    ],
    "kind": "statement",
    "msc": [
      "08B20"
    ],
    "name": "Universal property of free algebras",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Free_object"
      }
    ],
    "tag": "3F2W916W64",
    "uses": [
      "GTS4DRRMZR",
      "AJNZJD8442",
      "3YYKGWJJND",
      "N5KE7FH6CX",
      "PKD440G2XW",
      "5083DHSK82"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/3F2W916W64/",
  "links": [
    {
      "field": "about",
      "target": "GTS4DRRMZR"
    },
    {
      "field": "uses",
      "target": "GTS4DRRMZR"
    },
    {
      "field": "uses",
      "target": "AJNZJD8442"
    },
    {
      "field": "uses",
      "target": "3YYKGWJJND"
    },
    {
      "field": "uses",
      "target": "N5KE7FH6CX"
    },
    {
      "field": "uses",
      "target": "PKD440G2XW"
    },
    {
      "field": "uses",
      "target": "5083DHSK82"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/3F2W916W64.md",
  "msc": [
    "08B20"
  ],
  "name": "Universal property of free algebras",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/3F2/3F2W916W64.md",
  "status": null,
  "tag": "3F2W916W64",
  "uri": "m2://3F2W916W64",
  "url": "https://tamnd.github.io/math2/wiki/universal-property-of-free-algebras/",
  "writing": {
    "tag": "3F2W916W64",
    "kind": "statement",
    "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
      }
    ]
  }
}