{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "BV2GCXPDDJ"
    }
  ],
  "body": "\n## Summary\n\nA discriminator variety is a [[variety|AJNZJD8442]] generated by algebras that share one term acting as the [[ternary discriminator|72PG6XCQ7D]] on each of them.\nBoolean algebras, the varieties generated by a finite field, and the varieties generated by a quasi-primal algebra are examples.\nDiscriminator varieties are arithmetical, and each of their subdirectly irreducible members is simple.\nTheir algebras can be studied as Boolean products of simple algebras, much as Boolean algebras are studied through Stone spaces.\n\n## Explanations\n\n### L1 human\n\nIn some algebras one can write, with the given operations, a formula that tests whether two elements are equal.\nA discriminator variety is built from algebras that all use the same formula for this test.\nThe two-element Boolean algebra is the basic example: the test is \"if $x$ and $y$ agree, output $z$, else output $x$\", and Boolean operations can express it.\nHaving such a test makes the variety behave much like the variety of Boolean algebras.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "08B05",
      "08B26"
    ],
    "name": "Discriminator variety",
    "sources": [
      {
        "book": "isbn:9780387905785"
      }
    ],
    "specializes": [
      "GW78A05TNA"
    ],
    "tag": "MC9MX40Z7S"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/MC9MX40Z7S/",
  "links": [
    {
      "field": "specializes",
      "target": "GW78A05TNA"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/MC9MX40Z7S.md",
  "msc": [
    "08B05",
    "08B26"
  ],
  "name": "Discriminator variety",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/MC9/MC9MX40Z7S.md",
  "status": null,
  "tag": "MC9MX40Z7S",
  "uri": "m2://MC9MX40Z7S",
  "url": "https://tamnd.github.io/math2/wiki/discriminator-variety/",
  "writing": {
    "tag": "MC9MX40Z7S",
    "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
      }
    ]
  }
}