2023/06/02 by A. B. Apps, Apps, Andrew B.
Computer Science · Mathematics · #Advanced Algebra and Logic #Commutative Algebra and Its Applications #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2306.01702
A Boolean ring and its Stone space (Boolean space) are primitive if the ring is disjointly generated by its pseudo-indecomposable (PI) elements. Hanf showed that a primitive PI Boolean algebra can be uniquely defined by a structure diagram. In a previous paper we defined trim P-partitions of a Stone space, where P is a PO system (poset with a distinguished subset), and showed how they provide a physical representation within the Stone space of these structure diagrams. In this paper we study the class of trim partitions of a fixed primitive Boolean space, which may not be compact, and show how they can be structured as a quasi-ordered set via an appropriate refinement relation. This refinement relation corresponds to a surjective morphism of the associated PO systems, and we establish a quasi-order isomorphism between the class of well-behaved partitions of a primitive space and a class of extended PO systems. We also define rank partitions, which generalise the rank diagrams introduced by Myers, and the ideal completion of a trim P-partition, whose underlying PO system is the ideal completion of P, and show that rank partitions are just the ideal completions of trim partitions. In the process, we extend a number of existing results regarding primitive Boolean algebras or compact primitive Boolean spaces to locally compact Boolean spaces.