[论文解读] $S$-secondary submodules of a module

F. Farshadifar|arXiv (Cornell University)|Mar 1, 2020

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$-准素子模之间的关系。
• 刻画在 $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$。
• 利用余乘法模的性质，即每个子模可表示为 $IM$ 的形式（$I$ 为某理想），将子模与消去子联系起来。
• 应用理想论结果，如存在 $x \in (saM:_{R}M)$ 使得 $1 - x \in \text{Ann}_R(M)$，以导出矛盾并证明消去子等式。
• 利用极大理想与集合 $\Omega$ 的构造（其中 $s_{\mathfrak{M}} \notin \mathfrak{M}$ 但 $s_{\mathfrak{M}}M \subseteq L$），证明 $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$-次级？这对其零因子与消去子结构意味着什么？

主要发现

• 当且仅当存在 $s \in S$，使得对所有 $r \in R$，要么 $srN = sN$，要么 $(sr)^t N = 0$ 对某个 $t \in \mathbb{N}$ 成立时，$R$-模 $M$ 是 $S$-次级的，这提供了明确的操作性判别准则。
• 每个 $S$-次级子模都是 $S$-次级的，但反之不成立，如 $\mathbb{Z}_4$ 作为 $\mathbb{Z}$-模且 $S = \mathbb{Z} \setminus 2\mathbb{Z}$ 的例子所示。
• 若 $M$ 是有限生成余乘法 $R$-模且 $\sqrt{\text{Ann}_R(M)} \cap S = \emptyset$，则每个非零子模为 $S$-次级蕴含 $W_R(M) = \sqrt{\text{Ann}_R(M)}$，将非满射乘子集与消去子的根联系起来。
• 若有限生成乘法 $R$-模 $M$ 的每个真子模都是 $S$-准素的，则 $Z_R(M) = \sqrt{\text{Ann}_R(M)}$，表明零因子集与消去子的根一致。
• 对于满足 $\sqrt{\text{Ann}_R(M)} \cap S = \emptyset$ 的有限生成乘法与余乘法 $R$-模 $M$，以下三个条件等价：每个非零子模为 $S$-次级；每个真子模为 $S$-准素；$Z_R(M) = W_R(M) = \sqrt{\text{Ann}_R(M)}$。
• 以 $\mathbb{Z}_{p^n}$ 为例，取 $S = \mathbb{Z} \setminus p\mathbb{Z}$，表明并非所有非零子模都是 $S$-次级，也并非所有真子模都是 $S$-准素，说明主定理中假设的必要性。