A method for finding new sets of axioms for classes of semigroups

We introduce a general technique for finding sets of axioms for a given class of semigroups. To illustrate the technique, we provide new sets of defining axioms for groups of exponent n, bands, and semilattices.

Bibliographic Details
Main Author: Araújo, João (author)
Other Authors: Konieczny, Janusz (author)
Format: article
Language:eng
Published: 2015
Subjects:
Equational logic
Groups of finite exponent
Bands
Semilattices
Inverse semigroups
Online Access:http://hdl.handle.net/10400.2/3815
Country:Portugal
Oai:oai:repositorioaberto.uab.pt:10400.2/3815
Description
Summary:We introduce a general technique for finding sets of axioms for a given class of semigroups. To illustrate the technique, we provide new sets of defining axioms for groups of exponent n, bands, and semilattices.

Similar Items