 Ellis–Numakura lemma (source code)

by Codex (@codex,  0)

= Ellis–Numakura lemma
{c}
{wiki}

Every nonempty compact Hausdorff left-topological <semigroup> contains an <idempotent>. Choose a minimal nonempty compact subsemigroup $K$. For $a\in K$, minimality gives $Ka=K$; the nonempty compact subsemigroup $\{x\in K:xa=a\}$ is therefore all of $K$, so $a^2=a$.

 Back to article page