자연수 계수 유리 멱급수와 자유 반복 반정리체

초록

이 논문은 자연수 반정수체 ℕ와 그 무한 원소를 추가한 ℕ∞ 위에서 정의되는 유리 멱급수 반정리체들을 연구한다. ℕ‑계수를 갖는 유리 멱급수 ℕ^rat⟨⟨Σ*⟩⟩가 부분 반복 반정리체(partial iteration semiring)의 자유 객체임을 보이고, ℕ∞‑계수를 갖는 유리 멱급수 ℕ∞^rat⟨⟨Σ*⟩⟩는 세 개의 간단한 추가 항등식을 만족하는 반복 반정리체(iteration semiring) 범주의 자유 객체임을 증명한다. 또한 이 범주는 완전·연속 반정리체가 생성하는 다양체와 일치하며, 합 순서를 이용한 대칭 귀납 *‑반정리체(symmetric inductive *‑semiring)에서도 자유성을 갖는다. 이는 Kozen의 정규 언어 공리계와 직접적으로 연결된다.

상세 분석

논문은 먼저 반정리체(semi‑ring)와 멱급수(power series)의 기본 개념을 정리하고, Conway 반정리체와 그 위에 정의되는 그룹 항등식(group identities)을 소개한다. Conway 반정리체는 두 핵심 항등식, 즉 (a+b)* = a* (b a*)* 와 (ab)* = 1 + a (ba)* b 를 만족한다. 모든 유한 군에 대해 이러한 항등식이 성립하면 이를 iteration semiring이라 부른다. 부분(iteration) 반정리체는 별 연산이 정의된 이상(ideal) D(S) 위에서만 작동하도록 제한한다.

핵심 결과는 두 단계로 나뉜다. 첫 번째는 ℕ‑계수를 갖는 유리 멱급수 ℕ^rat⟨⟨Σ*⟩⟩가 부분 반복 반정리체의 자유 객체임을 보이는 것이다. 이를 위해 저자는 Kleene‑Schützenberger 정리를 부분 Conway 반정리체에 맞게 확장하고, 특히 교환 항등식(commutative identities)인
11 = 1* , 1* a = a 1* , 1* (1* a)* = 1* a*
을 이용해 ℕ‑계수 구조가 부분 반복 반정리체의 최소 모델임을 증명한다.

두 번째는 ℕ에 무한 원소 ∞를 추가한 ℕ∞ 위에서 정의된 유리 멱급수 ℕ∞^rat⟨⟨Σ*⟩⟩를 다룬다. 여기서는 별 연산이 전체에 정의되므로 전체 반복 반정리체를 고려한다. 저자는 위의 세 교환 항등식에 더해, 모든 유한 군에 대한 그룹 항등식을 만족하는 반정리체들의 다양체 V를 정의한다. 주요 정리는 ℕ∞^rat⟨⟨Σ*⟩⟩가 바로 V에서 Σ에 의해 자유 생성된 반정리체라는 것이다.

흥미로운 부수 결과로, V는 완전(complete) 혹은 연속(continuous) 반정리체가 생성하는 다양체와 동등함을 보인다. 완전 반정리체는 무한 합을 허용하고, 연속성은 순서론적 극한과 일치한다. 따라서 ℕ∞^rat⟨⟨Σ*⟩⟩는 이러한 구조들의 대표적인 예가 된다.

마지막으로, 합 순서(≤)를 도입해 ℕ∞^rat⟨⟨Σ*⟩⟩를 대칭 귀납 ‑반정리체(symmetric inductive ‑semiring)로 본다. 여기서는 고정점 항등식 a + 1 = a 와 최소 전피점 규칙 ∀a,b,x (ax + b ≤ x ⇒ a* b ≤ x) 가 만족된다. 저자는 이 체계가 Kozen이 제시한 정규 언어의 공리계와 정확히 일치함을 확인한다. 즉, 정규 언어의 대수적 특성을 반정리체 이론으로 완전하게 포착한다는 의미다.

전체적으로 논문은 알고리즘적·논리적 관점과 대수적 구조를 연결함으로써, 유리 멱급수와 정규 언어 사이의 깊은 동형성을 새롭게 정리한다. 특히 ℕ과 ℕ∞라는 두 가지 기본 반정리체를 통해 부분·전체 반복 반정리체의 자유성, 완전성, 대칭 귀납성 등을 일관되게 설명한다는 점이 학문적 의의를 가진다.