[論文レビュー] 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

ひとこと要約

本稿では、3次根の単位根を含む体 K 上の3次記号代数における行列表現および可逆元の性質を調査する。フィボナッチ記号元を導入し、それらの簡略化された縮約ノルムの公式を導出することで、著者らは (1,1/ℚ,ω) 内のすべてのこのような元が可逆であることを証明する。これは、3次の可能性のある除法代数を特定する上で極めて重要な、構成的無限族の可逆元を提供する。

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.

研究の動機と目的

• 3次記号代数の行列表現を調べることで、その代数的構造をより深く理解すること。
• 行列表現の技法を用いて、これらの代数に係数をもつ方程式を解くこと。
• フィボナッチ四元数の一般化として、フィボナッチ記号元を定義し、それらを分析すること。
• 記号代数における可逆元の無限族を特定すること、特に3次の場合に焦点を当てる。
• 3次以上の記号代数の除法代数の例を構成するための貢献を行うこと。

提案手法

• 著者らは、記号代数の左行列表現を用いて、代数的演算を行列計算に翻訳する。
• フィボナッチ四元数に類似した方法で、代数的構造内の再帰関係を用いてフィボナッチ記号元を定義する。
• フィボナッチ記号元の縮約ノルムに対する簡略化された公式を導出することで、先行研究における複雑な表現を簡素化する。
• ノルムの公式を用いて、すべてのインデックス n に対してノルムが非ゼロであることを示すことで、可逆性を証明する。
• 既知の恒等式および不等式を用いて、フィボナッチ数およびその積の線形結合の上限を求める。
• 中心的単純代数におけるトレースおよびノルム形式の性質を応用し、構成された可逆元の集合の代数的閉包性を検証する。

実験結果

リサーチクエスチョン

• RQ1 3次記号代数の行列表現は、代数に係数をもつ方程式を解くのに利用可能か？
• RQ2 3次記号代数におけるフィボナッチ記号元の代数的性質は何か？
• RQ3 このような代数におけるフィボナッチ記号元の縮約ノルムに対して、簡略化された表現が存在するか？
• RQ4 すべてのフィボナッチ記号元は記号代数 (1,1/ℚ,ω) 内で可逆か？
• RQ5 このような可逆元は、3次記号代数の除法代数の例を構成するのに役立つだろうか？

主な発見

• 記号代数 (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/ℚ,ω) 内に構成的無限族の可逆元を提供し、これは3次除法代数を構成する基盤として機能する可能性がある。