[논문 리뷰] Some remarks on Prüfer $\star $--multiplication domains and class groups

David F. Anderson, Marco Fontana외 1명|ArXiv.org|2007. 10. 26.

Rings, Modules, and Algebras참고 문헌 34인용 수 9

한 줄 요약

이 논문은 다항식의 계수 공식을 통한 Pr"ufer $\star$-곱셈 도메인(P$\star$MDs)과 P$v$MDs의 내용 기반 특성화를 수립하며, 모든 비영인 다항식 $f,g$에 대해 $(\mathbf{c}_D(fg))^\star = (\mathbf{c}_D(f)\mathbf{c}_D(g))\star$의 등식을 통해 별도의 성질을 일반화한다. 또한 $\star$-클래스 군과 $t$-클래스 군을 구분하고, $\text{Cl}^\star(D) \subsetneq \text{Cl}^t(D)$인 도메인을 식별하며, 특정 비율 도메인에 대해 $\text{Cl}^v(D)$를 계산한다.

ABSTRACT

Let $D$ be an integral domain with quotient field $K$ and let $X$ be an indeterminate over $D$. Also, let $\boldsymbol{\mathcal{T}}:=\{T_λ\mid λ \in Λ\}$ be a defining family of quotient rings of $D$ and suppose that $\ast $ is a finite type star operation on $D$ induced by $\boldsymbol{\mathcal{T}}$. We show that $D$ is a P$ \ast $MD (resp., P$v$MD) if and only if $(\co_D(fg))^{\ast}=(\co_D(f)\co_D(g))^{\ast}$ (resp., $(\co_D(fg))^{w}=(\co_D(f)\co_D(g))^{w}$) for all $0 e f,g \in K[X]$. A more general version of this result is given in the semistar operation setting. We give a method for recognizing P$v$MD's which are not P$\ast $MD's for a certain finite type star operation $\ast $. We study domains $D$ for which the $\ast $--class group $\Cl^{\ast}(D)$ equals the $t$--class group $\Cl^{t}(D)$ for any finite type star operation $\ast $, and we indicate examples of P$v$MD's $D$ such that $\Cl^{\ast}(D)\subsetneq \Cl^{t}(D)$. We also compute $\Cl^v(D)$ for certain valuation domains $D$.

연구 동기 및 목표

• 다항식 계수 공식을 사용하여 Pr"ufer $\star$-곱셈 도메인(P$\star$MDs)과 P$v$MDs를 식별하는 내용 기반 기준을 제공하는 것.
• 유한형 성질을 가진 별 연산 $\star$에 대해 $\star$-클래스 군 $\text{Cl}^\star(D)$와 $t$-클래스 군 $\text{Cl}^t(D)$ 사이의 관계를 조사하며, 특히 이들이 다를 경우를 중심으로 분석하는 것.
• 특정 비율 도메인에 대해 $v$-클래스 군 $\text{Cl}^v(D)$를 계산하는 것, 특히 분지하지 않은 최대 이상수를 가진 도메인을 중심으로 한다.
• $\text{Cl}^v(D) = 0$이면 $D$가 GCD-도메인임을 추론할 수 있는지 탐색하고, $D$가 $v$-도메인 또는 완전히 정수적으로 닫힌 도메인임에도 불구하고 $\text{Cl}^v(D) \neq 0$인 경우를 식별하는 것.

제안 방법

