{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "2WADQVGPD4"
    },
    {
      "field": "uses",
      "target": "DFNM3BGMAY"
    },
    {
      "field": "uses",
      "target": "V8PEAAE4K1"
    },
    {
      "field": "defines",
      "target": "AKMASKR0ZG"
    },
    {
      "field": "about",
      "target": "DFNM3BGMAY"
    }
  ],
  "body": "\n## Summary\n\nA quasivariety is a class of algebras of one signature that is axiomatized by [[quasi-identities|94GVY3APPQ]].\nEvery [[variety|AJNZJD8442]] is a quasivariety, but quasivarieties need not be closed under homomorphic images.\nBy [[Mal'cev's characterization|DFNM3BGMAY]], they are the classes closed under isomorphic copies, subalgebras, direct products and ultraproducts.\nThey are the algebraic counterpart of universal Horn logic and appear in algebraic logic, where many logics are described by quasivarieties rather than varieties.\n\n## Explanations\n\n### L1 human\n\nA variety is described by equations that must always hold.\nA quasivariety is described by conditional equations: \"if these equations hold, then that one holds too\".\nTorsion-free groups form a quasivariety: for each $n \\ge 1$, the rule \"if $x^n = 1$ then $x = 1$\" is a quasi-identity.\nThey do not form a variety, because the torsion-free group $\\Z$ has the quotient $\\Z / 2\\Z$, which has torsion.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "08C15",
      "03C52"
    ],
    "name": "Quasivariety",
    "same_as": {
      "wikidata": "Q2752716",
      "wikipedia": "Quasivariety"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Quasivariety"
      }
    ],
    "specializes": [
      "EEAJ7AXBCT",
      "9A4CYWXPEA"
    ],
    "tag": "WRXEKT4NQS"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/WRXEKT4NQS/",
  "links": [
    {
      "field": "specializes",
      "target": "EEAJ7AXBCT"
    },
    {
      "field": "specializes",
      "target": "9A4CYWXPEA"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/WRXEKT4NQS.md",
  "msc": [
    "08C15",
    "03C52"
  ],
  "name": "Quasivariety",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/WRX/WRXEKT4NQS.md",
  "status": null,
  "tag": "WRXEKT4NQS",
  "uri": "m2://WRXEKT4NQS",
  "url": "https://tamnd.github.io/math2/wiki/quasivariety/",
  "writing": {
    "tag": "WRXEKT4NQS",
    "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
      }
    ]
  }
}