{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $G$ be a connected and simply connected real [[Lie group|7JBRGCVJRB]] with Lie algebra $\\mathfrak{g}$.\nLet $\\mathfrak{r}$ be the radical of $\\mathfrak{g}$, its largest solvable ideal, and let $R$ be the connected Lie subgroup of $G$ with Lie algebra $\\mathfrak{r}$.\nThen the following hold.\n\n1. The subgroup $R$ is closed, normal, simply connected and [[solvable|9CNSVFQ801]].\n2. There is a closed, simply connected, [[semisimple|XJS07AJ50Y]] Lie subgroup $S$ of $G$ such that $G = R \\rtimes S$, that is, $G = RS$ and $R \\cap S = \\set{e}$.\n3. If $S'$ is a second subgroup as in 2, then $S' = x S x^{-1}$ for some $x \\in R$.\n\nA subgroup $S$ as in 2 is a *Levi subgroup* of $G$.\n\n## Remarks\n\nThe proof starts from the Levi decomposition of the Lie algebra, $\\mathfrak{g} = \\mathfrak{r} \\rtimes \\mathfrak{s}$ with $\\mathfrak{s}$ a semisimple subalgebra.\nThe quotient $G/R$ is simply connected with Lie algebra $\\mathfrak{s}$, so the connected subgroup $S$ with Lie algebra $\\mathfrak{s}$ maps isomorphically onto $G/R$.\nThus $S$ is the image of a continuous section of $G \\to G/R$, which gives 2.\nPart 3 comes from Malcev's theorem that two Levi subalgebras are conjugate by $\\exp(\\operatorname{ad} z)$ for some $z$ in $\\mathfrak{r}$; then $x = \\exp z$ works.\n\nExample: the group $G$ of affine maps $v \\mapsto Av + b$ of $\\R^2$ with $A \\in \\mathrm{SL}_2(\\R)$ has radical the translations $R \\cong \\R^2$ and Levi subgroup $\\mathrm{SL}_2(\\R)$.\nThis $G$ is not simply connected; its [[universal cover|Y1YPE6PM52]] is $\\R^2 \\rtimes \\widetilde{\\mathrm{SL}}_2(\\R)$.\n\nSimple connectedness is needed for 2.\nFor a general connected Lie group, a Levi subgroup $S$ still exists and $G = RS$, but $R \\cap S$ need not be trivial, and $S$ need not be closed.\n\n## Explanations\n\n### L1 human\n\nEvery connected Lie group is built from two kinds of pieces.\nOne piece is solvable, close to a group of upper triangular matrices.\nThe other piece is semisimple, like a group of rotations or $\\mathrm{SL}_n$.\nThe theorem says that, for simply connected groups, the group is exactly a twisted product of one piece of each kind.\n\n### L2 human\n\nThe decomposition reduces many questions about Lie groups to two separate theories.\nSolvable groups are studied by induction on dimension, using Lie's theorem and the structure of nilpotent groups.\nSemisimple groups are studied with root systems, the Cartan and Iwasawa decompositions, and Weyl groups.\nThe Lie algebra version is due to Levi, and the conjugacy statement to Malcev.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "7JBRGCVJRB"
    ],
    "kind": "statement",
    "msc": [
      "22E15",
      "17B05"
    ],
    "name": "Levi–Malcev decomposition",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Levi_decomposition"
      }
    ],
    "tag": "DYXEBVDC6W",
    "uses": [
      "7JBRGCVJRB",
      "9CNSVFQ801",
      "XJS07AJ50Y",
      "Y1YPE6PM52"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/DYXEBVDC6W/",
  "links": [
    {
      "field": "about",
      "target": "7JBRGCVJRB"
    },
    {
      "field": "uses",
      "target": "7JBRGCVJRB"
    },
    {
      "field": "uses",
      "target": "9CNSVFQ801"
    },
    {
      "field": "uses",
      "target": "XJS07AJ50Y"
    },
    {
      "field": "uses",
      "target": "Y1YPE6PM52"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/DYXEBVDC6W.md",
  "msc": [
    "22E15",
    "17B05"
  ],
  "name": "Levi–Malcev decomposition",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/DYX/DYXEBVDC6W.md",
  "status": null,
  "tag": "DYXEBVDC6W",
  "uri": "m2://DYXEBVDC6W",
  "url": "https://tamnd.github.io/math2/wiki/levi-malcev-decomposition/",
  "writing": {
    "tag": "DYXEBVDC6W",
    "kind": "statement",
    "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
      }
    ]
  }
}