임의의 모노이드를 위한 모노이달 리라이트 시스템과 그 범주론적 구조

초록

본 논문은 자유 모노이드 대신 임의의 모노이드를 기반으로 하는 모노이달 리라이트 시스템(MRS)을 정의하고, Noetherian·Confluent MRS들의 2‑카테고리 NCRS₂와 모노이드 카테고리 Mon 사이에 정규화된 바이어드잭션을 구축한다. 또한, 일반화된 기본 티에츠 변환(GETT)을 도입해 동일한 모노이드를 제시하는 모든 Noetherian·Confluent MRS가 무한 연쇄 GETT로 연결됨을 증명함으로써 모노이드 프레젠테이션의 완전한 동등성 분류를 제공한다.

상세 분석

이 논문은 문자열 리라이트 시스템(SRS)이 자유 모노이드 F_A 위에서만 정의될 수 있다는 전통적 한계를 논리적·모델이론적 관점에서 비판한다. 자유 모노이드는 1차 언어 L 으로는 공리화될 수 없으며, 따라서 “자유성”을 외부 조건으로 강제하는 기존 접근법은 내부화가 불가능하다. 이를 극복하기 위해 저자는 임의의 모노이드 M 위에 직접 관계 R ⊆ M×M 을 놓는 모노이달 리라이트 시스템(MRS)을 제안한다. MRS는 기존 SRS의 핵심인 ‘곱 연산에 대한 호환성’만을 유지하면서, 자유 모노이드가 제공하던 구문적 구조를 완전히 배제한다.

기술적 측면에서 논문은 MRS에 대한 기본적인 레마들을 SRS와 동일한 형태로 증명한다. 예를 들어, 전이 관계 →_R 의 모노이드 곱에 대한 폐쇄성(Lemma 3.2), 동치 관계 ↔*_R 가 동형사상(congruence)임을 보이는 Lemma 3.3, 그리고 Noetherian·Confluent MRS에서 정상형(irreducible element)들의 곱을 새로운 연산 \bar· 으로 정의해 역시 모노이드를 형성함을 보이는 Lemma 3.6·3.7 등이다. 이러한 결과는 자유 모노이드에 의존하지 않음에도 불구하고, 전통적인 교회–로스러 속성(Church–Rosser property)과 정규 형태의 유일성을 그대로 유지한다는 점에서 의미가 크다.

범주론적 기여는 두 번째 섹션에서 두드러진다. 저자는 Noetherian·Confluent MRS들의 2‑카테고리 NCRS₂를 정의하고, 이와 모노이드 2‑카테고리 Mon 사이에 ‘정규화된’ 바이어드잭션(L ⊣ R)을 구축한다. 여기서 좌측 2‑함수 L은 MRS를 그 몫 모노이드 M/↔*_R 으로 보내고, 우측 2‑함수 R은 모노이드를 그 자체를 ‘자유’ MRS(동일한 모노이드를 갖는 최소한의 규칙 집합)으로 해석한다. 바이어드잭션의 단위와 코단위는 강한 변환이며, 삼각식은 가역 변형을 통해 만족한다. 이 구조는 MRS와 전통적인 모노이드 프레젠테이션 사이의 정확한 대응을 범주론적으로 포착함으로써, 리라이트 시스템을 2‑차원 동형사상으로 다루는 새로운 프레임워크를 제공한다.

마지막으로 가장 혁신적인 부분은 일반화된 기본 티에츠 변환(GETT)이다. 기존 티에츠 변환은 자유 모노이드 위의 SRS에만 정의될 수 있었지만, GETT는 임의의 MRS에 적용 가능하도록 확장된다. 변환 유형은 규칙 추가·삭제, 새로운 생성원 도입·제거, 그리고 규칙을 ‘축소’하거나 ‘확장’하는 두 가지 고차 변환을 포함한다. 핵심 정리에서는 두 개의 Noetherian·Confluent MRS가 동일한 모노이드를 제시한다면, (가능한 무한) GETT 연쇄를 통해 서로 변환될 수 있음을 증명한다. 이는 티에츠 정리의 일반화이며, 모노이드 프레젠테이션의 동등성을 완전하게 기술한다. 또한, GETT 연쇄가 무한할 수 있다는 점은 전통적인 ‘유한’ 티에츠 변환과 달리, 무한 생성·소거가 허용되는 보다 풍부한 변환 체계를 제시한다는 점에서 이론적·실용적 의미가 크다.

전체적으로 논문은 ‘리라이트 시스템을 자유 모노이드에 국한하지 않고, 임의의 모노이드 위에 내재화함으로써 논리·범주론적 도구와의 통합을 가능하게 한다’는 근본적인 통찰을 제공한다. 이는 모노이드 이론, 자동화된 정리 증명, 그리고 고차원 범주론 연구에 새로운 연구 방향을 제시한다.