[论文解读] The Transform of a line of Desargues Affine Plane in an additive Group of its Points

Orgest Zaka, Kristaq Filipi|arXiv (Cornell University)|Aug 20, 2016

Mathematics and Applications被引用 15

一句话总结

本文通过利用小帕普斯定理在笛沙格仿射平面上的直线上的点上定义加法运算，建立了该点的群结构。证明了此类平面上任意直线上点在该运算下构成阿贝尔群，从而在关联几何中实现了加法群结构的几何实现。

ABSTRACT

In this paper we present a set transformation of points in a line of the Desargues affine plane in a additive group. For this, the first stop on the meaning of the Desargues affine plane, formulating first axiom of his that show proposition D1. Afterwards we show that little Pappus theorem, which we use in the construction of group proofs in additions of points on a line on desargues plane, also applies in the Desargues affine plane.

研究动机与目标

• 在笛沙格仿射平面上的直线上建立加法群的几何构造。
• 证明小帕普斯定理在笛沙格仿射平面上成立，从而能够定义群运算。
• 证明直线上点的群运算满足结合律、交换律，并存在单位元与逆元。
• 通过综合几何方法为理解关联几何中的加法结构提供基础。
• 通过证明笛沙格平面对直线上的自然阿贝尔群运算提供支持，实现关联几何与群论的桥梁。

提出的方法

• 利用笛沙格仿射平面的第一个公理来定义几何框架。
• 将小帕普斯定理作为关键工具，用于定义和验证直线上点的群运算。
• 通过涉及平行线和交点的几何构造，定义直线上两点的加法。
• 利用关联性和共线性性质验证群公理（结合律、交换律、单位元、逆元）。
• 依赖综合几何技巧，而非基于坐标的代数方法，推导群结构。
• 证明所得运算满足封闭性、交换律，并在给定规则下构成阿贝尔群。

实验结果

研究问题

• RQ1 笛沙格仿射平面上直线上点能否赋予自然的加法群结构？
• RQ2 小帕普斯定理是否在笛沙格仿射平面上成立，且能否用于定义一致的群运算？
• RQ3 笛沙格平面上直线上点的群运算是否满足结合律与交换律？
• RQ4 哪些几何性质确保了在定义加法下单位元与逆元的存在？
• RQ5 直线上的群结构与笛沙格仿射平面的基本关联公理之间有何关系？

主要发现

• 笛沙格仿射平面上任意直线上点在几何定义的加法运算下构成阿贝尔群。
• 小帕普斯定理在笛沙格仿射平面上成立，且对证明群运算的结合律至关重要。
• 群运算满足交换律，单位元由几何对称性和交点性质导出。
• 直线上每个点都有唯一的逆点，使得它们的和等于单位元。
• 该构造完全为综合几何方法，仅依赖关联性与平行公理，不使用坐标系。
• 所得群同构于标准阿贝尔群，证实了该几何结构的一致性与代数丰富性。