×

Generic Galois extensions and problems in field theory. (English) Zbl 0484.12004

In Galois theory, the study of Kummer extensions and Artin-Schreier polynomials have a common aspect. Namely, that all Galois extensions with a fixed group are described as specializations of a single ”general” extension with ”independent” indeterminates. In this paper, this idea is taken up and formalized in the notion of a generic Galois extension.
In one direction, this paper shows that several classes of groups have generic Galois extensions. In another direction, the existence of generic Galois extensions is shown to be related to Noether’s problem on invariants, the Grunwald-Wang theorem of number theory, and lifting questions for Galois extensions over local rings. As a consequence, one has a natural, elementary proof of a chunk of the Grunwald-Wang theorem (extending an earlier elementary proof) which also applies to more general valued fields and some non-ebelian groups. One also has an elementary proof of a known counterexample to Noether’s problem. Finally, the existence of a generic Galois extension is shown to be equivalent to a lifting property for Galois extensions over local algebras. In later papers, by this author, some of these ideas are further refined and extended.
Reviewer: David J. Saltman

MSC:

12F10 Separable extensions, Galois theory
20B25 Finite automorphism groups of algebraic, geometric, or combinatorial structures
11R18 Cyclotomic extensions
12G05 Galois cohomology
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Artin, E., Algebraic Numbers and Algebraic Functions (1967), Gordon & Breach: Gordon & Breach New York · Zbl 0194.35301
[2] Chase, S. U.; Harrison, D. K.; Rosenberg, A., Galois theory and Galois cohomology of commutative rings, Mem. Amer. Math. Soc., 52, 1-19 (1968) · Zbl 0143.05902
[3] DeMeyer, F.; Ingraham, E., Separable algebras over commutative rings, (Lecture Notes in Mathematics No. 181 (1971), Springer-Verlag: Springer-Verlag Berlin) · Zbl 0215.36602
[4] Jacobson, N., Basic Algebra I (1974), Freeman: Freeman San Francisco · Zbl 0284.16001
[5] Knus, M. A.; Ojanguren, M., Theorie de la descente et algèbres d’Azumaya, (Lecture Notes in Mathematics No. 389 (1974), Springer-Verlag: Springer-Verlag Berlin) · Zbl 0284.13002
[6] Kuyk, W., On a theorem of E. Noether, (Nederl. Akad. Wetensch. Proc. Ser. A, 67 (1964)), 32-39 · Zbl 0166.04703
[7] Lang, S., Diophantine Geometry (1962), Wiley: Wiley New York · Zbl 0115.38701
[8] Lenstra, H. W., Rational functions invariant under a finite abelian group, Invent. Math., 25, 299-325 (1974) · Zbl 0292.20010
[9] Miki, H., On Grunwald-Hasse-Wang’s theorem, J. Math. Soc. Japan, 30, No. 2, 313-325 (1978) · Zbl 0371.12005
[10] Noether, E., Gleichungen mit vorgeschriebener, Gruppe Math. Ann., 78 (1916)
[11] Saltman, D., Generic Galois extensions, Proc. Nat. Zcad. Sci. USA, 77, No. 3, 1250-1251 (March 1980) · Zbl 0445.12010
[12] Saltman, D., Noncrossed product \(p\) algebras and Galois \(p\) extensions, J. Algebra, 52, 304-314 (1978) · Zbl 0391.13002
[13] Saltman, D., Azumaya algebras with involution, J. Algebra, 52, 526-539 (1978) · Zbl 0382.16003
[14] Swan, R., Invariant rational functions and a problem of Steenrod, Invent. Math., 7, 148-158 (1969) · Zbl 0186.07601
[15] Wang, S., A counterexample to Grunwald’s theorem, Ann. of Math., 49, No. 4, 1008-1009 (1948) · Zbl 0032.10802
[16] Witt, E., Konstrucktion von galoissohen Korpern der Charakteristik \(p\) zu vorgegebner Gruppe der Ordnung pf, M. Math., 174, 237-245 (1936)
[17] Albert, A. A., Modern Higher Algebra (1937), Univ. of Chicago Press: Univ. of Chicago Press Chicago · Zbl 0017.29201
[18] Y. Sueyoshi; Y. Sueyoshi · Zbl 0474.12008
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.