[論文レビュー] Doing Algebra over an Associative Algebra

Nathan BeDell|arXiv (Cornell University)|Aug 3, 2017

Advanced Topics in Algebra参考文献 5被引用数 3

ひとこと要約

本稿は、実数体上での有限次元単位的結合的代数における因数分解、整除、ゼロ因子といった初等的な代数的性質を、高校代数に似た実用的でアクセスしやすいアプローチで探求する。ゼロ因子とアーベル的冪零元を含む代数的構造の分析に、乗法的基底から導かれる新しい順序論的構造「nil poset」を導入し、冪零代数における消滅因子の構造的解析を体系的に行う。この手法は、非体代数への微積分や微分方程式の拡張に向けた基盤的ツールを提供する。

ABSTRACT

A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to $\mathbb{R}$ and imposing the relation $i^2 = -1$. In this paper, we examine some of the elementary algebraic properties of such algebras, how they break-down when compared to standard grade-school algebra, and discuss how such properties are relevant to other areas of our research regarding algebras, such as the $\mathcal{A}$-calculus and the theory of $\mathcal{A}$-ODEs.

研究の動機と目的

• 実数体上での有限次元単位的結合的代数において、因数分解や整除といった小学校の代数的原則がどのように振る舞うかを調査すること。
• ゼロ因子や冪零元の存在に起因する古典的代数的性質の破綻を特定・特徴づけること。
• 学部学生や若手研究者向けに、非体の文脈における代数的構造を理解するための、アクセスしやすい初等的フレームワークを構築すること。
• 消滅因子や冪零代数の構造的性質を解析するためのツールとして、nil posetを導入・形式化すること。
• 微積分や微分方程式を代数へ拡張する基盤を築くために、まずその代数的挙動を理解すること。

提案手法

• 代数の有限次元ベクトル空間構造を用いて、左乗写像による代数的要素の行列表現（正則表現）を定義・計算する。
• 基底依存の行列表現 $ M_{\beta}(\theta) $ を適用し、代数的構造の同型的保存を図る。
• 基底要素が他の基底要素のスカラー倍に写るような乗法的基底の概念を導入し、体系的な解析を可能にする。
• 基底要素上で定義された部分順序集合 $ v_i \preceq v_j $ を用い、$ v_i \star v_k = c v_j $ を満たす $ v_k $ と $ c \in \mathbb{R} $ が存在する場合に $ v_i \preceq v_j $ と定義する。この部分順序集合を $ \newcommand{\nilposet}{\text{NilPoset}} \nilposet(\beta) $ と表記する。
• nil poset のハッセ図を用いて、$ \epsilon^n \gamma^m $ のような消滅因子を生成する経路を視覚的に追跡する。
• 消滅因子イデアルの解析に nil poset を適用し、例えば $ \mathrm{Ann}(\epsilon\gamma) = \mathrm{span}\{\epsilon^2, \gamma^2, \epsilon\gamma\} $ を図から読み取る。

実験結果

リサーチクエスチョン

• RQ1 ゼロ因子や冪零元を含む結合的代数において、整除や一意因数分解といった古典的代数的性質はどのように失敗するか？
• RQ2 unital nil 代数における基底要素の消滅因子を特徴づけるために、nil poset が果たす構造的役割は何か？
• RQ3 任意の部分順序集合は、ある有限次元単位的冪零代数の nil poset として実現可能か？
• RQ4 nil poset の順序論的性質（例えば、ラティスであること、モジュラーであること、分配的であること）は、元の代数の代数的性質とどのように関係するか？
• RQ5 与えられた nil poset を支えるために必要な最小の代数的構造は何か。また、これによりどのような制約が生じるか？

主な発見

• 乗法的基底から左乗写像の被覆関係を用いて定義される nil poset $ \nilposet(\mathcal{A}) $ は、乗法的冪零代数における基底要素の消滅因子を視覚的かつ計算的に行うための方法を提供する。
• $ \Gamma_3 \otimes \Gamma_3 $ 代数において、ハッセ図は $ \mathrm{Ann}(\epsilon\gamma) = \mathrm{span}\{\epsilon^2, \gamma^2, \epsilon\gamma\} $ を示しており、$ \epsilon\gamma $ から 0 へ至る経路をたどることで回復可能である。
• 定義された順序 $ v_i \preceq v_j $ に関して、nil poset は常に部分順序集合であり、その構造は基底の乗法的閉包を反映している。
• すべての nil poset がラティスであるとは限らない。6生成子を持つ代数を用いた反例により、$ \epsilon $ と $ \gamma $ が二つの異なる最小上界 $ \zeta $ と $ \xi $ を持つことが示された。
• ハッセ図における経路追跡法により、$ \epsilon^n \gamma^m $ のような消滅単項式を生成可能であり、ここで $ n $ と $ m $ はそれぞれ左移動と右移動の回数を数える。
• nil poset の構成は一般性を持ち、任意の単位的冪零代数に、乗法的基底を備えたものに対して適用可能であり、抽象的なイデアル論的解析の代替として体系的かつ視覚的な手法を提供する。