Globals of completely regular periodic semigroups (Q802021)

The global (power semigroup) \({\mathcal P}(S)\) of a semigroup S is the family of all non-empty subsets of a semigroup S with operation defined by \(AB=\{ab:\quad a\in A,\quad b\in B\}\) for all A,B\(\in {\mathcal P}(S)\). A class \({\mathcal K}\) of semigroups is said to be globally determined if \({\mathcal P}(S)\cong {\mathcal P}(T)\), \(T\in {\mathcal K}\), implies \(S\cong T\). In this paper the global determinacy of the following classes is established: (1) the class of all completely regular periodic monoids with irreducible identity element, (2) the class of all orthogonal sums of such semigroups and (3) the class of all orthogonal sums of groups. An element \(x\in S\) is called irreducible if y,z\(\in S\) and \(x=yz\) implies \(x=y\) or \(x=z\). For (1) the key is to characterize singleton idempotents. It is noted that if S,T\(\in {\mathcal K}\) and \(\psi\) : \({\mathcal P}(S)\to {\mathcal P}(T)\) is an isomorphism then the restriction of \(\psi\) to singletons is an isomorphism of S onto T. In (2) the orthogonal sum \(S=\sum_{i\in I}S_ i\) is defined to be the union \(\cup_{i\in I}S_ i\cup \{0\}\) where \(0\not\in S_ i\) for any \(i\in I\). The operation in S(\(\cdot)\) is given by \(x\cdot y=xy\) if \(x,y\in S_ i\) and \(x\cdot y=0\) if \(x\in S_ i\) and \(y\in S_ j\) with \(i\neq j\), and \(0\cdot 0=0\). (3) is obtained as a corollary to (2).