Nilmanifold

设 为一个幂零、连通、单连通 李群，且设 为 的一个离散子群，具有紧右商空间。则 被称为 nilmanifold。