首页/论文/2202.06595

arXiv 2202.065952022-02math.AC

亨塞尔局部环的初等构造性理论

Elementary Constructive Theory of Henselian Local Rings

Alonso García, M. Emilia, Lombardi, Henri, Perdry, Hervé

发表信息：: Mathematical Logic Quarterly. Vol 54, No~3, p.\ 253--271. (2008)
DOI：: 10.1002/malq.200710057

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

AI总结：

本文建立亨塞尔局部环的初等构造性理论，构造局部环的亨塞尔化，并强调所有定理均具有算法内容。

摘要：

我们给出亨塞尔局部环的初等理论，并构造局部环的亨塞尔化。我们所有的定理都具有算法内容。

英文摘要：

We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

可定义的Hensel赋值环

Definable henselian valuation rings

给出了环语言中$\exists \forall$和$\forall \exists$ -公式的模型论准则，从而统一定义了Hensel值域的初等理论$Σ$的模型$(K, \mathcal{O})$的赋值环$\mathcal{O}$.作为应用之一，我们得到了一个$\exists \forall$ -公式的存在性，该公式一致地定义了剩余类域$k$为有限、伪有限或希尔伯特的赋值Hensel域$(K, \mathcal{O})$的赋值环$\mathcal{O}$.我们还得到了$\forall \exists$ -公式$φ_2$和$φ_4$，使得当$k$是有限的或实曲线或复曲线的函数域时，$φ_2$在$k((t))$中一致地定义了$k[[t]]$，而当$k$是任意数域时，$φ_4$也起作用.

2014-02-06math.ACmath.LO

Hensel环的局部Bézout定理

Local Bézout Theorem for Henselian rings

给出了代数局部Bézout定理（作者在JSC 45（2010）975- 985中给出）的一个改进形式的初等证明.在这里，我们删除一些特设的假设，并获得一个最佳的代数版本的定理。给定$n$中的$n$多项式系统在局部正规域$(A, m,k)$中不定，其系数具有代数闭商域，该代数闭商域在重数为$r$的$k^n$中剩余地定义了一个孤立点，我们证明了系统在剩余零点之上有n个零点（即，坐标为$m$），并且它们的多重性之和为$r$。我们的证明是基于计算代数的边界基技术。本文在任意Henselian环和$m$ -adic拓扑的情形下，给出并证明了这个定理的一个{ \em代数版本}.我们不知何故的灵感阿诺德，利用一个抽象版本的维尔斯特拉斯司（在一个Henselian环），我们还介绍了一个抽象的版本，他称之为“多局部环”。粗略地说，我们考虑了一个给出的$A$ -代数，其中$(A, m, k)$是一个局部环，使得特殊点是一个具有孤立重零点$r$的$k$ -代数，并证明了由该点确定的“多局部环”是一个秩自由$A$ -模$r$ .

2016-11-07math.AC

Grothendieck一般自由引理的初等构造性证明

An elementary and constructive proof of Grothendieck's generic freeness lemma

本文给出了Grothendieck一般形式的类属自由引理的一个新的直接证明。与以前发表的证明，它不进行一系列的减少步骤，是完全建设性的，不使用选择公理，甚至排中律。它是通过展开一般拓扑理论技术的结果而发现的。

2018-07-03math.ACmath.AG

超越 Fontaine–Wintenberger 定理

Beyond the Fontaine-Wintenberger theorem

本文通过构造 perfectoid 域的初等扩张及无亏损 hensel 赋值，推广 almost purity 与 Fontaine–Wintenberger 定理，并建立深分歧域的 Ax–Kochen/Ershov 原理。

2024-12-19math.ACmath.LO

除子环与 Krull 环（一种构造性方法）

Anneaux à diviseurs et anneaux de Krull (une approche constructive)

本文以 Bishop 风格，为 Prüfer v-乘法整环（anneaux à diviseurs）和 Krull 整环理论提供初等且构造性的版本，将经典结果转化为显式算法，且不依赖完全分解假设。

2024-01-04math.AC

de Smit 与 Lenstra 定理的初等证明

Théorème de de Smit et Lenstra, démonstration élémentaire

本文为 de Smit 与 Lenstra 的定理提供了一个初等且构造性的证明，并补充了“完全割线”蕴含“1-割线”这一缺失环节。

2025-04-13math.AC

更多相关论文收起更多论文

费利佩和泰西耶关于非伦理学情形下两种人格比较的理论

À propos d'un théorème de de Felipe et Teissier sur la comparaison de deux hensélisés dans le cas non noethérien

本文给出了de Felipe和Teissier在《赋值与亨泽尔化》（arXiv：1903.10793v1）一文中的一个定理的初等证明。该定理比较了由赋值整环控制的局部整环的两个亨塞尔化。我们的证明是写在建设性的主教风格。

2020-05-01math.AC

半正则环（遵循Thierry Coquand）

Seminormal Rings (following Thierry Coquand)

Université Marie et Louis Pasteur（玛丽和路易·巴斯德大学）；Laboratoire de Mathématiques, SP2MI（SP2MI数学实验室）

本文通过Thierry Coquand的构造性证明，修正了Traverso-Swan定理中半正则环的条件，并提供了详细证明过程。

2026-02-28math.AC