2023/12/02 by Ganna Kudryavtseva, Kudryavtseva, Ganna
Computer Science · Decision Sciences · #Advanced Algebra and Logic #FOS: Mathematics #Fuzzy and Soft Set Theory #Rings and Algebras (math.RA) #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2312.01243
openalex publication_date 2023/12/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This is an expository paper which provides a quick introduction to Boolean inverse semigroups and their type monoids, with the emphasis on techniques and insights of the theory, and also treats the connection of the type monoid Typ(S) of a Boolean inverse semigroup S with the monoid V(K⟨ S⟩) of the ring K⟨ S⟩ assigned to S. We give original direct and simple proofs of some known results, such as the structure of semisimple Boolean inverse semigroups, the presentation of the type monoid by generalized rook matrices. We also prove that the type monoid of the tight Booleanization of a graph inverse semigroup is isomorphic to the graph monoid of this semigroup.