The valuation criterion for normal basis generators

DOI10.1112/BLMS/BDS005MaRDI QIDQ2903274zbMATH OpenOpenAlexFDO

Authors Bart de Smit, Mathieu Florence, Lara Thomas

Publication date 8 August 2012

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1004.2480

zbMATH Keywords

local fieldnormal field basistotally ramified

Mathematics Subject Classification ID

Ramification and extension theory (11S15) Galois theory (11S20)

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

Review text

Let \(L/K\) be a finite Galois extension of local fields with Galois group \(G\), and let \(v\) denote the discrete valuation on \(L\). Starting with a result of \textit{N.~P. Byott} and \textit{G.~G. Elder} [Bull. Lond. Math. Soc. 39, No. 5, 705--708 (2007; Zbl 1128.11055)] one wants to characterize all such extensions which have the following property, called (VC): There exists some \(d \in \mathbb Z\) such that every element \(x \in L\) with \(v(x)=d\) is a normal generator, i.~e. the conjugates of \(x\) are a \(K\)-basis for \(L\).NEWLINENEWLINEIf (VC) holds, it is shown that \(L/K\) must be totally ramified and that for \(d\) there is only one possible value modulo \([L:K]\). From this the authors obtain the following criterion: (VC) holds for a non-trivial extension \(L/K\) iff the residue characteristic \(p\) is positive, \(L/K\) is totally ramified of degree some power of \(p\), and every non-zero \(K[G]\)-submodule of \(L\) contains some \(u\) with \(v(u)=0\).NEWLINENEWLINEAssuming that \(K\) is of mixed characteristic \((0,p)\), the authors investigate the latter condition for totally ramified Kummer extensions, and from this derive Theorem 1.4, which gives an explicit characterization of (VC) for abelian extensions of local fields.

Recommendations

• A valuation criterion for normal basis generators in local fields of characteristic \(p\)
• On Totally Ramified Extensions of Discrete Valued Fields
• A valuation criterion for normal basis generators in equal positive characteristic
• A valuation criterion for normal bases in elementary abelian extensions
• On norm subgroups of complete discrete valuation fields
• Galois scaffolding in one-dimensional elementary abelian extensions
• Well Ramified Extensions of Complete Discrete Valuation Fields with Applications to the Kato Conductor
• Hasse‐Arf Property and Abelian Extensions
• On abelian p-extensions of an absolutely unramified field
• Ramification theory for degree p extensions of arbitrary valuation rings in mixed characteristic (0,p)

Cited in

(5)

• A valuation criterion for normal basis generators of Hopf-Galois extensions in characteristic \(p\)
• scientific article; zbMATH DE number 1752484 (Why is no real title available?)
• Scaffolds and generalized integral Galois module structure
• A valuation criterion for normal basis generators in local fields of characteristic \(p\)
• A valuation criterion for normal basis generators in equal positive characteristic

This page was built for publication: The valuation criterion for normal basis generators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2903274)