Normal integral bases and the Spiegelungssatz of Scholz (original) (raw)
Normal integral bases and the Spiegelungssatz of Scholz by Jan Brinkhuis (Rotterdam) Introduction. In Hilbert's Zahlbericht one can find the first global result on the Galois module structure of rings of integers ([H], Satz 132). Slightly extended it states that if N/Q is a tame extension with abelian Galois group ∆, then o N , the ring of integers in N , is free as a module over the group ring Z∆; moreover, an explicit canonical algebraic integer a such that o N = Z∆a can be given. The numbers a δ (δ ∈ ∆), the algebraic conjugates of a, are said to form a normal integral basis of the field extension N/Q. This result has been the starting point for a modern development, which has led to the deep result that the structure of o N as a module over Z∆, for arbitrary tame Galois extensions of number fields N/K with Galois group ∆, is determined in terms of the symplectic root numbers of N/K (see [F] and [T1]). Fröhlich's book [F] also contains a detailed introduction and a rather complete list of references. For a more recent survey on Galois module theory we refer to [Ca-Ch-F-T]. In the special case that ∆ is of odd order the result mentioned above gives that o N is a free Z∆-module, but the proof does not provide an explicit basis. If one considers the richer o K ∆-module structure of o N rather than the Z∆-module structure alone, then o N is expected to be "usually" not even free if K = Q. Results of Taylor show that by modifying both o N and o K ∆ one can sometimes-if K and N are certain ray class fields over imaginary quadratic number fields-achieve the "ideal" of free modules with explicit generators (see [C-T]). However, if one decides not to modify the original classical problem of the determination of the o K ∆-module structure of o N , then a natural question is to what extent, for given K and ∆, the realization of ∆ as a Galois group of a tame extension N/K is determined by the ramification of N/K together with the structure of o N as an o K ∆-module. This point of view is worked out in [B2]. In a sense the core of the question is how rare unramified extensions which possess a normal integral basis are. We mention in passing that this question is equivalent to a special case of a problem considered by Taylor in recent work, that of determining the kernel [1] This work was begun in May 1988 while the author enjoyed the hospitality of the University of Bordeaux I.
Sign up for access to the world's latest research.
checkGet notified about relevant papers
checkSave papers to use in your research
checkJoin the discussion with peers
checkTrack your impact
Related papers
On the Galois module structure over CM-fields
Manuscripta Mathematica, 1992
In this paper we make a contribution to the problem of the existence of a normal integral basis. Our main result is that unramified realizations of a given finite abelian group A as a Calois group Gal(N/K) of an extension N of a given CM-field K are invariant under the involution on the set of all realizations of A over K which is induced by complex conjugation on K and by inversion on A. We give various implications of this result. For example, we show that the tame realizations of a finite abelian group A of odd order over a totally real number field K are completely characterized by ramification and Galois module structure.
Galois module structure of (ℓ n )th classes of fields
Bulletin of the London Mathematical Society, 2013
In this paper we use the Merkurjev-Suslin theorem to determine the structure of arithmetically significant Galois modules that arise from Kummer theory. Let K be a field of characteristic different from a prime ℓ, n a positive integer, and suppose that K contains the (ℓ n) th roots of unity. Let L be the maximal ℓ n-elementary abelian extension of K, and set G = Gal(L|K). We consider the G-module J := L × /ℓ n and denote its socle series by J m. We provide a precise condition, in terms of a map to H 3 (G, Z/ℓ n), determining which submodules of J m−1 embed in cyclic modules generated by elements of J m ; therefore this map provides an explicit description of J m and J m /J m−1. The description of J m /J m−1 is a new non-trivial variant of the classical Hilbert's Theorem 90. The main theorem generalizes a theorem of Adem, Gao, Karaguezian, and Mináč which deals with the case m = ℓ n = 2, and also ties in with current trends in minimalistic birational anabelian geometry over essentially arbitrary fields.
Galois modules torsion in Number fields
2014
Let E be a number fields with ring of integers R and N be a tame galois extension of E with group G. The ring of integers S of N is an RG−module, so an ZG−module. In this thesis, we study some other RG−modules which appear in the study of the module structure of S as RG− module. We will compute their Hom-representatives in Frohlich Hom-description using Stickelberger’s factorisation and show their triviliaty in the class group Cl(ZG).
Publicationes Mathematicae Debrecen
Let E/F be a normal unramified number field extension with Galois group Γ of degree d, and let O E be the ring of integers in E. It is proved that for given integers n, t such that n > hφ E (t)d, where h is the exponent of the class group of F and φ E (t) is the generalized Euler function, there is a finite abelian Γ-stable subgroup G ⊂ GL n (O E) of exponent t such that the matrix entries of all g ∈ G generate E over F. This result has certain arithmetic applications for totally real extensions, and a construction of totally real extensions having a prescribed Galois group is given.
Construction and classification of some Galois modules
arXiv (Cornell University), 2003
In our previous paper we describe the Galois module structures of pth-power class groups K × /K ×p , where K/F is a cyclic extension of degree p over a field F containing a primitive pth root of unity. Our description relies upon arithmetic invariants associated with K/F. Here we construct field extensions K/F with prescribed arithmetic invariants, thus completing our classification of Galois modules K × /K ×p .
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.