Krulltopologie

Die Krulltopologie, nach Wolfgang Krull, ist eine Topologie auf der Galoisgruppe einer nicht notwendigerweise endlichen Körpererweiterung $L/K$, so dass diese zu einer so genannten topologischen Gruppe wird.

Definition für Galoiserweiterungen

Es sei $L/K$ eine nicht notwendigerweise endliche galoissche Körpererweiterung. Für eine unendliche Erweiterung bedeute dabei galoissch, dass die Erweiterung separabel ist und zu jeder endlichen galoisschen Teilerweiterung $K\subseteq M\subseteq L$ auch die normale Hülle von $M$ enthält.

Es gibt verschiedene Möglichkeiten, die Krulltopologie zu definieren:

1. Man definiert die Umgebungsbasis des neutralen Elements als die Menge

$\{G(L/M)\mid K\subseteq M\subseteq L,\ [M:K]<\infty \}$

der Galoisgruppen für über $K$ endliche Teilerweiterungen $M$.

2. Es gibt eine kanonische Bijektion

$G(L/K)=\lim _{M}G(M/K),$

wobei $M$ alle über $K$ endlichen Teilerweiterungen $K\subseteq M\subseteq L$ durchläuft. Versieht man die endlichen Gruppen $G(M/K)$ mit der diskreten Topologie und den projektiven Limes mit der Limestopologie, so erhält man dieselbe Topologie wie unter 1. Mit dieser Darstellung ist ersichtlich, dass $G(L/K)$ eine proendliche Gruppe ist.

Hauptsatz der Galoistheorie

Die Bedeutung der Krulltopologie liegt darin begründet, dass sie es ermöglicht, den Hauptsatz der Galoistheorie auf unendliche Galoiserweiterungen auszudehnen: Ist $L/K$ eine unendliche Galoiserweiterung, so gibt es eine kanonische Bijektion zwischen Teilerweiterungen $K\subseteq M\subseteq L$ und abgeschlossenen Untergruppen von $G(L/K)$: Einer Erweiterung $M$ entspricht die Untergruppe

$G(L/M)\subseteq G(L/K),$

einer Untergruppe $U\subseteq G(L/K)$ die Erweiterung

$L^{U}=\{x\in L\mid \sigma x=x\ \mathrm {f{\ddot {u}}r\ alle} \ \sigma \in U\}.$

Eine Teilerweiterung $M/K$ ist genau dann normal (und damit galoissch), wenn $G(L/M)$ ein Normalteiler in $G(L/K)$ ist; die Galoisgruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G(M/K)} ist kanonisch isomorph zum Quotienten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G(L/K)/G(L/M)} .

Darstellungen

Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} ein Körper und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K^{\mathrm{sep}}} ein separabler Abschluss von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} . Weiter sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} ein Vektorraum (über irgendeinem Körper). Versieht man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{GL}(V)} mit der diskreten Topologie, so sind Darstellungen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G(K^{\mathrm{sep}}/K)} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} genau dann stetig, wenn sie über einen endlichen Quotienten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G(M/K)} für eine endliche Erweiterung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M/K} faktorisieren. Die Kategorie der stetigen Darstellungen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G(K^{\mathrm{sep}}/K)} ist also in diesem Sinne die Vereinigung aller Kategorien von Darstellungen der Gruppen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G(M/K)} für endliche Erweiterungen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M/K} .

Verallgemeinerung: Nicht algebraische Erweiterungen

Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L/K} eine beliebige Körpererweiterung. Die Krulltopologie auf der Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Aut}(L/K)} der Körperautomorphismen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L} , die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} elementweise festlassen, ist diejenige Topologie, für die die Untergruppen

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G(S)=\{\sigma\in\operatorname{Aut}(L/K)\mid \sigma s=s\ \mathrm{f\ddot ur\ alle}\ s\in S\}}

für endliche Teilmengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S\subseteq L} eine Umgebungsbasis des Einselementes bilden. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Aut}(L/K)} wird mit dieser Topologie zu einer topologischen Gruppe.