[論文レビュー] Ordered algebraic structures and classification of semifields

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

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

ひとこと要約

本稿は特性ごとに半体を分類し、特性 $p$ のすべての半体が体であることを示している。特性 1 の半体は、正確にラティス順序群（例：Max-Plus代数）に対応し、特性 0 の厳密な半体は、キャンセル可能な（部分順序環に埋め込める）か、キャンセル可能なものの商である。主な貢献は、半体分類をよく理解された代数的対象へと構造的還元することにある。

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.

研究の動機と目的

• 特性に基づいて半体を体系的に分類し、複雑な代数的構造をより馴染みやすいものへ還元すること。
• 特性 0 の厳密な半体について、キャンセル可能および非キャンセル可能な場合を特定することで分類のギャップを解消すること。
• 半体と既知の代数的対象（例：ラティス順序群、部分順序環）との構造的同値性を確立すること。
• 代数幾何学およびトロピカル数学におけるべき等元および非べき等元半体の役割を明確化すること。
• 特性 0 のすべての厳密な半体がキャンセル可能な半体の商として得られることを示し、それらの構成を統一すること。

提案手法

• 半体の特性を、加法的単位元と乗法的単位元によって生成される部分半体の同型型として定義する。
• 加法的逆元が乗法的群に存在することを示し、特性 $p$ の半体が体であることを証明する。
• 正の錐 $1 + x^{-1} = 1$ を用いて、特性 1 の半体とラティス順序群との間の一対一対応を確立する。
• キャンセル可能な半体を、$x + z = y + z$ ならば $x = y$ を満たすものとして定義し、グローテンディーク群の構成を用いて部分順序環へ埋め込む。
• $F$ の元の形式的和および分数からなる商半体 $Q(F)$ を構成し、特性 0 の任意の厳密な半体がキャンセル可能なものの商であることを示す。
• ラティス順序群における平行移動不変性を用いて、特性 1 の半体において乗法が上限に関して分配的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 特性に基づいた半体の完全な分類は何か？
• RQ2 特性 1 の半体はラティス順序群とどのように関係するか？
• RQ3 キャンセル可能な半体は、特性 0 の厳密な半体の分類において果たす構造的役割は何か？
• RQ4 特性 0 のすべての厳密な半体がキャンセル可能な半体の商として構成可能か？
• RQ5 特性 0 の文脈において、半体と部分順序環の関係は何か？

主な発見

• 特性 $p$ の半体は、必ず体である。乗法的群がねじれ自由かつ有限であるため、自明となり、加法的逆元の存在が強制される。
• 特性 1 の半体は、加法が上限として定義され、乗法が群演算として働くラティス順序群と一対一に対応する。
• 特性 0 のキャンセル可能な厳密な半体は、正の元が逆元に関して閉じており、環を生成する部分順序環に埋め込める。
• 逆に、そのような環の正の元の集合は、特性 0 のキャンセル可能な厳密な半体をなす。
• 特性 0 のすべての厳密な半体は、キャンセル可能な厳密な半体の商である。これは、形式的和および分数を有理数スケーリング関係で割ったものとして構成される。
• キャンセル不可能な半体、例えば漸近的同値関係における正の有理関数の半体は、キャンセル可能なものの商として得られ、普遍的な構成メカニズムを示している。