论文标题
在De Felipe和Teissier的定理上,关于在非Noetherian案件中的两个henselisation的比较
On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-noetherian case
论文作者
论文摘要
令R为本地领域,v以最大理想为中心的商场的估值。我们通过重点关注De Felipe和Teissier在标题中提到的最新结果,研究了R^h,R作为本地环的Henselation和{V}(V},估算V的量化之间的关系。我们提供了一个新的证明,可以使用纯粹的代数参数简化原始证明。从主教和作者的先前工作意义上讲,此证明是建设性的,并允许我们作为De Felipe和Teissier对定理的副产品A(轻微)概括。
Let R be a local domain, v a valuation of its quotient field centred in R at its maximal ideal. We investigate the relationship between R^h, the henselisation of R as local ring, and {v}, the henselisation of the valuation v, by focussing on the recent result by de Felipe and Teissier referred to in the title. We give a new proof that simplifies the original one by using purely algebraic arguments. This proof is moreover constructive in the sense of Bishop and previous work of the authors, and allows us to obtain as a by-product a (slight) generalisation of the theorem by de Felipe and Teissier.