Axioms for unary semigroups via division operations.

DOI10.1080/00927872.2010.536604MaRDI QIDQ2880432zbMATH OpenOpenAlexFDO

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

Publication date 13 April 2012

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

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

zbMATH Keywords

inverse semigroupsaxiomsregular semigroupsunary semigroupscompletely regular semigroupsbigroupoid identitiesdivision bigroupoids

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Axiomatics and elementary properties of groups (20A05) Varieties and pseudovarieties of semigroups (20M07) Regular semigroups (20M17)

Abstract: When a semigroup has a unary operation, it is possible to define two binary operations, namely, left and right division. In addition it is well known that groups can be defined in terms of those two divisions. The aim of this paper is to extend those results to other classes of unary semigroups. In the first part of the paper we provide characterizations for several classes of unary semigroups, including (a special class of) E-inversive, regular, completely regular, inverse, Clifford, etc., in terms of left and right division. In the second part we solve a problem that was posed elsewhere. The paper closes with a list of open problems.

Recommendations

• The variety of unary semigroups with associate inverse subsemigroup.
• Unary Semigroups with an Associate Subgroup
• Identities for a Class of Regular Unary Semigroups
• Restriction and Ehresmann semigroups.
• scientific article; zbMATH DE number 4019337

Cites work

• Computer solutions of problems in inverse semigroups.
• On the theory of inverse semigroups and generalized groups
• Regular * semigroups

Cited in

(5)

• Identities for a Class of Regular Unary Semigroups
• Varieties of regular semigroups with uniquely defined inversion
• scientific article; zbMATH DE number 4019337 (Why is no real title available?)
• Division on semigroups that are semilattices of groups
• Basis reduction for cryptogroups and orthogroups

This page was built for publication: Axioms for unary semigroups via division operations.

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