• 모든 비영인 $f,g \in K[X]$에 대해 $(\mathbf{c}_D(fg))^\star = (\mathbf{c}_D(f)\mathbf{c}_D(g))^\star$의 등식을 통해 P$\star$MDs를 정의하는 다항식 $f \in K[X]$에 대한 계수 함수 $\mathbf{c}_D(f)$의 사용.
• 내용 공식 기준을 별 연산 설정으로 일반화하여, 별 연산의 결과를 더 넓은 범주로 확장하는 것.
• 몫환의 성질과 가족 $\{T_\lambda\}$를 정의하여, 특정 유한형 별 연산 $\star$에 대해 P$v$MD이지만 P$\star$MD가 아닌 예를 구성하는 것.
• 분수 이상수와 그 군론적 성질에 대해 $v$-연산과 $t$-연산을 적용하며, 특히 비율 도메인과 $v$-도메인의 맥락에서 분석하는 것.
• $\star_{\!{}_{f}}$-연산(유한형 반별 연산)을 사용하여 준-$\star$-이데알과 그 최대 원소를 분석함으로써, 다양한 연산 하에서 군론적 성질을 연구하는 것.
• 기존의 GCD-도메인, 전-슈라이어 도메인, 완전히 정수적으로 닫힌 도메인에 관한 결과를 활용하여 $\text{Cl}^v(D) = 0$가 성립하는 조건을 분석하고, $\text{Cl}^v(D) \neq 0$인 반례를 구성하는 것.

실험 결과

연구 질문

• RQ1 모든 비영인 $f,g \in K[X]$에 대해 $(\mathbf{c}_D(fg))^\star = (\mathbf{c}_D(f)\mathbf{c}_D(g))^\star$의 등식이 성립하는 것은 언제이며, 이는 $D$가 P$\star$MD임과 동치인가?
• RQ2 특정 유한형 별 연산 $\star$에 대해 P$v$MD이지만 P$\star$MD가 아닌 예를 구성할 수 있는가?
• RQ3 모든 유한형 별 연산 $\star$에 대해 $\text{Cl}^\star(D) = \text{Cl}^t(D)$가 성립하는 조건은 무엇이며, $\text{Cl}^\star(D) \subsetneq \text{Cl}^t(D)$가 성립하는 경우는 언제인가?
• RQ4 분지하지 않은 최대 이상수를 가진 비율 도메인 $D$에 대해 $\text{Cl}^v(D)$의 구조는 어떠한가?
• RQ5 $\text{Cl}^v(D) = 0$이면 $D$가 GCD-도메인임을 결론 내릴 수 있는가? 그리고 $\text{Cl}^v(D) \neq 0$인 $v$-도메인은 존재하는가?

주요 결과

• 도메인 $D$가 P$\star$MD(또는 P$v$MD)일 필요충분조건은 모든 비영인 $f,g \in K[X]$에 대해 $(\mathbf{c}_D(fg))^\star = (\mathbf{c}_D(f)\mathbf{c}_D(g))^\star$(또는 $(\mathbf{c}_D(fg))^w = (\mathbf{c}_D(f)\mathbf{c}_D(g))^w$)가 성립하는 것이다.
• 일부 유한형 별 연산 $\star$에 대해 $\text{Cl}^\star(D) \subsetneq \text{Cl}^t(D)$인 P$v$MD $D$가 존재함을 보여, $\star$-클래스 군이 $t$-클래스 군보다 엄격히 작을 수 있음을 입증한다.
• 분지하지 않은 최대 이상수를 가진 비율 도메인 $V$에 대해, $\text{Cl}^v(V)$는 0이 아닐 수 있으며, [4, 예제 1]의 예시에서 비유한 생성 $v$-이데알 $I$가 $II^{-1} = M$을 만족함을 통해 이를 입증한다.
• 만약 $D$가 $v$-도메인이고 $\text{Cl}^v(D) = 0$이면 $D$는 GCD-도메인임을 보여주지만, 그 역은 성립하지 않으며, $\text{Cl}^v(D) \neq 0$이지만 $v$-도메인인 비GCD-도메인의 예시를 통해 이를 확인할 수 있다.
• 순서수 1, 분지하지 않은 최대 이상수를 가진 비율 도메인 $D$에 대해 $\text{Cl}^v(D)$는 비자명할 수 있으며, 이는 이러한 경우에도 $\text{Cl}^v(D)$가 항상 자명하지 않음을 시사한다.
• 논문은 도메인 $D$에 대해 $\text{Cl}^v(D)$가 항상 $(\mathbb{R},+)$의 화상임을 증명하는 열린 질문을 제기하며, $\text{Cl}^v(D[X])$와 $\text{Cl}^v(D[\mathbb{Q}^+])$의 추가 연구를 제안한다.