In this paper we establish a construction of a class of left E-adequate semigroups by using semilattices of cancellative monoids and fundamental left E-adequate semigroups. We first introduce concepts of type μ^＋（...In this paper we establish a construction of a class of left E-adequate semigroups by using semilattices of cancellative monoids and fundamental left E-adequate semigroups. We first introduce concepts of type μ^＋（μ^＊,μ ） abundant semigroups and type μ^＋left E-adequate semigroups. In fact, regular semigroups are type μ^＋abundant semigroups and inverse semigroups are type μ^＋left E-adequate semigroups. Next, we construct a special kind of algebras called E^＋-product. It is proved that every E^＋-product is a type μ^＋left E-adequate semigroup, and every type μ^＋left E-adequate semigroup is isomorphic to an E^＋-product of a semilattice of cancellative monoids with a fundamental left E-adequate semigroup. Finally, as a corollary of the main result, it is deduced that every inverse semigroup is isomorphic to an E^＋-product of a Clifford semigroup by a fundamental inverse semigroup.展开更多
基金The NSF (04JJ40001) of Hunanthe Scientific Research Foundation (05A014) of Hunan Education Department
文摘In this paper we establish a construction of a class of left E-adequate semigroups by using semilattices of cancellative monoids and fundamental left E-adequate semigroups. We first introduce concepts of type μ^＋（μ^＊,μ ） abundant semigroups and type μ^＋left E-adequate semigroups. In fact, regular semigroups are type μ^＋abundant semigroups and inverse semigroups are type μ^＋left E-adequate semigroups. Next, we construct a special kind of algebras called E^＋-product. It is proved that every E^＋-product is a type μ^＋left E-adequate semigroup, and every type μ^＋left E-adequate semigroup is isomorphic to an E^＋-product of a semilattice of cancellative monoids with a fundamental left E-adequate semigroup. Finally, as a corollary of the main result, it is deduced that every inverse semigroup is isomorphic to an E^＋-product of a Clifford semigroup by a fundamental inverse semigroup.
