Math 2.0

Topological groups, Lie groups Definition

Nilpotent Lie group

Builds on Lie groupNilpotent groupLower central series

Definition

Let GG be a connected real or complex Lie group. Its lower central series is C1G=GC^1 G = G and Ck+1G=[G,CkG]C^{k+1} G = [G, C^k G] for k≥1k \ge 1, where [G,H][G, H] is the subgroup generated by the commutators ghg−1h−1g h g^{-1} h^{-1} with g∈Gg \in G and h∈Hh \in H. The group GG is a nilpotent Lie group if CkG={e}C^{k} G = \set{e} for some k≥1k \ge 1, that is, if GG is a nilpotent group.

Remarks

A connected Lie group is nilpotent if and only if its Lie algebra 𝔤\mathfrak{g} is a nilpotent Lie algebra, that is, the series 𝔤⊇[𝔤,𝔤]⊇[𝔤,[𝔤,𝔤]]⊇⋯\mathfrak{g} \supseteq [\mathfrak{g}, \mathfrak{g}] \supseteq [\mathfrak{g}, [\mathfrak{g}, \mathfrak{g}]] \supseteq \cdots reaches 00.

Example: the group NN of real upper triangular 3×33 \times 3 matrices with 11 on the diagonal. Writing [a,b,c][a, b, c] for the matrix with entries aa, bb above the diagonal and cc in the corner, a direct computation shows that the commutator of [a,b,c][a, b, c] and [a′,b′,c′][a', b', c'] is [0,0,ab′−a′b][0, 0, ab' - a'b]. So C2N={[0,0,c]}C^2 N = \set{[0, 0, c]}, which is the centre of NN, and C3N={e}C^3 N = \set{e}; NN is nilpotent.

Non-example: the group GG of affine maps x↦ax+bx \mapsto a x + b of ℝ\R with a>0a > 0, written (a,b)(a, b). The commutator of (a,0)(a, 0) and (1,t)(1, t) is (1,(a−1)t)(1, (a - 1)t), so C2GC^2 G is the group of all translations (1,b)(1, b), and then C3G=[G,C2G]C^3 G = [G, C^2 G] again contains every translation. So CkGC^k G is the translation group for all k≥2k \ge 2 and never trivial: GG is solvable but not nilpotent.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Lie group concept
  2. Lower central series concept
  3. Nilpotent group concept
  4. Nilpotent Lie group definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Nilpotent_group
About this page
TagS06VTCGCHN
URIm2://S06VTCGCHN
Kinddefinition
WritingW0 stub
MSC22E25, 22E15, 20F18
DefinesNilpotent Lie group
UsesLie group, Nilpotent group, Lower central series

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.