Varieties of Boolean inverse semigroups

DOI10.1016/J.JALGEBRA.2018.06.018MaRDI QIDQ1663513zbMATH OpenOpenAlexWikidataFDO

Authors Friedrich Wehrung

Publication date 21 August 2018

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1610.07447

zbMATH Keywords

inversewreath productvarietytype monoidsemigroupresidually finiterefinement monoidradicalmonoidadditive homomorphismindexgroupgeneralized rook matrixfully group-matricialconicalcongruenceBooleanbias

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Subalgebras, congruence relations (08A30) Partial algebras (08A55) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Lattices of varieties (08B15) Free algebras (08B20) Extensions, wreath products, and other compositions of groups (20E22) Varieties and pseudovarieties of semigroups (20M07) Commutative semigroups (20M14) Inverse semigroups (20M18)

Abstract: In an earlier work, the author observed that Boolean inverse semi-groups, with semigroup homomorphisms preserving finite orthogonal joins, form a congruence-permutable variety of algebras, called biases. We give a full description of varieties of biases in terms of varieties of groups: (1) Every free bias is residually finite. In particular, the word problem for free biases is decidable. (2) Every proper variety of biases contains a largest finite symmetric inverse semigroup, and it is generated by its members that are generalized rook matrices over groups with zero. (3) There is an order-preserving, one-to-one correspondence between proper varieties of biases and certain finite sequences of varieties of groups, descending in a strong sense defined in terms of wreath products by finite symmetric groups.

Recommendations

• The Booleanization of an inverse semigroup
• scientific article; zbMATH DE number 749696
• Inverse semigroups and varieties of finite semigroups
• A class of varieties of inverse semigroups
• The variety of Boolean semirings
• scientific article; zbMATH DE number 3879164
• Quotients of the Booleanization of an Inverse Semigroup
• scientific article; zbMATH DE number 1033881
• On varieties of combinatorial inverse semigroups. I
• Tight representations of a Boolean inverse semigroup.

Cites work

• A noncommutative generalization of Stone duality.
• AF inverse monoids and the structure of countable MV-algebras
• Alan Day's early work: Congruence identities
• Fast Fourier transforms for finite inverse semigroups
• Free Inverse Semigroups
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3552814 (Why is no real title available?)
• scientific article; zbMATH DE number 1761434 (Why is no real title available?)
• scientific article; zbMATH DE number 5268066 (Why is no real title available?)
• scientific article; zbMATH DE number 3341295 (Why is no real title available?)
• scientific article; zbMATH DE number 3396154 (Why is no real title available?)
• scientific article; zbMATH DE number 3424071 (Why is no real title available?)
• scientific article; zbMATH DE number 3062900 (Why is no real title available?)
• Invariant means on Boolean inverse monoids
• Lattice Theory: Foundation
• Minimal Identities for Algebras
• Non-commutative Stone duality: inverse semigroups, topological groupoids and \(C^*\)-algebras
• On the representation of lattices
• Planar sublattices of FM(4)
• Proof theory for linear lattices
• Pseudogroups and their étale groupoids.
• Refinement monoids, equidecomposability types, and Boolean inverse semigroups
• The class of Arguesian lattices is self-dual
• The decision problem for some classes of sentences without quantifiers
• The dimension monoid of a lattice
• Varieties of completely semisimple inverse semigroups
• Varieties of groups and normal-subgroup lattices -- a survey

Cited in

(3)

• scientific article; zbMATH DE number 3879164 (Why is no real title available?)
• scientific article; zbMATH DE number 1033881 (Why is no real title available?)
• Relating ample and biample topological categories with Boolean restriction and range semigroups

This page was built for publication: Varieties of Boolean inverse semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1663513)