[논문 리뷰] Some generalizations of second submodules

H. Ansari-Toroghy, F. Farshadifar|arXiv (Cornell University)|2016. 09. 26.

Rings, Modules, and Algebras참고 문헌 9인용 수 16

한 줄 요약

이 논문은 제2의 하위모듈과 강력한 제2의 하위모듈이라는 두 가지 일반화를 도입하고 조사하며, 2-흡수 아이디얼과 하위모듈의 개념을 제2 모듈의 맥락으로 확장한다. 기본 성질을 수립하고, 특정 조건 하에서 제2 또는 2차 모듈이 2-흡수 제2임을 증명하며, 하위모듈의 강력한 2-흡수 제2 루트가 잘 정의되고 등幂임을 보여준다. 주요 결과로 아르틴 모듈은 유한 개의 극대 강력 2-흡수 제2 하위모듈을 가지며, 임베딩 모듈을 통해 호모모르피즘 함자에 의해 강력 2-흡수 제2 모듈이 유도됨을 보인다.

ABSTRACT

In this paper, we will introduce two generalizations of second submodules of a module over a commutative ring and explore some basic properties of these classes of modules.

연구 동기 및 목표

• 제2 하위모듈의 개념을 2-흡수 제2 및 강력 2-흡수 제2 하위모듈을 도입하여 일반화한다.
• 이러한 일반화된 제2 하위모듈의 구조적 성질이 아이디얼, 하위모듈 및 모듈 엔도모르피즘과 어떻게 관련되어 있는지 탐구한다.
• 제2 또는 2차 모듈이 2-흡수 제2가 되는 조건을 확립하며, 특히 몫환에 영이 아닌 멱등 원소가 없을 경우를 중심으로 한다.
• 하위모듈의 강력 2-흡수 제2 루트를 정의하고 그 등幂성 및 단조성 성질을 분석한다.
• 사슬 조건 하에서 극대 강력 2-흡수 제2 하위모듈의 유한성 결과를 증명하고, 이 성질이 함자에 의해 보존되는지 보여준다.

제안 방법

• 아이디얼, 완전히 기약인 하위모듈 및 영환자 조건을 포함한 조건을 통해 2-흡수 제2 하위모듈을 도입한다: $ abN \subseteq L $ 이면 $ aN \subseteq L $, $ bN \subseteq L $, 또는 $ ab \in \operatorname{Ann}_R(N) $ 이다.
• 존의 보조정리를 사용하여 주어진 하위모듈 내에서 극대 강력 2-흡수 제2 하위모듈의 존재를 증명한다.
• 강력 2-흡수 제2 루트 $ s.2.sec(N) $ 를 $ N $ 에 포함된 모든 이러한 하위모듈의 합으로 정의하고, 그 등幂성과 단조성을 증명한다.
• 호모모르피즘 함자와 임베딩 모듈을 적용하여, $ N $ 이 2-흡수이고 $ E $ 가 임베딩 $ R $-모듈이면 $ \operatorname{Hom}_R(M/N, E) $ 가 강력 2-흡수 제2 $ R $-모듈임을 보인다.
• 강력 2-흡수 제2 루트 하위모듈에 대한 내림차순 조건을 적용하여, 극대 하위모듈의 유한성을 증명한다.
• 2-흡수 및 강력 2-흡수 하위모듈 간의 대칭성을 활용하여, 2-흡수 하위모듈이 강력 2-흡수 하위모듈를 함의하지만, 그 역은 일반적으로 성립하지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 제2 하위모듈 또는 제2 하위모듈의 합이 언제 2-흡수 제2 하위모듈이 되는가?
• RQ2 2차 하위모듈이 언제 2-흡수 제2 하위모듈가 되는가? 특히 $ R/\operatorname{Ann}_R(N) $ 에 영이 아닌 멱등 원소가 없을 경우를 중심으로 한다.
• RQ3 모든 강력 2-흡수 제2 하위모듈은 극대인 하위모듈에 포함되는가? 그리고 존의 보조정리를 통해 이러한 극대성은 보장될 수 있는가?
• RQ4 강력 2-흡수 제2 루트 $ s.2.sec(N) $ 의 구조는 어떠한가? 그리고 교차, 합, 포함 관계에서 어떻게 행동하는가?
• RQ5 강력 2-흡수 제2 루트 하위모듈에 대한 내림차순 조건을 만족하는 모듈의 범주가 유한 개의 극대 강력 2-흡수 제2 하위모듈만을 보장하는가?

주요 결과

• 모든 제2 하위모듈 또는 두 개의 제2 하위모듈의 합은 2-흡수 제2 하위모듈이다.
• 2차 하위모듈 $ N $ 이 $ R/\operatorname{Ann}_R(N) $ 에 영이 아닌 멱등 원소가 없으면 2-흡수 제2 하위모듈이다.
• 강력 2-흡수 제2 루트 $ s.2.sec(N) $ 는 잘 정의되어 있으며 $ s.2.sec(s.2.sec(N)) = s.2.sec(N) $ 를 만족하여 등幂성을 갖는다.
• 만약 $ M $ 가 강력 2-흡수 제2 루트 하위모듈에 대해 내림차순 조건을 만족하면, 모든 영이 아닌 하위모듈은 유한 개의 극대 강력 2-흡수 제2 하위모듈만을 갖는다.
• 모든 아르틴 $ R $-모듈은 유한 개의 극대 강력 2-흡수 제2 하위모듈만을 갖는다.
• 만약 $ N $ 이 $ M $ 의 2-흡수 하위모듈이고 $ E $ 가 임베딩 $ R $-모듈이며 $ \operatorname{Hom}_R(M/N, E) \neq 0 $ 이면, $ \operatorname{Hom}_R(M/N, E) $ 는 강력 2-흡수 제2 $ R $-모듈이다.