Locally compact rings. (Q2611550)

Die topologischen Untersuchungen von \textit{Pontrjagin} (1934; JFM 60.0362.*-363) und \textit{van Kampen} (1934; JFM 60.0363.*) über die Struktur von lokal kompakten separablen abelschen Gruppen haben zu folgendem Ergebnis geführt: Jede lokal kompakte separable abelsche Gruppe ist direkte Summe einer Vektorgruppe \(N\) und einer Gruppe \(C\), in der die Komponente des Nullelements kompakt ist. Dieser Satz liefert sehr einfach \textit{Pontrjagin}s topologische Charakterisierung des Körpers der reellen Zahlen, des Körpers der komplexen Zahlen und des Quaternionenkörpers (Über stetige algebraische Körper, Ann. of Math. (2) 33 (1932), 163-174; F. d. M. 58) und Verallgemeinerungen davon. Im Folgenden bedeuten \(F\) bzw. \(R\) Bereiche mit doppelter Komposition von unendlich vielen Elementen derart, daß Addition und Multiplikation in \(F\) den Körperaxiomen, in \(R\) den Ringaxiomen mit Ausnahme des kommutativen und assoziativen Gesetzes der Multiplikation genügen; die Bereiche seien topologisiert, so daß Addition und Multiplikation stetige Funktionen von beiden Variablen sind. Ein ``hyperkomplexes System'' ist gleichfalls ohne die Assoziativforderung für die Multiplikation zu verstehen. Dann gelten folgende Sätze: Jedes lokal kompakte separable \(F\) ist entweder ein hyperkomplexes System über dem Körper der reellen Zahlen oder durchweg zusammenhanglos. Ist \(F\) assoziativ, so ist es also nach dem \textit{Frobenius}schen Satz -- falls es nicht durchweg zusammenhanglos ist -- der Körper der reellen Zahlen oder der Körper der komplexen Zahlen oder der Quaternionenkörper (\textit{Pontrjagin}). Ein zusammenhängendes und lokal zusammenhängendes separables \(R\), das kein Element \(c\) mit \(cR=Rc= 0\) enthält, ist ein hyperkomplexes System über dem Körper der reellen Zahlen. Das gilt auch noch, wenn man für \(R\) die Forderung des Zusammenhangs fallen läßt und dafür weitergehende idealtheoretische Forderungen (etwa: \(R\) einfach und \(RR = R\)) stellt, wobei dann noch die Möglichkeit, daß \(R\) durchweg zusammenhanglos ist, hinzukommt. -Die Beweise beruhen darauf, daß man in der nach dem \textit{Pontrjagin-van Kampen}schen Satz bestehenden direkten Summenzerlegung \(N + C\) aus idealtheoretischen Betrachtungen auf \(C = 0\), \(N\) hyperkomplexes System, oder auf \(N = O\), \(C\) durchweg zusammenhanglos, schließen kann. (IV 8, V 2.)