균일 S‑프로젝티브와 그 이중성: 모듈 상대성 및 응용

초록

이 논문은 곱셈 부분집합 S 에 대해 “균일 S‑프로젝티브(u‑S‑projective)·상대 모듈” 개념을 정의하고, 그 대칭인 u‑S‑injective 상대 모듈을 도입한다. 주요 정리에서는 이러한 성질이 부분모듈, 직합, 동형사상 등에 대해 보존됨을 보이며, u‑S‑semisimple 모듈·링을 여러 동등조건으로 특징짓는다. 또한 u‑S‑quasi‑projective·quasi‑injective 모듈을 정의하고, 이들의 기본 성질과 u‑S‑semisimple 링과의 관계를 제시한다.

상세 분석

논문은 먼저 기존의 u‑S‑projective·injective 개념을 “모듈에 대한 상대성”으로 확장한다. 정의 2.1에서 P가 M에 대해 u‑S‑projective라 함은 모든 u‑S‑epimorphism f : M→N에 대해 Hom_R(P,f) 가 다시 u‑S‑epimorphism이 되는 것을 의미한다. 이는 전통적인 상대적 projective(모듈 U가 M에 대해 epimorphism을 끌어올릴 수 있음)와 완전히 유사하지만, 커널·코커널이 S‑torsion으로 제한되는 u‑S‑exactness를 사용한다는 점에서 차별화된다. 정의의 대칭인 u‑S‑injective도 동일하게 monomorphism에 대해 Hom_R(f,E) 가 u‑S‑epimorphism이 되도록 요구한다.

핵심 정리 2.3·2.4는 이러한 정의가 “자연스러운” 동등조건과 동치임을 보인다. 특히 (3)항에서 η_K : M→M/K가 u‑S‑epimorphism이면, Hom_R(P,η_K) 가 u‑S‑epimorphism이 되는 것이 P가 M에 대해 u‑S‑projective인 충분·필요조건임을 증명한다. 이는 기존의 “모듈 U가 M에 대해 projective”와 동일한 구조를 유지하면서, S‑torsion을 통한 균일성을 도입한 것이다.

다음으로 정리 2.7·2.8은 직합에 대한 보존성을 다룬다. u‑S‑projective·injective 성질은 각 성분에 대해 개별적으로 성립하면 전체 직합에서도 성립한다는 점은 모듈 이론에서 필수적인 폐쇄성이다. 정리 2.11·2.12는 부분모듈과 상위모듈 사이의 전이성을 보여, u‑S‑projective·injective가 “상하 사슬”에서도 유지됨을 확인한다.

특히 정리 2.16·2.17은 u‑S‑semisimple 모듈을 여러 관점에서 동등하게 정의한다. “모든 R‑모듈이 M에 대해 u‑S‑injective” 혹은 “모든 R‑모듈이 M에 대해 u‑S‑projective”라는 조건이 M이 u‑S‑semisimple임을 보이며, 이는 기존의 semisimple 모듈 정의와 직접적인 일반화이다.

섹션 3에서는 u‑S‑quasi‑projective·quasi‑injective 개념을 도입한다. 정의 3.1에 따르면, 모듈 자체가 자신에 대해 u‑S‑projective·injective이면 quasi‑라 부른다. 명제 3.4는 이러한 모듈을 “지역적”으로 특성화하는데, 즉 모든 유한 생성 부분모듈에 대해 u‑S‑projective·injective가 되는지를 검사한다. 예시 3.3·3.5는 u‑S‑projective ⇒ u‑S‑quasi‑projective는 일반적으로 역이 될 수 없음을 보여, 두 개념 사이의 간격을 명확히 한다.

마지막으로 정리 3.11은 u‑S‑semisimple 링을 “모든 왼쪽 모듈이 u‑S‑quasi‑injective” 혹은 “모든 오른쪽 모듈이 u‑S‑quasi‑projective”라는 조건으로 동등하게 기술한다. 이는 기존의 semisimple 링 특성화와 완전히 일치하면서, S‑torsion을 통한 균일성을 포함한다는 점에서 새로운 시각을 제공한다. 전체적으로 논문은 기존의 상대적 projective·injective 이론에 u‑S‑균일성을 체계적으로 삽입하고, 그 결과를 통해 semisimple 구조까지 확장함으로써, S‑localization과 모듈 이론 사이의 교량 역할을 수행한다.