On maximal ideals of compact connected topological semigroups (Q1958073)

If \(S\) is a connected topological semigroup and \(I\) an ideal of \(S\), then exactly one connected component \(I_C\) of \(I\) is an ideal of \(S\). This ideal is called the component ideal of \(I\). If \(A=\cup M_C\) where \(M\) runs over all maximal proper ideals of \(S\), then either \(A=S\) or \(A\) is the maximal proper connected ideal of \(S\). If \(A\neq S\), then \(A\) is the component ideal of a maximal ideal of \(S\) (Theorem 2.7). A necessary and sufficient condition for a compact connected semigroup \(S\) is given under which \(S^2\neq S\). In this case there exists a maximal ideal \(M\) such that \(S^2\subset M_C\) (Theorem 2.9). A topological semigroup \(S\) has the maximal property provided there exists a maximal ideal \(M\) containing every proper ideal of \(S\). For a compact connected topological semigroup \(S\) the following statements are equivalent: (i) There is an idempotent \(e\) such that \(e\notin M\) for every maximal ideal \(M\) of \(S\). (ii) The semigroup \(S\) has the maximal property and \(S=Sa\cup aS\cup SaS\) for some \(a\in S\) (Theorem 2.15).