그룹오이드의 왼쪽 몫 구조와 I 오더의 관계

본 논문은 “그룹오이드의 왼쪽 몫 구조”라는 주제로, 그룹오이드와 그 부분범주(또는 세미그룹오이드) 사이에 존재하는 ‘왼쪽 오더(left order)’와 ‘왼쪽 q‑오더(left q‑order)’라는 두 종류의 구조적 관계를 체계적으로 탐구한다. **1. 서론 및 배경** 논문은 먼저 반군의 좌측 몫(quotients) 이론과 Gabriel‑Zisman의 범주 분수체(category of fractions) 이론을 소개한다. 전통적인 Ore‑Dubreil 정리는 반군 \(S\)가 오른쪽 가역(right reversible)이고 취소법을 만족할 때, \(S\)의 좌측 몫군이 존재함을 보인다. 저자는 이를 그룹오이드와 그 부분범주에 일반화하고자 한다. **2. 기본 정의** - **그룹오이드**: 모든 원소가 가역인 작은 범주. - **왼쪽 오더**: 부분범주 \(\mathbf C\subseteq\mathbb G\)가 \(\forall g\in\mathbb G,\; g=a^{-1}b\) ( \(a,b\in\mathbf C\) ) 로 표현될 수 있음. - **왼쪽 q‑오더**: 아이덴티티가 없는 세미그룹오이드 \(\mathfrak C\)에 대해 동일한 표현을 요구하지만, \(\mathbb G\)는 전체 그룹오이드이며 \(\mathfrak C\)는 그 하위 구조. **3. 왼쪽 오더의 존재조건** 섹션 3에서는 Ore‑형 조건을 범주론적으로 재구성한다. 구체적으로, \(\mathbf C\)가 - (R) 오른쪽 가역: \(a\mathbf C\cap b\mathbf C\neq\emptyset\) for all \(a,b\in\mathbf C\). - (C) 취소법: \(xa=xb\Rightarrow a=b\) 및 \(ax=bx\Rightarrow a=b\). - (U) 공통 우측 상한 존재: \(\forall a,b\in\mathbf C,\; \exists c\in\mathbf C\) such that \(a\le c\) and \(b\le c\) (여기서 \(\le\)는 자연 순서). 이 세 조건이 동시에 만족될 때, \(\mathbf C\)는 왼쪽 오더가 되고, 그에 대응하는 그룹오이드 \(\mathbb G\)는 \(\mathbf C^{-1}\mathbf C\) 로 구성된다. **4. 유일성 정리** 왼쪽 오더가 존재하면, 그에 대응하는 그룹오이드는 동형적으로 유일함을 증명한다. 이는 분수체의 보편적 성질과 ‘최소성(minimality)’을 이용한 논증으로, 두 그룹오이드가 동일한 원소 집합을 같은 방식으로 생성하면 반드시 동형이라는 결론을 도출한다. **5. 원시 역반대군과의 연결** 원시 역반대군(primitive inverse semigroup) \(Q\)에 0을 붙여 \(Q^{0}=Q\cup\{0\}\)라 하면, \(Q^{0}\)는 자연스럽게 그룹오이드가 된다. 저자는 다음과 같은 상호 변환을 제시한다. - \(\mathbf C\)가 \(Q^{0}\)의 왼쪽 오더이면, \(\mathbf C\setminus\{0\}\)는 \(Q\)의 왼쪽 I‑오더. - 반대로, \(S\subseteq Q\)가 왼쪽 I‑오더이면, \(S^{0}=S\cup\{0\}\)는 \(Q^{0}\)의 왼쪽 q‑오더. 특히, 연결된 그룹오이드(브란트 그룹오이드)와 Brandt 반군 사이의 동형 관계를 이용해, 이 변환이 완전하게 작동함을 보인다. **6. 인덕티브 그룹오이드와 역반대군** 인덕티브 그룹오이드란 아이덴티티들의 집합이 meet‑semilattice를 이루는 경우를 말한다. 논문은 이러한 그룹오이드를 역반대군 \(S(G)\)와 동형시킨다. 여기서 ‘제한 연산’ \((x|e)\)와 ‘코제한 연산’ \((e|x)\)를 정의하고, 이를 통해 부분곱 \(\otimes\) 를 도입한다. 결과적으로, \(G\)의 곱이 정의된 경우 \(\otimes\)는 기존 곱과 일치하고, 정의되지 않은 경우에도 \(\otimes\)가 존재한다. 이는 역반대군의 ‘추적 곱(trace product)’과 정확히 대응한다. **7. 0‑직접합 구조와 왼쪽 오더** 원시 역반대군은 0‑직접합(0‑direct union) 형태로 여러 Brandt 반군의 합으로 분해될 수 있다. 각 구성요소가 연결된 그룹오이드이므로, 각각에 대해 왼쪽 오더·q‑오더 존재 여부를 따로 판단한다. 전체 군이 왼쪽 오더를 갖기 위한 필요조건은 모든 구성요소가 왼쪽 오더를 가져야 함이며, 충분조건은 하나라도 왼쪽 오더가 있으면 전체가 왼쪽 q‑오더를 가질 수 있음을 보인다. **8. 결론** 논문은 그룹오이드와 역반대군 사이의 구조적 대응을 명확히 함으로써, 기존의 Ore‑정리와 Gabriel‑Zisman 분수체 이론을 보다 일반적인 범주적 환경으로 확장한다. 또한, 왼쪽 오더와 q‑오더의 존재조건, 유일성, 그리고 원시 역반대군과의 상호 변환을 통해 향후 연구가 진행될 수 있는 여러 방향(예: 비연결된 그룹오이드, 다중 객체 상황, 비가역적 부분구조 등)을 제시한다.