Über die Darstellung von Lieschen Gruppen durch lineare Substitutionen. (Q2614909)

Das Ziel der Arbeit ist, den für die Gruppentheorie wichtigen Satz zu beweisen, daß jede \textit{Lie}sche Gruppe (im Kleinen) isomorph einer linearen Gruppe ist. Als Beweismittel wird der Begriff des vollen äußeren Zentrums einer gegebenen \(r\)-gliedrigen Gruppe \(G\): \[ (\overline x_i, \overline x_k) = \sum_{s=1}^r c_{ik}^s \overline x_s \qquad (i, k =1, 2, \dots, r) \] benutzt, das folgendermaßen definiert ist: Zu \(G\) gebe es eine Gruppe \(G^\prime\) der Struktur \[ (x_i, x_k) = \sum_{s=1}^r c_{ik}^s x_s + \sum_{\alpha=1}^m a_{ik}^\alpha z_\alpha \qquad (i, k =1, 2, \dots, r), \] \[ (x_i, z_\varrho) = 0, \quad (z_\varrho, z_\sigma) = 0 \qquad (\varrho, \sigma =1, 2, \dots, m) \] wobei es keine Zahlen \(\lambda\), \(\mu \neq 0\), 0 so gibt, daß \[ \sum_{\alpha=1}^m a_{ik}^\alpha \mu_\alpha + \sum_{s=1}^r c_{ik}^s \lambda_s = 0. \] Die \(a_{ik}^\sigma\) müssen dann den Gleichungen genügen: \[ a_{ik}^s + a_{ki}^s = 0, \qquad \sum_{\alpha=1}^m (c_{ik}^\alpha a_{\alpha j}^s + c_{kj}^\alpha a_{\alpha i}^s + c_{ji}^\alpha a_{\alpha k}^s) = 0 \] \[ (i, j, k = 1, 2, \dots, r; \;s = 1, 2, \cdots, m). \] Hat das Zahlensystem \(a_{ik}^1, \dots, a_{ik}^m\) die Eigenschaft, daß alle Lösungen des letzteren Systems in der Form \[ \sum_{\beta=1}^m a_{ik}^\beta \mu_\beta + \sum_{\alpha=1}^r c_{ik}^\alpha \lambda_\alpha \] darstellbar sind, so heißt es volles äußeres Zentrum der Struktur von \(G\). Verf. benutzt dann folgende Beweisetappen: Es gibt eine Gruppe vom Range Null, deren adjungierte Gruppe eine vorgegebene Gruppe vom Range Null als Faktorgruppe enthält. Jede Faktorgruppe einer linearen Gruppe ist linear darstellbar. Nach den Gruppen vom Range Null werden die auflösbaren Gruppen und danach die allgemeinen Gruppen behandelt. Ref. muß jedoch bemerken, daß eine Reihe der benutzten Schlüsse einer Klärung bedarf.