Non-existence and splitting theorems for normal integral bases (Q442132)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Non-existence and splitting theorems for normal integral bases |
scientific article |
Statements
Non-existence and splitting theorems for normal integral bases (English)
0 references
9 August 2012
0 references
Let \(L/K\) be a tame abelian finite extension of number fields. The Hilbert-Speiser Theorem says that, if \(K=\mathbb{Q}\), then \(L/K\) has a normal integral basis. More generally, if there exists a subfield \(L'\) of \(L\) such that \(L=L'K\) and \(L'\) is arithmetically disjoint from \(K\) over \(\mathbb{Q}\), then \(L/K\) has a normal integral basis. The authors prove the (surprising) converse of the latter statement provided a set of additional assumptions is satisfied such as \{\(L/\mathbb{Q}\) is abelian, \([L:\mathbb{Q}]\) is odd and \([L:K]\) is not divisible by \(3\)\} or \{\(L/\mathbb{Q}\) is abelian, \([L:K]\) is odd, \(K\) is totally real and the ramification locus of \(K/\mathbb{Q}\) and the branch locus of \(L/K\) are disjoint\}. These results rely on non-existence results for so-called weak normal integral bases proved in a previous chapter and/or on earlier non-existence results for normal integral bases proved by \textit{J. Brinkhuis} in [J.\ Reine Angew.\ Math.~375--376, 157--166 (1987; Zbl 0609.12009)].
0 references
(weak) normal integral basis
0 references
Hilbert-Speiser Theorem
0 references
arithmetically disjoint
0 references
arithmetically split
0 references
Amitsur cohomology
0 references