[논문 리뷰] Symmetrization of monoïds as hypergroups

Simon Henry|arXiv (Cornell University)|2013. 09. 08.

Advanced Topics in Algebra참고 문헌 1인용 수 5

한 줄 요약

이 논문은 교환 법칙을 만족하는 모노이드에 대해 그로텐디크 군의 일반화로서, 군 대신 초군집합(hypergroup)을 생성하는 대칭화 구성법을 제안한다. 특히 비가역적 또는 등幂(idempotent) 모노이드의 경우에도 비자명한 구조를 유지한다. 핵심 결과는 전순서 $x \leq y \iff \exists z, x+z=y$ 하에서 분해의 정밀화(refinement) 조건을 만족할 때만 대칭화 $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$ 가 필터링(filtrating)되어야 한다는 것이다. 즉, 임의의 두 분해가 공통의 정밀화를 가질 수 있어야 한다.
• 초군집합의 공리—교환법칙, 결합법칙, 항등원, 역원 존재성—이 $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}$의 탈양자화(dequantization)와 어떻게 관련이 있는가?
• RQ5 초군집합 구조 $s(B)$는 모노이드의 가역성에 독립적인가? 그리고 전순서 $x \leq y \iff \exists z, x+z=y$ 는 이 과정에서 어떤 역할을 하는가?

주요 결과

• 모노이드 $B$의 대칭화 $s(B)$가 초군집합이 되는 것은, 임의의 $x,y,u,v \in B$에 대해 $x+y = u+v$ 이면, $x+z = u$ 이고 $v+z = y$ 이거나, $x = u+z$ 이고 $v = y+z$ 가 되는 $z \in B$ 가 존재하는 것과 동치이다.
• 이 구성법은 보편 성질을 만족한다: $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$ ($s \in S \setminus \{0\}$), $-s$ ($s \in S \setminus \{0\}$) 로 구성되며, 추가적인 식별은 없다.