Constructing inverse semigroups from category actions
type: Item
instance of: scholarly article
title: Constructing inverse semigroups from category actions
zbMATH Open document ID: 0933.20048
DOI: 10.1016/S0022-4049(97)00173-4
author: Mark V. Lawson
published in: Journal of Pure and Applied Algebra
publication date: 2000-01-18T00:00:00Z
review text: Let \(C\) be a category regarded as a set equipped with a partial binary operation and let \(C_0\) be the set of identities of \(C\). Left and right identities of an element \(x\in C\) are denoted by \(\mathbf{r}(x)\) and \(\mathbf{d}(x)\), respectively. Let \(X\) be a set and \(\mathbf{p}\colon X\to C_0\) a function. Denote \(C*X=\{(a,x)\in C\times X:\mathbf{d}(a)=\text\textbf{p}(x)\}\) and suppose there is defined an action \(C*X\to X\). Then \(X\) is said to be a left \(C\)-system. A left \(C\)-system satisfies the orbit condition if \(C\cdot x\cap C\cdot y\not=\emptyset\) implies that \(C\cdot x\cap C\cdot y=C\cdot z\) for some \(z\in X\). The author proves that every inverse semigroup can be constructed from a category acting on a set satisfying the orbit condition. This is a generalization of both \textit{D. B. McAlister}'s and \textit{J. Leech}'s works describing inverse monoids [in J. Algebra 43, 231-251 (1976; Zbl 0349.20025) and Semigroup Forum 36, 89-116 (1987; Zbl 0634.18002), respectively]. A number of special cases and examples is discussed. For example, natural characterizations of \(0\)-simple and \(0\)-\(E\)-unitary inverse semigroups in terms of systems are obtained.
Mathematics Subject Classification ID: 20M18
Mathematics Subject Classification ID: 18B40
Mathematics Subject Classification ID: 18D05
Mathematics Subject Classification ID: 20M50
zbMATH DE Number: 1308331
zbMATH Keywords: inverse semigroups
zbMATH Keywords: category actions
zbMATH Keywords: left systems
zbMATH Keywords: orbit condition
reviewed by: Peeter Normak
MaRDI profile type: Publication
cites work: A Class of d-Simple Semigroups
cites work: Q4385532
cites work: Q4126563
cites work: Metric spaces, generalized logic, and closed categories
cites work: Constructing inverse monoids from small categories
cites work: Q5639839
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: 0-Bisimple Inverse Semigroups
cites work: One-to-one partial right translations of a right cancellative semigroup
cites work: Q4039053
cites work: The natural partial order on a regular semigroup
cites work: Q5606625
cites work: Q3337662
cites work: Bisimple Inverse Semigroups
cites work: Q3815296
cites work: Categories as algebra: An essential ingredient in the theory of monoids
description: scientific article; zbMATH DE number 1308331