[论文解读] Ordered algebraic structures and classification of semifields

Guillaume Tahar|arXiv (Cornell University)|Sep 20, 2017

Advanced Algebra and Logic参考文献 2被引用 3

一句话总结

本文根据特征对半域进行分类，表明所有特征为 $p$ 的半域都是域，特征为 1 的半域恰好对应于格序群（例如，最大-加法代数），而特征为零的严格半域要么是可消去的（可嵌入偏序环），要么是可消去半域的商。其主要贡献在于将半域分类的结构简化为已知的代数对象。

ABSTRACT

Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For every characteristic, we provide a structure theorem that reduces the classification of semifields to the classification of better-known algebraic structures. Every semifield of characteristic $p$ is actually a field. There is an equivalence between semifields of characteristic one and lattice-ordered groups. Strict semifields of characteristic zero are quotients of cancellative semifields and there is an equivalence between concellative strict semifields and a particular class of partially ordered rings.

研究动机与目标

• 基于特征系统性地对半域进行分类，将复杂的代数结构简化为更熟悉的结构。
• 通过识别可消去与不可消去的情形，填补特征为零的严格半域分类的空白。
• 建立半域与已知代数对象（如格序群和偏序环）之间的结构等价性。
• 阐明幂等与非幂等半域在代数几何与热带数学中的作用。
• 证明所有特征为零的严格半域均可作为可消去半域的商构造，从而统一其构造方式。

提出的方法

• 将半域的特征定义为由其加法单位元和乘法单位元生成的子半域的同构类型。
• 通过乘法群中存在加法逆元，证明特征为 $p$ 的半域必为域。
• 利用由 $1 + x^{-1} = 1$ 定义的正锥，建立特征为 1 的半域与格序群之间的一一对应关系。
• 将可消去半域定义为满足 $x + z = y + z$ 蕴含 $x = y$ 的半域，并通过格罗滕迪克群构造将其嵌入偏序环。
• 从 $F$ 中元素的形式和与分式构造商半域 $Q(F)$，并证明每个特征为零的严格半域都是某个可消去半域的商。
• 利用格序群中的平移不变性，证明在特征为 1 的半域中，乘法对上确界的分配律成立。

实验结果

研究问题

• RQ1 基于其特征，半域的完整分类是什么？
• RQ2 特征为 1 的半域与格序群之间有何关系？
• RQ3 可消去半域在特征为零的严格半域分类中起何种结构作用？
• RQ4 每个特征为零的严格半域是否都能作为可消去半域的商来构造？
• RQ5 在特征为零的背景下，半域与偏序环之间存在何种关系？

主要发现

• 特征为 $p$ 的半域必然是域，因为乘法群是有限且无挠的，这意味着其必须平凡，从而强制存在加法逆元。
• 特征为 1 的半域与格序群之间存在一一对应关系，其中加法定义为上确界，乘法为群运算。
• 每个可消去的严格半域在特征为零时可嵌入一个偏序环，其中正元素在取逆下封闭，并生成整个环。
• 反之，任何此类环中严格正元素的集合构成一个特征为零的可消去严格半域。
• 所有特征为零的严格半域都是可消去严格半域的商，其构造方式为形式和与分式模去有理数缩放关系。
• 不可消去半域（如在渐近等价下正有理函数的半域）作为可消去半域的商而出现，表明存在一种普遍的构造机制。