별 그래프 부분 엔도몰피즘 모노이드의 완전 프레젠테이션

초록

본 논문은 정점 수가 유한한 별 그래프 Sₙ에 대해 여섯 종류의 부분 엔도몰피즘 모노이드(PEnd, IEnd, PwEnd, PsEnd, PswEnd, PAut)의 생성 집합과 관계식을 구체적으로 제시한다. Guess‑and‑Prove 방법과 표준 정규형(캐노니컬 폼) 구축을 이용해 각 모노이드를 완전히 정의하는 프레젠테이션을 얻으며, 기존 연구에서 다루지 않았던 강한·약한, 부분·전사형 변환들의 조합까지 포괄한다.

상세 분석

이 논문은 그래프 이론과 반군론을 연결하는 전형적인 사례를 제공한다. 별 그래프 Sₙ은 중심 정점 0과 말단 정점 1,…,n‑1으로 구성된 가장 단순한 트리이자 완전 이분 그래프이므로, 부분 변환들의 구조를 파악하기에 이상적인 시험대가 된다. 저자들은 먼저 부분 엔도몰피즘, 약한·강한 형태, 그리고 전사성(Injective) 조건을 각각 정의하고, 이들에 대한 포함 관계를 해시계도로 명시한다. 기존 문헌에서 전 변환 모노이드 T(Ω)와 부분 변환 모노이드 PT(Ω)의 프레젠테이션이 알려져 있듯이, 별 그래프의 경우는 추가적인 그래프 제약(인접성 보존)이 존재한다는 점에서 새로운 난관이 발생한다.

핵심 기법은 “Guess‑and‑Prove” 방법(정리 1.2)이다. 이는 후보 생성 집합 X와 관계 집합 R을 제시한 뒤, 모든 원소가 R에 의해 정규형 W에 귀속되는지를 검증함으로써 프레젠테이션의 완전성을 증명한다. 저자들은 PT(Ωₙ₋₁) 의 표준 생성자 a, b, e, f를 ζ 사상으로 확장해 a₀, b₀, e₀, f₀을 얻고, 이를 기반으로 추가 생성자 d, z 등을 도입한다. 특히 d는 멱등 원소이며, z는 복잡한 관계 z³ ∼ z 등을 만족하도록 설계되어, 강한·약한 엔도몰피즘을 구분하는 데 핵심 역할을 한다.

정리 3.1은 {a₀,b₀,e₀,f₀,d} 에 대한 관계 R_d 가 2 PTₙ₋₁ (즉, 중심 정점 0을 고정하고 나머지 변환을 포함하는 부분 모노이드)의 프레젠테이션임을 보인다. 이어서 저자들은 정규형 집합 W_s (다섯 종류의 파트 W₀…W₄를 합친 것)를 정의하고, 각 원소에 대해 생성자와 곱했을 때 다시 W_s 내의 원소로 환원되는 ‘폐쇄성’(Lemma 3.3)을 입증한다. 이는 곧 W_s 가 모노이드의 원소와 일대일 대응함을 의미하며, |W_s| = |PsEnd(Sₙ)| 임을 통해 관계 R_s 가 완전함을 확인한다.

이러한 절차는 다른 네 종류의 모노이드(PswEnd, PEnd, PwEnd, IEnd)에도 동일하게 적용된다. 각 경우마다 추가적인 관계(예: z 와 f₀, b₀의 교환식, z 의 멱등식 등)를 삽입해 정규형의 크기를 정확히 |M|와 맞춘다. 논문은 또한 GAP을 활용한 계산적 검증을 언급함으로써, 복잡한 관계식이 실제로 모노이드 구조를 보존함을 실험적으로 확인한다.

이 연구의 의의는 두 가지로 요약할 수 있다. 첫째, 별 그래프라는 구체적이면서도 일반적인 사례에 대해 부분 엔도몰피즘 모노이드 전체의 프레젠테이션을 제공함으로써, 그래프‑반군론 사이의 구조적 연결고리를 명확히 한다. 둘째, Guess‑and‑Prove 방법과 정규형 구축이라는 일반적인 도구가 복합적인 그래프 제약을 가진 변환 모노이드에도 효과적으로 적용될 수 있음을 실증한다. 이는 향후 다른 그래프(예: 경로, 사이클, 완전 그래프)나 더 복잡한 제약(색칠, 가중치) 하에서의 모노이드 프레젠테이션 연구에 중요한 방법론적 토대를 제공한다.