[논문 리뷰] t-Class semigroups of Noetherian domains

S. Kabbaj, A. Mimouni|arXiv (Cornell University)|2008. 11. 28.

Rings, Modules, and Algebras참고 문헌 16인용 수 4

한 줄 요약

이 논문은 Noetherian 도메인의 t-클래스 반군을 조사하여, Noetherian 도메인이 강한 t-안정성일 조건을 Boole t-정규성과 t-차원 1이 동시에 성립할 때만 성립함을 규명한다. 이 성질은 강한 Mori 도메인으로 확장되며, Boole t-정규성과 t-차원 1이 강한 t-안정성을 유도하지만, Clifford t-정규성만으로는 t-차원 1이나 t-안정성을 보장하지 못함을 보여준다.

ABSTRACT

The t-class semigroup of an integral domain is the semigroup of fractional t-ideals modulo its subsemigroup of nonzero principal ideals with the operation induced by ideal t-multiplication. This paper investigates ring-theoretic properties of a Noetherian domain that reflect reciprocally in the Clifford or Boolean property of its t-class semigroup.

연구 동기 및 목표

• Noetherian 도메인의 환론적 성질이 그들의 t-클래스 반군의 Clifford 또는 Boolean 구조에 어떻게 반영되는지 조사한다.
• Noetherian 도메인에서 t-안정성이 t-정규성 조건에 의해 특성화되는지 여부를 규명한다.
• 강한 t-안정성의 특성화를 Noetherian 도메인에서 더 넓은 강한 Mori 도메인의 범주로 확장한다.
• t-차원이 t-정규성과 t-안정성의 특성화에서 차지하는 역할, 특히 t-이데알의 구조와의 관련성에서 명확히 한다.
• 비-Noetherian 강한 Mori 도메인에서 t-정규성의 한계를 조사하고, t-정규성 하에서 정수적 폐쇄의 행동을 분석한다.

제안 방법

• t-곱셈에 의한 비영주어의 주어진 분수 t-이데알의 모듈로 비영주어 주이데알에 대한 반군 S_t(R)를 정의한다.
• t-연산을 적용한다: I_t = ∪(J_v) (I의 유한생성 부분이데알 J에 대해), t-이데알은 I = I_t를 만족하는 이데알이다.
• R이 Boole t-정규일 조건을 특성화한다: 각 t-이데알 I에 대해 어떤 c ≠ 0 ∈ qf(R)가 존재하여 I = c(I²)_t를 만족한다.
• 특히 t-최대이데알에서의 t-국소화를 이용한 국소화 기법을 적용하여 문제를 국소적 Noetherian 도메인으로 환원한다.
• 강한 Mori 도메인에서는 v-이데알이 v-유한성이며, (I_S)_v = (I_v)_S가 성립함을 이용한다.
• v-이데알 I와 곱셈적 집합 S에 대해 (I:I)_S = (I_S:I_S)의 항등식을 적용하여 이데알과 그 안정자들의 국소화를 비교한다.

실험 결과

연구 질문

• RQ1 Noetherian 도메인에서 Boole t-정규성이 강한 t-안정성을 유도하는 조건은 무엇인가?
• RQ2 강한 t-안정성과 (Boole t-정규성 및 t-차원 1)의 동치관계가 Noetherian 도메인을 초월해 성립하는가?
• RQ3 Noetherian 도메인에서 Clifford t-정규성이 t-차원 1이나 t-안정성을 유도하는가?
• RQ4 강한 Mori 도메인에서 t-차원은 t-정규성과 t-안정성의 특성화에서 어떤 역할을 하는가?
• RQ5 Boole t-정규성의 Noetherian 도메인에서의 완전 정수적 폐쇄 R̄는 UFD 또는 PID가 되는가?

주요 결과

• Noetherian 도메인 R은 강한 t-안정성이 되기 위한 필요충분조건으로 Boole t-정규성과 t-dimension(R) = 1을 동시에 만족한다.
• t-차원이 2인 Boole t-정규성의 Noetherian 도메인이 존재함을 보여, Boole t-정규성만으로는 t-차원 1이 유도되지 않음을 입증한다.
• Noetherian 도메인에서는 (1) Clifford t-정규성 ⇒ (2) (I:I)의 t-역전가능성 ⇒ (3) L-안정성의 함의 체인이 성립하며, (3) ⇒ (1)은 t-dimension(R) = 1일 때에만 성립한다.
• 강한 Mori 도메인에서는 강한 t-안정성과 (Boole t-정규성 및 t-차원 1)의 동치관계가 성립하여 Noetherian 결과를 일반화한다.
• 비영주어의 도전자 (R:R̄)를 가진 Noetherian Boole t-정규 도메인 R의 완전 정수적 폐쇄 R̄는 UFD이다.
• Noetherian UFD R에 대해 R[[X]]의 예는, t-차원 1이면서 Clifford t-정규일 수는 있지만, 의사-Dedekind가 아니므로 t-안정성이 아님을 보여준다.