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$ を主張しない。