Constructing inverse monoids from small categories
type: Item
instance of: scholarly article
title: Constructing inverse monoids from small categories
zbMATH Open document ID: 0634.18002
DOI: 10.1007/BF02575008
author: Jonathan Leech
published in: Semigroup Forum
publication date: 1987-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/134888
review text: The concept of a division category D(S) for a given semigroup S was introduced by the author [Mem. Am. Math. Soc. 157, 1-66 (1975; Zbl 0303.20048)], and a variation was developed by \textit{M. Loganathan} [J. Algebra 70, 375-393 (1981; Zbl 0465.20063)]. The first section of this paper begins by defining an abstract division category (ADC) to be a pair (D,I), where D is a small category having finite pushouts all of whose morphisms are epics, and I is a distinguished object such that Hom(I,X) never vanishes for any object in D. The main result in this section is Theorem 1.15 asserting that Loganathan pairs always yield an ADC. The second section presents the main construction of this work: for each pair (D,I) an inverse monoid of fractions, S[D,I], is constructed. Theorem 2.2 is the main result in this section and asserts that S[D,I] is an inverse monoid. A second result, Theorem 2.5, asserts that equivalence of two pairs, (D,I)\(\cong (D',I')\), induces isomorphism of the derived monoids, S[D,I]\(\cong S[D',I']\). In section 3 it is proved that there exists a canonical isomorphism \(\Theta\) : \(S\cong S[D(s),1]\) for a given inverse monoid S, and that two inverse monoids are isomorphic iff their induced division categories are pair equivalent. Theorem 4.4 and Corollary 4.5 provide noncanonial equivalences of (D,I) with (D(S),1), where \(S=S[D,I]\) and D(S) is the Loganathan category of S. In the fifth section the functor \(\Sigma_ 0: D\to INV\) from the category of abstract division categories to the category of inverse monoids is studied. The last section contains a brief study of (dual) symmetrical inverse monoids in full generality.
Mathematics Subject Classification ID: 18B99
Mathematics Subject Classification ID: 20M50
zbMATH DE Number: 4031932
zbMATH Keywords: abstract division category
zbMATH Keywords: small category
zbMATH Keywords: finite pushouts
zbMATH Keywords: Loganathan pairs
zbMATH Keywords: inverse monoid of fractions
MaRDI profile type: Publication
cites work: Equivalences between \(\mathcal D\)-categories of inverse monoids
cites work: A Class of d-Simple Semigroups
cites work: Q4059108
cites work: The \(\mathcal D\)-category of a semigroup
cites work: The \({\mathcal D}\)-category of a monoid
cites work: Cohomology of inverse semigroups
cites work: Q3944773
cites work: Q3037674
cites work: Q5508993
cites work: Q3337662
description: scientific article; zbMATH DE number 4031932