[論文レビュー] Cancellation elements in multiplicative lattices

Tiberiu Dumitrescu|arXiv (Cornell University)|Jan 21, 2026

Rings, Modules, and Algebras被引用数 0

ひとこと要約

この論文は Anderson–Roitman の cancellation-ideal の特徴付けを乗法格子へ拡張し、局所化の枠組みと delta-性質を導入して、打ち消し要素が最大元で局所的に主な正則性を持つものに限ることを証明する。

ABSTRACT

We extend to multiplicative lattices a theorem of Anderson and Roitman characterizing the cancellation ideals of a commutative ring.

研究の動機と目的

• 乗法格子（Abstract Ideal Theory）の設定へ Anderson–Roitman の cancellation-ideal 結果を動機付けて拡張する。
• C-格子の局所化フレームワークを導入し、主定理を支える delta-property を定義する。
• キャンセル要素が、最大元で局所的に主正則であるものと正確に対応するという特徴付けを証明する。
• 局所化、w-イデアル、および星运算（star operations）との関連についての系を導出する。
• 例示とより広い設定（例：w-イデアル、星運算）への拡張を論じる。

提案手法

• 乗法格子（C-格子、r-格子）に対する抽象イデアル理論の概念を思い出し形式化する。
• delta-property を導入する：特定の結合平方条件を満たす主元生成集合を与える。
• コンパクト元を持つ C-格子の局所化理論を構築し、局所的性質を全体性へ結びつける。
• 中間補題（3–7）を証明し、キャンセル性・主元/正則性・局所的挙動を結びつける。
• 主定理を証明する：キャンセル要素は全ての最大元において局所的に主正則である。
• コンパクト性/キャンセル挙動および w-イデアルと局所化への系を取り出す。

実験結果

リサーチクエスチョン

• RQ1 乗法格子におけるキャンセル要素は、それらの最大元での局所的挙動によって特徴づけられるか。
• RQ2 局所的主正則性からグローバルなキャンセル性を確保するために必要な delta-property などの追加的構造特性は何か。
• RQ3 局所化格子 L_S や w-イデアル、星運算の文脈へキャンセル概念がどのように移行するか。
• RQ4 整域の w-イデアル格子のような特定格子への影響はどうなるか。

主な発見

• モジュラーな C-格子 L において、キャンセル要素 Q は全ての max m に対して L_m で主正則要素と等価である。
• L が delta-property を持つ場合、上記の局所→全体の特徴付けが成立し、キャンセル要素の頑健な基準を提供する。
• Q のコンパクト性は、L が delta-property を持つとき、Q が主元かつ正則であることを意味する。
• 局所化 L_S への局所性から全体性への結果は、対応する最大元 p に対して Q_p が主正則であることと同値であり、L_p でのキャンセル要素となる。
• w-イデアル設定では、Q が w-キャンセルイデアルであることは各最大 w-イデアル M に対して QD_M が主であることと同値であり、乗法格子枠組みを介して既知の結果を回収・拡張する。
• 例はこの理論が非モジュラー文脈（例：非モジュラー的 N のイデアル格子）におけるキャンセル現象も示すことを示す。