[논문 리뷰] Matlis' semi-regularity in trivial ring extensions issued from integral domains

Khalid Adarbeh, S. Kabbaj|arXiv (Cornell University)|2016. 04. 11.

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

한 줄 요약

이 논문은 정수환 $A$와 $A$-모듈러스 $E$로 구성된 임의의 링 확장 $A \ltimes E$에서 Matlis의 준정규성(또는 IF-링 성질)과 관련된 일관성 조건의 전이를 조사한다. 주요 기여는 $E$에서의 유사이deals 조건(DAC)을 통해 이러한 확장에서 준정규성의 특성화를 제공함으로써, 보편적으로 von Neumann 정규성 또는 준-프로베니우스 링이 아닌 새로운 준정규 링의 가닥을 제공하는 것이다.

ABSTRACT

This paper contributes to the study of homological aspects of trivial ring extensions (also called Nagata idealizations). Namely, we investigate the transfer of the notion of (Matlis') semi-regular ring (also known as IF-ring) along with related concepts, such as coherence, in trivial ring extensions issued from integral domains. All along the paper, we put the new results in use to enrich the literature with new families of examples subject to semi-regularity.

연구 동기 및 목표

• 정수환 $A$일 때, 임의의 링 확장 $A \ltimes E$에서 Matlis의 준정규성(IF-링 성질)의 전이를 조사한다.
• 특히 $A$가 일관성 있거나 정수적으로 닫혀 있을 때, 임의의 링 확장 $A \ltimes E$가 준정규가 되기 위한 필요 및 충분 조건을 규명한다.
• 기존의 범주(예: von Neumann 정규성 또는 준-프로베니우스 링)를 넘어서, 노에터이거나 감소하지 않는 준정규 링의 새로운 가닥을 문헌에 추가한다.
• 임의의 링 확장 $A \ltimes E$에서 준정규성에 있어 $\mathrm{fp}$-입사성과 $E$의 유사이deals 조건이 필수 조건임을 명확히 한다.
• 프뤼퍼 도메인, 유사이deals 도메인, 비표준 유일선형 모듈러스를 사용하여 준정규 임의의 링 확장의 구축적 예를 제시한다.

제안 방법

• 정수환 $A$와 $A$-모듈러스 $E$로 구성된 임의의 링 확장 구조 $R = A \ltimes E$를 이용하여 호모로지적 성질을 연구한다.
• 준정규 링의 특성화를 위해, 일관성 있는 링이자 자기 $\mathrm{fp}$-입사성(즉, $R$가 $R$-모듈러스로서 $\mathrm{fp}$-입사적임)을 갖는다는 조건을 적용한다.
• 유사이deals 조건(DAC): 모든 유한생성 아이디얼 $I$에 대해, 모든 유한생성 아이디얼 $J$에 대해 $(I : (I : J)) = J_v$ 를 만족함을 통해 준정규성을 특성화한다.
• 일관성 있는 도메인, 프뤼퍼 도메인, 그리고 비율 링에 관한 기존 결과를 활용하여, $A \ltimes \frac{Q(A)}{I}$ 가 준정규가 되는 예를 구성한다.
• 모듈러스 $E$의 구조, 예를 들어 $\frac{Q(A)}{I}$ 및 비율 링 위의 비표준 유일선형 모듈러스를 분석하여 준정규성을 검증한다.
• 호모로지 도구를 사용하여, 유한생성 표현된 모듈러스 $M$에 대해 $\operatorname{Ext}^1_R(M, E) = 0$ 이 성립함을 통해 $\mathrm{fp}$-입사성과 따라서 준정규성을 검증한다.

실험 결과

연구 질문

• RQ1 정수환 $A$일 때, 임의의 링 확장 $A \ltimes E$가 준정규가 되는 조건은 무엇인가?
• RQ2 유사이deals 조건(DAC)은 $A \ltimes E$의 준정규성 결정에 어떤 역할을 하는가?
• RQ3 von Neumann 정규성 또는 노에터성이 아닌 임의의 링 확장의 준정규성은 어떻게 구성할 수 있는가?
• RQ4 $E$의 $\mathrm{fp}$-입사성 또는 유사이deals 조건은 $A \ltimes E$의 준정규성과 어떻게 관련되는가?
• RQ5 어떤 유형의 모듈러스 $E$(예: $Q(A)/I$, 비표준 유일선형 모듈러스)가 준정규 임의의 링 확장을 유도하는가?

주요 결과

• 임의의 링 확장 $A \ltimes \frac{Q(A)}{I}$는 $\frac{Q(A)}{I}$가 유사이deals 조건(DAC)을 만족할 때이고 그 때에만 준정규이다.
• 만약 $A$가 체가 아니며 유한생성된 분수 아이디얼 $I$를 갖는 일관성 있는 도메인이라면, $A$가 프뤼퍼 또는 유사이deals 도메인이면 $A \ltimes \frac{Q(A)}{I}$는 준정규이다.
• 정수적으로 닫혀 있고 일관성 있는 도메인 $A$에 대해, $A \ltimes \frac{Q(A)}{A}$는 $A$가 프뤼퍼 도메인일 때이고 그 때에만 준정규이다.
• 모든 유한생성 아이디얼이 유사이deals인 조건을 만족할 경우, 정수적으로 닫혀 있지 않거나 유사이deals가 아닌 일관성 있는 도메인 $A$에 대해 $A \ltimes \frac{Q(A)}{I}$는 준정규가 될 수 있다.
• 비율 링 위의 비표준 유일선형 모듈러스 $E$는 $E$가 $J/I$의 몫과 동형이 아닐지라도, 임의의 링 확장 $A \ltimes E$가 준정규가 되게 할 수 있다.
• 이러한 구성은, 영원소가 존재하기 때문에 von Neumann 정규성이 아니며, 노에터가 아니기 때문에 준-프로베니우스 링이 아닌 새로운 준정규 링의 예를 제공한다.