An elegant 3-basis for inverse semigroups.

DOI10.1007/S00233-010-9280-8zbMATH Open1222.20043arXiv1003.4028OpenAlexW2040021389MaRDI QIDQ535223FDOQ535223

Authors: João Araújo, Michael K. Kinyon 

Publication date: 11 May 2011

Published in: Semigroup Forum (Search for Journal in Brave)

Abstract: It is well known that in every inverse semigroup the binary operation and the unary operation of inversion satisfy the following three identities: [quad x=(xx')x qquad quad (xx')(y'y)=(y'y)(xx') qquad quad (xy)z=x(yz"). ] The goal of this note is to prove the converse, that is, we prove that an algebra of type $<2,1>$ satisfying these three identities is an inverse semigroup and the unary operation coincides with the usual inversion on such semigroups.

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

Recommendations

• A problem on the variety of unary inverse semigroups
• On bases of identities of finite inverse semigroups with solvable subgroups.
• IDENTITIES OF FINITE INVERSE SEMIGROUPS
• A System of Bi-Identities for Locally Inverse Semigroups
• Restriction and Ehresmann semigroups.

zbMATH Keywords

inverse semigroupsbases of identitiesequational logic

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Varieties and pseudovarieties of semigroups (20M07) Inverse semigroups (20M18)

Cites Work

• Title not available (Why is that?)
• On the theory of inverse semigroups and generalized groups
• Computer solutions of problems in inverse semigroups.

Cited In (6)

• Basis reduction for cryptogroups and orthogroups
• PRINCIPAL REES QUOTIENTS OF FREE INVERSE SEMIGROUPS
• Variants of inversion of semigroup of finite rank.
• Title not available (Why is that?)
• Varieties of regular semigroups with uniquely defined inversion
• Computer solutions of problems in inverse semigroups.

Uses Software

• Prover9
• Mace4

This page was built for publication: An elegant 3-basis for inverse semigroups.

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