{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "1BK2B286W3"
    },
    {
      "field": "about",
      "target": "BZPKCPCWTM"
    },
    {
      "field": "uses",
      "target": "BZPKCPCWTM"
    }
  ],
  "body": "\n## Summary\n\nA left integral in a [[Hopf algebra|7XFYP0N84H]] $H$ is an element $\\Lambda$ that absorbs left multiplication through the counit: $h \\Lambda = \\varepsilon(h) \\Lambda$ for all $h \\in H$.\nFor a finite group algebra $KG$, the sum of all group elements is an integral.\nIntegrals generalize averaging over a finite group and the Haar measure of a compact group.\nBy the [[Larson–Sweedler theorem|BZPKCPCWTM]], the left integrals of a finite-dimensional Hopf algebra form a one-dimensional space.\nSuch an $H$ is semisimple exactly when $\\varepsilon(\\Lambda) \\ne 0$ for a nonzero left integral $\\Lambda$.\n\n## Explanations\n\n### L1 human\n\nFor a finite group, the sum $\\sum_g g$ of all its elements does not change when it is multiplied by any element of the group, because multiplication only reorders the terms.\nAn integral is the Hopf algebra version of such an invariant sum.\nDividing it by the size of the group gives the averaging operator used to prove Maschke's theorem.\nThe criterion $\\varepsilon(\\Lambda) \\ne 0$ is the Hopf algebra form of the condition that the size of the group is invertible in the field.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "16T05"
    ],
    "name": "Integral of a Hopf algebra",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Hopf_algebra"
      }
    ],
    "tag": "RJA5026RGX"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/RJA5026RGX/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/RJA5026RGX.md",
  "msc": [
    "16T05"
  ],
  "name": "Integral of a Hopf algebra",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/RJA/RJA5026RGX.md",
  "status": null,
  "tag": "RJA5026RGX",
  "uri": "m2://RJA5026RGX",
  "url": "https://tamnd.github.io/math2/wiki/integral-of-a-hopf-algebra/",
  "writing": {
    "tag": "RJA5026RGX",
    "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
      }
    ]
  }
}