The associative-poset point of view on right regular bands
Abstract
We present two results on the relation between the class of right regular bands (RRBs) and their underlying *associative posets*. The first one is a construction of a left adjoint to the forgetful functor that takes an RRB (P,·) to the corresponding (P,≤). The construction of such a left adjoint is actually done in general for any class of relational structures (X,R) obtained from a variety, where R is defined by a finite conjunction of identities. The second result generalizes the "inner" representations of direct product decompositions of semilattices studied by the second author to RRBs having at least one commuting element.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.