Document Type

Article

Language

eng

Format of Original

20 p.

Publication Date

2017

Publisher

Taylor & Francis

Source Publication

Communications in Algebra

Source ISSN

0092-7872

Original Item ID

DOI: 10.1080/00927872.2016.1175457

Abstract

The variety of restriction semigroups may be most simply described as that generated from inverse semigroups (S, ·, −1) by forgetting the inverse operation and retaining the two operations x+ = xx−1 and x* = x−1x. The subvariety B of strictrestriction semigroups is that generated by the Brandt semigroups. At the top of its lattice of subvarieties are the two intervals [B2, B2M = B] and [B0, B0M]. Here, B2and B0 are, respectively, generated by the five-element Brandt semigroup and that obtained by removing one of its nonidempotents. The other two varieties are their joins with the variety of all monoids. It is shown here that the interval [B2, B] is isomorphic to the lattice of varieties of categories, as introduced by Tilson in a seminal paper on this topic. Important concepts, such as the local and global varieties associated with monoids, are readily identified under this isomorphism. Two of Tilson's major theorems have natural interpretations and application to the interval [B2, B] and, with modification, to the interval [B0, B0M] that lies below it. Further exploration may lead to applications in the reverse direction.

Comments

Accepted version. Communications in Algebra, Vol. 45, No. 3 (2017): 1037-1056. DOI. © 2017 Taylor & Francis. Used with permission.

Share

COinS