14,704,208 research outputs found

    The valuation criterion for normal basis generators

    Full text link
    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 x∈Lx \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/Kβˆ’1-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
    • …
    corecore