[论文解读] Polynomial over Associative D-Algebra

Aleks Kleyn|arXiv (Cornell University)|Feb 25, 2013

Iterative Methods for Nonlinear Equations参考文献 8被引用 3

一句话总结

本文提出了一种基于张量的多项式形式化方法，用于非交换的结合 D-代数上的多项式，使得非交换多项式运算的表示与分析更加清晰。主要贡献在于提出了一种广义除法算法，证明了只要其首项系数可逆，任意 k 次多项式均可表示为涉及线性多项式除数的乘积之和，通过张量运算和可逆映射将经典多项式除法推广至非交换设置。

ABSTRACT

In the paper I considered algebra of polynomials over associative D-algebra with unit. Using the tensor notation allows to simplify the representation of polynomial. I considered questions related to divisibility of polynomial of any power over polynomial of power 1.

研究动机与目标

• 开发一种系统化框架，使用张量记号表示和操作非交换结合 D-代数上的多项式。
• 将经典多项式除法定理（如余数定理和因式定理）推广至非交换设置，其中乘法不满足交换律。
• 研究 k 次多项式可表示为涉及线性多项式除数的乘积组合的条件。
• 阐明零因子和可逆元在非交换 D-代数上多项式代数结构中的作用。
• 通过引入基于张量的表示方法，为非交换多项式环中的可除性理论奠定基础，从而简化复杂的代数运算。

提出的方法

• 使用张量记号表示多项式系数和运算，以紧凑且无歧义的方式表达非交换多项式乘法和复合运算。
• 通过张量积和指标缩并定义多项式乘法与复合运算，使用带下标的张量明确表示系数（例如 $ r_{kullet 0ullet s} $, $ r_{kullet 1ullet s} $）。
• 引入 A-数（D-代数中的元素）的概念，并利用具有哈默基的自由代数的代数结构，精确定义多项式元素。
• 将首项系数张量 ($ p_1^{-1} $) 的逆作为除法算法的关键组成部分，假设 $ p_1 $ 非奇异（即可逆）。
• 通过将 $ x = p^{-1}_1 ullet (-p_0 + p(x)) $ 代入多项式 $ r(x) $，推导出广义除法公式（定理 6.10），将 $ r(x) $ 表示为涉及 $ p(x) $ 和 $ p_0 $ 的各项之和。
• 提出广义除数定义（定义 6.11），其中 $ r(x) = (q_{iullet 0}(x) igotimes q_{iullet 1}(x)) ullet p(x) $，允许在非交换设置中实现左、右或混合侧的因式分解。

实验结果

研究问题

• RQ1 如何通过张量记号简化非交换结合 D-代数中多项式表示与运算？
• RQ2 在何种条件下，k 次多项式可表示为涉及线性多项式除数的乘积组合？
• RQ3 能否通过基于张量的形式化方法，将经典余数定理和因式定理推广至非交换设置？
• RQ4 零因子和可逆元在非交换 D-代数上多项式可除性结构中起何种作用？
• RQ5 底层代数的非交换性如何影响多项式因式分解与余数的唯一性与存在性？

主要发现

• 若 $ p_1 $ 可逆，则 k 次多项式 $ r(x) $ 可通过定理 6.10 中的公式表示为涉及线性多项式 $ p(x) = p_0 + p_1 ullet x $ 的各项之和。
• 表示式 $ r(x) = r_0 - ig((T ullet p_1^{-1}) ullet p_0ig) + ig((T ullet p_1^{-1}) ullet p(x)ig) $，其中 $ T $ 汇总了 $ r(x) $ 的系数，建立了广义除法算法。
• 张量积结构 $ (q_{iullet 0}(x) igotimes q_{iullet 1}(x)) ullet p(x) $ 允许引入一种广义的可除性概念，可容纳非交换乘法。
• 单侧零因子的存在（例如 $ E_{12}E_{23} = 0 $ 但 $ E_{23}E_{12} eq 0 $）表明在非交换 D-代数中左零因子与右零因子不等价。
• 在定理 6.10 中，$ p_1^{-1} $ 被用于以 $ p(x) $ 表示 $ x $，表明 $ p_1 $ 的可逆性是除法算法成立的必要条件。
• 本文证明，非交换 D-代数上多项式代数的结构比交换情形更丰富，由于非交换性，其在可除性与因式分解方面表现出不同的行为。