{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "M13HAQSHEM"
    },
    {
      "field": "uses",
      "target": "P43WKB4372"
    }
  ],
  "body": "\n## Statement\n\nLet $\\mathfrak{g}$ be a finite-dimensional Lie algebra over $\\R$.\nThen there is a connected and simply connected real [[Lie group|7JBRGCVJRB]] $G$ whose Lie algebra is isomorphic to $\\mathfrak{g}$.\nHere the Lie algebra of $G$ is the algebra of [[left-invariant vector fields|SNA3DVPK0C]] on $G$.\nSuch a group $G$ is unique up to isomorphism of Lie groups.\n\n## Remarks\n\nOne proof uses Ado's theorem: $\\mathfrak{g}$ is isomorphic to a Lie subalgebra of $\\mathfrak{gl}_n(\\R)$ for some $n$.\nThe connected Lie subgroup of $GL_n(\\R)$ with Lie algebra $\\mathfrak{g}$ is then a Lie group with Lie algebra $\\mathfrak{g}$, and its [[universal covering group|SWW2993CVJ]] is simply connected.\nUniqueness follows because a Lie algebra isomorphism between Lie algebras of simply connected groups integrates to a Lie group isomorphism.\nExample: the Lie algebra $\\R$ with zero bracket gives $G = \\R$; the circle group has the same Lie algebra but is not simply connected, since its [[fundamental group|S1XK3HXHFX]] is $\\Z$.\nThe group $G$ need not be a group of matrices: the universal cover of $SL_2(\\R)$ has no faithful finite-dimensional representation.\nIn infinite dimension the analogue fails: there are Banach Lie algebras that are not the Lie algebra of any Banach Lie group.\n\n## Explanations\n\n### L1 human\n\nA Lie algebra is a vector space with a bracket, the infinitesimal shadow of a Lie group.\nThe theorem says that every such shadow, in finite dimension, really comes from a group.\nAmong all groups with the given shadow there is a best one, the simply connected one, and it is unique.\n\n### L2 human\n\nWith the correspondence between homomorphisms, this theorem shows that taking the Lie algebra is an equivalence between connected simply connected Lie groups and finite-dimensional real Lie algebras.\nEvery other connected Lie group with Lie algebra $\\mathfrak{g}$ is a quotient $G / \\Gamma$ of the simply connected one by a discrete central subgroup $\\Gamma$.\nSo classifying connected Lie groups reduces to classifying Lie algebras and the discrete subgroups of the centres of the simply connected groups.\nThe name comes from Lie's work, where the third of his fundamental theorems was a local result about infinitesimal transformations.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "7JBRGCVJRB"
    ],
    "kind": "statement",
    "msc": [
      "22E60",
      "22E15"
    ],
    "name": "Lie's third theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q15080987",
      "wikipedia": "Lie's third theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Lie%27s_third_theorem"
      }
    ],
    "tag": "P6QNEK44RX",
    "uses": [
      "7JBRGCVJRB",
      "SNA3DVPK0C",
      "S1XK3HXHFX",
      "SWW2993CVJ"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/P6QNEK44RX/",
  "links": [
    {
      "field": "about",
      "target": "7JBRGCVJRB"
    },
    {
      "field": "uses",
      "target": "7JBRGCVJRB"
    },
    {
      "field": "uses",
      "target": "SNA3DVPK0C"
    },
    {
      "field": "uses",
      "target": "S1XK3HXHFX"
    },
    {
      "field": "uses",
      "target": "SWW2993CVJ"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/P6QNEK44RX.md",
  "msc": [
    "22E60",
    "22E15"
  ],
  "name": "Lie's third theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/P6Q/P6QNEK44RX.md",
  "status": null,
  "tag": "P6QNEK44RX",
  "uri": "m2://P6QNEK44RX",
  "url": "https://tamnd.github.io/math2/wiki/lies-third-theorem/",
  "writing": {
    "tag": "P6QNEK44RX",
    "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
      }
    ]
  }
}