gr.group theory - decreasing chain of subgroups in the Heisenberg group

Assuming this is the discrete Heisenberg group $H=H_3({mathbb Z})$, as in my comment above, then here is another way of looking at Mariano's answer (I think). Take any sequence of positive integers
$n_1 < n_2 < dots$ where $n_i vert n_{i+1}$ for all $i$, and put

$$H_i = H_3(n_i{mathbb Z})$$

(Mariano's answer corresponds to taking $n_i = 2^i$.)

• Next reference request - Computing the index of a Lie algebra: what is known beyond the reductive case?
• Previous ct.category theory - If F is left adjoint to G, when does FG preserve limits? When do counits interchange with limits?