I have been trying to find for days a non-abelian nilpotent Lie Group that is not simply connected nor product of Lie Groups, but haven't been able to succeed. Is there an example of this, or hints to this group, or is it fundamentally impossible?
Cheers and thanks.
The typical answer is a sort of Heisenberg group, presented as a quotient (by a normal subgroup) $$ H \;=\; \{\pmatrix{1 & a & b \cr 0 & 1 & c\cr 0 & 0& 1}:a,b,c\in \mathbb R\} \;\bigg/\; \{\pmatrix{1 & 0 & b \cr 0 & 1 & 0\cr 0 & 0& 1}:b\in \mathbb Z\} $$
Edit: To certify the non-simple-connectedness, note that the group of upper-triangular unipotent matrices is simply connected, and that the indicated subgroup is discrete, so this Heisenberg group has universal covering group isomorphic to that discrete subgroup, and $\pi_1$ of the quotient (the Heisenberg group) is isomorphic to that covering group.