The structure of a compact connected group. (Q2614907)

Es sei \(F\) eine zusammenhängende kompakte Gruppe; \(S^{(l)}\) \ \((l = 1, 2, \dots)\) seien alle (lokal) einfachen (kompakten) \textit{Lie}schen invarianten Untergruppen in \(F\); \(S\) sei die von allen \(S^{(l)}\) erzeugte Gruppe und \(C\) das Zentrum von \(F\). \ \(S\) und \(C\) erzeugen dann \(F\) und haben das 0-dimensionale Zentrum \(A\) von \(S\) gemeinsam. Die Faktorgruppe \(F/A\) ist einstufig isomorph dem direkten Produkt von \(C/A\) und allen Gruppen \(\overline S^{(l)}\), wo die einfache Gruppe \(\overline S^{(l)}\) ein degeneriertes Zentrum besitzt und im Kleinen mit \(S^{(l)}\) isomorph ist. Ist \(K\) die maximale zusammenhängende Untergruppe des Zentrums von \(F\), \(\overline{\overline S}^{(l)}\) die einfache zusammenhängende Gruppe, die im Kleinen \(S^{(l)}\) isomorph ist, und \(D\) das direkte Produkt aller \(\overline{\overline S}^{(l)}\) und einer Gruppe \(L\), die einfach isomorph mit \(K\) ist, so besitzt \(D\) eine 0-dimensionale invariante Untergruppe \(B\), die mit \(L\) nur die Identität gemeinsam hat, derart daß \(F = D/B\). \ \ \(B\) ist bis auf Automorphien von \(D\) eindeutig bestimmt.