On translational hulls of type-A semigroups. (Q1414038)

The main subjects of this paper are the translational hull of a semigroup [see, e.g., \textit{M. Petrich}, Semigroup Forum 1, 283-360 (1970; Zbl 0209.04902)] and the notion of a type-A semigroup [\textit{M. Petrich}, Introduction to semigroups (1973; Zbl 0321.20037)]. These notions and their main properties are considered in the first (Introduction) and in second (Preliminaries) section of the paper. The main result of section 3 (Strong semilattices of cancellative monoids) is Theorem 3.4. The translational hull of a strong semilattice of cancellative monoids is still a strong semilattice of cancellative monoids. The characterization theorem for the translational hull of an E-reflexive type-A semigroup is obtained in section 4 (E-reflexive type-A semigroups). A type-A semigroup \(S\) is called E-reflexive if there are exists a congruence \(\tau\) on \(S\) which is both an \({\mathcal L}^*\)-class-preserving and an \({\mathcal R}^*\)-class-preserving congruence on \(S\) such that \(S/\tau\) is a type-A semigroup with central idempotents and the relation \({\mathcal R}^*\cap\tau={\mathcal L}^*\cap\tau=\iota_S\) holds on \(S\). Theorem 4.8. The translational hull of an E-reflexive type-A semigroup is still E-reflexive. The affirmative answer to an open problem posed by \textit{M. Petrich} in 1984 [VII, 37 Problems, in Inverse semigroups (1984; Zbl 0546.20053)] is obtained as a consequence of Theorem 4.8.: Corollary 4.10. The translational hull of an E-reflexive inverse semigroup is E-reflexive.