1979/06/01 by John Fountain · 1 citation
Computer Science · Mathematics · #semigroups and automata theory #Advanced Algebra and Logic #Rings, Modules, and Algebras #Monoid #Semigroup #Mathematics #Bicyclic semigroup #Idempotence #Cancellative semigroup #Pure mathematics #Ideal (ethics) #Identity (music) #Relation (database) #Free monoid #Class (philosophy) #Syntactic monoid #Discrete mathematics #Algebra over a field #Combinatorics #Computer science #Law
paper · pdf · doi:10.1017/s0013091500016230
openalex publication_date 1979/06/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04
A monoid in which every principal right ideal is projective is called a right PP monoid. Special classes of such monoids have been investigated in ( 2 ), ( 3 ), ( 4 ) and ( 8 ). There is a well-known internal characterisation of right PP monoids using the relation ℒ* which is defined as follows. On a semigroup S , ( a,b ) ∈ℒ* if and only if the elements a,b of S are related by Green's relation ℒ* in some oversemigroup of S . Then a monoid S is a right PP monoid if and only if each ℒ*-class of S contains an idempotent. The existence of an identity element is not relevant for the internal characterisation and in this paper we study some classes of semigroups whose idempotents commute and in which each ℒ*-class contains an idempotent. We call such a semigroup a right adequate semigroup since it contains a sufficient supply of suitable idempotents. Dually we may define the relation ℛ* on a semigroup and the notion of a left adequate semigroup. A semigroup which is both left and right adequate will be called an adequate semigroup.