Canonical resolved-transport decomposition and reconstruction of local-unit-aligned ordered semigroups

Abstract

This paper develops a canonical decomposition and reconstruction theory for local-unit-aligned ordered semigroups. Two coherentizations of the positive-idempotent skeleton are introduced. The finer one records the closure forced within local-unit blocks, while the multiplication-coherent quotient yields a join-semilattice of canonical blocks. Components are the fibers of these blocks. For comparable blocks $A\le B$, each positive idempotent $q\in B$ defines a transport homomorphism $x\mapsto xq$ from the component over $A$ to that over $B$. Keeping all such maps gives a resolved-transport family, which replaces the single connecting map used in an ordinary direct system. These canonical data reconstruct multiplication without additional assumptions: two elements are transported to their join component, and their product is the least product of corresponding transported images. They also determine every comparison directed from a lower component to a higher one. The full ambient order is recovered under any of three explicit order-recovery conditions. In particular, every totally ordered local-unit-aligned semigroup is completely reconstructed by its resolved-transport data. A complementary result recovers the order from componentwise order duality when a suitable component-preserving anti-automorphism is available. When each component receiving a proper transition has a least positive idempotent, the resolved family collapses to a single least-target map. Under a natural monotonicity condition, these maps form an ordinary direct system and induce a directed lexicographic order. Examples show both why the additional order conditions are needed and why resolved transports cannot in general be replaced by ordinary transition maps.