[论文解读] 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)$。该方法在一次整数分解的前提下以概率多项式时间运行，当 $\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)$ 可通过求解线性不定方程在多项式时间内计算。
• 通过计算本原幂等元，将极大标量环分解为不可约分成分，该过程可在一次整数分解的前提下以概率多项式时间完成。
• 双线性映射 $f$ 的分解可被提升为 $R/\operatorname{Ann}(R)$ 的直积分解，整个过程以概率多项式时间加一次整数分解运行。
• 当 $\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$ 本身仍是开放问题。