Let $G$ be a connected Lie group. Let $\Gamma$ a lattice in $G$ not necessarily uniform (cocompact). Is it true that $\Gamma$ is finitely generated?



About finitely generated lattices in Lie groups
J. Lie Theory 30 (2020), no. 1, 33–40, arXiv:1903.04828 Gelander and Slutsky, "On the minimal size of a generating set for lattices in Lie groups", Corollary 1.6 says yes, and says it is "well known but non-trivial".


