{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "XA8CY1X2BE"
    }
  ],
  "body": "\n## Summary\n\nA matrix Lie group is a closed subgroup of the [[general linear group|0FCHE902D7]] $GL_n(\\C)$.\nBy the [[closed subgroup theorem|3NJGY8QSTE]], every matrix Lie group is a [[Lie group|7JBRGCVJRB]], and its Lie algebra can be computed with the [[matrix exponential|020M04FN1H]].\nMost Lie groups met in practice, such as the orthogonal, unitary and symplectic groups, are matrix Lie groups.\nSo they are a common entry point to Lie theory.\n\n## Explanations\n\n### L1 human\n\nA matrix Lie group is a set of invertible matrices that is closed under products and inverses.\nIt must also contain the limit of each convergent sequence of its elements, when that limit is invertible.\nThe rotation matrices of the plane form an example: products and inverses of rotations are rotations, and a limit of rotations is a rotation.\nWorking with matrices lets one do Lie theory with concrete calculations, using $e^A = I + A + A^2/2! + \\cdots$ in place of abstract constructions.\nNot every Lie group is of this kind, but the most important ones are.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "22E15",
      "22E60"
    ],
    "name": "Matrix Lie group",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Lie_group"
      }
    ],
    "specializes": [
      "7JBRGCVJRB"
    ],
    "tag": "36KSZ7GA5S"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/36KSZ7GA5S/",
  "links": [
    {
      "field": "specializes",
      "target": "7JBRGCVJRB"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/36KSZ7GA5S.md",
  "msc": [
    "22E15",
    "22E60"
  ],
  "name": "Matrix Lie group",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/36K/36KSZ7GA5S.md",
  "status": null,
  "tag": "36KSZ7GA5S",
  "uri": "m2://36KSZ7GA5S",
  "url": "https://tamnd.github.io/math2/wiki/matrix-lie-group/",
  "writing": {
    "tag": "36KSZ7GA5S",
    "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
      }
    ]
  }
}