Finite approximations to Lie groups. (Q2599099)

Nach einem Satz von Jordan besitzt eine endliche Gruppe linearer Transformationen einen abelschen Normalteiler, sein Index ist beschränkt, die Schranke nur abhängig vom Grad der Transformationsmatrix. Man kann daher nicht erwarten, Liesche Gruppen durch endliche Untergruppen zu approximieren. Verf. führt deshalb den Begriff der ``approximierenden Untergruppe \(H_\varepsilon\)'' von \(G\) ein: die Teilmenge \(H_\varepsilon\) soll folgenden Bedingungen genügen: 1) Ist \(D (x, y)\) eine Metrik, die gegenüber beiderseitiger Multiplikation mit Elementen aus \(G\) invariant ist, so soll es zu jedem \(a\) aus \(G\) ein \(r (a)\) aus \(H_s\) mit \(D(a, r(a)) < \varepsilon\) geben; 2) in \(H_\varepsilon\) ist eine zweite Verknüpfung \(a \boldsymbol\circ b\) erklärt, für die \(D (a\boldsymbol\circ b, ab) < \varepsilon\) ist für alle \(a\), \(b\) aus \(H_\varepsilon\). \(G\) heißt dann approximierbar, wenn es für jedes \(\varepsilon> 0\) eine \(\varepsilon\)-Approximation \(H_s\) gibt. \(G\) muß nach Definition von \(H_\varepsilon\) im kleinen kompakt sein. Mit Hilfe des \textit{von Neumann}schen Mittels (Compositio math., Groningen, 1 (1934), 106-114; F. d. M. \(60_{\text{I}}\), 356) zeigt Verf., daß eine approximierbare Gruppe mit einer treuen Matrizendarstellung vom Grad \(n\) durch endliche Gruppen mit treuen Darstellungen desselben Grades approximiert werden kann. Nach dem Jordanschen Satz enthalten diese einen abelschen Normalteiler, wodurch bewiesen werden kann, daß eine approximierbare Liesche Gruppe kompakt und abelsch ist.