[論文レビュー] On graded $I_{e}$-prime submodules of graded modules over graded commutative rings

Shatha Alghueiri, Khaldoun Al-Zoubi|arXiv (Cornell University)|Jan 23, 2021

Rings, Modules, and Algebras参考文献 12被引用数 1

ひとこと要約

本稿は、階数付き可換環上の階数付き加群の文脈において、階数付き素部分加群の一般化として、階数付き $I_e$-素部分加群の概念を導入する。主な特徴として、階数付き $I_e$-素部分加群の同値条件を特定し、特定の条件下で局域化に関して閉じていることを証明する。本研究は、同次成分およびイデアルの挙動に注目しながら、階数付き加群論における古典的結果を拡張する。

ABSTRACT

Let $G$ be a group with identity $e$. Let $R$ be a $G$-graded commutative ring with identity and $M$ a graded $R$-module. In this paper, we introduce the concept of graded $I_{e}$-prime submodule as a generalization of a graded prime submodule for $I=\oplus_{g\in G}I_{g}$ a fixed graded ideal of $R$. We give a number of results concerning of these classes of graded submodules and their homogeneous components. A proper graded submodule $N$ of $M$ is said to be a graded $I_{e}$-prime submodule of $M$ if whenever $% r_{g}\in h(R)$ and $m_{h}\in h(M)$ with $r_{g}m_{h}\in N-I_{e}N,$ then either $r_{g}\in (N:_{R}M)$ or $m_{h}\in N.$

研究の動機と目的

• 固定された階数付きイデアル $I = \oplus_{g \in G} I_g$ を用いて、階数付き素部分加群の概念を一般化する階数付き $I_e$-素部分加群を導入すること。
• 特に同次成分および $I_e$ との関係に注目して、これらの部分加群の構造的性質を調査すること。
• アニュレーターと $I_eN$ への包含を含む条件を用いた、階数付き $I_e$-素部分加群の特徴付けを確立すること。
• 局域化における階数付き $I_e$-素部分加群の挙動を研究し、適切な条件下で安定性を証明すること。
• 階数付き $I_e$-素部分加群と他の一般化された素的類似部分加群（例：$M_g$ の $g$-Ie-素部分加群）との関係を明確にすること。

提案手法

• 階数付き $R$-加群 $M$ の真の階数付き部分加群 $N$ を、すべての同次元 $r_h \in h(R)$、$m_\lambda \in h(M)$ に対して、$r_h m_\lambda \in N - I_eN$ ならば $m_\lambda \in N$ または $r_h \in (N:R M)$ を満たすとき、階数付き $I_e$-素部分加群と定義する。
• 同値条件を用いた階数付き $I_e$-素部分加群の特徴付け：$r_g K_h \subseteq N$ かつ $r_g K_h \not\subseteq I_e N$ ならば $K_h \subseteq N$ または $r_g \in (N:R M)$ が成り立つこと。
• 乗法的閉集合 $S \subseteq h(R)$ を用いて、階数付き分数環 $S^{-1}R$ と分数加群 $S^{-1}M$ を考察することで、局域化技術を用いる。
• もし $N$ が階数付き $I_e$-素部分加群であり、$(N:R M) \cap S = \emptyset$ ならば、$S^{-1}N$ は $S^{-1}M$ の階数付き $I_e$-素部分加群であることを証明する。
• 逆の結果を確立する：もし $S^{-1}N$ が階数付き $I_e$-素部分加群であり、$S \cap G\text{-}\mathrm{Zdv}_R(M/N) = \emptyset$ ならば、$N$ は階数付き $I_e$-素部分加群である。
• 乗法的加群に理論を適用し、$m_1^g, m_2^g \in M_g$ に対して、ある条件下で $m_1^g m_2^g \in N_g - I_e N_g$ ならば $m_1^g \in N_g$ または $m_2^g \in N_g$ が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 固定された階数付きイデアル $I$ を用いて、階数付き素部分加群の概念をどのように一般化できるか？
• RQ2 アニュレーターと $I_eN$ への包含を含む条件を用いた、階数付き $I_e$-素部分加群の正確な特徴付けは何か？
• RQ3 階数付き $I_e$-素部分加群 $N$ の局域化 $S^{-1}N$ が再び階数付き $I_e$-素部分加群であるための条件は何か？
• RQ4 階数付き $I_e$-素部分加群の同次成分 $N_g$ と $M_g$ の $g$-Ie-素部分加群の関係は何か？
• RQ5 階数付き $I_e$-素部分加群と他の一般化された素的類似部分加群（例：$g$-素または $2$-吸収的部分加群）との関係は何か？

主な発見

• すべての階数付き素部分加群は階数付き $I_e$-素部分加群であるが、逆は一般には成り立たない。反例として、$R = \mathbb{Z}$、$M = \mathbb{Z}_{12}$、$I = 4\mathbb{Z}$、$N = \langle 4 \rangle$ を用いた例が提示される。
• 真の階数付き部分加群 $N$ が階数付き $I_e$-素部分加群であることと、任意の $r_g \in h(R)$ および $h \in G$ に対して、$r_g K_h \subseteq N$ かつ $r_g K_h \not\subseteq I_e N$ ならば $K_h \subseteq N$ または $r_g \in (N:R M)$ が成り立つこととは同値であり、これは重要な構造的特徴付けを提供する。
• もし $N$ が $M$ の階数付き $I_e$-素部分加群であり、$(N:R M) \cap S = \emptyset$ ならば、局域化 $S^{-1}N$ は $S^{-1}M$ の階数付き $I_e$-素部分加群である。
• 逆に、もし $S^{-1}N$ が階数付き $I_e$-素部分加群であり、$S \cap G\text{-}\mathrm{Zdv}_R(M/N) = \emptyset$ ならば、$N$ は階数付き $I_e$-素部分加群である。これにより、局域化における同値性が確立される。
• 乗法的 $Re$-加群 $M_g$ に対して、$N_g$ が $g$-Ie-素部分加群であり、$(I_e N_g : Re M_g) = I_e (N_g : Re M_g)$ ならば、$m_1^g m_2^g \in N_g - I_e N_g$ ならば $m_1^g \in N_g$ または $m_2^g \in N_g$ が成り立つ。
• 積加群における二つの階数付き $I_e$-素部分加群の積は、再び $I_e$-素である：$N_1$ が $M_1$ における階数付き $I_e$-素部分加群ならば、$N_1 \times M_2$ は $M_1 \times M_2$ における階数付き $I_e$-素部分加群である。