I know an example of a finite volume homogeneous space which is not compact, $SL_2(\mathbb(R)) / SL_2(\mathbb{Z})$. But what about a Lie group with this property? Can it happen?
(The Lie group is assumed to have the Haar measure.)
I know an example of a finite volume homogeneous space which is not compact, $SL_2(\mathbb(R)) / SL_2(\mathbb{Z})$. But what about a Lie group with this property? Can it happen?
(The Lie group is assumed to have the Haar measure.)
Yes, it is true. Here is a more general statment:
Suppose that $G$ is a locally compact group with Haar measure $\mu$. Then $G$ is compact iff it has finite Haar measure. (A.5.1. In Kazhdan's Property (T) by Bekka, de la Harpe, Valette)
Proof that finite Haar measure implies $G$ is compact:
We use that open sets have positive measure in Haar measure. The converse is because compact sets have finite Haar measure.