On maximal ideals of compact connected topological semigroups (Q1958073): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Hao Hao Wang / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Mihail I. Ursul / rank | |||
Normal rank |
Revision as of 08:55, 16 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On maximal ideals of compact connected topological semigroups |
scientific article |
Statements
On maximal ideals of compact connected topological semigroups (English)
0 references
28 September 2010
0 references
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).
0 references
topological semigroup
0 references
compact connected semigroup
0 references
component ideal
0 references
maximal property
0 references