직접곱과 반변함수의 제한: 영 모듈만이 조건을 만족한다

초록

본 논문은 ZFC 체계 하에서 오른쪽 R-모듈 G에 대해, 모든 R-모듈 가족 (G_i)_{i∈I}에 대해 Hom_R(∏ G_i, G)와 ∏ Hom_R(G_i, G)가 자연동형을 이루는 경우 G는 영 모듈임을 증명한다. 특히 G_i≅G인 경우에도 동일한 결론이 성립한다.

상세 분석

이 논문은 모듈 이론에서 자주 등장하는 두 함자, 즉 공변적 직적곱 함자와 반변적 Hom 함자의 상호작용을 깊이 탐구한다. 일반적으로 Hom_R(–, G)는 반변함수이며, 직접곱 ∏_{i∈I}G_i에 대해 Hom_R(∏ G_i, G)와 ∏ Hom_R(G_i, G) 사이에는 자연스러운 사상 φ:Hom_R(∏ G_i, G)→∏ Hom_R(G_i, G) 가 존재한다. 이 사상은 각 f∈Hom_R(∏ G_i, G)를 구성요소 제한 f∘π_i (π_i는 i번째 사영) 로 보내는 방식이다. 그러나 대부분의 경우 φ는 전단사(전단사이자 전사)라기보다 단순히 전사이거나 전단사일 뿐이다. 논문은 “모든 가족 (G_i) 에 대해 φ가 동형(전단사)이다”라는 강력한 가정이 실제로는 G가 영 모듈일 때만 만족한다는 점을 보인다.

증명의 핵심은 두 단계로 나뉜다. 첫 번째 단계에서는 임의의 비영 G에 대해 특정한 인덱스 집합 I와 모듈 가족 (G_i) 를 구성한다. 여기서 저자는 I를 충분히 큰 카디널리티로 잡고, 각 G_i를 G 자체 혹은 G의 복제본으로 설정한다. 그런 다음 ∏ G_i 를 G-선형 사상으로 매핑하는 함수들을 고려하면서, φ가 전단사라면 존재해야 할 사상의 수와 실제 가능한 사상의 수 사이에 모순이 발생함을 보인다. 이때 ZFC의 선택공리와 카디널리티 연산을 활용해, Hom_R(∏ G_i, G)의 기수는 2^{|I|·|G|} 정도가 되지만 ∏ Hom_R(G_i, G)의 기수는 (|Hom_R(G,G)|)^{|I|} 로 제한된다. 비영 G에 대해 |Hom_R(G,G)|≥2임을 이용하면 두 기수가 일치하지 않음이 드러난다.

두 번째 단계에서는 G_i≅G인 경우까지 일반화한다. 여기서는 동일한 모듈을 무한히 많이 복제한 직적곱 ∏_{i∈I}G 를 대상으로 한다. 이때 φ가 동형이라면, 특히 대각선 사상 Δ:G→∏ G 가 사상 공간에 의해 완전히 재현될 수 있어야 한다. 그러나 Δ는 일반적으로 “분할 가능성”을 요구하는데, 이는 G가 영이 아닌 경우 불가능함을 보인다. 구체적으로, Δ의 이미지가 직접곱 안에서 독립적인 성분을 갖게 되면, 이를 역상으로 복원하는 사상이 존재하지 않음이 증명된다. 따라서 φ가 전단사라면 G는 반드시 영이어야 한다.

논문은 또한 기존 문헌에서 알려진 “Hom-함자는 직접곱을 보존하지 않는다”는 사실을 재확인하면서, 그 보존이 전단사까지 요구될 경우에는 영 모듈이 유일한 예외임을 명시한다. 이는 모듈 이론뿐 아니라 범주론적 관점에서도 중요한 의미를 가진다. 반변함수 Hom_R(–, G)가 직접곱을 보존한다는 조건은 일반적으로 “G가 인젝터” 혹은 “G가 작은(가산) 모듈”과 연관되지만, 이 논문은 전혀 다른 관점을 제시한다. 즉, 전단사 보존이라는 강한 조건은 모듈의 구조적 성질을 완전히 억제하여 영 모듈만을 남긴다.

마지막으로 저자는 ZFC 체계 내에서의 증명을 강조한다. 선택공리를 이용해 충분히 큰 인덱스 집합을 선택하고, 카디널리티 비교를 통해 모순을 도출하는 과정은 전형적인 집합론적 방법이다. 따라서 이 결과는 추가적인 대수적 가정 없이도 순수 집합론적 논증만으로 확정된다.