반정규 반자유성 문제의 결정 가능성 탐구

초록

본 논문은 반정규(semigroup)에서 원소 집합 X가 생성하는 자유성, 즉 X를 이용한 모든 원소의 분해가 유일한지를 판정하는 문제의 결정 가능성을 조사한다. 기존의 자유 모노이드 알고리즘과 3×3 정수 행렬에 대한 불가능성 결과를 바탕으로, 일반적인 반정규에 대한 이론적 틀을 제시하고, 특히 곱셈 행렬 반정규에 대한 새로운 결정 가능/불가능 사례를 제시한다.

상세 분석

논문은 먼저 자유성 문제를 “각 원소가 X에 대한 분해를 최대 하나만 갖는다”는 정의로 정형화하고, 이 정의가 반정규의 구조적 특성에 어떻게 영향을 받는지를 분석한다. Sardinas‑Patterson 알고리즘을 일반 반정규에 확장하려는 시도가 기존 연구에서 제한적이었음에도 불구하고, 저자는 공통된 공통어(prefix)와 접미어(suffix) 구조를 이용해 일반적인 “접두사‑접미사 교차” 조건을 도출한다. 이를 통해, 반정규가 왼쪽(또는 오른쪽) cancellative인 경우, 즉 a·b = a·c ⇒ b = c 를 만족하면 자유성 검증을 위한 유한 탐색 절차가 존재함을 증명한다. 반면, 행렬 반정규와 같이 비가역적 요소가 포함될 때는 이러한 조건이 깨지며, 특히 3×3 정수 행렬 반정규에 대해 Klarner‑Birget‑Satterfield가 제시한 불가능성 결과를 재현한다. 저자는 이 불가능성을 행렬 차원과 행렬 원소의 제한(예: 0‑1 행렬, 상삼각 행렬)으로 세분화하여, 차원 2에서는 결정 가능성을 보이고, 차원 ≥3에서는 일반적으로 불가능함을 보인다. 또한, 반정규의 직접곱(direct product)과 자유 직합(free product) 구조에 대해 자유성 보존 여부를 조사하여, 자유 직합에서는 자유성이 보존되지만 직접곱에서는 보존되지 않을 수 있음을 예시와 함께 제시한다. 마지막으로, 논문은 현재까지 알려진 결정 가능/불가능 사례들을 체계적으로 정리하고, “곱셈 반정규가 가환인지, 혹은 특정 부분군이 유한인지”와 같은 추가적인 대수적 제약이 자유성 문제의 복잡도에 미치는 영향을 탐구한다. 이러한 분석은 자유성 문제를 알고리즘적 관점에서뿐 아니라 복합 대수 구조의 특성 연구에도 연결시켜, 향후 연구 방향을 제시한다.