[论文解读] On some factorial properties of subrings

Piotr Jędrzejewicz, Łukasz Matysiak+1 more|arXiv (Cornell University)|Jun 21, 2016

Advanced Differential Equations and Dynamical Systems参考文献 10被引用 7

一句话总结

本文研究唯一分解整环（UFD）中子环的阶乘性质，重点关注子环在分解、不可约性及无平方因子元下封闭的条件。研究建立了雅可比条件、无平方因子元包含与代数封闭性之间的等价关系，为理解UFD中无平方因子阶乘封闭的子环提供了框架。

ABSTRACT

We discuss various factorial properties of subrings as well as properties involving irreducible and square-free elements, in particular ones connected with Jacobian conditions.

研究动机与目标

• 研究唯一分解整环中子环的阶乘性质（如不可约性、无平方性及互素性）之间的关系。
• 阐明在雅可比行列式条件下，UFD的子环R何时在A中代数封闭。
• 刻画满足广义阶乘封闭性质的子环，特别是无平方因子阶乘封闭性。
• 通过引入并分析涉及幂次与无平方因子元的更强封闭条件，扩展已知的阶乘封闭子环结果。
• 提供一个统一框架，将与雅可比猜想相关的条件与特征为零的域上多项式环中子环的结构性质联系起来。

提出的方法

• 使用无平方因子阶乘封闭子环的概念，其定义为：若对 $ x \in A $, $ y \in \operatorname{Sqf}A $，有 $ x^2y \in R\setminus\{0\} $，则必有 $ x,y \in R $。
• 将雅可比行列式条件 $ \gcd(\operatorname{jac}^{f_1,\dots,f_r}_{x_{i_1},\dots,x_{i_r}}) \in k\setminus\{0\} $ 作为代数封闭性的关键判据。
• 运用等价定理，将雅可比行列式最大公因数条件与不可约元及无平方因子元的包含关系联系起来：$ \operatorname{Irr}R \subset \operatorname{Sqf}A $ 与 $ \operatorname{Sqf}R \subset \operatorname{Sqf}A $。
• 通过条件如 $ R_0 \cap A = R $ 与 $ R^* = A^* \cap R $ 分析子环中的可除性与互素性，确保单位与分式之间的相容性。
• 引入并证明涉及元素幂次的多种封闭条件之间的等价关系：例如，对 $ k > 1 $，有 $ a^k b \in R \setminus \{0\} \Rightarrow a,b \in R $。
• 利用交换代数中的代数工具，包括局部化、分式域及导子，将子环结构与多项式环性质联系起来。

实验结果

研究问题

• RQ1 在多项式环 $ A = k[x_1,\dots,x_n] $ 中，子环 $ R = k[f_1,\dots,f_r] $ 何时在 $ A $ 中代数封闭？
• RQ2 雅可比行列式条件如何与子环中不可约元及无平方因子元的包含关系相关联？
• RQ3 是否存在对子环的刻画，使其广义化阶乘封闭性，特别是针对 $ x^2y \in R \Rightarrow x,y \in R $ 且 $ y $ 为无平方因子元的情形？
• RQ4 在何种程度上，条件 $ \operatorname{Irr}R \subset \operatorname{Sqf}A $ 与 $ \operatorname{Sqf}R \subset \operatorname{Sqf}A $ 能推出 $ R $ 在 $ A $ 中的代数封闭性？
• RQ5 对 $ k > 1 $，幂封闭条件如 $ a^k b \in R \Rightarrow a,b \in R $ 如何与子环中的标准阶乘封闭性及互素性相关？

主要发现

• 条件 $ \gcd(\operatorname{jac}^{f_1,\dots,f_r}_{x_{i_1},\dots,x_{i_r}}) \in k\setminus\{0\} $ 与 $ \operatorname{Irr}R \subset \operatorname{Sqf}A $ 及 $ \operatorname{Sqf}R \subset \operatorname{Sqf}A $ 等价，将雅可比理论与阶乘结构联系起来。
• 无平方因子阶乘封闭子环满足：对 $ y \in \operatorname{Sqf}A $，若 $ x^2y \in R\setminus\{0\} $，则 $ x,y \in R $，且此类子环在 $ A $ 中是根封闭的。
• 在 $ R^* = A^* $ 与 $ R_0 \cap A = R $ 的假设下，等价关系 $ \operatorname{Sqf}R \subset \operatorname{Sqf}A \Leftrightarrow \text{对所有 } x \in A, y \in \operatorname{Sqf}A, \; x^2y \in R\setminus\{0\} \Rightarrow x,y \in R $ 成立。
• 对 $ k > 1 $，条件 $ a^k b \in R\setminus\{0\} \Rightarrow a,b \in R $ 与标准阶乘封闭性等价，且蕴含对乘法的完全封闭性。
• 对所有 $ k \geq 1 $，条件 $ a^k b \in R\setminus\{0\} \Rightarrow a,b \in R $ 等价于标准阶乘封闭条件 $ ab \in R \Rightarrow a,b \in R $，表明更高阶幂次条件蕴含完全封闭性。
• 若对所有 $ k \geq k_0 $，有 $ a^k b \in R\setminus\{0\} $，则 $ a,b \in R $，表明所有高阶幂次最终属于 $ R $ 意味着元素本身属于 $ R $。