[논문 리뷰] Semistar linkedness and flatness, Prüfer semistar multiplication domains

Saı̈d El Baghdadi, Marco Fontana|ArXiv.org|2003. 05. 23.

Rings, Modules, and Algebras참고 문헌 18인용 수 7

한 줄 요약

이 논문은 곱셈 이상 이론의 고전적 개념들인 연결성과 평탄성의 일반화로써 semistar 연결성과 semistar 평탄성을 도입하고 연구한다. 이는 다이비스(Davis)와 릭먼(Richman)의 프뤼퍼 도메인에 대한 overring 이론적 특성화를 프뤼퍼 semistar 곱셈 도메인(P⋆MDs)의 맥락으로 확장한다. 주요 기여는 릭먼의 평탄성 정리에 대한 semistar 해석을 제시하는 것으로, 도메인 D가 P⋆MD임과 동시에 모든 overring이 적절한 연결성 조건 하에 D에 대해 semistar 평탄할 때, 이 두 조건이 동치임을 증명한다.

ABSTRACT

In 1994, Matsuda and Okabe introduced the notion of semistar operation, extending the "classical" concept of star operation. In this paper, we introduce and study the notions of semistar linkedness and semistar flatness which are natural generalizations, to the semistar setting, of their corresponding "classical" concepts. As an application, among other results, we obtain a semistar version of Davis' and Richman's overring-theoretical theorems of characterization of Prüfer domains for Prüfer semistar multiplication domains.

연구 동기 및 목표

• 연결성과 평탄성의 고전적 개념들을 semistar 작동 프레임워크로 일반화하기.
• 프뤼퍼 도메인에 대한 overring 이론적 특성화를 프뤼퍼 semistar 곱셈 도메인(P⋆MDs)의 맥락으로 확장하기.
• 릭먼의 정리에 대한 semistar 해석을 수립하여, semistar 연결성 조건 하에서 overring의 평탄성으로서 P⋆MD를 특성화하기.
• semistar 곱셈 이상 이론에서 평탄성과 연결성을 통합적으로 연구할 수 있는 프레임워크 제공하기.

제안 방법

• D의 overring T에 대한 유도된 semistar 작동 ℓ⋆,T를 통해 semistar 연결 overring 정의하기.
• 고전적 평탄 overring 이론을 일반화한 semistar 평탄성 도입하여 소수 이상의 행동 유지하기.
• 유한형 semistar 작동 ⋆f와 준-⋆f-소수 이상을 사용해 국소적 행동 분석하기.
• 가장자리 overring과 국소화 기법을 적용해 문제를 국소 설정으로 축소하기.
• 최소 semistar 작동 ℓ⋆,T를 사용해 overring 간 평탄성과 연결성 조건의 동치성 확립하기.
• 기존의 P⋆MD와 가장자리 도메인에 관한 결과를 활용해 주요 특성화 정리 증명하기.

실험 결과

연구 질문

• RQ1 고전적 t-연결 overring 개념을 어떻게 semistar 맥락으로 일반화할 수 있는가?
• RQ2 주어진 semistar 작동 ⋆ 하에서, 어떤 조건이 overring T가 도메인 D에 대해 semistar 평탄해지게 하는가?
• RQ3 다이비스와 릭먼의 프뤼퍼 도메인 특성화를 프뤼퍼 semistar 곱셈 도메인으로 확장할 수 있는가?
• RQ4 최소 semistar 작동 ℓ⋆,T는 평탄성과 연결성 특성화에서 어떤 역할을 하는가?
• RQ5 모든 overring이 D에 대해 semistar 평탄할 경우, 어떤 조건에서 도메인 D가 P⋆MD가 되는가?

주요 결과

• 도메인 D가 P⋆MD이면, 모든 D의 overring T에 대해, T가 D에 대해 (⋆,⋆′)-평탄이 되는 모든 semistar 작동 ⋆′에 대해 (⋆,⋆′)-연결되어야 한다.
• semistar 작동 ℓ⋆,T는 T가 D에 대해 (⋆,⋆′)-연결되도록 하는 T 위의 최소 semistar 작동이며, 특성화에서 중심적인 역할을 한다.
• 모든 D의 overring T가 D에 대해 (⋆,ℓ⋆,T)-평탄이면, D는 P⋆MD이며, 그 역도 성립한다.
• T가 (D,⋆)에 대해 t-연결이면, T는 (D,⋆)에 대해 t-평탄이 되며, 이는 D가 P⋆MD임과 동치이다.
• D가 P⋆MD이면, D의 모든 준-⋆f-소수 이상 P에 대해, 국소화 DP는 가장자리 도메인이 된다.
• 특성화는 T가 D에 대해 (⋆,dT)-연결되어 있는 overring로 제한되어도 성립하므로, 평탄성 조건의 강건성을 보여준다.