アーベル群の特異部分加群を自己準同型の作用から記述する
Singular Submodules of Abelian Groups over Their Endomorphism Rings
この論文をやさしく読む
ひとことで言うと
アーベル群にその自己準同型を作用させたとき、特異部分加群と呼ばれる部分構造を、加群や拡大の情報を使ってまとめて記述する純粋数学の研究です。
何に役立つ?
Fuchsの問題で求められた部分構造を整理し、ねじれ群などの具体的な場合に公式を得るための道具になります。直接の実用用途は要旨には示されていません。
この研究の面白いところ
ねじれ部分だけでなく、異なる素数に関する情報を同時に持ち上げる際の障害まで取り込んで、ExtとHomによる表示へつなげています。
どこまで分かった?
著者自身が、古典的な群不変量だけによる分類ではないと明記しています。一般の場合には自己準同型の作用と拡大のデータが記述に残ります。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Aをアーベル群、E=Endℤ(A)とする。Fuchsの問題1.2で問われた特異E部分加群について、加群論的な記述を与える。単位的環Rと左R加群Mに対し、W=I_R(ᴿR)⊕I_R(M)、J=Jac(End_R(W))と置き、uを1_Rの像とする。古典的な本質的核の判定基準から、Z_R(M)=M∩Juが得られる。したがってR=E、M=Aの場合、すべての特異部分加群はA∩JuのE部分加群である。 T=t(A)、B=A/Tと書き、ねじれに関する移送公式を証明し、ねじれ部分を⊕ₚ pTₚとして特定するとともに、標準的な障害を用いて複数の素数に関する同時持ち上げを記述する。その結果得られる拡大は、すべての特異部分加群のExt/Homによるパラメータ表示を与える。ねじれ群、およびBがねじれのない群である場合のℤ(p∞)⊕Bについて、明示的な公式を得る。後者では、Bの完全不変部分群の束が区間として現れる。この一般的な記述は、古典的な群不変量による分類を与えるのではなく、誘導される自己準同型の作用と拡大のデータを保持する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18(UTC)
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $A$ be an abelian group and $E=\Endo_{\Z}(A)$. We give a module-theoretic description of the singular $E$-submodules asked for in Fuchs' Problem~1.2. For a unital ring $R$ and a left $R$-module $M$, put $W=I_R({}_RR)\oplus I_R(M)$ and $J=\Jaco(\Endo_R(W))$, and let $u$ be the image of $1_R$. The classical essential-kernel criterion yields \[ Z_R(M)=M\cap Ju. \] For $R=E$ and $M=A$, all singular submodules are therefore the $E$-submodules of $A\cap Ju$. Writing $T=t(A)$ and $B=A/T$, we prove a torsion-transfer formula, identify the torsion part as $\bigoplus_p pT_p$, and describe simultaneous prime lifting by a canonical obstruction. The resulting extension gives an $\Extt/\Homm$ parametrization of all singular submodules. We obtain explicit formulas for torsion groups and for $\Z(p^\infty)\oplus B$ with $B$ torsion-free; in the latter case the fully invariant subgroup lattice of $B$ occurs as an interval. The general description retains the induced endomorphism action and extension data, rather than giving a classification by classical group invariants.
arXiv ID: 2609.21832 / 要約の誤りについて