イデアル化環のイデアル構造と零化イデアルの個数
Ideal Structures in Idealizations and Cardinalities of Annihilating Ideals
この論文をやさしく読む
ひとことで言うと
ある種の環のイデアルを三つ組で分類し、零化イデアルがどれだけあるかを明らかにする数学研究。
何に役立つ？
イデアル化環の構造や、イデアル集合の濃度に関する問いを調べる際に役立つ。
この研究の面白いところ
非零の零化子を持つイデアルの形を特定し、具体例では零化イデアルが可算なのに全イデアルは連続体濃度となる。
どこまで分かった？
形の特定にはDが整域でMがねじれなしという条件がある。濃度に関する結論は示された具体的な環についてのもの。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
著者らはイデアル化環D⋉Mのイデアルを三つ組(I, N, φ)で記述する。ここでIはDのイデアル、NはIMを含むMの部分加群、φはIからM/NへのD加群準同型である。Dが整域でMにねじれがない場合、D⋉Mの非零かつ真のイデアルのうち、零化子が非零であるものは、ちょうど0⋉Nという形に限られる。 応用として、Rを実数係数の形式的べき級数環R[[t]]とそれ自身のイデアル化R[[t]]⋉R[[t]]とすると、非零かつ真の零化イデアルの集合は可算である一方、非零かつ真のすべてのイデアルの集合の濃度は2のアレフ0乗であることを示す。これはBehboodiとRakeeiの問いに否定的な答えを与える。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We describe the ideals of an idealization $D\ltimes M$ by triples $(I,N,\varphi)$, where $I$ is an ideal of $D$, $N$ is a submodule of $M$ with $IM\subseteq N$, and $\varphi\in\operatorname{Hom}_D(I,M/N)$. For a domain $D$ and torsion-free $M$, the nonzero proper ideals of $D\ltimes M$ with nonzero annihilator are exactly $0\ltimes N$. As an application, for $R=\mathbb R[[t]]\ltimes\mathbb R[[t]]$, the nonzero proper annihilating ideals form a countable set, while the set of all nonzero proper ideals has cardinality $2^{\aleph_0}$. This answers negatively a question of Behboodi and Rakeei.
arXiv ID: 2609.25157 ／ 要約の誤りについて