[论文解读] Isomorphic-Dilations of the skew-fields constructed over parallel lines in the Desargues affine plane

Orgest Zaka, James F. Peters|arXiv (Cornell University)|Mar 30, 2019

Topological and Geometric Data Analysis参考文献 7被引用 11

一句话总结

该论文证明，在有限的德萨尔格仿射平面上，每个位似变换都是在同构直线上构造的斜域之间的同构映射，且此类位似变换仅存在于帕普斯空间中。作者通过几何构造与平移不变性，证明位似变换保持平行直线上斜域的代数结构，从而通过位似诱导的同构将仿射几何与非交换代数联系起来。

ABSTRACT

This paper considers dilations and translations of lines in the Desargues affine plane. A dilation of a line transforms each line into a parallel line whose length is a multiple of the length of the original line. In addition to the usual Playfair axiom for parallel lines in an affine plane, further conditions are given for distinct lines to be parallel in the Desargues affine plane. This paper introduces the dilation of parallel lines in a finite Desargues affine plane that is a bijection of the lines. Two main results are given in this paper, namely, each dilation in a finite Desarguesian plane is an isomorphism between skew fields constructed over isomorphic lines and each dilation in a finite Desarguesian plane occurs in a Pappian space.

研究动机与目标

• 研究德萨尔格仿射平面上直线所构造的斜域的代数结构。
• 分析位似变换如何影响平行直线上斜域的结构。
• 证明在有限德萨尔格平面上，每个位似变换都是同构直线上斜域之间的同构映射。
• 确立在有限德萨尔格平面上的所有位似变换均发生于帕普斯空间中。
• 通过聚焦于不固定构造直线的位似变换，扩展先前关于仿射变换与斜域构造的研究。

提出的方法

• 在德萨尔格仿射平面上，利用几何加法与乘法规则，从直线上点的集合构造一个斜域。
• 将位似变换定义为将每条直线映射到一条平行直线且按固定因子缩放的双射。
• 使用平移作为保持结构的映射，以关联不同直线上点的关系，确保代数运算的一致性。
• 通过辅助点与平行四边形构造，应用乘法算法来定义直线上点的乘法。
• 通过证明平移 φ 满足 φ(A*C) = φ(A)*φ(C)，验证其保持乘法运算，利用平行四边形的不变性。
• 利用帕普斯定理与德萨尔格定理，证明若存在位似变换，则该平面必为帕普斯平面。

实验结果

研究问题

• RQ1 在有限德萨尔格平面上，位似变换是否在同构直线上诱导斜域之间的同构？
• RQ2 何种条件可确保位似变换保持平行直线上斜域的乘法与加法结构？
• RQ3 是否每个在有限德萨尔格平面上的位似变换均可嵌入于帕普斯空间中？
• RQ4 在乘法算法中辅助点的选择如何影响所得斜域的结构？
• RQ5 平移在德萨尔格平面上的几何变换中，对保持代数运算起何种作用？

主要发现

• 在有限德萨尔格平面上，每个位似变换都是同构直线上构造的斜域之间的同构映射，如定理 3.3 所证明。
• 位似映射保持乘法运算：φ(A*C) = φ(A)*φ(C)，通过平移下的平行四边形不变性得以验证。
• 此类位似变换的存在性意味着底层平面必为帕普斯平面，如定理 3.4 所述。
• 在直线上构造斜域的过程与位似变换的固定点无关，扩展了先前假设固定点位于构造直线上的研究。
• 通过辅助点与平行线实现的乘法几何构造，在平移下于同构直线上产生一致结果。
• 证明依赖于平移下对应点形成的平行四边形的唯一性，从而确保同构关系下结构的一致性。