Semilattices are globally determined (Q792462)

Let S be a semigroup and \({\mathcal P}(S)\) the power semigroup of S, i.e. the semigroup of all non-empty subsets of S. A class C of semigroups is called globally determined if for \(S_ 1,S_ 2\in C,\quad {\mathcal P}(S_ 1)\cong {\mathcal P}(S_ 2)\) implies \(S_ 1\cong S_ 2\). In this paper the author proves that the class of semilattices is globally determined, more strongly, any isomorphism of \({\mathcal P}(S_ 1)\) to \({\mathcal P}(S_ 2)\) induces an isomorphism of \(S_ 1\) to \(S_ 2\). To prove this, the author considers the set \({\mathcal I}(S)\) of idempotents of \({\mathcal P}(S)\) of a semilattice S, and a subset \({\mathcal C}h(S)\) of \({\mathcal I}(S)\) i.e. the set \({\mathcal C}h(S)\) of elements of \(X\in {\mathcal I}(S)\) satisfying the following condition: there is no \(Y\in {\mathcal P}(S)\) such that \(Y\neq X\) and \(Y^ 2=X\). These sets \({\mathcal I}(S)\) and \({\mathcal C}h(S)\) are preserved under isomorphisms of power semigroups. The set S of singletons of \({\mathcal P}(S)\) is a subset of \({\mathcal C}h(S)\), and the author finds a nice graphical characterization of S.