Epimorphisms, dominions and permutative semigroups. (Q2267783)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Epimorphisms, dominions and permutative semigroups. |
scientific article |
Statements
Epimorphisms, dominions and permutative semigroups. (English)
0 references
2 March 2010
0 references
Let \(U\) be a subsemigroup of a semigroup \(S\). We say that \(U\) dominates an element \(d\) of \(S\) if for every semigroup \(T\) and all morphisms \(f,g\colon S\to T\), \(uf=ug\) implies that \(df=dg\). The set of all elements dominated by \(U\) in \(S\) is a subsemigroup of \(S\) called the dominion of \(U\) in \(S\), denoted by \(\text{Dom}(U,S)\). We say that a semigroup \(U\) is saturated if \(\text{Dom}(U,S)\) is not equal to \(S\) in every properly containing semigroup \(S\) and we say that \(U\) is supersaturated if all of its homomorphic images are saturated. The paper gives an overall survey of results on saturated semigroups, particularly as they apply to semigroups that satisfy permutation identities. From here a result is proved that in particular shows that any right semicommutative semigroup (one satisfying a permutation identity that moves a terminal symbol) satisfying the minimum condition of principal right ideals is saturated. An additional theorem is proved along these lines that says for a supersaturated semigroup \(S\) containing a subsemigroup \(U\) with a globally idempotent power, the semigroup \(U\) is itself supersaturated.
0 references
epimorphisms
0 references
dominions
0 references
permutation identities
0 references
saturated semigroups
0 references
permutative semigroups
0 references
epimorphically embedded semigroups
0 references
semicommutative semigroups
0 references