[论文解读] 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$。

提出的方法

• 将 $s(B)$ 定义为 $B \times \{-1,1\}$ 关于等价关系 $(a,1) \sim (b,-1)$ 的商，其中 $a+b=0$，从而推广格罗滕迪克群的构造。
• 在 $s(B)$ 上赋予一个超运算，其中 $(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$ 在此中起何作用？

主要发现

• 当且仅当对任意 $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$ 时，对称化 $s(B)$ 构成超群。
• 该构造满足普遍性质：从 $B$ 到任意超群的任意加法映射均可唯一地通过 $s(B)$ 因子化，使得 $s(B)$ 成为与 $B$ 相关联的普遍超群。
• 对于全序阿贝尔群中正元素的幺半群 $P$，有 $s(P) \cong 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+y = [-x,x]$，反映了最大-加法结构。
• 在 $s(S)$ 中，仅识别出 $(0,1) \sim (0,-1)$，因此元素为 $0$、$+s$（$s \in S \setminus \{0\}$）和 $-s$（$s \in S \setminus \{0\}$），无进一步识别。