スケッチ #242

Single-observer reduction ## Trigger ⭐️GSHP⭐️ project で、非可換有限単純群であることが generalized star height $1$ の問題をどこまで簡単にするかを検討した。Place–Zeitoun の star-free closure と Pin–Straubing–Thérien の quotient closure を組み合わせると、複数の flat-star observers を一つへ潰せることが分かった。 ## Idea 有限 alphabet $A$ に対し \[ \mathcal B_A = \operatorname{BoolQuot} \{K^*\mid K\text{ is star-free}\} \] と置く。まず height-one flattening \[ \mathsf{GSH}_{\leq1}(A)=\operatorname{SF}(\mathcal B_A) \] を得る。有限群への全射 $\pi:A^*\twoheadrightarrow G$ の単位元 fiber については、group orbit が正規部分群になり、aperiodic な orbit は自明になることから \[ h_{\mathrm g}(\pi^{-1}(1))\leq1 \iff \pi^{-1}(1)\in\mathcal B_A \] へ collapse する。 さらに $S$ が非可換有限単純群なら、直積部分群から $S$ への全射が一座標を経由することを使い、 \[ h_{\mathrm g}(\pi^{-1}(1))\leq1 \iff \exists K\text{ star-free such that } \ker\eta_{K^*}\subseteq\ker\pi \] となる。すなわち有限個の $K_i^*$ observers を排除する必要はなく、単一の $K^*$ observer だけを考えればよい。 したがって高さ $>1$ の証明義務は \[ \forall K\text{ star-free},\quad \exists u,v:\ \eta_{K^*}(u)=\eta_{K^*}(v),\quad \pi(u)\neq\pi(v) \] である。 ## Markedness Pin の coding theorem により、abstract monoid としての division を排除することはできない。必要なのは、固定 alphabet と生成射 $\pi$ を記憶する marked factorization の非存在である。したがって abstract に $A_5$ が $\operatorname{Synt}(K^*)$ を割るかではなく、$\pi$ が marked syntactic morphism $\eta_{K^*}$ を通じて factor するかを問う。 ## Goal $(2,3,5)$ 型 $A_5$ word problem や全60元 alphabet版について、pointlike/separation、flow、profinite、logical game、計算探索のすべてを同じ単一-observer obstructionへ収束させる。 ## Status 数学的証明は repository の note にあるが、文献上の novelty audit、independent review、Lean formalization は未了である。この瓶は $A_5$ の高さ $\geq2$ を主張しない。