A Hirsch length inequality

Sam Tertooy

Let $H$ and $K$ be subgroups of a virtually polycyclic group $G$. We prove the Hirsch length inequality $$h(H)+h(K)\le h(H\cap K)+h(G).$$ We show that equality holds when the num…