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

초록

본 논문은 가스드 모노이드와 나눔 모노이드라는 두 대수적 구조를 비교한다. 두 클래스 모두 원소들의 최소공배수(lcm)와 격자 구조의 분배법칙을 핵심 가정으로 삼지만, 생성자 사이의 관계는 서로 다를 수 있다. 저자는 ‘준중심(Quasi‑center)’이라는 부분군을 도입해 두 모노이드의 공통된 성질을 밝히고, (i) 모든 비가역 원소가 공통 배수를 가질 때 나눔 모노이드는 가스드 모노이드가 되며, (ii) 가스드 모노이드가 나눔 모노이드가 되려면 단순 원소들의 격자가 초큐브 형태여야 함을 증명한다. 또한 로컬 델타(local Δ)라는 도구를 이용해 각 나눔 모노이드의 준중심을 최소 생성 집합으로 기술하고, 그 구조가 자유 아벨 군임을 보인다.

상세 분석

논문은 먼저 가스드 모노이드와 나눔 모노이드의 정의를 정밀히 정리한다. 가스드 모노이드는 결합적이며 취소가능(conical, cancellative)하고, 모든 원소쌍이 좌·우 최소공배수(lcm)를 갖는 동시에 유한한 ‘가스드 원소(Δ)’가 존재해 그 좌·우 약수가 일치하고 전체를 생성한다는 특징을 가진다. 반면 나눔 모노이드는 취소가능하고, 비가역 원소(irreducible)들로 유한 생성되며, 모든 원소쌍이 좌 최소공약수(gcd)를 갖고, 각 원소 a에 대해 ↓(a) 격자가 유한하고 분배법칙을 만족한다. 두 구조 모두 ‘분배 격자’를 전제로 하지만, 가스드 모노이드는 공통 배수의 존재를 강제하고, 나눔 모노이드는 공통 배수가 존재할 경우 유일한 lcm을 보장한다는 점에서 차이가 있다.

핵심 기법은 ‘준중심’의 정의이다. M의 비가역 원소 집합 Σ에 대해 aΣ = Σa 를 만족하는 원소들의 집합을 Q(M)라 두며, 이는 중심(Z(M))을 포함하는 상위 부분군이다. 저자는 가스드 모노이드와 나눔 모노이드 모두에서 Q(M)의 구조를 동일한 방식으로 분석한다. 특히 나눔 모노이드에서 ‘로컬 델타 Δ_a’를 도입한다. Δ_a는 모든 b∈M에 대해 b\ a (즉, a를 오른쪽으로 나누는 연산)의 집합이 존재하고 그 오른쪽 lcm을 취한 결과이며, 이는 a가 모든 원소와 공통 배수를 가질 때 정의된다. 논문은 Δ_a가 존재하면 반드시 준중심 원소가 되며, 모든 준중심 원소는 이러한 Δ_x (x∈Σ)들의 곱으로 표현될 수 있음을 증명한다(정리 3.9). 따라서 Q(M)은 {Δ_x | x∈Σ}에 의해 생성되는 자유 아벨 군(또는 자유 아벨 부분모노이드)이다.

주요 정리인 ‘Main Theorem’은 두 부분으로 나뉜다. (i) “나눔 모노이드는 모든 비가역 원소 쌍이 공통 배수를 가질 때에만 가스드 모노이드가 된다.” 이는 로컬 델타가 모든 비가역 원소에 대해 정의될 수 있음을 의미하고, 그 결과 가스드 원소 Δ가 존재함을 보인다. (ii) “가스드 모노이드가 나눔 모노이드가 되려면 단순 원소들의 격자가 초큐브(hyper‑cube) 형태여야 한다.” 초큐브 격자는 모든 원소가 서로 독립적인 좌·우 lcm을 가짐을 의미하며, 이는 나눔 모노이드의 ‘분배 격자’ 조건과 정확히 일치한다.

이러한 결과는 두 이론이 겹치는 부분을 명확히 규정함으로써, 기존에 별개로 연구되던 ‘브레이드 이론’(가스드 모노이드)과 ‘동시성 이론’(나눔 모노이드) 사이의 교량을 놓는다. 또한 로컬 델타와 준중심의 구조적 이해는 자동군(automatic groups)이나 동시성 모델링에서 효율적인 알고리즘 설계에 활용될 가능성을 제시한다.