A 2-base for inverse semigroups
From MaRDI portal
Publication:6236296
arXiv1210.3285MaRDI QIDQ6236296FDOQ6236296
Authors: J. Araujo, Michael K. Kinyon, R. Padmanabhan 
Publication date: 11 October 2012
Abstract: An open problem in the theory of inverse semigroups was whether the variety of such semigroups, when viewed as algebras with a binary operation and a unary operation, is 2-based, that is, has a base for its identities consisting of 2 independent axioms. In this note, we announce the affirmative solution to this problem: the identities [ quad x(x'x) = x qquad quad x (x' (y (y' ((z u)' w')'))) = y (y' (x (x' ((w z) u)))) ] form a base for inverse semigroups where turns out to be the natural inverse operation. We recount here the history of the problem including our previous efforts to find a 2-base using automated deduction and the method that finally worked. We describe our efforts to simplify the proof using extsc{Prover9}, present the simplified proof itself and conclude with some open problems.
This page was built for publication: A 2-base for inverse semigroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6236296)
