Zur Topologie der Gruppen. (Q1439229): Difference between revisions

Verf. beschäftigt sich mit \textit{topologischen} Gruppen, d. h. Gruppen, deren Elemente Punkte eines topologischen Raumes und deren Rechts- und Linksmultiplikationen topologische Abbildungen dieses Raumes auf sich sind. Bei seinen Untersuchungen spielt der Prüfersche Scharbegriff eine Rolle [\textit{H. Prüfer}, Math. Z. 20, 165--187 (1924; JFM 51.0114.01)]. Siehe auch \textit{R. Baer} [J. Reine Angew. Math. 160, 199--207 (1929; JFM 55.0084.03)]. Die wichtigsten Ergebnisse handeln von geordneten Gruppen und von Abschließungen gewisser topologischer Gruppen. Es zeigt sich etwa, daß jede offene Schar einer topologischen Gruppe auch abgeschlossen ist, daß eine Gruppe, in der sich Scharen als Umgebungssysteme verwenden lassen (\(S\)-\textit{Gruppe}), nulldimensional und regulär ist, daß die Komponente jedes Elements einer topologischen Gruppe Restklasse nach einer invarianten Untergruppe ist, usw. Eine beliebige Gruppe heißt \textit{geordnet}, wenn ihre Elemente gegenüber Rechtsund Linksmultiplikationen invariant geordnet sind. In einer solchen Gruppe hat entweder jedes Element einen unmittelbaren Vorgänger und Nachfolger, oder sie läßt sich als topologische Gruppe deuten, indem die Intervalle zu Umgebungen ernannt werden, und ist dann überall dicht. Eine topologische Gruppe heißt \textit{unzerlegbar}, wenn sie keine offene echte Untergruppe besitzt. Notwendig und hinreichend für die Unzerlegbarkeit einer überall dichten geordneten Gruppe ist, daß sie \textit{Archimedisch} ist, d. h. daß aus \(1 < \mathfrak a < \mathfrak b\) die Existenz eines \(n\) mit \(\mathfrak a^n > \mathfrak b\) folgt. Eine eindimensionale unzerlegbare geordnete Gruppe ist vom Typus der Additionsgruppe der reellen Zahlen; läßt man die Beschränkung ``eindimensional'' fallen, so erhält man darüber hinaus nur noch Untergruppen dieser Gruppe. Hier ergibt sich eine Charakterisierung des Körpers der reellen Zahlen unter den geordneten Körpern: er ist der einzige eindimensionale. Eine topologische Gruppe heißt \textit{vollständig abgeschlossen}, wenn sie in jeder größeren topologischen Gruppe abgeschlossen ist. Verf. stellt sich die Aufgabe, die überall dichten (\(S\)-Gruppen ``vollständig abzuschließen''. Diese Abschließung ist möglich, und zwar bis auf topologische Isomorphismen auf nur eine Weise; sie geschieht in der Weise, daß gewissen Folgen von Scharen (Umgebungen) ein ideales Element, ein Element der Abschließung, zugeordnet wird. Die Anwendung auf nichtarchimedisch geordnete Körper liefert als Abschließung die Gesamtheit der \textit{Dedekind}schen Schnitte. Zum Schluß werden die Körper der Potenzreihen in einer Veränderlichen und die unarchimedisch bewerteten Körper auf Grund von Anregungen von \textit{Krull} und \textit{Hasse} behandelt. (V 2.)