모듈의 토션프리 차원과 고리의 자기주입 차원 연구

초록

본 논문에서는 좌·우 Noetherian 링 (R)에 대해 유한 생성 (R)-모듈의 토션프리 차원을 정의하고, 이 차원이 일정한 상한 (n) 이하인 것이 (R)이 자기주입 차원 (\le n)인 Gorenstein 링과 동치임을 증명한다. 또한 토션프리 차원과 Gorenstein 차원의 관계를 밝히고, (\Ext_R^i(M,R)=0) ((1\le i\le n))인 모듈들의 구조적 특성을 조사한다.

상세 분석

논문은 먼저 좌·우 Noetherian 링 (R) 위의 유한 생성 모듈 (M)에 대해 “토션프리 차원(torsionfree dimension)”을 도입한다. 이는 기존의 Gorenstein 차원과는 달리, (M)이 (n)‑단계 토션프리 해석을 가질 수 있는 최소 (n)을 의미한다. 구체적으로, (M)이 (n)‑단계 토션프리라 함은 어떤 정확한 열 (0\to T_n\to\cdots\to T_0\to M\to0)가 존재하여 각 (T_i)가 토션프리(즉, (\Ext_R^1(T_i,R)=0))이며, 이 열이 완전한 해석을 제공한다는 뜻이다. 저자는 이 정의가 기존의 Gorenstein 차원 정의와 자연스럽게 연결됨을 보이며, 특히 모든 유한 생성 좌·우 모듈이 동일한 상한 (n) 이하의 토션프리 차원을 가질 때, (R)은 자기주입 차원 (\le n)인 Gorenstein 링임을 증명한다. 이는 “모든 좌·우 모듈이 토션프리 차원 (\le n)” ⇔ “(R)이 Gorenstein이며 self‑injective dimension (\le n)”이라는 강력한 동치 관계를 제공한다.

다음으로 저자는 (\Ext_R^i(M,R)=0) ((1\le i\le n))인 모듈 (M)에 대한 구조적 성질을 탐구한다. 이러한 Ext 소거 조건은 전통적인 (n)-torsionfree 모듈 개념과 일치하지만, 여기서는 이를 토션프리 차원의 관점에서 재해석한다. 저자는 다음과 같은 주요 결과를 얻는다. (1) 위 조건을 만족하는 모듈은 (n)‑단계 토션프리 해석을 가질 수 있으며, 따라서 토션프리 차원이 (\le n)이다. (2) 이러한 모듈들의 직접합, 직접곱, 그리고 확장(closed under extensions) 성질이 유지됨을 보인다. (3) 특히, (R)이 자기주입 차원 (\le n)이면 모든 이러한 모듈이 실제로 Gorenstein 차원 (\le n)을 갖는다. 이는 Gorenstein 차원과 토션프리 차원이 동일한 상한을 공유한다는 사실을 다시 한 번 확인시킨다.

마지막으로 저자는 자기주입 차원과 토션프리 차원 사이의 정밀한 관계를 정리한다. 만일 (R)이 자기주입 차원 (d)를 갖는다면, 모든 유한 생성 모듈은 토션프리 차원 (\le d)을 가지며, 반대로 모든 모듈이 토션프리 차원 (\le n)이면 (R)의 자기주입 차원도 (\le n)이다. 이와 같은 결과는 기존에 알려진 “Gorenstein 차원과 자기주입 차원의 동치”를 토션프리 차원이라는 새로운 관점에서 재구성한 것으로, 모듈 이론과 고리 이론 사이의 교량 역할을 한다.