Euklidischer Raum/Gitter/Restklassengruppe/Fakt

Zu einem Gitter  $\mathrm{\Gamma }=\mathbb{Z}{v}_1\oplus \cdots \oplus \mathbb{Z}{v}_n\subseteq {ℝ}^n$ 

ist die topologische Restklassengruppe ${ℝ}^n/\Gamma$ isomorph zum $n$-dimensionalen Torus $S^1\times \cdots \times S^1$ (mit $n$ Faktoren).

Zum Beweis, Alternativen Beweis erstellen