Normal bases and Z_ p-extensions
Let \(k\) be a number field, \(K\) a finite abelian Galois extension of \(k\) with Galois group \(G\). Let \(S\) be a finite set of prime ideals of \({\mathcal O}_ k\) which contains all prime ideals which are wildly ramified in \(K/k\) and all prime ideals dividing the order of \(G\). Let \({\mathcal O}_ k(S)\) be the \(S\)-integers of \(k\). The authors obtain a criterion for \({\mathcal O}_ K(S)\) to have a normal basis over \({\mathcal O}_ k(S)\). Let \(\chi\) be a non-trivial character of \(G\), let \(k(\chi)\) be the field of values of \(\chi\) over \(k\), \(k_ \chi\) the fixed field of the kernel of \(\chi: G\to k(\chi)\), and \(k_ \chi(\chi)\) the field of values of \(\chi\) over \(k_ \chi\), a cyclic Kummer extension of \(k_ \chi\) of degree \(\ell_ \chi\). Then \({\mathcal O}_ K(S)\) has normal basis over \({\mathcal O}_ k(S)\) if for each \(\chi\neq 1\) there is some \(z_ \chi\) in \(k_ \chi(\chi)\) with \(z_ \chi^{\ell_ \chi}\) in \({\mathcal O}_{k(\chi)} (S)^ \times\) so that \(k_ \chi(\chi)= k(\chi) [z_ \chi]\). Using this criterion, they obtain a proof of a theorem of \textit{I. Kersten} and \textit{J. Michaliček} [J. Number Theory 32, 371-386 (1989; Zbl 0709.11058), Theorem 3.1], namely: suppose \(k\) is an abelian extension of \(\mathbb{Q}\) and a CM-field containing a primitive \(p\)-th root of unity, \(p\) an odd prime, such that only one prime of the maximal real subfield \(k^ +\) of \(k\) lies over \(p\). If \(p\) does not divide the class number of \(k^ +\), then each \(\mathbb{Z}_ p\)-extension of \(k\) has a normal basis.
- Remark on On normal integral bases
- Relative normal bases in some cyclotomic extensions
- Normal bases and -invariants of number fields
- Normal basis and Greenberg's conjecture
- Construction of normal bases by special values of Hilbert modular functions
- Normal integral bases of -ramified abelian extensions of totally real number fields.
- On normal bases of some ring extensions in number fields. I
- On a question of Hayes concerning integrality of Brumer elements
- Relative integral normal bases in \({\mathbb{Q}}(\zeta_ p)\)
- Normal integral bases for infinite abelian extensions
- Normal integral bases and tameness conditions for Kummer extensions
- scientific article; zbMATH DE number 3865426 (Why is no real title available?)
- scientific article; zbMATH DE number 4208197 (Why is no real title available?)
- Quelques Extensions Moderement Ramifiees Sans Base Normale
- Normal integral bases and complex conjugation.
- scientific article; zbMATH DE number 4059535 (Why is no real title available?)
- Positively ramified extensions of algebraic number fields.
- ON A THEOREM OF CHILDS ON NORMAL BASES OF RINGS OF INTEGERS
- A $ℤ^{d}$ generalization of the Davenport-Erdős construction of normal numbers
- Note on G-module structure of orders
- A valuation criterion for normal bases in elementary abelian extensions
- Normal integral bases and ray class groups. II
- scientific article; zbMATH DE number 4189856 (Why is no real title available?)
- Normal bases over \(\text{GF}(q)\)
- \(\mathbb Z_p\)-extensions of complex multiplication fields
- A valuation criterion for normal basis generators in equal positive characteristic
This page was built for publication: Normal bases and \(\mathbb{Z}_ p\)-extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1320184)
