[논문 리뷰] (n,m)-Strongly Gorenstein Projective Modules

Driss Bennis|ArXiv.org|2009. 07. 11.

Algebraic structures and combinatorial models참고 문헌 11인용 수 4

한 줄 요약

이 논문은 강력한 고렌스타인 프로젝티브 모듈의 이중 필터링된 일반화인 $(n,m)$-강력한 고렌스타인 프로젝티브 모듈을 도입하고 연구한다. 모듈의 고렌스타인 프로젝티브 차원이 $m$ 이하임과 $M \oplus G$가 어떤 고렌스타인 프로젝티브 모듈 $G$에 대해 $(1,m)$-SG-프로젝티브임이 동치임을 증명하며, 유한한 왼쪽 피니스틱 평탄 차원을 갖는 환에서 유한한 고렌스타인 프로젝티브 차원과 유한한 평탄 차원이 함께 유한한 프로젝티브 차원을 유도함을 보인다.

ABSTRACT

This paper is a continuation of the papers J. Pure Appl. Algebra, 210 (2007), 437--445 and J. Algebra Appl., 8 (2009), 219--227. Namely, we introduce and study a doubly filtered set of classes of modules of finite Gorenstein projective dimension, which are called $(n,m)$-strongly Gorenstein projective ($(n,m)$-SG-projective for short) for integers $n\geq 1$ and $m\geq 0$. We are mainly interested in studying syzygies of these modules. As consequences, we show that a module $M$ has Gorenstein projective dimension at most $m$ if and only if $M\oplus G$ is $(1,m)$-SG-projective for some Gorenstein projective module $G$. And, over rings of finite left finitistic flat dimension, that a module of finite Gorenstein projective dimension has finite projective dimension if and only if it has finite flat dimension.

연구 동기 및 목표

• $(n,m)$-강력한 고렌스타인 프로젝티브 모듈의 클래스를 $n$-SG-프로젝티브 모듈의 일반화로 도입하고 체계적으로 연구하기.
• 고렌스타인 프로젝티브 모듈과의 직합의 $(1,m)$-SG-프로젝티브성에 의한 유한 고렌스타인 프로젝티브 차원을 갖는 모듈의 특성화.
• 유한 고렌스타인 프로젝티브 차원을 갖는 모듈에서 유한 평탄 차원과 유한 프로젝티브 차원 사이의 관계 탐구.
• $n$-SG-프로젝티브 모듈에 대한 결과를 $(n,m)$-프레임워크로 확장하여, 특히 피니스틱 평탄 차원과의 관련성에서 연구.

제안 방법

• $(n,m)$-SG-프로젝티브 모듈을 정의하기 위해, $m$번째 심지가 $n$-SG-프로젝티브인 모듈로 정의하며, 프로젝티브 모듈의 정확한 수열과 프로젝티브 모듈 위에서의 $\operatorname{Ext}$-군의 소멸 조건을 사용한다.
• 완전한 프로젝티브 분해와 고렌스타인 프로젝티브 모듈이 강력한 고렌스타인 프로젝티브 모듈의 직합성분임을 특성화하는 방법을 활용한다.
• 증명 전략은 $M$과 고렌스타인 프로젝티브 모듈 $G'$의 분해를 조합하여 정확한 수열을 구성하고, 그 심지를 분석하는 데 기반한다.
• 이전 연구들([3], [4] 등)에서 알려진 $n$-SG-프로젝티브 모듈에 관한 결과를 적용하고, 귀납법과 차원 비교를 통해 이를 확장한다.
• 환의 피니스틱 평탄 차원을 사용하여 심지의 평탄 차원을 유계화함으로써, 프로젝티브 차원이 유한함을 유도한다.
• 대칭성을 통해 대부분의 $(n,m)$-SG-프로젝티브 모듈에 관한 결과는 $(n,m)$-SG-인젝티브 모듈에 대해 이중적인 형태를 갖는다는 점을 밝힌다.

실험 결과

연구 질문

• RQ1 모듈 $M$의 고렌스타인 프로젝티브 차원이 $m$ 이하일 조건은 무엇인가?
• RQ2 모듈 $M$의 고렌스타인 프로젝티브 차원이 $\leq m$임과 어떤 고렌스타인 프로젝티브 모듈 $G$에 대해 $M \oplus G$가 $(1,m)$-SG-프로젝티브임이 동치가 되는 정확한 관계는 무엇인가?
• RQ3 유한한 고렌스타인 프로젝티브 차원과 유한한 평탄 차원을 갖는 모듈이 반드시 유한한 프로젝티브 차원을 갖는 조건은 무엇인가?
• RQ4 $(n,m)$-SG-프로젝티브 모듈의 성질이 $n$-SG-프로젝티브 모듈의 성질을 어떻게 일반화하는가?
• RQ5 피니스틱 평탄 차원은 유한한 고렌스타인 프로젝티브 차원을 갖는 모듈의 프로젝티브 차원을 통제하는 데 어떤 역할을 하는가?

주요 결과

• 모듈 $M$의 고렌스타인 프로젝티브 차원이 $m$ 이하임과 어떤 고렌스타인 프로젝티브 모듈 $G$에 대해 $M \oplus G$가 $(1,m)$-SG-프로젝티브임이 동치임을 증명하며, 완전한 특성화를 확립한다.
• 유한한 왼쪽 피니스틱 평탄 차원을 갖는 환에서, 유한한 고렌스타인 프로젝티브 차원을 갖는 모듈은 유한한 평탄 차원을 갖는다 하면 유한한 프로젝티브 차원을 갖는다.
• $(n,m)$-SG-프로젝티브 모듈의 $m$번째 심지는 $(n,0)$-SG-프로젝티브이며, 유한한 평탄 차원을 갖는다면 프로젝티브이다.
• $(n,m)$-SG-프로젝티브 모듈의 클래스는 $n$-SG-프로젝티브 모듈의 자연스러운 일반화이며, $n$과 $m$에 의해 인덱싱된 잘 정의된 계층을 이룬다.
• $(n,m)$-SG-프로젝티브 모듈에 관한 결과는 $(n,m)$-SG-인젝티브 모듈에 대해 이중적인 형태를 갖는다. 유일하게 예외는 추론 2.9와 명제 2.10이다.
• 분해와 직합의 구성은 고렌스타인 프로젝티브 모듈의 성질을 $(n,m)$-SG-프로젝티브 모듈의 더 넓은 클래스로 이행하는 데 기여한다.