Axioms for unary semigroups via division operations.

DOI10.1080/00927872.2010.536604zbMATH Open1261.20067arXiv1004.0007OpenAlexW2005109419MaRDI QIDQ2880432FDOQ2880432

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

Publication date: 13 April 2012

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

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.

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

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

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)

Cites Work

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

Cited In (5)

• Basis reduction for cryptogroups and orthogroups
• Division on semigroups that are semilattices of groups
• Identities for a Class of Regular Unary Semigroups
• Varieties of regular semigroups with uniquely defined inversion
• Title not available (Why is that?)

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)