\(E^*\)-dense \(E\)-semigroups. (Q5891858)
From MaRDI portal
scientific article; zbMATH DE number 6363660
Language | Label | Description | Also known as |
---|---|---|---|
English | \(E^*\)-dense \(E\)-semigroups. |
scientific article; zbMATH DE number 6363660 |
Statements
\(E^*\)-dense \(E\)-semigroups. (English)
0 references
3 November 2014
0 references
A semigroup \(S\) is called \(E\)-dense (\(E^*\)-dense) if every element \(a\in S\) (\(a\neq 0\)) has a weak inverse, that is, an element \(x\in S\) (\(x\neq 0\)) such that \(xax=x\). An \(E\)-semigroup is a semigroup \(S\) in which idempotents form a subsemigroup \(E(S)\). For \(E^*\)-dense semigroups, the known definition is modified to define strongly \(E^*\)-unitary semigroups, and a description of strongly \(E^*\)-unitary \(E^*\)-dense \(E\)-semigroups is given. An \(E\)-semigroup \(P\) is said to be a cover for an \(E\)-semigroup \(S\) if there is a surjective homomorphism \(\alpha\colon P\to S\) which maps isomorphically \(E(P)\) onto \(E(S)\). The mentioned notions are discussed. It is proved that every \(E^*\)-dense \(E\)-semigroup has an \(E^*\)-dense, strongly \(E^*\)-unitary \(E\)-semigroup as a cover. The structure of the latter semigroups is described.
0 references
\(E^*\)-dense \(E\)-semigroups
0 references
covers of inverse semigroups
0 references
semidirect products
0 references
groups acting on semigroupoids
0 references
strongly \(E^*\)-unitary covers
0 references
idempotents
0 references
0 references