# Lie group, nilpotent

A Lie group that is nilpotent as an abstract group (cf. Nilpotent group). An Abelian Lie group is nilpotent. If $F = \{ V _{i} \}$ is a flag in a finite-dimensional vector space $V$ over a field $K$ , then $$N (F \ ) = \{ {g \in \mathop{\rm GL}\nolimits (V)} : { g v \equiv v \mathop{\rm mod}\nolimits \ V _{i} \textrm{ for all } v \in V _{i} , i \geq 1} \}$$ is a nilpotent algebraic group over $K$ ; in a basis compatible with $F$ its elements are represented by triangular matrices with ones on the main diagonal. If $F$ is a complete flag (that is, if $\mathop{\rm dim}\nolimits \ V _{k} = k$ ), then the matrix nilpotent Lie group $N ( n , k )$ corresponding to $N (F \ )$ consists of all matrices of order $n = \mathop{\rm dim}\nolimits \ V$ of the form mentioned above.

If $K$ is a complete normed field, then $N (F \ )$ is a nilpotent Lie group over $K$ . Its Lie algebra is $\mathfrak n (F \ )$ (see Lie algebra, nilpotent). More generally, the Lie algebra of a Lie group $G$ over a field $K$ of characteristic 0 is nilpotent if and only if the connected component $G _{0}$ of the identity of $G$ is nilpotent. This makes it possible to carry over to nilpotent Lie groups the properties of nilpotent Lie algebras (see , , ). The group version of Engel's theorem admits the following strengthening (Kolchin's theorem): If $G$ is a subgroup of $\mathop{\rm GL}\nolimits (V)$ , where $V$ is a finite-dimensional vector space over an arbitrary field $K$ , and if every $g \in G$ is unipotent, then there is a complete flag $F$ in $V$ such that $G \subset N (F \ )$ (and $G$ automatically turns out to be nilpotent) (see ).

Nilpotent Lie groups are solvable, so the properties of solvable Lie groups carry over them, and often in a strengthened from, since every nilpotent Lie group is triangular. A connected Lie group $G$ is nilpotent if and only if in canonical coordinates (see Lie group) the group operation in $G$ is written polynomially . Every simply-connected real nilpotent Lie group $G$ is isomorphic to an algebraic group, and moreover, to an algebraic subgroup of $N (n ,\ \mathbf R )$ .

A faithful representation of $G$ in $N ( n ,\ \mathbf R )$ can be chosen so that the automorphism group $\mathop{\rm Aut}\nolimits \ G$ can be imbedded in $\mathop{\rm GL}\nolimits ( n ,\ \mathbf R )$ as the normalizer of the image of $G$ (see ).

If $G$ is a connected matrix real nilpotent Lie group, then it splits into the direct product of a compact Abelian Lie group and a simply-connected Lie group. A connected linear algebraic group $G$ over a field of characteristic 0 splits into the direct product of an Abelian normal subgroup consisting of the semi-simple elements and a normal subgroup consisting of the unipotent elements .

Nilpotent Lie groups were formerly called special Lie groups or Lie groups of rank 0. In the representation theory of semi-simple Lie groups, when studying discrete subgroups of such groups, substantial use was made of horospherical Lie groups that are nilpotent Lie groups.

How to Cite This Entry:
Lie group, nilpotent. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lie_group,_nilpotent&oldid=44232
This article was adapted from an original article by V.V. Gorbatsevich (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article