scientific article; zbMATH DE number 3208335
Sei \(k_0\) ein Körper, \(\Omega\) eine unendliche, normale separable Erweiterung von \(k_0\) und \(R = R(k_0,\Omega)\) die Menge aller Körper endlichen Grades über \(k_0\), die in \(\Omega\) enthalten sind. Zu jedem solchen \(R\) wird eine Familie von Gruppen \(E(k)\), \(k\in R\) angegeben, die im Sinn von Tate und dem Verf. eine abstrakte Klassenformation bilden. Dies läuft im wesentlichen auf die Erfüllung der Kohomologie-Bedingung: \[ H^{q+2}(g, E(K)) \cong H^q(g, \mathbb Z) \tag{*} \] für alle \(q\) in \(\mathbb Z\), \(K/k\) normal, \(K\in R\), \(g = \mathrm{Gal}(K/k)\), hinaus. Der Einfachheit halber wird \(\Omega\) als Vereinigung einer aufsteigenden Reihe abzählbar vieler, über \(k_0\) normaler Erweiterungen \(L_n\) vorausgesetzt. Sei \(G_n =\mathrm{Gal}(L_n/k_0)\), \(H_n =\mathrm{Gal}(L_n/k)\) und \(L_{n_0}\supset K\). Sei \(I_{G_n}\) der Kern der Augmentation \(\mathbb Z[G_n] \to \mathbb Z\). Dann bildet das System der \(g\)-Moduln \(M(K, L_n) = (I_{G_n} \otimes_{\mathbb Z} I_{G_n})^{H_n}\), \(n\ge n_0\), in natürlicher Weise ein direktes System. Über die Kohomologie von \(E(K) = \varinjlim M(K, L_n)\) wird bewiesen: Ist die Ordnung von \(g\) prim zum verallgemeinerten Grad \((\Omega:K)\), so haben die \(E(K)\) die Eigenschaft (*). Geht aber jeder Primteiler der Ordnung von \(g\) unendlich oft in \((\Omega:K)\) auf, so ist \(H^q(g, E(K)) = 0\) für alle \(q\in\mathbb Z\). Dieses Ergebnis korrigiert ein Resultat von \textit{K. Grant} und \textit{G. Whaples} [Bull. Am. Math. Soc. 67, 393--395 (1961; Zbl 0199.09901)], wonach die \(E(K)\) stets eine Klassenfor\-mation bilden sollten. Andererseits jedoch zeigt der Verf., daß man stets zum Ziel kommt, wenn man statt des direkten Limes der \(M(K, L_n)\) einen inversen Limes bildet. Hierzu wird in geschickter Weise das System der \(M(K, L_n)\) in ein inverses System von \(g\)-Moduln verwandelt. Die \(g\)-Moduln \(E(K) = \varprojlim M(K, L_n)\) bilden dann zusammen mit geeigneten Einbettungsmonomorphismen stets eine abstrakte Klassenformation. Die Existenz einer Klassenformation für \(\Omega/k_0\) bedeutet also keine Einschränkung für die Struktur der Galoisgruppe von \(\Omega/k_0\).
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5335396)
