Can someone explain me, what is the meaning of the term "Compact Fundamental Domain" in the following theorem?
"Every discrete group of isometries acting on the n-dimensional euelidean space R^n with compact fundamental domain contains n linearly independent translations" ?
Thanks in advance !