SOURCE-LINKED INTELLIGENCE

Relative Prime Factorization and Finite-State Presentations under Fixed Finite-Monoid Observation

arXiv · AI, language, vision and robotics · article · Sep 3, 2026 · UTC

Let $L\subseteqΣ^*$ and fix a morphism $h:Σ^*\to M$ into a finite monoid. We study exact factorization and canonical presentation in the relative syntactic congruence $θ_{L,h}:=\equiv_L\cap\ker h$. We separate unique factorization from finite direct presentation. An exhaustively computer-checked $36$-element quotient has a unique exact prime factorization for every live non-unit class, yet its valid prime-return rules contain an infinite family, so unique factorization does not imply the finite relative presentation property (FRP), even for a finite quotient. We lift the same defect to a nonre

Read original source ↗ Open in workspace

recordType

paper

region

Global