Ellis' theorem, minimal left ideals, and minimal/maximal idempotents without \(\mathsf{AC}\)

In [18], we showed that the Boolean prime ideal theorem ( \(\mathsf{BPI}\) $\mathsf{BPI}$ ) suffices to prove the celebrated theorem of R. Ellis, which states: ``Every compact Hausdorff right topological semigroup has an idempotent element''. However, the natural and intriguing question of the status of the reverse implication remained open until now. We resolve this open problem in the setting of \(\mathsf{ZFA}\) $\mathsf{ZFA}$ (Zermelo–Fraenkel set theory with atoms), namely we establish that Ellis' theorem does not imply \(\mathsf{BPI}\) $\mathsf{BPI}$ in \(\mathsf{ZFA}\) $\mathsf{ZFA}$ , and thus is strictly weaker than \(\mathsf{BPI}\) $\mathsf{BPI}$ in \(\mathsf{ZFA}\) $\mathsf{ZFA}$ . From the above paper, we also answer two more open questions and strengthen some theorems.

Typical results are:

1. Ellis' theorem is true in the Basic Fraenkel Model, and thus Ellis' theorem does not imply \(\mathsf{BPI}\) $\mathsf{BPI}$ in \(\mathsf{ZFA}\) $\mathsf{ZFA}$ .

2. In \(\mathsf{ZF}\) $\mathsf{ZF}$ (Zermelo–Fraenkel set theory without the Axiom of Choice ( \(\mathsf{AC}\) $\mathsf{AC}$ )), if \(S\) $S$ is a compact Hausdorff right topological semigroup with \(S\) $S$ well orderable, then every left ideal of \(S\) $S$ contains a minimal left ideal and a minimal idempotent element. In addition, every such semigroup \(S\) $S$ has a maximal idempotent element.

3. In \(\mathsf{ZF}\) $\mathsf{ZF}$ , if \(S\) $S$ is a compact Hausdorff right topological abelian semigroup, then every left ideal of \(S\) $S$ contains a minimal left ideal.

4. In \(\mathsf{ZF}\) $\mathsf{ZF}$ , \(\mathsf{BPI}\) $\mathsf{BPI}$ implies ``Every compact Hausdorff right topological abelian semigroup \(S\) $S$ has a minimal idempotent element''.

5. In \(\mathsf{ZFA}\) $\mathsf{ZFA}$ , the Axiom of Multiple Choice ( \(\mathsf{MC}\) $\mathsf{MC}$ ) implies ``Every compact Hausdorff right topological abelian semigroup \(S\) $S$ has a minimal idempotent element''.

6. In \(\mathsf{ZFA}\) $\mathsf{ZFA}$ , \(\mathsf{MC}\) $\mathsf{MC}$ implies ``Every compact Hausdorff right topological semigroup \(S\) $S$ with \(S\) $S$ linearly orderable, has a minimal idempotent element''.