交换Noetherian环中长度为2的正则序列置换问题

咱们先从已知的结论唠起：
假设$R$是交换环，如果$(x,y)$是$R$中的正则序列，那能推出来两个核心性质：

• $x$在商环$R/yR$里的像不是零因子；
• 记$S = \text{ann}_R(y)$（也就是$R$中所有让$zy=0$的元素构成的零化子理想），那么$xS = S$。

接下来加上Noetherian环和Jacobson根的条件：
如果$R$是Noetherian环（满足理想升链条件的交换环），而且$x$属于$R$的Jacobson根$J(R)$（所有极大理想的交集），这时候中山引理就能派上用场了：

中山引理的常用版本：要是$I$是$R$中包含在$J(R)$里的理想，$M$是有限生成的$R$-模，且$IM = M$，那$M = 0$。

因为Noetherian环里的理想都是有限生成的$R$-模，所以$S$满足有限生成的条件，再结合$x \in J(R)$和$xS = S$，直接就能得出$S = 0$——换句话说，$y$在$R$里是非零因子。再加上之前的结论“$x$在$R/yR$中的像不是零因子”，这不就刚好满足$(y,x)$作为正则序列的两个要求嘛！所以$(y,x)$也是$R$中的正则序列。

现在换个场景：设$R$是交换Noetherian环，$x \in R$是非单位且非零因子，并且满足[这里你提到的“满足……”的具体条件可以补充完整]，我们可以进一步探讨对应的正则序列性质或者零化子相关结论。

内容的提问来源于stack exchange，提问作者user