[论文解读] Some properties of symbol algebras of degree three

Cristina Flaut, Diana Savin|arXiv (Cornell University)|Nov 4, 2012

Advanced Mathematical Theories and Applications参考文献 15被引用 7

一句话总结

本文研究了在包含一个本原三根单位根的域 K 上的三度符号代数中的矩阵表示及可逆元。通过引入斐波那契符号元并推导其约化范数的简化公式，作者证明了在符号代数 (1,1/ℚ,ω) 中，所有此类元素均为可逆，从而构造出一个关键的可逆元无限族，对识别三度潜在的除环代数具有重要意义。

ABSTRACT

In this paper we will study some properties of the matrix representations of symbol algebras of degree three, we study some equations with coefficients in these algebras, we find an octonion algebra in a symbol algebra of degree three, we define the Fibonacci symbol elements and we give some properties of them.

研究动机与目标

• 探索三度符号代数的矩阵表示，以更好地理解其代数结构。
• 使用矩阵表示技术求解系数属于这些代数的方程。
• 定义并分析斐波那契符号元，作为斐波那契四元数的推广。
• 在符号代数中识别可逆元的无限族，特别是三度情形。
• 为构造三度或更高度的除环符号代数示例做出贡献。

提出的方法

• 作者使用符号代数的左矩阵表示，将代数运算转化为矩阵计算。
• 他们类比斐波那契四元数，通过代数结构中的递推关系定义斐波那契符号元。
• 推导出斐波那契符号元约化范数的简化公式，从而简化了先前工作的复杂表达式。
• 利用该范数公式，通过证明所有指标 n 的范数非零，来证明可逆性。
• 证明依赖于利用已知恒等式与不等式，对斐波那契数及其乘积的线性组合进行有界估计。
• 作者应用中心单代数中迹与范数形式的性质，以验证所构造可逆元集合的代数封闭性。

实验结果

研究问题

• RQ1 能否使用三度符号代数的矩阵表示来求解系数属于该代数的方程？
• RQ2 斐波那契符号元在三度符号代数中的代数性质是什么？
• RQ3 是否存在斐波那契符号元在这些代数中约化范数的简化表达式？
• RQ4 所有斐波那契符号元在符号代数 (1,1/ℚ,ω) 中是否均为可逆？
• RQ5 此类可逆元能否用于构造三度除环符号代数的示例？

主要发现

• 在代数 (1,1/ℚ,ω) 中，斐波那契符号元的约化范数以简化形式表达，避免了高次单项式，其中斐波那契数的幂次被限制为 1 或 2。
• 该范数表达式对所有自然数 n 均非零，证明了所有斐波那契符号元在该代数中均为可逆。
• 证明的关键在于：利用已知不等式与恒等式，证明一个复杂的斐波那契数及其乘积的线性组合对所有 n ∈ ℕ 严格为正。
• 表达式 f_{n+2}h_{2n}^{26822,27753} + f_{n+3}h_{2n}^{19120,20203} - f_n^2 h_{n+3}^{33835,27659} + (-1)^{n+1} h_{n+3}^{12982,24138} 对所有 n 严格为正，从而确认了可逆性。
• 作者在符号代数 (1,1/ℚ,ω) 中提供了可逆元的构造性无限族，该族可能作为构造三度除环代数的基础。