Varieties of Boolean inverse semigroups

DOI10.1016/J.JALGEBRA.2018.06.018zbMATH Open1414.20020arXiv1610.07447OpenAlexW2544681903WikidataQ129528699 ScholiaQ129528699MaRDI QIDQ1663513FDOQ1663513

Authors: Friedrich Wehrung 

Publication date: 21 August 2018

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

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.

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

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
• 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.

zbMATH Keywords

biasindexinversesemigroupcongruencegroupvarietyradicalmonoidresidually finitewreath productconicalrefinement monoidBooleanadditive homomorphismfully group-matricialgeneralized rook matrixtype monoid

Mathematics Subject Classification ID

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

Cites Work

• Lattice Theory: Foundation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Refinement monoids, equidecomposability types, and Boolean inverse semigroups
• Pseudogroups and their étale groupoids.
• Invariant means on Boolean inverse monoids
• AF inverse monoids and the structure of countable MV-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Minimal Identities for Algebras
• Title not available (Why is that?)
• The decision problem for some classes of sentences without quantifiers
• NON-COMMUTATIVE STONE DUALITY: INVERSE SEMIGROUPS, TOPOLOGICAL GROUPOIDS AND C*-ALGEBRAS
• The dimension monoid of a lattice
• A noncommutative generalization of Stone duality.
• Free Inverse Semigroups
• Fast Fourier transforms for finite inverse semigroups
• Title not available (Why is that?)
• On the representation of lattices
• Alan Day's early work: Congruence identities
• Title not available (Why is that?)
• Proof theory for linear lattices
• Varieties of completely semisimple inverse semigroups
• The class of Arguesian lattices is self-dual
• Planar sublattices of FM(4)
• Varieties of groups and normal-subgroup lattices -- a survey

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)