비원시 HNP 환에서의 반노에테리안 모듈 구조

초록

본 논문은 비원시(비원시적) 상속노에테리안 소수(prime) 환인 HNP(hereditary noetherian prime) 환 위에서 정의되는 반노에테리안 모듈의 구조를 완전히 기술한다. 주요 결과는 모듈 M이 반노에테리안일 필요충분조건을 제시하는 정리 1.1이며, 이는 M의 특이 부분 T의 기본 성분이 유한합의 순환 유니서리얼 모듈로 이루어지고, M/T가 비특이한 유한 차원 Goldie 모듈이며, 적절한 부분모듈 X가 존재해 T⊆X⊆M이고 X/T가 Noetherian이며 투사적이고 본질적인 부분모듈이라는 형태로 요약된다. 논문은 또한 HNP 환 위에서의 주입 모듈, 유니서리얼 모듈, 그리고 기본 성분들의 주기성 등을 상세히 조사한다.

상세 분석

논문은 먼저 반노에테리안 모듈의 정의를 재정립한다. 모든 인수 모듈이 최대 부분모듈을 가지는 모듈을 ‘max 모듈’이라 하고, 그 인수 모듈이 모두 max 모듈이면 원 모듈을 반노에테리안이라 정의한다. 이는 Noetherian 모듈이 자동으로 반노에테리안임을 포함한다. 이후 HNP 환의 기본 성질을 정리한다. HNP 환은 상속(noetherian)이며 소수(prime)이고, 비원시적이면 유계(bounded)이며, 따라서 비아트리오(비원시) HNP 환은 비아트리오이면서 비아트리오적(bounded)인 경우와 동치임을 언급한다. 특이 부분 Sing M과 토션 부분 T(M)의 관계, 그리고 Goldie 차원 개념을 활용해 비특이 모듈과 토션 모듈을 구분한다.

핵심 정리 1.1은 M이 반노에테리안일 때와 그 구조적 특징 사이의 동치성을 제시한다. 구체적으로, M의 가장 큰 특이 부분 T를 택하고, T의 각 기본 성분 T(P) (여기서 P는 최대 가역이상 Ideals) 가 순환 유니서리얼 모듈들의 유한 합으로 분해되며, 이들의 구성 길이의 총합이 유한함을 요구한다. 또한 M/T는 비특이하고 Goldie 차원에서 유한 차원을 가지며, M 안에 X라는 부분모듈이 존재해 T⊆X⊆M이며, X/T는 Noetherian이고 투사적이며 M/T의 본질적인 부분모듈이다. 마지막으로 M/X의 각 기본 성분도 순환 유니서리얼 모듈들의 유한 합이며, 그 구성 길이의 총합이 제한된다.

이를 증명하기 위해 논문은 여러 보조 결과를 제시한다. Proposition 2.1은 반노에테리안 모듈이 부분모듈과 인수 모듈에서도 유지된다는 기본 성질을 증명하고, Corollary 2.2는 유한 사슬을 통한 전이 원리를 제공한다. Lemma 2.4는 소수 Goldie 환에서 비특이 모듈이 무한 Goldie 차원을 가질 경우 자유 부분모듈을 포함한다는 사실을 이용해, 반노에테리안이 아닌 비순환 유니서리얼 모듈이 존재하면 모순이 발생함을 보인다. 이는 Proposition 2.6에서 “Sing M이 반노에테리안이고 M/Sing M이 유한 차원 비특이 반노에테리안”이라는 조건이 M 자체가 반노에테리안임을 역으로 증명하는 핵심 논리다.

섹션 3에서는 HNP 환 위의 주입 모듈 구조를 다룬다. Proposition 3.2는 비원시 HNP 환에서 특이 주입 모듈 E가 순환 유니서리얼이면서 주기 n을 갖는 체인 구조를 가지며, 최대 부분모듈이 존재하지 않음을 보여준다. 또한 모든 유한 생성 부분모듈은 순환 유니서리얼 모듈들의 유한 직접합으로 분해되고, 비주입 특이 모듈은 반드시 순환 유니서리얼 직접합을 포함한다는 점을 증명한다. 이와 함께 기본 성분들의 주기성, 에피모르피즘 존재성, 그리고 무한 합이 반노에테리안을 깨뜨리는 예시까지 제공한다.

전체적으로 논문은 비원시 HNP 환이라는 제한된 환경에서 반노에테리안 모듈이 “특이 부분은 유한 합의 순환 유니서리얼, 비특이 부분은 Goldie 차원에서 유한 차원”이라는 두 가지 핵심 구조로 분해될 수 있음을 밝힌다. 이는 기존의 아벨 군 이론과 유사한 구조 정리를 모듈 이론에 성공적으로 확장한 사례이며, 특히 비원시 HNP 환 위에서의 주입 및 유니서리얼 모듈의 행동을 정밀히 파악함으로써 향후 비원시 환경에서의 모듈 분류와 동형 사상 연구에 중요한 토대를 제공한다.