Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose I have the Heisenberg group H say over the $p$-adic integers $\mathbb{Z}_p$, which is the set of $3\times 3$ uni-upper-trianglar matrices over $\mathbb{Z}_p$ . Its Lie algebra $h$ is the set of all $3\times 3$ strictly-upper-trianglar matrices over $\mathbb{Z}_p$.

The commutator relations of the presentation of $H$ carry over exactly to give the Lie bracket for $h$. My question is: does this hold for any arbitrary nilpotent Lie group G in place of the Heisenberg group?

share|cite|improve this question

$\newcommand\Lie{\mathrm{Lie}}$If we endow the Lie algebra $\Lie(G)$ of a unipotent algebraic Lie group $G$ over a field of characteristic zero with the product given by the Baker-Campbell-Hausdorff formula —it thereby becomes a Lie group— the exponential map $\Lie(G)\to G$ becomes an isomorphism.

This is what you are seeing in the case of the Heisenberg group. Since its nilpotency index is $2$, the B-H-C series collapses to a very short Lie polynomial.

share|cite|improve this answer
A useful keyword to search for in this context is Malcev completion. – Mariano Suárez-Alvarez Jan 10 '12 at 3:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.