Über irreguläre Darstellungen von halbeinfachen Lieschen Gruppen. (Q2599108)

Ist \(G\) eine halbeinfache Gruppe von der Ordnung \(r\) und \(G_1\) eine Untergruppe von der Ordnung \(r_1\), so kann \(G\) im \(s\)-dimensionalen Raum dargestellt werden, wobei \(s = r - r_1\) ist. Die Killingsche Determinante von \(G\) \[ \varphi(\omega)= \left|\begin{matrix} c^1_{\nu1}e^\nu-\omega,\hfill &c^2_{\nu1}e^\nu, &\ldots, &c^r_{\nu1}e^\nu\hfill\\ c^1_{\nu2}e^\nu,\hfill &c^2_{\nu2}e^\nu-\omega, &\ldots, &c^r_{\nu2}e^\nu\hfill\\ \multispan4\dotfill\\ c^1_{\nu r}e^\nu,\hfill &c^2_{\nu r}e^\nu, &\ldots, &c^r_{\nu r}e^\nu-\omega\hfill \end{matrix}\right| \] (Das Summationszeichen \(\sum\limits_{\nu=1}^r\) ist jeweils weggelassen) besitzt neben \(l\) identisch verschwindenden \(r- l\) Wurzeln, die bei veränderlichen \(e^1,\,\ldots,\, e^r\) im allgemeinen von Null und voneinander verschieden sind. Lassen sich \(r\) numerische Werte \(e^1,\,\ldots,\, e^r\) so finden, daß die \(r - l\) Wurzeln von Null und voneinander verschieden sind, so heißt der infinitesimale Operator \(e^\nu X_\nu(f)\) regulär, im anderen Fall heißt er irregulär. Besitzt die Untergruppe \(G_1\subset G\) mindestens einen regulären Operator, so wird sie wie auch die ihr entsprechende Darstellung als regulär und im entgegengesetzten Fall als irregulär bezeichnet. Verf. beweist dann die folgenden beiden Sätze: 1. Besitzt die halbeinfache Gruppe \(G\) eine Untergruppe \(G_0\) von der Ordnung \(r_0\), so besitzt sie auch eine reguläre Untergruppe \(G_1\) deren Ordnung \(r_1\) größer oder gleich \(r_0\) ist. 2. Ist \(G_0\) irregulär, so gilt \(r_1 > r_0\). An einem Beispiel wird weiterhin gezeigt, daß es irreguläre Untergruppen gibt, die nicht als echte Untergruppe in einer echten Untergruppe von \(G\) enthalten sind.