R 모듈 위의 가법 폐쇄 대칭 모노이달 구조 분류

초록

이 논문은 왼쪽 R-모듈 범주에 존재하는 가법적이며 폐쇄된 대칭 모노이달 구조를 Watts 정리를 이용해 완전히 분류한다. 핵심은 두 개의 교환 가능한 오른쪽 R-모듈 구조(A, B)를 가진 R-모듈 Λ_{A,B}와 단위 객체 K를 선택하고, 이들 사이의 동형사상들을 만족시키는 조건을 밝히는 것이다. 간단한 예들을 통해 구조가 전혀 없거나, 하나만 존재하거나, 일곱 개가 존재하거나, 심지어 동형류가 적당히 큰 경우까지 다양한 경우를 제시한다. 또한 단위 K는 언제나 유한 생성 R-모듈이어야 함을 증명한다.

상세 분석

논문은 먼저 “가법 폐쇄 대칭 모노이달 구조”라는 개념을 정확히 정의한다. 여기서 가법성은 텐서곱이 R-모듈 사이의 직접합과 호환된다는 의미이며, 폐쇄성은 내부 Hom 객체가 존재함을 뜻한다. 이러한 구조를 R-모듈 범주에 부여하려면, 텐서곱을 구현하는 바이모듈 Λ_{A,B}가 필요하다. Λ는 왼쪽 R-모듈이면서 동시에 두 개의 오른쪽 R-모듈 구조를 갖는데, 이 두 구조는 서로 교환(commute)해야 한다. 즉, (x·a)·b = (x·b)·a 가 모든 x∈Λ, a,b∈R에 대해 성립한다. 이 조건은 Λ를 R⊗_ℤ R‑모듈로 보는 관점과 일치한다.

Watts 정리를 활용하면, 모든 가법적인 오른쪽 정확한 함자는 텐서곱으로 표현될 수 있음을 이용해, 모노이달 구조를 완전히 Λ와 단위 K에 귀속시킨다. 구체적으로, 텐서곱 ⊗_R는 (M,N)↦M⊗_R Λ⊗_R N 형태로 기술되며, 단위 K는 Λ와의 동형사상 K⊗_R Λ ≅ K, Λ⊗_R K ≅ K 를 만족한다. 논문은 이러한 동형사상이 존재하기 위한 필요충분조건을 전개한다.

다음 단계에서는 Λ와 K의 구체적 형태를 조사한다. 특히, Λ가 자유 R‑모듈인 경우와, R이 비가환이거나 비노멀인 경우를 구분한다. 예를 들어, R이 체일 때 Λ는 단순히 R 자체가 되며, 이때 단위 K는 R‑모듈로서 유일하게 존재한다. 반면, R이 비가환 환경이면 Λ에 두 개의 오른쪽 구조가 서로 다른 방식으로 작용할 수 있어, 동형류가 급격히 늘어난다. 저자는 구체적인 예로 Z/4Z, 사다리꼴 행렬 링, 그리고 무한 차원의 사영 모듈을 들어, 구조의 존재 여부와 개수를 계산한다.

특히 흥미로운 결과는 “정확히 일곱 개”의 비동형 구조가 존재하는 경우이다. 이는 R이 특정한 사다리꼴 행렬 링 R =