Nilmanifold

設 為一個冪零、連通、單連通 李群，且設 為 的一個離散子群，具有緊右商空間。則 被稱為 nilmanifold。