{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "63AMHDV2HX"
    },
    {
      "field": "uses",
      "target": "6WB6TKE70H"
    },
    {
      "field": "uses",
      "target": "B33WNK1SVN"
    },
    {
      "field": "uses",
      "target": "E15H5E8FP4"
    },
    {
      "field": "uses",
      "target": "FHKGR7MD1A"
    },
    {
      "field": "uses",
      "target": "M9X7Y3GZZD"
    },
    {
      "field": "uses",
      "target": "YHFP9HGBTT"
    },
    {
      "field": "defines",
      "target": "QEHV2DAHSW"
    },
    {
      "field": "specializes",
      "target": "XJS07AJ50Y"
    }
  ],
  "body": "\n## Summary\n\nA reductive Lie group is a [[Lie group|7JBRGCVJRB]] whose Lie algebra is a reductive Lie algebra.\nSuch a Lie algebra is the direct sum of its centre and a semisimple Lie algebra.\nThe class contains the semisimple groups, the tori, and the general linear groups $GL_n(\\R)$ and $GL_n(\\C)$, as well as every compact Lie group.\nIt is the natural setting for much of representation theory and harmonic analysis.\nOne reason is that Levi factors of parabolic subgroups of reductive groups are again reductive, while those of semisimple groups need not be semisimple.\nAuthors differ on the extra conditions they impose, such as finitely many components or conditions on the adjoint action.\n\n## Explanations\n\n### L1 human\n\nA reductive Lie group is a group that is semisimple up to a commutative part that sits in the centre.\nThe basic example is $GL_n(\\R)$: every invertible matrix is a scalar times a matrix of determinant $\\pm 1$, and the scalars commute with everything.\nThe Lie algebra of $GL_n(\\R)$ splits as the scalar matrices plus the trace-zero matrices.\nThe group of upper triangular invertible matrices is not reductive: its strictly upper triangular part is a non-central normal piece that cannot be split off.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "22E46",
      "22E15"
    ],
    "name": "Reductive Lie group",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Reductive_group"
      }
    ],
    "specializes": [
      "7JBRGCVJRB"
    ],
    "tag": "42ZCE14AD2"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/42ZCE14AD2/",
  "links": [
    {
      "field": "specializes",
      "target": "7JBRGCVJRB"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/42ZCE14AD2.md",
  "msc": [
    "22E46",
    "22E15"
  ],
  "name": "Reductive Lie group",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/42Z/42ZCE14AD2.md",
  "status": null,
  "tag": "42ZCE14AD2",
  "uri": "m2://42ZCE14AD2",
  "url": "https://tamnd.github.io/math2/wiki/reductive-lie-group/",
  "writing": {
    "tag": "42ZCE14AD2",
    "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
      }
    ]
  }
}