가스드 모노이드와 나눔 모노이드의 교차점: 준중심과 로컬 델타 분석

본 논문은 가스드 모노이드와 나눔 모노이드라는 두 종류의 대수적 구조를 비교·연구한다. 두 클래스 모두 ‘분배 격자’를 기본 가정으로 하지만, 생성자 사이의 관계와 공통 배수의 존재 여부에서 차이를 보인다. 1. **배경 및 정의** - **가스드 모노이드**: 결합적이며 취소가능(conical, cancellative)하고, 모든 원소쌍이 좌·우 최소공배수(lcm)를 갖는다. 유한한 가스드 원소 Δ가 존재해 그 좌·우 약수가 일치하고 전체를 생성한다. Δ의 약수들은 ‘단순 원소(simple elements)’라 불리며, 이들의 집합은 유한 격자를 이룬다. - **나눔 모노이드**: 취소가능하고 비가역 원소(irreducible)들로 유한 생성되며, 모든 원소쌍이 좌 최소공약수(gcd)를 갖는다. 각 원소 a에 대해 ↓(a) 격자가 유한하고 분배법칙을 만족한다. 이때 ‘좌 최소공배수(lcm)’가 존재하면 유일함이 보장된다. 2. **준중심(Quasi‑center)의 도입** - M의 비가역 원소 집합 Σ에 대해 aΣ = Σa 를 만족하는 원소들의 집합 Q(M)를 정의한다. Q(M)는 중심 Z(M)을 포함하는 상위 부분군이며, 두 모노이드 모두에서 중요한 구조적 역할을 한다. 3. **로컬 델타(local Δ)의 정의와 성질** - 나눔 모노이드 M에서 임의의 원소 a에 대해 {b\ a | b∈M}가 정의되고 오른쪽 lcm을 가질 경우, 이를 Δ_a라 부른다. Δ_a는 a가 모든 원소와 공통 배수를 가질 때 존재한다. - 주요 정리: Δ_a가 존재하면 Δ_a는 준중심 원소이며, 모든 준중심 원소는 Δ_x (x∈Σ)의 곱으로 표현될 수 있다(정리 3.9). 따라서 Q(M)은 {Δ_x | x∈Σ}에 의해 생성되는 자유 아벨 군(또는 자유 아벨 부분모노이드)이다. 4. **주요 결과(Main Theorem)** (i) **나눔 모노이드 → 가스드 모노이드**: 나눔 모노이드가 가스드 모노이드가 되기 위한 필요충분조건은 모든 비가역 원소 쌍이 공통 배수를 갖는 것이다. 이는 로컬 델타가 모든 비가역 원소에 대해 정의될 수 있음을 의미하고, 결과적으로 가스드 원소 Δ가 존재한다. (ii) **가스드 모노이드 → 나눔 모노이드**: 가스드 모노이드가 나눔 모노이드가 되려면 단순 원소들의 격자가 초큐브(hyper‑cube) 형태여야 한다. 초큐브 격자는 각 단순 원소가 서로 독립적인 최소공배수를 가지며, 이는 나눔 모노이드가 요구하는 ‘분배 격자’와 일치한다. 5. **증명 개요** - **Lemma 2.1** 등 기본적인 격자 연산과 lcm/gcd 관계를 정리하고, 이를 바탕으로 로컬 델타의 존재와 유일성을 보인다. - **Lemma 3.4–3.7**에서는 준중심 원소와 로컬 델타 사이의 상호작용을 분석해, Δ_a가 존재하면 반드시 준중심이며, 반대로 준중심이면 Δ_a = a 임을 증명한다. - **Proposition 3.9**를 통해 Q(M)이 {Δ_x | x∈Σ}에 의해 생성됨을 보이며, 이는 자유 아벨 구조를 부여한다. - 마지막으로 **Theorem 4.1**에서 (i)와 (ii)를 각각 위의 결과와 격자 이론을 결합해 증명한다. 6. **예시와 응용** - 가스드 모노이드의 전형적인 예로는 구형 아르틴 모노이드, 브레이드 모노이드, Garside의 초큐브 모노이드 등이 제시된다. - 나눔 모노이드의 예로는 트레이스 모노이드와 몇몇 비교환 관계를 갖는 모노이드가 소개된다. - 각 예시에서 로컬 델타와 준중심을 실제로 계산해 보이며, 이론의 적용 가능성을 보여준다. 7. **의의와 전망** - 두 이론이 겹치는 부분을 명확히 규정함으로써, 브레이드 이론(가스드 모노이드)과 동시성 이론(나눔 모노이드) 사이의 교량을 제공한다. - 로컬 델타와 준중심의 구조적 이해는 자동군(automatic groups)이나 동시성 모델링에서 효율적인 알고리즘 설계에 활용될 수 있다. - 향후 연구에서는 더 일반적인 ‘부분 가스드’ 혹은 ‘부분 나눔’ 구조를 탐구하거나, 준중심의 동형 사상 분류를 진행하는 것이 기대된다.