Cyclic Galois extensions and normal bases
HTML articles powered by AMS MathViewer
- by C. Greither PDF
- Trans. Amer. Math. Soc. 326 (1991), 307-343 Request permission
Abstract:
A Kummer theory is presented which does not need roots of unity in the ground ring. For $R$ commutative with ${p^{ - 1}} \in R$ we study the group of cyclic Galois extensions of fixed degree ${p^n}$ in detail. Our theory is well suited for dealing with cyclic ${p^n}$-extensions of a number field $K$ which are unramified outside $p$. We then consider the group $\operatorname {Gal}({\mathcal {O}_K}[{p^{ - 1}}],{C_{{p^n}}})$ of all such extensions, and its subgroup ${\text {NB}}({\mathcal {O}_K}[{p^{ - 1}}],{C_{{p^n}}})$ of extensions with integral normal basis outside $p$. For the size of the latter we get a simple asymptotic formula $(n \to \infty )$, and the discrepancy between the two groups is in some way measured by the defect $\delta$ in Leopoldt’s conjecture.References
-
E. Artin, Über Einheiten relativ galoisscher Zahlkörper, J. Math. 167 (1931) 153-156; Gesammelte Werke, pp. 197-200.
A. Borevich, Kummer extensions of rings, J. Soviet Math. 11 (1979), 514-534.
- Henri Cartan and Samuel Eilenberg, Homological algebra, Princeton University Press, Princeton, N. J., 1956. MR 0077480
- S. U. Chase, D. K. Harrison, and Alex Rosenberg, Galois theory and Galois cohomology of commutative rings, Mem. Amer. Math. Soc. 52 (1965), 15–33. MR 195922
- Lindsay N. Childs, The group of unramified Kummer extensions of prime degree, Proc. London Math. Soc. (3) 35 (1977), no. 3, 407–422. MR 485821, DOI 10.1112/plms/s3-35.3.407
- Lindsay N. Childs, Cyclic Stickelberger cohomology and descent of Kummer extensions, Proc. Amer. Math. Soc. 90 (1984), no. 4, 505–510. MR 733396, DOI 10.1090/S0002-9939-1984-0733396-2
- Ralph Greenberg, On the Iwasawa invariants of totally real number fields, Amer. J. Math. 98 (1976), no. 1, 263–284. MR 401702, DOI 10.2307/2373625
- Cornelius Greither, Cyclic Galois extensions and normal bases, Théorie des nombres (Quebec, PQ, 1987) de Gruyter, Berlin, 1989, pp. 322–329. MR 1024572 —,, Cyclic extensions and normal bases, Proc. Internat. Number Theory Conference (Quebec 1987), De Gruyter, 1989, pp. 322-329.
- Cornelius Greither and Rick Miranda, Galois extensions of prime degree, J. Algebra 124 (1989), no. 2, 354–366. MR 1011601, DOI 10.1016/0021-8693(89)90137-3 R. Haggenmüller, Über Invarianten separabler Galoiserweiterungen kommutativer Ringe, Dissertation, Universität München, 1979. —, Über die Gruppe der Galoiserweiterungen vom Primzahlgrad, Habilitationsschrift, Universität München, 1985.
- D. K. Harrison, Abelian extensions of commutative rings, Mem. Amer. Math. Soc. 52 (1965), 1–14. MR 195921
- Helmut Hasse, Die Multiplikationsgruppe der Abelschen Körper mit fester Galoisgruppe, Abh. Math. Sem. Univ. Hamburg 16 (1949), no. nos. 3-4, 29–40 (German). MR 32597, DOI 10.1007/BF03343516
- Kenkichi Iwasawa, On $\textbf {Z}_{l}$-extensions of algebraic number fields, Ann. of Math. (2) 98 (1973), 246–326. MR 349627, DOI 10.2307/1970784
- G. J. Janusz, Separable algebras over commutative rings, Trans. Amer. Math. Soc. 122 (1966), 461–479. MR 210699, DOI 10.1090/S0002-9947-1966-0210699-5
- Ina Kersten, Eine neue Kummertheorie für zyklische Galoiserweiterungen vom Grad $p^{2}$, Algebra Berichte [Algebra Reports], vol. 45, Verlag Reinhard Fischer, Munich, 1983 (German). MR 700974
- I. Kersten and J. Michaliček, Kummer theory without roots of unity, J. Pure Appl. Algebra 50 (1988), no. 1, 21–72. MR 931906, DOI 10.1016/0022-4049(88)90003-5
- I. Kersten and J. Michaliček, On $\Gamma$-extensions of totally real and complex multiplication fields, C. R. Math. Rep. Acad. Sci. Canada 9 (1987), no. 6, 309–314. MR 916909 —, ${\mathbb {Z}_p}$-extensions of complex multiplication fields, Ber. Math. Sem. Univ. Hamburg Ser. A 1 (1987).
- Max-Albert Knus and Manuel Ojanguren, Théorie de la descente et algèbres d’Azumaya, Lecture Notes in Mathematics, Vol. 389, Springer-Verlag, Berlin-New York, 1974 (French). MR 0417149
- Heinrich-Wolfgang Leopoldt, Zur Arithmetik in abelschen Zahlkörpern, J. Reine Angew. Math. 209 (1962), 54–71. MR 139602, DOI 10.1515/crll.1962.209.54
- Saunders Mac Lane, Homology, Classics in Mathematics, Springer-Verlag, Berlin, 1995. Reprint of the 1975 edition. MR 1344215
- A. S. Merkur′ev, Structure of the Brauer group of fields, Izv. Akad. Nauk SSSR Ser. Mat. 49 (1985), no. 4, 828–846, 895 (Russian). MR 806687
- David J. Saltman, Generic Galois extensions and problems in field theory, Adv. in Math. 43 (1982), no. 3, 250–283. MR 648801, DOI 10.1016/0001-8708(82)90036-6
- Shianghaw Wang, A counter-example to Grunwald’s theorem, Ann. of Math. (2) 49 (1948), 1008–1009. MR 26992, DOI 10.2307/1969410
- Lawrence C. Washington, Introduction to cyclotomic fields, Graduate Texts in Mathematics, vol. 83, Springer-Verlag, New York, 1982. MR 718674, DOI 10.1007/978-1-4684-0133-2
Additional Information
- © Copyright 1991 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 326 (1991), 307-343
- MSC: Primary 11R23; Secondary 11R32, 13B05
- DOI: https://doi.org/10.1090/S0002-9947-1991-1014248-8
- MathSciNet review: 1014248