# Lie algebra of a real Lie group

From Groupprops

## Contents |

This article gives a basic definition in the following area: Lie theory

View other basic definitions in Lie theory |View terms related to Lie theory |View facts related to Lie theory

## Definition

Suppose is a real Lie group, i.e., a Lie group over the field of real numbers . The **Lie algebra** of is a Lie algebra over defined as follows: it is the collection of all left--invariant derivations on (viewed as a differential manifold). The structures are described in the table below:

Item | Description |
---|---|

underlying set | All left--invariant derivations on , or equivalently, all left--invariant vector fields. Here, a derivation on means a derivation of its sheaf of infinitely differentiable functions. Further, because of left--invariance, this set can be identified canonically with the tangent space at the identity. |

addition and scalar multiplication | pointwise addition and scalar multiplication of derivations or vector fields. |

Lie bracket | , where the multiplication here is obtained by composing derivations. Note that the composite of two derivations is a second-order differential operator and usually not a derivation, because it fails the Leibniz rule, but the Lie bracket as defined here is a derivation. |

Although the definition here uses *left* invariance, an equivalent definition using *right* invariance gives the same Lie algebra because every Lie group is naturally isomorphic to its opposite Lie group via the inverse map (a Lie group version of the fact that every group is naturally isomorphic to its opposite group via the inverse map).

## Related notions

- Lie algebra of an algebraic group: This notion is defined for an algebraic group over
*any*field. It turns out that over the field of real numbers, the Lie algebra of an algebraic group coincides with the Lie algebra of the corresponding real Lie group.`Further information: Lie algebra of real algebraic group equals Lie algebra of corresponding real Lie group` - Lie algebra of a formal group law