직접극한과 Ext¹ 함수의 교환성을 갖는 모듈의 특성

본 논문은 오른쪽 R-모듈 M에 대해 공변 Ext¹_R(M,−)가 직접극한(direct limits) 혹은 직접합(direct sums)과 교환되는 경우를 체계적으로 분석한다. 서론에서는 Hom‑함수와 텐서‑함수의 직접극한 보존성이 모듈의 유한제시성, 코히런트성, 작은(small) 모듈 개념과 깊은 연관이 있음을 상기한다. Lenzing의 정리(모듈 M이 유한제시 iff Hom_R(M,−)가 직접극한을 보존)와 Watts 정리(함수 F가 오른쪽 정확하고 직접합을 보존하면 F≅−⊗_R F(R))를 도구로 삼아 Ext‑함수의 교환성을 탐구한다. 첫 번째 절에서는 “fp‑Ω¹”, “fg‑Ω¹”, “small‑Ω¹” 모듈을 정의한다. 여기서 Ω¹(P)는 프로젝트 해상도 P의 첫 번째 syzygy이며, 해당 syzygy가 각각 유한제시, 유한생성, 작은 모듈일 때 각각의 명칭을 부여한다. Lemma 2.1은 이러한 모듈에 프로젝트 모듈 L을 더하면 M⊕L이 FP₂ 모듈(또는 FP₁ 모듈)과 프로젝트 모듈의 직접합이 됨을 보인다. 이는 이후 증명에서 중요한 구조적 분해 도구가 된다. 다음으로 Theorem 2.2(인용: