Let be the subgroup whose upper-left block is . It is a finitely generated nilpotent subgroup of the integer upper unitriangular group and is normal in . The block-diagonal matrix
generates an infinite cyclic quotient, so
Finitely generated nilpotent groups are polycyclic, and an extension of polycyclic groups is polycyclic. Hence is polycyclic.
Inside , retain only and the entries in positions and . They form a subgroup
The characteristic polynomial of is , so its eigenvalues are
One has modulus greater than one, and the resulting semidirect product has exponential growth. Every finitely generated virtually nilpotent group has polynomial growth, as does each of its finitely generated subgroups. Therefore cannot be virtually nilpotent.