[논문 리뷰] Minimal Prüfer-Dress rings and products of idempotent matrices

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

Rings, Modules, and Algebras참고 문헌 12인용 수 5

한 줄 요약

이 논문은 특히 $ℝ(X)$ 위의 최소 드레스 링 $D$를 포함한 최소 프뤼퍼-드레스 링을 조사하며, 비주어진 이상이 명시적으로 기술된 데데킨드 도메인임을 증명한다. 또한 유리 함수 항목의 차수와 부호 조건을 사용하여, 형식 $<!-- \begin{pmatrix}p&q\\ 0&0\end{pmatrix} --> \begin{pmatrix}p&q\\ 0&0\end{pmatrix}$인 $2\times2$ 특이 행렬이 등급 행렬의 곱임을 위한 조건을 설정한다.

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)$가 베주 도메인의 구조를 암시한다는 추측 사이의 연관성을 탐색하는 것.
• 유리 함수 항목의 차수와 부호 행동에 기반한 등급 행렬로의 행렬 인수분해에 대한 명시적 기준을 제공하는 것.

제안 방법

• 체 $K$의 최소 드레스 링 $D_K$를 $\mathbb{Z}_\chi$와 모든 원소 $1/(1+x^2)$ ($x \in K$)를 포함하는 $K$의 가장 작은 부분환으로 정의하며, $\chi$는 $K$의 특성이다.
• 이deals 분석과 생성자 분석을 통해 $D = D_{\mathbb{R}(X)}$가 데데킨드 도메인임을 증명한다. 이는 노에터이면서 정수적으로 닫혀 있고, 모든 영이 아닌 소 이상이 극대임을 보여준다.
• 유리 함수 $p = x/\gamma$, $q = y/\gamma$를 정규화하기 위한 감소 기법을 사용하며, $\gamma \in \Gamma$이면서 $\deg \gamma \leq \deg x + 1$이 되도록 보장함으로써 인수분해를 단순화한다.
• 핵심 보조정리(보조정리 3.2)를 적용하여 $\Gamma$에 속하는 다항식 $\beta$를 구성함으로써 $\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}$를 통해 $\begin{pmatrix}p&q\\ 0&0\end{pmatrix}$가 등급 행렬의 곱임을 증명한다. 여기서 $\mathbf{T}$는 등급 행렬이다.
• 유사성 변환과 행렬 동치를 사용하여 문제를 차수와 $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)}$의 구조를 활용하여, $2$-생성되지 않은 $n$-생성 이상을 가진 프뤼퍼 도메인의 예를 구성할 수 있는가?

주요 결과

• 최소 드레스 링 $D = D_{\mathbb{R}(X)}$는 노에터이면서 정수적으로 닫혀 있고, 차원이 1이며 모든 영이 아닌 소 이상이 극대이므로 데데킨드 도메인이다.
• 비주어진 이상은 그 생성자로 특성화된다: 즉, $a, b \in \mathbb{R}[X]$, $\gcd(a,b) = 1$, $\deg a > 0$, $\deg b > 0$ 또는 유사 조건을 만족하는 $a/b$로 생성되는 이상들이다.
• 행렬 $\begin{pmatrix}p&q\\ 0&0\end{pmatrix}$는 $\deg p \geq \deg q$ 이면서 $p$의 각 근 $u$에 대해 $q(u) > 0$ (또는 $< 0$)이면, 또는 반대의 경우에 등급 행렬의 곱이 된다.
• 유리 함수 $p = x/\gamma$, $q = y/\gamma$에서 $\deg x, \deg y \leq 1$이면, $x$와 $y$가 공통 근을 가리건간에 항상 등급 행렬의 곱이 된다.
• $\deg x = \deg y = 2$ 이며 $\gcd(x,y) \notin \mathbb{R}$ 이면, $\begin{pmatrix}p&q\\ 0&0\end{pmatrix}$는 등급 행렬 $\mathbf{T}$의 구성과 분해를 통해 등급 행렬의 곱이 된다.
• 반드시 $1$이 안정 범위에 포함되지 않는, 제곱 안정 범위가 1인 데데킨드 도메인의 간단한 예로서 링 $D$가 주어진다 (참고로 비고 2.6).