[論文レビュー] Skew-Field of Trace-Preserving Endomorphisms, of Translation Group in Affine Plane

Orgest Zaka|arXiv (Cornell University)|Mar 24, 2020

Mathematics and Applications参考文献 22被引用数 9

ひとこと要約

この論文は、アフィン平面における平行移動群のトレースを保存する自己準同型から斜体を構成する。特定の拡大を介して逆元を構成可能であることを示す重要な補題を証明することで、トレースを保存する自己準同型の集合が加法および合成に関して斜体をなすことが示され、アフィン幾何における代数的構造が一般化される。

ABSTRACT

In this paper we will show how to constructed an Skew-Field with trace-preserving endomorphisms of the affine plane. Earlier in my paper, we doing a detailed description of endomorphisms algebra and trace-preserving endomorphisms algebra in an affine plane, and we have constructed an associative unitary ring for which trace-preserving endomorphisms. In this paper we formulate and prove an important Lemma, which enables us to construct a particular trace-preserving endomorphism, with the help of which we can construct the inverse trace-preserving endomorphisms of every trace-preserving endomorphism. At the end of this paper we have proven that the set of trace-preserving endomorphisms together with the actions of 'addition' and 'composition' (which is in the role of 'multiplication') forms a skew-field.

研究の動機と目的

• アフィン平面における平行移動群のトレースを保存する自己準同型の集合に斜体構造を確立すること。
• 特定の拡大を構成することにより、トレースを保存する自己準同型の逆元問題を解決すること。
• トレースを保存する自己準同型の代数が加法および合成に関して斜体をなすことの証明。
• 平行移動群の自己準同型に注目することで、アフィン平面と非可換体の間の代数的・幾何的対応関係を拡張すること。

提案手法

• 任意の非ゼロトレースを保存する自己準同型 α に対して、すべての平行移動 σ に対して α(σ) = δ ∘ σ ∘ δ⁻¹ を満たす拡大 δ が存在することを示す重要な補題を証明する。
• αδ(σ) = δ⁻¹ ∘ σ ∘ δ として定義される写像は、自己準同型代数において α の両側逆元として機能する。
• トレースを保存する性質を用いて、平行移動の軌道の像が自己準同型のもとで保存されることを保証する。
• 平行移動の群構造と、拡大群における平行移動群の正規性を応用し、構成の整合性を保証する。
• 合成に関して閉じており、非ゼロ自己準同型において両側逆元が存在することを検証する。
• 零除算が存在せず、単位的結合的環であり、すべての非ゼロ元が両側逆元を持つことの証明により、代数が斜体であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 アフィン平面における平行移動群の非ゼロトレースを保存する自己準同型は、すべてその代数的構造内で逆元を持つのか？
• RQ2 拡大といった幾何的データを用いて、逆自己準同型を一意に構成する方法は存在するのか？
• RQ3 トレースを保存する平行移動群の自己準同型の集合は、加法および合成に関して斜体をなすのか？
• RQ4 トレースを保存する性質は、自己準同型の構造をどのように制約し、逆元の構成を可能にするのか？

主な発見

• アフィン平面における平行移動群のトレースを保存する自己準同型の集合は、加法および合成に関して斜体をなす。
• 任意の非ゼロトレースを保存する自己準同型 α に対して、すべての平行移動 σ に対して α(σ) = δ ∘ σ ∘ δ⁻¹ を満たす拡大 δ が存在する。
• α の逆は写像 αδ(σ) = δ⁻¹ ∘ σ ∘ δ で与えられ、これはトレースを保存するかつ α ∘ αδ = αδ ∘ α = 1TrA を満たす。
• 非ゼロ自己準同型の合成は常にゼロでないため、代数には零除算が存在しない。
• 単位元 1TrA は恒等自己準同型であり、零元 0TrA はすべての平行移動を恒等写像に写す自明な自己準同型である。
• 構成は、各非ゼロ自己準同型に対して固定点を持つ拡大の存在に依存しており、これにより逆元が一意に定まる。