Post History

Neukirch - Algebraic Number Theory proposition 4.2 states that a subgroup of $\mathbb{R}^n$ is discrete if and only if it is a lattice. A lattice has a linearly independent basis by definition, so it has rank at most $n$.