[論文レビュー] Decomposing Finite $\mathbb{Z}$-Algebras

Martin Kreuzer, Alexei Miasnikov+1 more|arXiv (Cornell University)|Aug 3, 2023

Advanced Topics in AlgebraMathematics被引用数 3

ひとこと要約

本稿では、有限 $Χ$-代数のアルゴリズム的分解を、その乗法写像の最大スカラー環を構成し、原始的冪等元による分解を経て $R/\operatorname{Ann}(R)$ に分解を上げることで行う。この手法は、整数の素因数分解を1回用いる確率的多項式時間で動作し、$\operatorname{Ann}(R) = 0$ の場合には $R$ の直接的分解を直接得られる。主な貢献は、加法群が有限生成である非結合的・非単位的環に対して、完全にアルゴリズム的かつ計算量に配慮した代数分解のアプローチを提供することにある。

ABSTRACT

For a finite $\mathbb{Z}$-algebra $R$, i.e., for a ring which is not necessarily associative or unitary, but whose additive group is finitely generated, we construct a decomposition of $R/{ m Ann}(R)$ into directly indecomposable factors under weak hypotheses. The method is based on constructing and decomposing a ring of scalars $S$, and then lifting the decomposition of $S$ to the bilinear map given by the multiplication of $R$, and finally to $R/{ m Ann}(R)$. All steps of the construction are given as explicit algorithms and it is shown that the entire procedure has a probabilistic polynomial time complexity in the bit size of the input, except for the possible need to calculate the prime factorization of one integer. In particular, in the case when ${ m Ann}(R) = 0$, these algorithms compute a direct decomposition of $R$ into directly indecomposable factors.

研究の動機と目的

• 有限 $Χ$-代数を直接的分解不能な因子に分解する明示的かつアルゴリズム的な手法の開発。
• 加法群が有限生成である非結合的・非単位的環の分解の課題に取り組む。
• 各ステップの計算量を追跡し、特に整数素因数分解が主要な計算量のボトルネックであることを特定する。
• $R/\operatorname{Ann}(R)$ の分解が $R$ に上げられる条件を確立し、上げられない場合を同定する。
• スカラー環と冪等元を用いて双線形写像の分解を代数的分解に上げるためのフレームワークを提供する。

提案手法

• 双線形乗法写像 $f: R/\operatorname{Ann}_\lambda(R) \times R/\operatorname{Ann}_\varrho(R) \to R^2$ の最大スカラー環 $\mathfrak{S}(f)$ を、線形ディオファントス方程式を解くことで構成する。
• $\mathfrak{S}(f)$ を、定義方程式のアルゴリズム的計算により生成元と関係式を用いて $\mathbb{Z}$-代数として表現する。
• 簡略化された素分解アルゴリズムと $\operatorname{Spec}(S)$ 上でのスペクトル分解を用いて、最大スカラー環の原始的冪等元を計算する。
• 最大スカラー環 $\mathfrak{S}(f)$ の原始的冪等元を用いて、双線形写像 $f$ を直接的分解不能な成分に分解する。
• モジュール論的アップライティング技術を用いて、双線形写像の分解を $R/\operatorname{Ann}(R)$ の直積分解に上げる。
• $R/\operatorname{Ann}(R)$ の分解が $R$ に上げられる条件を確立し、反例を用いて障害を同定する。

実験結果

リサーチクエスチョン

• RQ1 非可換的・非単位的である可能性のある有限 $\mathbb{Z}$-代数 $R$ に対して、その分解をアルゴリズム的に計算可能か。
• RQ2 $R/\operatorname{Ann}(R)$ を直接的分解不能な因子に分解する計算量は何か。整数素因数分解にどのように依存するか。
• RQ3 $R/\operatorname{Ann}(R)$ の分解が $R$ に上げられる条件は何か。
• RQ4 双線形写像の最大スカラー環をアルゴリズム的に計算し、それを写像の分解にどう利用できるか。
• RQ5 クラス2の冪零群に付随するリー環の分解を用いて、群自体の分解を回復できるか。

主な発見

• 双線形写像 $f$ の最大スカラー環 $\mathfrak{S}(f)$ は、線形ディオファントス方程式を解くことで多項式時間で計算可能である。
• 最大スカラー環の分解が、原始的冪等元の計算により達成され、これは1回の整数素因数分解を伴う確率的多項式時間で可能である。
• 双線形写像 $f$ の分解は、$R/\operatorname{Ann}(R)$ の直積分解に上げられ、全手順は確率的多項式時間に加え1回の整数素因数分解で実行可能である。
• $\operatorname{Ann}(R) = 0$ の場合、アルゴリズムは $R$ を直接的分解不能な $\mathbb{Z}$-代数の直和に分解する。
• 反例により、$R/\operatorname{Ann}(R)$ の分解が常に $R$ に上げられるわけではないことが示され、特に $\operatorname{Ann}(R) \cap R^2$ が直和成分でない場合にそのような障害が生じる。
• クラス2の冪零群に対して、関連するリー環 $L(G)$ は双線形写像 $f_G$ を用いて $G/\operatorname{Z}(G)$ を巡回部分群に分解可能であるが、$G$ へのアップライティングは未解決の問題のままである。