특수 역원 모노이드의 오른쪽 단위 구조와 자유곱 분해

초록

**
본 논문은 유한히 제시된 특수 역원 모노이드(SIM)의 오른쪽 단위 부분모노이드가 언제 자유곱 형태로 분해되는지를 조사한다. 그룹의 단위가 유한히 제시될 때만 자유곱 분해가 가능함을 보이며, 하위군의 유한 생성·제시 조건을 그래프 이론과 경계 폭 개념으로 정리한다. 또한, 오른쪽 취소적 모노이드의 RC-제시와 SIM의 오른쪽 단위 사이의 관계를 밝히고, 두 클래스가 서로 포함되지 않음을 증명한다.

**

상세 분석

**
논문은 먼저 특수 역원 모노이드(SIM)의 오른쪽 단위(RU) 부분모노이드가 기존의 특수 모노이드에서 나타나는 자유곱 구조와 달리 일반적으로는 그런 분해를 허용하지 않음을 지적한다. Gray‑Ruškuc(2024)의 반례를 출발점으로, 저자들은 “RU가 자유곱 G ∗ Fₙ 형태로 분해될 수 있는 유일한 경우는 G, 즉 단위군이 유한히 제시될 때뿐이다”라는 강력한 정리를 증명한다(정리 4.1). 이를 위해 SIM 내부의 임의의 하위군 H가 유한 생성인지 여부를 R‑클래스 내 코셋들의 연결성으로 완전히 기술한다(정리 3.2). 구체적으로, H의 코셋들의 합집합이 R‑클래스에서 하나의 연결 성분을 이룰 경우에만 H가 유한 생성이며, 추가적으로 경계 폭(boundary width)이라는 기하학적 제한을 만족하면 H는 유한히 제시될 수 있음을 보인다(정리 3.5).

이러한 군 이론적 결과는 두 가지 중요한 응용을 낳는다. 첫째, 전통적인 특수 모노이드의 오른쪽 단위는 Makarin의 정리처럼 G ∗ Fₖ 형태로 항상 분해되지만, SIM에서는 단위군이 비제시적이면 자유곱 분해가 불가능함을 통해 두 클래스의 구조적 차이를 명확히 한다. 둘째, 오른쪽 취소적 모노이드에 대한 RC‑제시와 SIM의 RU 사이의 관계를 탐구한다. 저자들은 “모든 유한 생성 RC‑제시 모노이드 T는 어떤 유한히 제시된 SIM M의 오른쪽 단위 부분모노이드 N에 동형이며, N은 M의 단위군을 포함한다”(정리 5.3)라는 포괄적 포함 결과를 얻는다. 이는 이전에 Gray‑Kambites(2025)가 제시한 단위군 분류를 일반화한 것으로, 단위군뿐 아니라 그 위에 포함된 더 큰 부분모노이드까지 포괄한다.

또한, 경계 폭 개념을 이용해 하위군의 유한 제시성을 판단하는 새로운 기준을 제시함으로써, 기존의 알고리즘적 접근법보다 더 직관적인 그래프‑이론적 방법을 제공한다. 이와 동시에, 전통적인 모노이드 제시와 RC‑제시 사이의 급격한 차이를 예시를 통해 보여준다. 예를 들어, 특정 RC‑제시 모노이드는 유한히 제시되지 않음에도 불구하고 그 오른쪽 단위는 유한히 제시된 SIM에서 얻을 수 있음을 증명한다(섹션 6).

전체적으로 논문은 SIM의 오른쪽 단위 구조를 군 이론, 그래프 이론, 그리고 제시 이론의 관점에서 통합적으로 분석함으로써, 기존 문헌에서 남아 있던 구조적 공백을 메우고, 앞으로의 연구 방향을 제시한다. 특히, 자유곱 분해 가능성의 필요조건을 단위군의 제시성으로 한정한 점은 향후 SIM의 알고리즘적 문제(예: 단위군 결정 문제) 해결에 중요한 단서를 제공한다.

**