{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nEvery [[locally compact group|AHV05ZBCYW]] $G$ has a closed connected normal subgroup, its [[identity component|SDQTNBDJ2H]] $G^\\circ$.\nThe quotient $G/G^\\circ$ is a [[totally disconnected|AW3J9AQSA0]] locally compact group.\nConnected locally compact groups are close to Lie groups by the solution of Hilbert's fifth problem.\nSo the study of general locally compact groups leads to the structure theory of totally disconnected ones.\nIts basic tools are [[van Dantzig's theorem|4E4RXKV9W3]] on compact open subgroups and the [[Cayley–Abels graphs|QWG66JE1JE]] of compactly generated groups.\nAnother is the scale function of an automorphism, introduced by George Willis.\n\n## Explanations\n\n### L1 human\n\nTotally disconnected locally compact groups include all discrete groups, the $p$-adic groups such as $\\mathrm{GL}_n(\\Q_p)$, and the automorphism groups of locally finite trees.\nSuch a group has many small compact open subgroups, which play the role that small neighbourhoods play in Lie groups.\nA compactly generated group of this kind acts nicely on a connected graph of finite degree, so it can be studied like a finitely generated group through its geometry.\nThe structure theory asks how such groups are built from simpler pieces, such as simple groups and compact groups.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "22D05",
      "20E08"
    ],
    "name": "Structure theory of totally disconnected locally compact groups",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Locally_compact_group"
      }
    ],
    "tag": "HR5MB30MV3"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/HR5MB30MV3/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/HR5MB30MV3.md",
  "msc": [
    "22D05",
    "20E08"
  ],
  "name": "Structure theory of totally disconnected locally compact groups",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/HR5/HR5MB30MV3.md",
  "status": null,
  "tag": "HR5MB30MV3",
  "uri": "m2://HR5MB30MV3",
  "url": "https://tamnd.github.io/math2/wiki/structure-theory-of-totally-disconnected-locally-compact-groups/",
  "writing": {
    "tag": "HR5MB30MV3",
    "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
      }
    ]
  }
}