Structural properties of universal minimal dynamical systems for discrete semigroups

We show that for a discrete semigroup S there exists a uniquely determined complete Boolean algebra B(S) - the algebra of clopen subsets of M(S). A/(S) is the phase space of the universal minimal dynamical system for S and it is an extremally disconnected compact Hausdorff space. We deal with this connection of semigroups and complete Boolean algebras focusing on structural properties of these algebras. We show that B(S) is either atomic or …