[논문 리뷰] FIP AND FCP products of ring morphisms

Gabriel Pıcavet, Martine Picavet-L’Hermitte|arXiv (Cornell University)|2013. 12. 04.

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

한 줄 요약

이 논문은 특히 링의 곱, 아이디얼라이제이션, 에탈레 사상에 중점을 두고 링 확장에서 FIP(유한한 중간 대수 구조)와 FCP(유한 체인 성질)를 조사한다. $ R \to R^n $ 이 FIP를 갖는 것은 $ R $ 가 유한한 아이디얼을 갖고 있고 $ n \neq 1 $ 일 때이며, $ R $ 가 극대 아이디얼에서 비체를 갖는 국소화를 가지며 그 잔여체가 무한한 경우에 해당한다. 아티닌 조건과 국소 조건을 통해 유한한 부분모듈을 갖는 모듈을 특성화한다.

ABSTRACT

We characterize some types of FIP and FCP ring extensions $R \subset S$, where $S$ is not an integral domain and $R$ may not be an integral domain. In this paper S is mostly a product of rings related to R and also the idealization of an R-module.

연구 동기 및 목표

• 정수환을 초월하여 일반적인 교환 링으로 FIP 및 FCP 이론을 확장하기 위해.
• 특히 $ R_i $ 가 $ R $ 과 관련된 경우에 $ R \to \textstyle\bigprod_{i=1}^n R_i $ 형태의 확장에서 FIP 및 FCP를 특성화하기 위해.
• 아이디얼라이제이션 $ R(+)M $ 의 연구를 통해 FCP 또는 FIP 확장을 유도할 수 있는 조건을 규명하기 위해.
• 행렬 관련 확장에 대한 $ R \to R^n $ 과 $ R^p \to R^n $ 의 분석을 위해.
• 반정규성과 아티닌 도우미 조건을 사용하여 에탈레 사상에 대한 FIP 조건을 수립하기 위해.

제안 방법

• FCP 체인을 분해하기 위한 핵심 도구로 최소 링 확장과 반정규화를 사용하기 위해.
• 도우미 아이디얼 $ C = (R:\bar{R}) $ 와 그 아티닌 조건을 필수 기준으로 적용하기 위해.
• 국소화 및 지지 조건을 통해 유한한 부분모듈을 갖는 $ R $-모듈의 구조를 활용하기 위해.
• 기저 전환 기법과 충실하게 평탄한 확장을 사용하여 체의 경우로 축소하기 위해.
• $[R,S]$ 에 대한 노에터 랏 이론을 활용하여 기약 원소를 분석하고 부분대수의 분해를 분석하기 위해.
• 카허르 미분과 분리성 결과를 적용하여 에탈레 확장을 FIP로 특성화하기 위해.

실험 결과

연구 질문

• RQ1 대각선 확장 $ R \to R^n $ 이 FIP 성질을 만족하는가?
• RQ2 어떤 조건에서 $ R $ 과 $ M $ 이 아이디얼라이제이션 $ R(+)M $ 이 FCP 또는 FIP 를 갖는가?
• RQ3 FCP/FIP 확장 $ R \to R_i $ 에 대해, 곱 확장 $ R \to \textstyle\bigprod_{i=1}^n R_i $ 에서 FIP 및 FCP 성질은 어떻게 행동하는가?
• RQ4 유한 에탈레 확장 $ R \to S $ 가 FIP 를 갖는 조건은 무엇이며, 반정규성은 이와 어떻게 관련되는가?
• RQ5 어떤 조건에서 $ R $-모듈이 유한한 부분모듈을 갖는가? 이는 $ R $ 의 구조와 어떻게 관련되는가?

주요 결과

• 확장 $ R \to R^n $ 이 FIP 를 갖는 것은 $ R $ 가 유한한 아이디얼을 갖고 있고 $ n \neq 1 $ 일 때이며, 극대 아이디얼 $ M $ 가 존재하여 $ R_M $ 이 체가 아니고 $ R/M $ 가 무한한 경우에 한하여 성립한다.
• 확장 $ R \to R(+)M $ 가 FCP 를 갖는 것은 $ R $-모듈 $ M $ 이 유한한 길이를 갖는 경우에 한하여 성립한다.
• 확장 $ R \to R(+)M $ 가 FIP 를 갖는 것은 $ M $ 이 유한한 $ R $-부분모듈을 갖는 경우에 한하여 성립한다.
• $ C = (0:M) $ 인 $ R $-모듈 $ M $ 이 유한한 부분모듈을 갖는 것은 $ M $ 이 유한 생성이며, $ R/C $ 가 유한한 아이디얼을 갖고, 모든 소수 $ P \ni C $ 에 대해 $ R/P $ 가 무한하고 $ M_P $ 가 순환일 때에 한하여 성립한다.
• 유한 에탈레 확장 $ R \to S $ 가 FIP 를 갖고 반정규이기 위한 필요충분조건은 $ C $ 가 도우미일 때 $ R/C $ 가 아티닌이면서 추상화된 것이다.
• 아티닌이면서 추상화된 $ R $ 과 함께 분리 가능한 확장 $ R \to S $ 는 유한하고, 에탈레이며, FIP 를 갖고 반정규이며, $ |[R,S]| \neq \text{Stirling 수의 곱} $ 이다.