[논문 리뷰] Gabriel localization theory and its applications

Abolfazl Tarizadeh|arXiv (Cornell University)|2016. 07. 17.

Algebraic structures and combinatorial models참고 문헌 4인용 수 3

한 줄 요약

이 논문은 교환환에 대한 Gabriel 국소화 이론을 개발하여 고전적 국소화의 자연스러운 일반화를 확립한다. 평탄한 에피모르피즘과 특정 클래스의 Gabriel 국소화 사이의 정확한 대응 관계를 증명하며, 이 결과에 대한 새로운, 간단한 증명을 제시하고 국소화 함자에 대한 정확성과 국소화된 환에서의 소이데알의 구조를 기술한다.

ABSTRACT

In this article first we develop the Gabriel localizations (abbreviated as G-localizations) for commutative rings, specially some new results in this direction are proven. Then, as an application, it is shown that a ring map is a flat epimorphism if and only if it corresponds to a kind of the G-localizations. As a by-product of this study, a characterization for the flatness of the quotient rings is given. The exactness of the G-localization functor are characterized. The structure of prime ideals in the G-localization rings are also studied. Finally, it is shown that the Gabriel localization theory is a natural generalization of the usual localization theory.

연구 동기 및 목표

• 교환환에 대한 Gabriel 국소화 이론을 개발하여 고전적 국소화 방법을 확장한다.
• 환의 사상이 평탄한 에피모르피즘임과 동시에 G-국소화로부터 유도됨이 정확히 동치임을 보여주는 새로운, 간단한 증명을 제공한다.
• G-국소화 함자의 정확성과 G-국소화된 환에서의 소이데알의 구조를 특성화한다.
• G-국소화가 일반적인 국소화를 일반화하고 평탄한 에피모르피즘에 대한 통합적 프레임워크를 제공함을 보여준다.

제안 방법

• 교환환 R에 대해, F를 공집합이 아니며 F의 원소를 포함하는 이상들과 유한한 교차를 닫는 이상들의 가중족으로 정의한다.
• 각 원소의 소멸자(annihilator)가 F에 속하는 R-모듈을 F-무시 가능 모듈로 정의하며, 이를 통해 왼쪽 정확한 함자 F(−)를 형성한다.
• I ∈ F에 대해 Hom_R(I, R/F(R))의 코프로덕트로 G-국소화 R_F를 구성하고, 자연스러운 사상 j_R: R → R_F를 정의한다.
• 코프로덕트의 보편성 조건을 이용하여, 곱집합 S에 대해 S⁻¹M → M_F로 가는 유일한 R-선형 사상 φ를 정의하며, 이는 기존의 국소화와 일치함을 보인다.
• p ↦ p_F는 F에 속하지 않는 소이데알과 R_F에서 F′(R_F에 유도된 위상)에 속하지 않는 소이데알 사이의 전단사 사상임을 증명한다.
• F가 곱집합 S와 만날 이상들의 가중족일 경우, 일반적인 국소화 S⁻¹R는 R_F와 자연스럽게 동형임을 확립한다.

실험 결과

연구 질문

• RQ1 Gabriel 국소화는 고전적 국소화를 초월하여 교환환에 대해 체계적으로 어떻게 발전시킬 수 있는가?
• RQ2 환의 평탄한 에피모르피즘과 G-국소화 사이의 정확한 대응 관계는 무엇인가?
• RQ3 G-국소화 함자가 정확한 경우는 언제인가?
• RQ4 기존 환의 소이데알은 G-국소화된 환의 소이데알과 어떻게 관련이 있는가?

주요 결과

• 환의 사상이 평탄한 에피모르피즘임과 동시에 G-국소화로부터 유도됨이 정확히 동치이며, 이 결과에 대한 새로운이고 간단한 증명을 제공한다.
• G-국소화 함자는 왼쪽 정확하며, 이 정확성은 위상체계 F에 대한 조건을 통해 특성화된다.
• R_F의 소이데알은 p ↦ p_F 사상에 의해 F에 속하지 않는 R의 소이데알들과 전단사로 대응된다.
• F가 곱집합 S와 만날 이상들의 가중족일 경우, 일반적인 국소화 S⁻¹R는 R_F와 자연스럽게 동형이다.
• F-무시 가능 모듈의 구조는 부분모듈, 몫모듈, 유한한 직합, 국소화에 대해 보존된다.
• G-국소화 연구의 부산물로써, 몫환의 평탄성에 대한 특성화를 확보한다.