Diskrete Untergruppe

In der Mathematik spielen diskrete Untergruppen topologischer Gruppen eine wichtige Rolle in Topologie, Differentialgeometrie und Theorie der Lie-Gruppen.

Definition

Sei eine topologische Gruppe. Eine Untergruppe $\Gamma$ heißt diskret, wenn die induzierte Unterraumtopologie die diskrete Topologie ist, also alle Elemente isoliert sind: in einer hinreichend kleinen Umgebung eines beliebigen Elements $\gamma\in\Gamma$ liegen keine weiteren Elemente von $\Gamma$ .

Eine Darstellung $\rho \colon \Gamma \to GL(n,\mathbb {C} )$ einer (abstrakten) Gruppe $\Gamma$ heißt diskret, wenn das Bild $\rho (\Gamma )$ eine diskrete Untergruppe von $GL(n,\C)$ ist.

Beispiele

$\mathbb {Z} \subset \mathbb {R}$ ist eine diskrete Untergruppe
$\mathbb {Z} \subset \mathbb {C}$ ist eine diskrete Untergruppe
$\mathbb {Q} \subset \mathbb {C}$ ist keine diskrete Untergruppe
$GL(n,\mathbb {Z} )\subset GL(n,\mathbb {R} )$ ist eine diskrete Untergruppe

Eigenschaften

Eine diskrete Untergruppe einer Hausdorffschen topologischen Gruppe ist stets abgeschlossen.

Gitter

Sei eine lokalkompakte $\sigma$ -kompakte topologische Gruppe, $\pi :G\rightarrow \Gamma \backslash G$ die Projektion und $\mu$ das (bis auf einen konstanten Faktor eindeutige) Haarmaß. Für eine diskrete Untergruppe $\Gamma\subset G$ erzeugt das Haarmaß $\mu$ ein wohldefiniertes Maß $\mu _{\Gamma }$ auf $\Gamma \backslash G$ wie folgt: für alle Mengen $A\subset G$ mit $A\cap \gamma A=\emptyset \forall \gamma \in \Gamma -\left\{e\right\}$ definieren wir $\mu _{\Gamma }(\pi (A))=\mu (A)$ .

Ein Gitter ist eine diskrete Untergruppe $\Gamma\subset G$ , für die es einen Fundamentalbereich endlichen Volumens gibt, oder äquivalent: für die der Quotientenraum $\Gamma \backslash G$ endliches Volumen (bzgl. des Haarmaßes) hat.

Das Gitter heißt uniform oder kokompakt, wenn $\Gamma \backslash G$ kompakt ist.

Ein Gitter $\Gamma\subset G$ heißt reduzibel, wenn sich als direktes Produkt $G=G_{1}\times G_{2}$ zerlegen lässt, so dass es Gitter $\Gamma _{1}\subset G_{1},\Gamma _{2}\subset G_{2}$ gibt, für die $\Gamma _{1}\times \Gamma _{2}$ eine Untergruppe von endlichem Index in $\Gamma$ ist, und irreduzibel, wenn es eine solche Zerlegung nicht gibt.

Basierend auf einem Artikel in:

Wikipedia.de