Left-topological semigroup

A left-topological semigroup is a semigroup with a topology for which every left translation $L_a:x\mapsto ax$ is a continuous map. Here $a$ is fixed and the right input varies. Requiring continuous right translations $R_a:x\mapsto xa$ instead gives a right-topological semigroup.^[ref]

Every nonempty compact Hausdorff space carrying a left-topological semigroup structure contains an idempotent element of a semigroup.

Choose an inclusion-minimal nonempty compact subsemigroup $K$, using Zorn's lemma and the finite intersection property. For $a\in K$, the set $aK$ is a nonempty compact subsemigroup, so minimality gives $aK=K$. Hence $F=\{x\in K:ax=a\}$ is nonempty. It is a compact closed subset of $K$ by continuity and the Hausdorff space assumption, and is a subsemigroup because $a(xy)=(ax)y=ay=a$ for $x,y\in F$. Minimality gives $F=K$, so $a^2=a$.^[ref]

Reversing multiplication gives the same conclusion for a right-topological semigroup. Joint continuity of multiplication is not needed.