[논문 리뷰] $S$-secondary submodules of a module

F. Farshadifar|arXiv (Cornell University)|2020. 03. 01.

Rings, Modules, and Algebras참고 문헌 6인용 수 4

한 줄 요약

이 논문은 가환환 $R$ 위의 모듈러에서 $S$-이차 하위모듈을 도입하고 조사하며, 이는 이차 하위모듈과 $S$-이등 하위모듈을 일반화한다. 논문은 앵귤레이터 조건과 $s$-거듭제곱을 통한 $S$-이차 하위모듈의 동치 특성화를 수립하며, 유한 생성 및 공곱승 조건 하에서 $S$-이차 하위모듈과 $S$-주요 하위모듈이 $Z_R(M) = W_R(M) = \sqrt{\text{Ann}_R(M)}$를 만족함을 증명한다. 주요 기여는 $S$-이차 구조가 앵귤레이터와 영약자 행동 간의 통합된 프레임워크를 제공한다는 점이다.

ABSTRACT

Let R be a commutative ring with identity, S be a multiplicatively closed subset of R, and let M be an R-module. The aim of this paper is to introduce the notion of S-secondary submodules of M as a generalization of secondary submodules of M and investigate some properties of this class of submodules.

연구 동기 및 목표

• 주어진 곱셈적 닫힘 부분집합 $S \subseteq R$ 에 대해 $R$-모듈 $M$ 에 대한 이차 하위모듈의 개념을 일반화하기 위해 $S$-이차 하위모듈을 도입하는 것.
• 특히 앵귤레이터와 $s$-거듭제곱을 포함한, 하위모듈이 $S$-이차임을 보장하는 동치 조건을 수립하는 것.
• 유한 생성 및 공곱승 모듈에서 $S$-이차 하위모듈과 $S$-주요 하위모듈 간의 관계를 조사하는 것.
• 유한 생성 공곱승 모듈에서 $Z_R(M)$ 과 $W_R(M)$ 가 $\sqrt{\text{Ann}_R(M)}$ 와 일치하는 조건을 특성화하는 것.

제안 방법

• 고정된 $s \in S$ 를 통해 $S$-이차 하위모듈을 정의하여, 모든 $r \in R$ 에 대해 $srN = sN$ 이나 $(sr)^t N = 0$ 이 되는 $t \in \mathbb{N}$ 이 존재하도록 하는 방식으로.
• 하위모듈 $K$, 완전히 기초가 되는 하위모듈 $L$, 이상 $J$ 를 포함한 조건의 동치성을 이용하여 $S$-이차 하위모듈를 특성화하는 것.
• 특히 유한 생성 모듈의 맥락에서 $S^{-1}N \subseteq S^{-1}K$ 이면 어떤 $s \in S$ 에 대해 $sN \subseteq K$ 를 유도하는 국소화 및 앵귤레이터 기법을 적용하는 것.
• 모든 하위모듈이 어떤 이상 $I$ 에 대해 $IM$ 의 형태를 가진다는 공곱승 모듈 성질을 활용하여 하위모듈과 앵귤레이터를 연결하는 것.
• 예를 들어 $1 - x \in \text{Ann}_R(M)$ 이고 $x \in (saM:_{R}M)$ 인 이상 이론 결과를 적용하여 모순을 이끌어내고 앵귤레이터 등식을 증명하는 것.
• 최대 이상과 $\mathfrak{M}$ 에 속하지 않지만 $s_{\mathfrak{M}}M \subseteq L$ 를 만족하는 원소들의 집합 $\Omega$ 를 구성하여 $M = L$ 이고, 따라서 $M$ 이 코터전-프리임을 보여주는 것.

실험 결과

연구 질문

• RQ1 주어진 곱셈적 닫힘 부분집합 $S \subseteq R$ 에 대해, $R$-모듈 $M$ 의 하위모듈 $N$ 이 언제 $S$-이차로 간주되는가?
• RQ2 특히 앵귤레이터와 원소의 거듭제곱을 포함한, $S$-이차 하위모듈를 특성화하는 데 필요한 동치 대수적 조건은 무엇인가?
• RQ3 유한 생성 공곱승 모듈 $M$ 에서 등식 $Z_R(M) = W_R(M) = \sqrt{\text{Ann}_R(M)}$ 가 성립하는 조건은 무엇인가?
• RQ4 $S$-이차 하위모듈과 $S$-주요 하위모듈이 곱승 및 공곱승 모듈 맥락에서 어떻게 관련되어 있는가?
• RQ5 유한 생성 공곱승 모듈의 모든 비영 하위모듈이 $S$-이차일 수 있으며, 이는 모듈의 영약자 및 앵귤레이터 구조에 대해 어떤 함의를 갖는가?

주요 결과

• $R$-모듈 $M$ 이 $S$-이차일 필요충분조건은 $s \in S$ 가 존재하여 모든 $r \in R$ 에 대해 $srN = sN$ 이나 $(sr)^t N = 0$ 이 되는 $t \in \mathbb{N}$ 이 존재하는 것으로, 이는 구체적인 작동 기준을 제공한다.
• 모든 $S$-이등 하위모듈은 $S$-이차이지만, 그 역은 일반적으로 성립하지 않으며, $S = \mathbb{Z} \setminus 2\mathbb{Z}$ 인 $\mathbb{Z}$-모듈로서의 $\mathbb{Z}_4$ 의 예시로 이를 보여준다.
• 만약 $M$ 이 $\sqrt{\text{Ann}_R(M)} \cap S = \emptyset$ 를 만족하는 유한 생성 공곱승 $R$-모듈이라면, 모든 비영 하위모듈이 $S$-이차일 경우 $W_R(M) = \sqrt{\text{Ann}_R(M)}$ 가 성립함을 보여주며, 이는 비전이적 승수 집합이 앵귤레이터의 근에 대응함을 연결한다.
• 만약 유한 생성 곱승 $R$-모듈 $M$ 의 모든 진부분모듈이 $S$-주요일 경우, $Z_R(M) = \sqrt{\text{Ann}_R(M)}$ 가 성립함을 보여주며, 이는 영약자 집합이 앵귤레이터의 근과 일치함을 보여준다.
• 유한 생성 곱승 및 공곱승 $R$-모듈 $M$ 에 대해 $\sqrt{\text{Ann}_R(M)} \cap S = \emptyset$ 라면, 다음 세 조건—모든 비영 하위모듈이 $S$-이차, 모든 진부분모듈이 $S$-주요, $Z_R(M) = W_R(M) = \sqrt{\text{Ann}_R(M)}$—은 서로 동치이다.
• 예를 들어 $S = \mathbb{Z} \setminus p\mathbb{Z}$ 인 $\mathbb{Z}_{p^n}$ 의 예시는 모든 비영 하위모듈이 $S$-이차가 아니며, 모든 진부분모듈이 $S$-주요하지 않음을 보여주며, 주요 정리에서의 가정들이 필수적임을 입증한다.