On normal integral bases
type: Item
instance of: scholarly article
title: On normal integral bases
zbMATH Open document ID: 0553.12001
author: Fuminori Kawamoto
published in: Tokyo Journal of Mathematics
publication date: 1984-01-01T00:00:00Z
review text: Necessary and sufficient conditions for a Galois extension \(K/k\) of number fields to have a normal integral basis (n.i.b.) have been given by \textit{A. Fröhlich} [J. Reine Angew. Math. 209, 39--53 (1962; Zbl 0105.02901)]. A simple necessary condition for existence of a n.i.b. is that \(K/k\) be tamely ramified. If \(k = \mathbb{Q}(\zeta)\) and \(K=\mathbb{Q}(a^{1/\ell},\zeta)\) where \(\zeta\) is a primitive \(\ell\)-th root of unity and \(a\neq \pm 1\) is an \(\ell\)-th power free integer, the extension \(K/k\) is tamely ramified if and only if \(a^{\ell -1}\equiv 1 \bmod \ell^2\). The author gives a system of \(\ell\) congruences modulo \(\ell\), involving units of \(k\), which determine exactly when such extensions \(K/k\) have a normal integral basis. Moreover, an explicit generator for the n.i.b. is given. For example, if \(a\neq \pm 1\) is a square free integer with \(a\equiv \pm 1 \bmod \ell^2\) then a n.i.b. always exists for \(K/k\), and \[ \alpha = \displaystyle \frac1{\ell} \sum^{\ell -1}_{j=0}(-(\varepsilon a)^{1/\ell})^j\] is a generator for the basis where \(\varepsilon =\pm 1\) with \(\varepsilon\) \(\equiv -a \bmod \ell^2\). The author applies the above mentioned results to determine other Kummer extensions for which a n.i.b. exists and can be explicitly stated. Finally, the author shows for \(K=\mathbb{Q}(\sqrt{m},\sqrt{n})\) and \(k=\mathbb{Q}(\sqrt{m})\) with \(m\equiv n\equiv 3 \pmod 4\), \(m<-1\), \(n<0\) and \((m,n)=1\) that \(K/k\) is a tamely ramified extension without a n.i.b.
reviewed by: Charles J. Parry
Mathematics Subject Classification ID: 11R18
Mathematics Subject Classification ID: 11R33
Mathematics Subject Classification ID: 11S15
zbMATH DE Number: 3880826
zbMATH Keywords: normal integral basis
zbMATH Keywords: tamely ramified
zbMATH Keywords: explicit generator
zbMATH Keywords: Kummer extensions
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.3836/tjm/1270153005
OpenAlex ID: W1981608154
DOI: 10.3836/TJM/1270153005
Recommended article: On the ring of integers of a tame Kummer extension over a number field.
Recommended article: Q4233247
Recommended article: Q4215226
Recommended article: Note on Galois descent of a normal integral basis of acyclic extension of degree \(p\)
Recommended article: Normal integral bases of \(\infty\)-ramified abelian extensions of totally real number fields.
Recommended article: On a normal integral basis problem over cyclotomic \(Z_{p}\)-extensions. II.
Recommended article: Note on the ring of integers of a Kummer extension of prime degree. II
Recommended article: Normal integral basis of an unramified quadratic extension over a cyclotomic \(\mathbb{Z}_2\)-extension
Recommended article: Q4932410
Recommended article: Normal integral bases for cyclic Kummer extensions
description: scientific article; zbMATH DE number 3880826