다중 객체 링에서의 상대 순수 부분모듈 구축

초록

본 논문은 Bican‑El Bashir의 고전 정리를 다중 객체 링(소전미터 카테고리) 위의 모듈 범주로 일반화한다. 상대 순수 부분모듈의 존재를 보장하는 새로운 구성법을 제시하고, 이를 α‑순수 객체에 적용하여 다중 객체 환경에서도 순수성 이론을 확장한다.

상세 분석

Bican‑El Bashir 정리는 단일 객체 링 R‑모듈 범주 Mod‑R 에서, 주어진 비영 모듈 M 에 대해 M 안에 비자명한 𝔖‑상대 순수 부분모듈 N⊂M 이 존재함을 보인다. 여기서 𝔖는 R‑모듈의 한 집합으로, 𝔖‑순수성은 𝔖‑정밀(𝔖‑exact) 구조에 의해 정의된다. 논문은 이 정리를 “여러 객체를 갖는 링”, 즉 작은 전미터 카테고리 𝔖 로 일반화한다. 𝔖‑모듈 범주 Mod‑𝔖 는 전미터 카테고리 𝔖 의 가법 함자 전시(가법 함자) 전시이며, 이는 로컬리 프레젠터블(locally presentable)하고 완전·코완전한 아벨 범주이다. 저자는 먼저 𝔖‑모듈 범주에 적절한 𝔖‑정밀 구조를 설정하고, 𝔖‑순수 사상(𝔖‑pure monomorphism)과 𝔖‑순수 서브모듈을 정의한다. 핵심은 “상대 순수”라는 개념을 𝔖‑정밀 구조에 상대화시켜, 임의의 비영 𝔖‑모듈 M 에 대해 𝔖‑정밀 사상 f: N→M 이면서 N≠0 인 부분모듈 N 이 존재함을 증명하는 것이다.

증명 전략은 전통적인 집합론적 전이(Transfinite) 구성을 차용한다. 먼저 충분히 큰 기수 κ 를 잡아, M 의 원소들을 κ‑길이의 체인으로 정렬한다. 각 단계에서 현재까지 구축된 부분모듈 Nα 에 대해, 𝔖‑정밀 사상에 의해 “순수성 결함”이 발생하면, 이를 보완하기 위해 새로운 원소를 추가한다. 이 과정은 κ‑연속성을 유지하면서 진행되며, 최종 단계에서 얻어지는 N=⋃α<Nα 은 𝔖‑정밀 사상에 대해 닫혀 있어 𝔖‑순수하게 된다. 중요한 기술적 포인트는 𝔖‑정밀 구조가 충분히 “작다”(small)는 가정 하에, 각 단계에서 필요한 추가 원소의 수가 κ 이하임을 보이는 것이다. 이를 위해 저자는 𝔖‑정밀 사상의 핵심(핵심 사상)과 코핵심을 이용한 카테고리적 사상 분해와, 카르탄(카르탄) 정리를 활용한다.

다음으로 저자는 이 일반화된 정리를 α‑순수 객체에 적용한다. α‑순수성은 특정 큰 기수 α 에 대해, α‑직접극한(α‑directed colimit) 에 대해 보존되는 사상을 의미한다. 기존의 α‑순수 서브모듈 이론은 단일 객체 링에 국한되었으나, 여기서는 Mod‑𝔖 에서 α‑순수 monomorphism 을 정의하고, 위에서 구축한 상대 순수 부분모듈이 실제로 α‑순수임을 확인한다. 결과적으로, 임의의 비영 𝔖‑모듈 M 에 대해 α‑순수 부분모듈 N⊂M 이 존재함을 보이며, 이는 다중 객체 환경에서도 모델 이론적 안정성(stability)과 구조적 분류에 중요한 도구가 된다. 전체적으로 논문은 순수성 이론을 다중 객체 링으로 확장함으로써, 가법 함자 전시와 그 위의 정확 구조(exact structures)를 연구하는 새로운 길을 제시한다.