Kommensurabilität (Mathematik)

In der Mathematik wird der Begriff Kommensurabilität in verschiedenen Zusammenhängen verwendet, neben der klassischen Verwendung (siehe Inkommensurabilität (Mathematik)) zum Beispiel auch in Gruppentheorie und Topologie.

Klassische Verwendung des Begriffs Kommensurabilität

Vorlage:Hauptartikel Zwei reelle Zahlen a und b heißen kommensurabel (lat. zusammen messbar), wenn sie ganzzahlige Vielfache einer geeigneten dritten reellen Zahl c sind.

Diese Bedingung ist (für $b=0$) äquivalent dazu, dass das Verhältnis $x$ von $a$ und $b$ eine rationale Zahl ist:

$\frac{a}{b}=x\in \mathbb{Q}$.

(Außerdem ist $b=0$ zu jeder reellen Zahl kommensurabel.)

Zum Beispiel sind alle rationalen Zahlen zueinander kommensurabel. Die Seite $a$ eines Quadrats und die Länge $d$ seiner Diagonalen sind inkommensurabel, denn nach dem Satz des Pythagoras ist $\frac{d}{a}=\sqrt{2}$, und die Annahme, dass dies eine Bruchzahl ist, lässt sich widerlegen. Hingegen sind $\sqrt{2}$ und $2\sqrt{2}$ zueinander kommensurabel.

Gruppentheorie

Untergruppen einer gegebenen Gruppe

Sei $G$ eine gegebene Gruppe, dann heißen zwei Untergruppen $H_1,H_2\subset G$ zueinander kommensurabel, wenn der Durchschnitt $H_1\cap H_2$ endlichen Index sowohl in $H_1$ als in $H_2$ hat.

Zum Beispiel sind aller Untergruppen der Gruppe der ganzen Zahlen zueinander kommensurabel: alle Untergruppen von $G=\mathbb{Z}$ sind von der Form $H_1=m\mathbb{Z},H_2=n\mathbb{Z}$ für geeignete $m,n\in \mathbb{N}$, der Durchschnitt $H_1\cap H_2=\mathrm{kgV}(m,n)\mathbb{Z}$ hat endlichen Index $\frac{\mathrm{kgV}(m,n)}{n}$ bzw. $\frac{\mathrm{kgV}(m,n)}{m}$ in $H_1$ bzw. $H_2$.

Abstrakte Gruppen

Zwei Gruppen $H_1,H_2$ heißen zueinander kommensurabel, wenn es einen Isomorphismus $\varphi :K_1\to K_2$ zweier Untergruppen $K_1\subset H_1,K_2\subset H_2$ endlichen Indexes gibt.

Dies ist insbesondere der Fall für kommensurable Untergruppen einer gegebenen Gruppe, hier kann man $K_1=K_2=H_1\cap H_2$ und $\varphi =id$ setzen.

Zwei Untergruppen einer gegebenen Gruppe, die als abstrakte Gruppen kommensurabel sind, müssen nicht unbedingt im Sinne des vorherigen Abschnitts kommensurable Untergruppen sein.

Geometrische Gruppentheorie

Auf endlich erzeugten Gruppen kann man mit der Wort-Metrik eine Struktur eines metrischen Raumes auf dem Cayley-Graphen definieren. Kommensurable Gruppen haben quasi-isometrische Cayley-Graphen, die Umkehrung gilt im Allgemeinen nicht. Es gibt aber eine Reihe von Spezialfällen, in denen auch die Umkehrung gilt. Zum Beispiel ist eine Gruppe genau dann quasi-isometrisch zu ${\mathbb{Z}}^n$, wenn sie (abstrakt) kommensurabel zu ${\mathbb{Z}}^n$ ist; oder sie ist quasi-isometrisch zu einer freien Gruppe genau dann, wenn sie zur freien Gruppe (abstrakt) kommensurabel ist. Wenn ${\mathrm{\Gamma }}_1,{\mathrm{\Gamma }}_2$ Fundamentalgruppen zweier nicht-kompakter hyperbolischer Mannigfaltigkeiten endlichen Volumens und gleicher Dimension $n\ge 3$ sind, dann sind sie quasi-isometrisch genau dann, wenn sie (als Untergruppen der Isometriegruppe des hyperbolischen Raumes) zueinander kommensurabel sind. Hingegen sind alle Fundamentalgruppen kompakter hyperbolischer Mannigfaltigkeiten einer gegebenen Dimension zueinander quasi-isometrisch, sie sind aber nicht immer zueinander kommensurabel.

Topologie

Zwei topologische Räume $X_1,X_2$ heißen kommensurabel, wenn es einen topologischen Raum $X$ mit endlichen Überlagerungen $p_1:X\to X_1,p_2:X\to X_2$ gibt.

Zum Beispiel sind verschiedene Linsenräume zueinander kommensurabel, weil sie alle von der Sphäre endlich überlagert werden.

Der topologische und der gruppentheoretische Kommensurabilitätsbegriff hängen wie folgt zusammen. Wenn zwei topologische Räume kommensurabel zueinander sind, dann sind ihre Fundamentalgruppen kommensurabel, denn ${\pi }_1{X}_1$ und ${\pi }_1{X}_2$ enthalten jeweils eine Untergruppe von endlichem Index, die zu ${\pi }_{1}X$ isomorph ist.

Für Räume, die eine gemeinsame universelle Überlagerung $\tilde{X}$ besitzen, zum Beispiel hyperbolische Mannigfaltigkeiten einer gegebenen Dimension, gilt auch die Umkehrung: zwei solche Räume sind kommensurabel genau dann, wenn ihre Fundamentalgruppen als Untergruppen der Gruppe der Homöomorphismen von $\tilde{X}$ kommensurabel sind.

Weblinks

• Luisa Paoluzzi: The notion of commensurability in group theory and geometry