[論文レビュー] Symmetrization of monoïds as hypergroups

Simon Henry|arXiv (Cornell University)|Sep 8, 2013

Advanced Topics in Algebra参考文献 1被引用数 5

ひとこと要約

本稿では、可換モノイドに対する対称化構成を導入し、グロテンディーク群の一般化として、群ではなくハイパーグループを生成することで、特に冪等元モノイドにおいて非自明な構造を保ちながら、一般化を行う。主な結果は、前置順序 $x \leq y \iff \exists z, x+z=y$ における分解の精錬可能性—すなわち、任意の二つの分解が共通の精錬をもつこと—が、対称化 $s(B)$ がハイパーグループをなすための必要十分条件である。この条件により、$\mathbb{R}_+^{\rm max}$ から $\mathbb{R}^\flat$、$\mathbb{R}_+$ から $\mathbb{R}$ といった既知の構造が回復される。この構成は、ハイパーグループへの準同型写像の普遍問題を解く。

ABSTRACT

We adapt the construction of the Grothendieck group associated to a commutative monoïd to handle idempotent monoïds. Our construction works for a restricted class of commutative monoïds, it agrees with the Grothendieck group construction in many cases and yields a hypergroup which solves the universal problem for morphisms to hypergroups. It gives the expected non-trivial hypergroup construction in the case of idempotent monoïds.

研究の動機と目的

• グロテンディーク群構成の限界を解消すること。特に、非消去可能または冪等元モノイドでは、古典的構成は自明な群に収縮してしまう。
• 可換モノイドからハイパーグループへの普遍的構成を開発し、古典的グロテンディーク法で失われる構造的情報を保持すること。
• 提案された対称化が、適切に定義されたハイパーグループを生じるための明確な代数的条件を同定すること。
• 自然なモノイド構成、たとえば $\mathbb{R}_+^{\rm max}$ から、既知の非自明なハイパーグループ $\mathbb{R}^\flat$ を回復すること。

提案手法

• グロテンディーク群の構成を一般化し、$B \times \{-1,1\}$ の商として $s(B)$ を定義する。ここで $(a,1) \sim (b,-1)$ は $a+b=0$ のときに成立する。
• $(a,\varepsilon) + (b,\varepsilon')$ を、$z + b = a$ または $z + a = b$ の解を用いてハイパーオペレーションとして定義し、空でない和を保証する。
• ハイパーオペレーションが適切に定義され、同値関係を尊重するための必要十分条件は、前置順序 $x \leq y \iff \exists z, x+z=y$ がフィルタリングであること（任意の二つの分解が共通の精錬をもつこと）である。
• $(s(B),+)$ が、可換性、結合性、単位元、逆元の存在といった、標準的ハイパーグループの公理を満たすことを証明する。
• 普遍性が成り立つことを示す：$B$ からハイパーグループへの加法的写像は、$s(B)$ を通じて一意に因数分解可能である。
• 構成が既知の構造を回復することを検証する：$s(\mathbb{R}_+) = \mathbb{R}$ および $s(\mathbb{R}_+^{\rm max}) = \mathbb{R}^\flat$。

実験結果

リサーチクエスチョン

• RQ1 非消去可能モノイド、特に冪等元モノイドに対して、グロテンディーク群構成を一般化し、非自明な代数的構造を保持できるか。
• RQ2 可換モノイドに対して、その対称化がハイパーグループを生じるための代数的条件は何か。
• RQ3 提案された対称化構成は、モノイドからハイパーグループへの準同型写像の普遍問題を解くか。
• RQ4 $\mathbb{R}_+^{\rm max}$ の対称化は、$\mathbb{R}$ の脱量子化とどのように関係するか。
• RQ5 ハイパーグループ構造 $s(B)$ はモノイドの消去可能性に依存しないか。また、前置順序 $x \leq y \iff \exists z, x+z=y$ はこの構造において果たす役割は何か。

主な発見

• 対称化 $s(B)$ がハイパーグループをなすための必要十分条件は、任意の $x,y,u,v \in B$ に対して $x+y = u+v$ ならば、$z \in B$ が存在して、$x+z = u$ かつ $v+z = y$、または $x = u+z$ かつ $v = y+z$ が成り立つことである。
• この構成は普遍性を満たす：$B$ からハイパーグループへの任意の加法的写像は、$s(B)$ を通じて一意に因数分解可能であり、$s(B)$ は $B$ に付随する普遍ハイパーグループである。
• 全順序アーベル群の正元のモノイド $P$ に対して、$s(P)$ は群 $A$ に同型であり、古典的グロテンディーク群が回復される。
• 冪等元モノイド $S = \mathbb{R}_+^{\rm max}$（$x+y = \max(x,y)$）に対して、対称化 $s(S)$ は $\mathbb{R}^\flat$ に同型であり、これは $\mathbb{R}$ の脱量子化である。これにより、既知の構成と整合性が確認される。
• $\mathbb{R}_+^{\rm max}$ の場合、$s(S)$ におけるハイパーグループ加法は、$|x| \neq |y|$ ならば $x+y = \max(x,y)$、$y = -x$ ならば $[-x,x]$ で与えられ、max-plus 構造を反映している。
• 構成では $s(S)$ において、$(0,1) \sim (0,-1)$ のみが同定され、$0$、$s \in S \setminus \{0\}$ のための $+s$、$s \in S \setminus \{0\}$ のための $-s$ が要素として存在し、それ以上の同定は行われない。