指数行列から単項式イデアルの準素分解を得る
Primary decompositions via exponent matrices
この論文をやさしく読む
ひとことで言うと
単項式イデアルを基本的な成分へ分ける準素分解を、指数ベクトルから直接求める方法。
何に役立つ？
計算代数で単項式イデアルの準素分解を構成する理論とアルゴリズムに役立つ。
この研究の面白いところ
古典的な再帰手続きから、非再帰的な表示と直接的なアルゴリズムを導いた。
どこまで分かった？
要旨には計算量や既存実装との速度比較は記されていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
任意の単項式イデアルについて、再帰を使わずに準素分解を表す新しい結果を提示する。この結果は、可換ネーター環の任意の真のイデアルの準素分解を決める古典的な商と和による再帰的手続きから導かれる。さらに、イデアルの極小生成元の指数ベクトルから直接、準素分解を生成するアルゴリズムとして、この結果を使う方法も示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In this paper we present a new result that exhibits in a non-recursive fashion a primary decomposition of any monomial ideal. Our result is derived from the classical quotient-sum recursive procedure for determining a primary decomposition of any proper ideal in a commutative Noetherian ring. We also show how our result can be used as an algorithm for producing a primary decomposition directly from the exponent vectors of the minimal generators of the ideal.
著者のコメント
8 pages, Macaulay2 code
arXiv ID: 2609.25409 ／ 要約の誤りについて