Henselian elements

DOI10.1016/J.JALGEBRA.2014.07.004zbMATH Open1308.13005arXiv1311.6155OpenAlexW4206065001MaRDI QIDQ406347FDOQ406347

Authors: Franz-Viktor Kuhlmann, Josnei Novacoski 

Publication date: 8 September 2014

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Henselian elements are roots of polynomials which satisfy the conditions of Hensel's Lemma. In this paper we prove that for a finite field extension $(F|L,v)$, if $F$ is contained in the absolute inertia field of $L$, then the valuation ring $mathcal{O}_F$ of $(F,v)$ is generated as an $mathcal{O}_L$-algebra by henselian elements. Moreover, we give a list of equivalent conditions under which $mathcal{O}_F$ is generated over $mathcal{O}_L$ by finitely many henselian elements. We prove that if the chain of prime ideals of $mathcal{O}_L$ is well-ordered, then these conditions are satisfied. We give an example of a finite valued inertial extension $(F|L,v)$ for which $mathcal{O}_F$ is not a finitely generated $mathcal{O}_L$-algebra. We also present a theorem that relates the problem of local uniformization with the theory of henselian elements.

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

Recommendations

• Invariants of algebraic elements over Henselian fields
• Valuations and Henselization
• ON THE MAIN INVARIANT OF ELEMENTS ALGEBRAIC OVER A HENSELIAN VALUED FIELD
• Approximation of elements in Henselizations
• scientific article; zbMATH DE number 219628

zbMATH Keywords

elimination of ramificationHenselian elementslocl uniformization

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Valuation rings (13F30) Valued fields (12J10) Regular local rings (13H05) Valuations and their generalizations for commutative rings (13A18)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Ramification Theoretic Methods in Algebraic Geometry (AM-43)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Valued Fields
• Every place admits local uniformization in a finite extension of the function field
• Abhyankar places admit local uniformization in any characteristic
• Title not available (Why is that?)
• Lifting up an infinite chain of prime ideals to a valuation ring
• Generating the greatest common divisor, and limitations of primitive recursive algorithms
• Title not available (Why is that?)
• Dense subfields of henselian fields, and integer parts

Cited In (11)

• On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case
• Essential finite generation of extensions of valuation rings
• Essential finite generation of valuation rings in characteristic zero algebraic function fields
• Prime ideals that satisfy Hensel's lemma
• Diophantine inequality for equicharacteristic excellent Henselian local domains
• A criterion for \(p\)-Henselianity in characteristic \(p\)
• Non-commutative Henselian rings.
• Henselian implies large
• Essentially finite generation of valuation rings in terms of classical invariants
• Title not available (Why is that?)
• Local uniformization of Abhyankar valuations

This page was built for publication: Henselian elements

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