Non-existence and splitting theorems for normal integral bases (Q442132): Difference between revisions

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)].