Boolean inverse semigroups and their type monoids
The paper focuses on two main aspects: First, an introduction to techniques for studying (fundamental, simple, semisimple, finite) Boolean inverse semigroups; second, the study of the type monoid of a Boolean inverse semigroup. A \textit{Boolean inverse semigroup} is an inverse semigroup \(S\) with zero such that \((E(S), \leq)\) is a generalized Boolean algebra (i.e. a relatively complemented distributive lattice) and any two elements \(a, b\in S\) have a join \(a\vee b\) in \(S\) provided that \(a^{-1}b\) and \(ab^{-1}\) are idempotents. Let \(S\) be a Boolean inverse semigroup and Int\((S):= E(S)/\mathcal{D}\vert_{E(S)}\). \(\mathrm{Int}(S)\) can be equipped with a partial operation \(\oplus\) by \([e]\oplus[f]= [e'\oplus f']\), where \(e'\in[e]\) and \(f'\in[f]\) are such that \(e'\perp f'\). The \textit{type monoid} \(\mathrm{Typ}(S)\) of \(S\) is defined as the commutative monoid freely generated by the set \(\{\overline{e}: [e]\in\mathrm{Int}(S)\}\).\N\NA direct proof is presented that \(\mathrm{Typ}(S)\) is isomorphic to the type monoid \(\mathrm{Typ}(M_{\omega}(S))\) = \(\mathrm{Int}(M_{\omega}(S))\) of the Boolean inverse semigroup \(M_{\omega}(S)\) of generalized rook matrices over \(S\) (that is, matrices over \(S\) with rows and columns indexed by \(\mathbb{N}\), which have only finitely many non-zero entries satisfying certain additional conditions).\N\NThe canonical map from \(\mathrm{Typ}(S)\) to the monoid associated with the Steinberg algebra \(K\langle S\rangle\) is presented and the authors prove that if \(S\) is locally matricial (it is a finite direct product of finite symmetric inverse monoids), then this map is an isomorphism.\N\NLet now \(I(\Gamma)\) be a graph inverse semigroup assigned to a row-finite graph \(\Gamma\) (each vertex in \(\Gamma\) emits only a finite number of edges) and \(M_{\Gamma}\) the abelian monoid given by the generators \(\{a_v: v\in \Gamma_0\}\) with certain defining relations. It is proved that \(\mathrm{Typ}(\mathcal{B}_{\mathrm{tight}}(I(\Gamma)))\) is canonically isomorphic to the graph monoid \(M_{\Gamma}\), where \(\mathcal{B}_{\mathrm{tight}}(I(\Gamma))\) is the tight Booleanization of \(I(\Gamma)\).\N\NFor the entire collection see [Zbl 1566.16001].
- A groupoid approach to discrete inverse semigroup algebras
- A noncommutative generalization of Stone duality.
- A perspective on non-commutative frame theory
- AF inverse monoids and the structure of countable MV-algebras
- Equivalent groupoids have Morita equivalent Steinberg algebras.
- Generalising the étale groupoid-complete pseudogroup correspondence
- Graph inverse semigroups: their characterization and completion.
- Groupoids, inverse semigroups, and their operator algebras
- scientific article; zbMATH DE number 3940199 (Why is no real title available?)
- scientific article; zbMATH DE number 1761434 (Why is no real title available?)
- scientific article; zbMATH DE number 789816 (Why is no real title available?)
- Invariant means on Boolean inverse monoids
- Inverse semigroups and combinatorial \(C^*\)-algebras
- Leavitt path algebras of separated graphs
- Non-commutative Stone duality: inverse semigroups, topological groupoids and \(C^*\)-algebras
- Non-stable K-theory for QB-rings
- Nonstable \(K\)-theory for graph algebras.
- On a class of inverse semigroups related to Leavitt path algebras
- PARTIAL ACTIONS OF GROUPS
- Pseudogroups and their étale groupoids.
- Quotients of the Booleanization of an Inverse Semigroup
- Refinement monoids, equidecomposability types, and Boolean inverse semigroups
- Simplicity of inverse semigroup and étale groupoid algebras
- Tarski monoids: Matui's spatial realization theorem
- The groupoids of adaptable separated graphs and their type semigroups
- The realization problem for finitely generated refinement monoids
- The structure of a graph inverse semigroup
- The universal Boolean inverse semigroup presented by the abstract Cuntz-Krieger relations
- Topological full groups of one-sided shifts of finite type
- Étale categories, restriction semigroups, and their operator algebras
- Étale groupoids and Steinberg algebras a concise introduction
- Étale groupoids and their quantales
This page was built for publication: Boolean inverse semigroups and their type monoids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6890359)
