{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nIn mathematical finite group theory, the **Dempwolff group** is a finite group of order 319979520 = 2\u003csup\u003e15\u003c/sup\u003e·3\u003csup\u003e2\u003c/sup\u003e·5·7·31, that is the unique nonsplit extension $2^{5\\,.}\\mathrm{GL}_{5}(\\mathbb{F}_{2})$ of $\\mathrm{GL}_{5}(\\mathbb{F}_{2})$ by its natural module of order $2^5$. The uniqueness of such a nonsplit extension was shown by (Dempwolff 1972), and the existence by (Thompson 1976), who showed using some computer calculations of (Smith 1976) that the Dempwolff group is contained in the compact Lie group $E_{8}$ as the subgroup fixing a certain lattice in the Lie algebra of $E_{8}$, and is also contained in the Thompson sporadic group (the full automorphism group of this lattice) as a maximal subgroup.\n",
  "commit": "a799a9852bcfeae9dc83faa3bef60208bb53686b",
  "front": {
    "inventory": [
      "TEW9VPVSKQ"
    ],
    "kind": "concept",
    "name": "Dempwolff group",
    "same_as": {
      "wikidata": "Q5256410",
      "wikipedia": "Dempwolff group"
    },
    "sources": [
      {
        "locator": "Dempwolff group",
        "mention": "wikipedia://en/29678093",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:29678093@r1373994622"
      }
    ],
    "tag": "84CFX581BY"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/84CFX581BY/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/84CFX581BY.md",
  "msc": null,
  "name": "Dempwolff group",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/84C/84CFX581BY.md",
  "status": null,
  "tag": "84CFX581BY",
  "uri": "m2://84CFX581BY",
  "url": "https://math2.tamnd.com/wiki/dempwolff-group/",
  "writing": {
    "tag": "84CFX581BY",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}