완전 가분 집합의 구조와 응용

초록

본 논문은 특성 급수의 구문 표현이 완전 가분(complete reducible)인 유리 단어 집합을 연구한다. 이 클래스는 이중 접두·접미 코드가 생성하는 부분모노이드와 순환 집합을 포함하며, 닫힘 성질과 새로운 일반화 결과를 제시한다.

상세 분석

논문은 먼저 “완전 가분(Completely reducible)”이라는 개념을 정의한다. 이는 단어 집합 (X\subseteq A^*)의 특성 급수 (\underline{X})에 대해, 그 구문 대수 (\mathcal{S}(X))가 유한 차원 (\mathbb{K})-벡터공간 위에서 완전 가분 표현을 갖는 경우를 말한다. 구문 대수는 언어의 합동 관계를 반영하는 유한 차원 대수이며, 그 표현이 완전 가분이면 모든 불변 부분공간이 직합으로 분해될 수 있음을 의미한다. 이 정의는 기존의 “bifix code”가 생성하는 부분모노이드와 “cyclic set”을 포괄한다는 점에서 강력하다.

저자는 먼저 Reutenauer의 결과를 재해석한다. 이 결과에 따르면, 이중 접두·접미 코드(bifix code) (B)가 생성하는 부분모노이드 (B^)는 그 구문 표현이 완전 가분이다. 논문은 이를 일반적인 “birecurrent” 집합으로 확장한다. Birecurrent 집합은 왼쪽과 오른쪽 모두에서 재귀적 구조를 가지며, 특정 전이 모노이드가 완전 가분 표현을 허용하는 경우를 말한다. 저자는 모노이드의 선형 표현에 대한 일반 정리를 증명한다. 구체적으로, 유한 차원 (\mathbb{K})-표현 (\rho: M\to \mathrm{End}(V))가 존재하고, (M)이 완전 가분이면, (\rho)는 직합으로 분해될 수 있다. 이를 통해 (B^)뿐 아니라 모든 birecurrent 집합에 대해 구문 표현이 완전 가분임을 보인다.

다음으로 순환 집합(cyclic set)에 대한 새로운 증명을 제시한다. 순환 집합은 단어들의 회전(순환) 연산에 대해 닫혀 있는 집합으로, 기존에는 Berstel‑Reutenauer가 복잡한 대수적 도구를 사용해 완전 가분성을 보였다. 본 논문은 앞서 증명한 모노이드 표현 정리를 이용해, 순환 집합의 구문 대수가 특정 순환 행렬군에 동형임을 보이고, 이 행렬군이 완전 가분 표현을 갖는다는 사실을 이용한다. 결과적으로 순환 집합도 완전 가분 집합에 속함을 간결하게 증명한다.

마지막으로 이 클래스의 닫힘 성질을 조사한다. 완전 가분 집합은 합집합, 교집합, 역상, 동형사상에 대해 닫혀 있음을 보이며, 특히 언어 연산 중에서도 정규 연산(접두, 접미, 부분단어)과 함께 유지된다. 이러한 닫힘 성질은 언어 이론과 자동이론에서 구조적 분석을 단순화시키는 중요한 도구가 된다.

전체적으로 논문은 구문 대수와 선형 표현 이론을 연결함으로써, 기존에 개별적으로 다루어졌던 bifix code과 cyclic set을 하나의 통합된 프레임워크 안에 끌어들인다. 이는 언어 이론에서 “완전 가분”이라는 새로운 분류를 제시하고, 그에 따른 닫힘 성질과 일반화된 정리를 제공함으로써 향후 연구의 기반을 마련한다.