1974
DOI: 10.1090/s0002-9947-74-99950-4
|View full text |Cite
|
Sign up to set email alerts
|

Groups, semilattices and inverse semigroups. II

Abstract: An inverse semigroup is called proper if the equations a e = e = e 2 ae = e = {e^2} together imply a 2 = a {a^2} = a . In a previous paper, with the same title, the author proved that every inverse semigroup is an idempotent separating homomorphic image of a proper inverse semigroup. In this paper a structure theorem is … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1

Citation Types

0
61
0

Year Published

1976
1976
2016
2016

Publication Types

Select...
9

Relationship

1
8

Authors

Journals

citations
Cited by 103 publications
(61 citation statements)
references
References 16 publications
(6 reference statements)
0
61
0
Order By: Relevance
“…This map is, in fact, an immersion [20] on the 1-skeleton; also, any based 2-cell has at most one based lift to any vertex. McAlister's P -theorem [10] can easily be shown to be equivalent to stating that I is E-unitary (that is, the natural projection to G is idempotent pure) if and only there is an ordered 2-complex Z containing X and an extension of ψ to Z which is a covering such that Π 1 (Z) is an enlargement of Π 1 (X) in the sense of [7,21]. In fact, all the results of [21] can be restated and proved more generally in the context of ordered 2-complexes where the role of the derived ordered groupoid is replaced by what is called in homotopy theory, the mapping fiber.…”
Section: The Schützenberger Complexmentioning
confidence: 99%
“…This map is, in fact, an immersion [20] on the 1-skeleton; also, any based 2-cell has at most one based lift to any vertex. McAlister's P -theorem [10] can easily be shown to be equivalent to stating that I is E-unitary (that is, the natural projection to G is idempotent pure) if and only there is an ordered 2-complex Z containing X and an extension of ψ to Z which is a covering such that Π 1 (Z) is an enlargement of Π 1 (X) in the sense of [7,21]. In fact, all the results of [21] can be restated and proved more generally in the context of ordered 2-complexes where the role of the derived ordered groupoid is replaced by what is called in homotopy theory, the mapping fiber.…”
Section: The Schützenberger Complexmentioning
confidence: 99%
“…of an order ideal and subsemigroup of a semigroup which, in a sense, generalizes the construction of a P-semigroup, which has proved to be useful in describing inverse semigroups (McAlister [7], [8]), by replacing the group which acts on a semilattice by a completely simple semigroup. The homomorphism which arises in Pastijn's theorem is special in that the inverse image of each idempotent is a completely simple semigroup.…”
Section: Introductionmentioning
confidence: 99%
“…McAlister [17,18] demonstrated the utility of semidirect products in understanding inverse semigroups, results subsequently extended by a number of authors to the broader context of (left) restriction semigroups. Zappa-Szép products were introduced by Zappa [22] and after being widely developed in the context of groups (see for example Szép [20]) were applied to more general structures by Kunze [12] and Brin [4], who used the term Zappa-Szép product.…”
Section: Introductionmentioning
confidence: 99%