[论文解读] Minimal Prüfer-Dress rings and products of idempotent matrices

Laura Cossu, Paolo Zanardo|arXiv (Cornell University)|Nov 22, 2018

Rings, Modules, and Algebras参考文献 12被引用 5

一句话总结

本文研究极小普吕弗-德雷斯环，特别是实有理函数域 $\mathbb{R}(X)$ 上的极小德雷斯环 $D$，证明其为戴德金整环，并明确刻画了非主理想。文章建立了 $2\times2$ 奇异矩阵 $\begin{pmatrix}p&q\\ 0&0\end{pmatrix}$ 可表示为幂等矩阵乘积的条件，基于有理函数项的次数与符号性质。

ABSTRACT

We investigate a special class of Prüfer domains, firstly introduced by Dress in 1965. The {\it minimal Dress ring} $D_K$, of a field $K$, is the smallest subring of $K$ that contains every element of the form $1/(1+x^2)$, with $x\in K$. We show that, for some choices of $K$, $D_K$ may be a valuation domain, or, more generally, a Bézout domain admitting a weak algorithm. Then we focus on the minimal Dress ring $D$ of $\mathbb{R}(X)$: we describe its elements, we prove that it is a Dedekind domain and we characterize its non-principal ideals. Moreover, we study the products of $2 imes 2$ idempotent matrices over $D$, a subject of particular interest for Prüfer non-Bézout domains.

研究动机与目标

• 刻画域 $K$ 的极小德雷斯环 $D_K$，特别是当 $K = \mathbb{R}(X)$ 时，确定其代数结构。
• 研究此类环是否满足性质 $(\text{ID}_2)$，即每个 $2\times2$ 奇异矩阵是否可表示为幂等矩阵的乘积。
• 探讨普吕弗整环上矩阵分解与猜想之间的联系：$(\text{ID}_2)$ 是否蕴含贝祖整环结构。
• 基于有理函数项的次数与符号行为，提供矩阵分解为幂等矩阵的显式判别准则。

提出的方法

• 将极小德雷斯环 $D_K$ 定义为包含 $\mathbb{Z}_\chi$ 及所有形如 $1/(1+x^2)$（$x \in K$）的元素的 $K$ 的最小子环，其中 $\chi$ 为 $K$ 的特征。
• 通过分析其理想与生成元，证明 $D = D_{\mathbb{R}(X)}$ 是戴德金整环，即诺特环、整闭，且每个非零素理想均为极大理想。
• 使用约化技术将有理函数 $p = x/\gamma$，$q = y/\gamma$（$\gamma \in \Gamma$）标准化，确保 $\deg \gamma \leq \deg x + 1$，以简化分解过程。
• 应用关键引理（引理 3.2）构造多项式 $\beta \in \Gamma$，使得 $\delta = x^2 + y\beta \in \Gamma^+$，从而构造幂等矩阵 $\mathbf{T}$。
• 通过分解 $\begin{pmatrix}p&q\\ 0&0\end{pmatrix} = \begin{pmatrix}\delta/\gamma & 0\\ 0 & 0\end{pmatrix} \mathbf{T}$，其中 $\mathbf{T}$ 为幂等矩阵，建立 $\begin{pmatrix}p&q\\ 0&0\end{pmatrix}$ 为幂等矩阵乘积的结论。
• 利用相似变换与矩阵等价性，将问题约化为：当 $p$ 与 $q$ 的根满足次数与符号条件时，可保证分解成立。

实验结果

研究问题

• RQ1 极小德雷斯环 $D_{\mathbb{R}(X)}$ 是否为戴德金整环？其非主理想能否被显式刻画？
• RQ2 有理函数 $p, q \in D_{\mathbb{R}(X)}$ 满足何种条件时，矩阵 $\begin{pmatrix}p&q\\ 0&0\end{pmatrix}$ 可表示为幂等矩阵的乘积？
• RQ3 极小德雷斯环 $D_{\mathbb{R}(X)}$ 是否满足性质 $(\text{ID}_2)$？这与猜想 $(\text{ID}_2)$ 蕴含贝祖整环结构的关系如何？
• RQ4 能否利用 $D_{\mathbb{R}(X)}$ 的结构构造出具有 $n$ 个生成元但非 $2$ 个生成元的普吕弗整环的例子？

主要发现

• 极小德雷斯环 $D = D_{\mathbb{R}(X)}$ 是戴德金整环，因其为诺特环、整闭、维数为一，且每个非零素理想均为极大理想。
• 环 $D$ 的非主理想可由其生成元明确刻画：即所有形如 $a/b$ 的理想，其中 $a, b \in \mathbb{R}[X]$，$\gcd(a,b) = 1$，且 $\deg a > 0$，$\deg b > 0$，或满足类似条件以确保非主理想结构。
• 当 $\deg p \geq \deg q$ 且对 $p$ 的每个根 $u$ 都有 $q(u) > 0$（或 $< 0$），或反之，矩阵 $\begin{pmatrix}p&q\\ 0&0\end{pmatrix}$ 可表示为幂等矩阵的乘积。
• 对于满足 $\deg x, \deg y \leq 1$ 的有理函数 $p = x/\gamma$，$q = y/\gamma$，矩阵恒为幂等矩阵乘积，即使 $x$ 与 $y$ 有公共根亦然。
• 当 $\deg x = \deg y = 2$ 且 $\gcd(x,y) \notin \mathbb{R}$ 时，矩阵 $\begin{pmatrix}p&q\\ 0&0\end{pmatrix}$ 可表示为幂等矩阵乘积，通过构造幂等矩阵 $\mathbf{T}$ 及分解过程得以证明。
• 环 $D$ 是一个平方稳定范围为一但稳定范围中不包含 $1$ 的戴德金整环的简单例子，如注记 2.6 所述。