c2b678a045e42bdb.tex
1: \begin{abstract}
2:   The idempotent semigroups (bands) that give rise to partial orders by defining
3:   $a \leq b \iff a \cdot b = a$ are the \emph{right-regular} bands (RRB), which are
4:   axiomatized by $x\cdot y \cdot x = y \cdot x$. In this work we consider the
5:   class of \emph{associative posets}, which comprises all partial orders
6:   underlying right-regular bands, and study to what extent the ordering
7:   determines the possible “compatible” band structures and their canonicity.
8: 
9:   We show that the class of
10:   associative posets in the signature $\{ \leq \}$ is not first-order
11:   axiomatizable. We also show that the Axiom of Choice is equivalent over $\ZF$
12:   to the fact that every tree with finite branches is associative. We also
13:   present an adjunction between the categories of RRBs and that of associative
14:   posets.
15: 
16:   We study the smaller class of “normal” posets (corresponding to right-normal
17:   bands) and give a structural characterization.
18: 
19:   As an application of the order-theoretic perspective on bands, we generalize
20:   results by the third author, obtaining “inner” direct product
21:   representations for RRBs having a central (commuting) element.
22: \end{abstract}
23: