{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "1BK2B286W3"
    },
    {
      "field": "uses",
      "target": "3Q99FQH4QX"
    },
    {
      "field": "uses",
      "target": "3TGTNRBKW0"
    },
    {
      "field": "uses",
      "target": "5SRDQB4NG7"
    },
    {
      "field": "uses",
      "target": "6MH1DHMCPF"
    },
    {
      "field": "uses",
      "target": "856B6C7EE4"
    },
    {
      "field": "uses",
      "target": "BZPKCPCWTM"
    },
    {
      "field": "uses",
      "target": "DHCHJNHD02"
    },
    {
      "field": "uses",
      "target": "ESRDNKF6WJ"
    },
    {
      "field": "uses",
      "target": "FTQDGFRRS0"
    },
    {
      "field": "uses",
      "target": "JGTGXJB7V5"
    },
    {
      "field": "defines",
      "target": "49VHC2VWNF"
    },
    {
      "field": "about",
      "target": "856B6C7EE4"
    },
    {
      "field": "about",
      "target": "BZPKCPCWTM"
    },
    {
      "field": "about",
      "target": "DHCHJNHD02"
    },
    {
      "field": "specializes",
      "target": "AP2ZDXANKC"
    },
    {
      "field": "specializes",
      "target": "NCRPWS9W5R"
    },
    {
      "field": "instance_of",
      "target": "TKTMNJQCHM"
    }
  ],
  "body": "\n## Summary\n\nA Hopf algebra is a [[bialgebra|Q9HHVN606G]] with an [[antipode|PG3ECG5D0G]], a linear map that plays the role of taking inverses in a group.\nGroup algebras, coordinate rings of affine algebraic groups and universal enveloping algebras of Lie algebras are the main classical examples.\nQuantum groups are Hopf algebras that deform these examples.\nHopf algebras also appear in algebraic topology, as the cohomology of Lie groups and H-spaces, and in combinatorics and renormalization.\n\n## Explanations\n\n### L1 human\n\nA group has a product, an identity and inverses.\nA Hopf algebra copies all three in linear form: a multiplication, a comultiplication that splits elements, and an antipode that imitates $g \\mapsto g^{-1}$.\nIn the group algebra $KG$, the antipode sends each group element $g$ to $g^{-1}$, and the axiom $S(g)g = 1$ is just $g^{-1}g = 1$.\nThe extra structure lets one tensor representations together and take duals of representations, as one does for groups.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "16T05"
    ],
    "name": "Hopf algebra",
    "same_as": {
      "wikidata": "Q1627597",
      "wikipedia": "Hopf algebra"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Hopf_algebra"
      }
    ],
    "specializes": [
      "Q9HHVN606G"
    ],
    "tag": "7XFYP0N84H"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/7XFYP0N84H/",
  "links": [
    {
      "field": "specializes",
      "target": "Q9HHVN606G"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/7XFYP0N84H.md",
  "msc": [
    "16T05"
  ],
  "name": "Hopf algebra",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/7XF/7XFYP0N84H.md",
  "status": null,
  "tag": "7XFYP0N84H",
  "uri": "m2://7XFYP0N84H",
  "url": "https://tamnd.github.io/math2/wiki/hopf-algebra/",
  "writing": {
    "tag": "7XFYP0N84H",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}