English

The valuation criterion for normal basis generators

Number Theory 2014-02-26 v1 Representation Theory

Abstract

If L/KL/K is a finite Galois extension of local fields, we say that the valuation criterion VC(L/K)VC(L/K) holds if there is an integer dd such that every element xLx \in L with valuation dd generates a normal basis for L/KL/K. Answering a question of Byott and Elder, we first prove that VC(L/K)VC(L/K) holds if and only if the tamely ramified part of the extension L/KL/K is trivial and every non-zero K[G]K[G]-submodule of LL contains a unit. Moreover, the integer dd can take one value modulo [L:K][L:K] only, namely dL/K1-d_{L/K}-1, where dL/Kd_{L/K} is the valuation of the different of L/KL/K. When KK has positive characteristic, we thus recover a recent result of Elder and Thomas, proving that VC(L/K)VC(L/K) is valid for all extensions L/KL/K in this context. When \char{\;K}=0, we identify all abelian extensions L/KL/K for which VC(L/K)VC(L/K) is true, using algebraic arguments. These extensions are determined by the behaviour of their cyclic Kummer subextensions.

Keywords

Cite

@article{arxiv.1004.2480,
  title  = {The valuation criterion for normal basis generators},
  author = {Bart de Smit and Mathieu Florence and Lara Thomas},
  journal= {arXiv preprint arXiv:1004.2480},
  year   = {2014}
}
R2 v1 2026-06-21T15:10:28.082Z