On n-unitary subsemigroups of semigroups (Q762283)

Denote by U(S) the set of those unitary subsemigroups of the semigroup S all of whose unitary subsemigroups are simple. A subsemigroup H of S is ''n-unitary'' if a) \(H\in U(S)\) and H is reflexive in S and b) \(V\in U(S)\) implies \(<H,V>=HV\in U(S)\). With the role of normal subgroups of groups in mind, an isomorphism theorem for n-unitary subsemigroups is proved.