인수분해 숲 정리의 새로운 증명

본 논문은 유한 반군 S와 임의의 동형사상 ϕ: Γ⁺→S에 대해 “인수분해 숲 정리(Factorization Forest Theorem)”를 새롭게 증명한다. 정리는 모든 단어 w∈Γ⁺에 대해 높이가 ≤ 3·|S|인 인수분해 숲이 존재함을 주장한다. 기존 증명들은 복잡한 대수적 구조(예: Rees‑Suschkewitsch 정리, Krohn‑Rhodowski 분해, Ramsey‑type 논리)를 활용하거나 상수가 9|S|, 7|S|, 2|S|+1‑2 등으로 제시되었다. 본 연구는 Green 관계(L, R, H, J)를 핵심 도구로 삼아 상수를 3|S| 로 낮추고, 증명을 보다 직관적으로 만든다. **핵심 정의** - **인수분해 트리**: 단어 w(길이≥2)를 w₁·…·wₙ 으로 분해하고, n≥3이면 ϕ(w₁)=…=ϕ(wₙ) 가 멱등원이어야 함. - **높이**: 재귀적으로 h(w)=0 (|w|≤1) 또는 1+max_i h(wᵢ) (분해가 (w₁,…,wₙ)인 경우). - **인수분해 숲**: 모든 단어에 대한 트리 높이의 최댓값. **증명 개요** 1. **J‑클래스 기반 귀납**: w에 대해 {x∈S |