Minimally almost periodic groups. (Q2587280)

Zwei Elemente \(a, b\) einer Gruppe \(G\) heißen äquivalent, \(a \sim b\), wenn für jede fastperiodische Funktion \(f (x)\) auf \(G\) \(f(a) = f(b)\) gilt. Gleichbedeutend damit ist, daß in jeder endlichdimensionalen linearen unitaren Darstellung \(D(a) = D(b)\) ist. Diese Klasseneinteilung fällt mit den Nebenklassen des Normalteilers \(G_0\) aller \(a\sim 1\) zusammen. \(G\) heißt maximal fastperiodisch, wenn \(G_0 = G\), minimal fastperiodisch, wenn \(G_0 = (1)\) ist. \(G_0\) liegt stets im Durchschnitt \(G^\prime\) aller Normalteiler von \(G\) mit endlichem Index, es ist aber nicht immer \(G_0 = G^\prime\). Ein Element \(a \in G\) liegt in \(G_0\), wenn zu jedem \(s\) (\(s =1, 2, 3,\dots\)) ein Vielfaches \(t\) von \(s\) existiert, so daß für geeignete \(b_t\) in \(G\) \(b_tab_t^{-1} = a^t\) ist. Jede abzählbare diskrete abelsche Gruppe und jede freie Gruppe mit endlich vielen Erzeugenden ist maximal fastperiodisch. Auch die Modulgruppe \(M\) aller Substitutionen \(x \to x^\prime = \dfrac {ux+v}{wx+z}\) mit \(uz - vw = 1\), \(u\), \(v\), \(w\), \(z\) ganze Zahlen, ist maximal fastperiodisch. Läßt man für die \(u\), \(v\), \(w\), \(z\) jedoch alle rationalen Zahlen zu, so ist die entstehende Gruppe \(N\) minimal fastperiodisch. Man hat damit den Fall einer abzählbaren diskreten Gruppe \(N\) mit einer Untergruppe \(M\), die Darstellungen zuläßt, die in keiner Darstellung von \(N\) enthalten sind.