Generalized Bassian Modules over Non-primitive Dedekind Prime Rings

기술 요약: 비원시 데데킨트 소 원(Non-primitive Dedekind Prime Rings) 위의 일반화된 바시안 모듈(Generalized Bassian Modules)

문제 정의
본 논문은 특정 클래스의 환인 비원시 데데킨드 소 원 위의 일반화된 바시안 모듈의 구조적 성질을 조사한다. 우 $A$-모듈 $M$이 어떤 부분 모듈 $N$에 대하여 단사 준동형 사상(injective homomorphism/monomorphism) $M \to M/N$이 존재할 때, $N$이 $M$의 직합 분해 성분(direct summand)이 된다면 $M$을 일반화된 바시안이라고 정의한다. 이는 $M$이 어떠한 진부분 호모모픽 이미지(proper homomorphic image)와도 동형이 아닐 때(즉, 그러한 준동형 사상이 존재할 때 $N=0$인 경우)를 의미하는 바시안 모듈의 개념을 일반화한 것이다.

비원시 데데킨드 소 원 위의 바시안 모듈(특히 특이 바시안 모듈)은 [22]에서 이미 규명되었으나, 이 문맥에서의 일반화된 바시안 모듈의 분류는 미해결 과제로 남아 있었다. 본 논문의 목적은 이러한 환들 위에서의 특이 일반화된 바시안 모듈의 구조를 기술하는 것이며, 이는 알려진 바시안 및 일반화된 바시안 아벨 군(abelian groups)의 기술 방식과 유사하다.

방법론
본 연구는 모듈 이론 및 환 이론의 표준적인 기법들을 사용하며, 특히 비원시 데데킨드 소 원의 상위 집합인 헤레디터리 노테리안 소(HNP) 환 위의 모듈 구조에 집중한다. 방법론은 다음 사항들에 의존한다:

1. 분해 이론(Decomposition Theory): 데데킨드 소 원 위의 특이 모듈의 주 성분(primary decomposition)을 활용한다. 특이 모듈 $M$은 주 성분 $M(P_i)$들의 직합으로 분해되는데, 여기서 $P_i$는 극대 가역 이데알(maximal invertible ideals)이다.
2. 단사 모듈(Uniserial Modules)의 구조 분석: 특이한 인젝티브 비가약 모듈(injective indecomposable singular modules)에 관한 기존 결과(예: [22])를 활용한다. 이들은 특정 부분 모듈 체인 구조를 가진 유니세리얼(uniserial)하고 비순환적인(non-cyclic) 모듈로 특징지어진다.
3. 성분으로의 축소(Reduction to Components): 모듈이 일반화된 바시안 모듈일 필요충분조건은 그 주 성분들이 일반화된 바시안 모듈인 것임을 확립한다 (Proposition 3.3).
4. 모순 논증(Contradiction Arguments): 필수 확장(essential extensions), 특이 부분 모듈, 그리고 골디 차원(Goldie dimensions)의 성질을 사용하여, 특정 무한 직합이나 비축소 구조(non-reduced structures)가 일반화된 바시안 조건을 만족할 수 없음을 증명한다.

주요 기여 및 결과
본 논문의 핵심 결과는 정리 1.2이며, 이는 비원시 데데킨드 소 원 위의 특이 일반화된 바시안 모듈에 대한 완전한 규명을 제공한다.

정리 1.2: $A$를 비원시 데데킨드 소 원이라 하고, $M$을 주 성분 $M_i$ ($i \in I$)를 갖는 특이 우 $A$-모듈이라 하자. 다음 조건들은 동치이다:

1. $M$은 일반화된 바시안 모듈이다.
2. $M$은 바시안 모듈과 반단순(semisimple) 모듈의 직합이다.
3. $M$의 모든 주 성분 $M_i$는 노테리안 모듈과 반단순 모듈의 직합이다.

보조 결과:

• Proposition 3.6: 만약 $M$이 일반화된 바시안 특이 모듈이라면, 모든 주 성분 $M_i$는 반드시 노테리안 부분과 반단순 부분으로 분해되어야 함을 증명한다. 이는 순환 유니세리얼 성분들의 길이를 분석하고, 길이가 2 이상인 동형 성분들의 무한 집합이 일반화된 바시안 성질과 모순을 일으킴을 보임으로써 달성된다.
• Proposition 3.3: 특이 모듈이 일반화된 바시안 모듈일 필요충분조건은 그 모든 주 성분이 일반화된 바시안 모듈인 것임을 확립한다. 또한, 이러한 모듈의 경우, 0이 아닌 영인자(annihilator)의 존재는 유계된 길이(bounded length)를 가진 유니세리얼 노테리안 순환 모듈로의 분해를 함을 명확히 한다.
• 바시안 모듈과의 관계: 모든 바시안 모듈은 일반화된 바시안 모듈이지만, 그 역은 성립하지 않음을 확인한다 (예: 무수히 많은 동형 단순 모듈의 직합은 일반화된 바시안이지만 바시안은 아니다). 그러나 소크레(socle)의 균질 성분(homogeneous components)이 유한 생성되는 조건 하에서는, 일반화된 바시안 모듈이 바시안이 된다.

의의 및 범위
본 논문은 정리 1.2가 자신의 주요 결과이며, 비원시 데데킨드 소 원 위의 특이 일반화된 바시안 모듈에 대한 결정적인 기술임을 주장한다. 의의는 바시안 모듈(이전에는 이 환들에 대해 알려져 있었음)의 분류를 더 넓은 범주인 일반화된 바시안 모듈으로 확장했다는 점에 있다.

저자는 결과가 유계된 HNP 환(bounded HNP rings)인 비원시 데데킨드 소 원의 특정 성질에 크게 의존하고 있음을 언급한다. 논문은 정리 1.2를 반드시 데데킨드 소 원이 아닌 더 넓은 클래스인 HNP 환(Hereditary Noetherian Prime rings)으로 확장할 수 있는지에 대한 열린 질문(Remark 4.6)을 던지며 마무리한다. 본 논문은 이 확장을 해결하지 않고, 지정된 환 클래스로 범위를 제한하여 겸허한 범위를 유지한다.

문맥적 참고 사항

• 본 연구는 바시안 아벨 군([2]) 및 일반화된 바시안 아벨 군([3], [6], [7])에 대한 기존의 기술들을 토대로 한다.
• 본 연구는 러시아 과학 재단의 지원을 받았다.
• 본 논문은 [8]–[11] 및 [13]의 참조 문헌을 활용하여 결합적 단위(associative unital) 환과 유니터리(unitary) 모듈의 정의를 엄격히 준수한다.