Abstract:We find anti-isomorphic submonoids $\mathscr{C}_{+}(a,b)$ and $\mathscr{C}_{-}(a,b)$ of the bicyclic monoid $\mathscr{C}(a,b)$ with the following properties: every Hausdorff left-continuous (right-continuous) topology on $\mathscr{C}_{+}(a,b)$ ($\mathscr{C}_{-}(a,b)$) is discrete and there exists a compact Hausdorff topological monoid $S$ which contains $\mathscr{C}_{+}(a,b)$ ($\mathscr{C}_{-}(a,b)$) as a submonoid. Also, we construct a non-discrete right-continuous (left-continuous) topology $\tau_p^+$ ($\tau_p^-$) on the semigroup $\mathscr{C}_{+}(a,b)$ ($\mathscr{C}_{-}(a,b)$) which is not left-continuous (right-continuous).
What problem does this paper attempt to address?
This paper aims to explore and solve the non - topologization problems regarding semigroups \(C^+(a,b)\) and \(C^-(a,b)\). Specifically, the main objectives of the paper include:
1. **Prove discreteness**:
- Prove that every Hausdorff left - continuous topology on the semigroup \(C^+(a,b)\) is discrete.
- Prove that every Hausdorff right - continuous topology on the semigroup \(C^-(a,b)\) is discrete.
2. **Construct non - discrete topologies**:
- Construct a non - discrete right - continuous topology \(\tau_p^+\) on the semigroup \(C^+(a,b)\), and this topology is not left - continuous.
- Using the anti - isomorphism property, construct a non - discrete left - continuous topology \(\tau_p^-\) on the semigroup \(C^-(a,b)\), and this topology is not right - continuous.
3. **Embed into compact Hausdorff topological monoids**:
- Prove that there exists a compact Hausdorff topological monoid \(S\) such that \(C^+(a,b)\) and \(C^-(a,b)\) are respectively contained as its sub - monoids.
### Main conclusions
- **Discreteness**:
- For the semigroup \(C^+(a,b)\), any Hausdorff left - continuous topology is discrete.
- For the semigroup \(C^-(a,b)\), any Hausdorff right - continuous topology is discrete.
- **Non - discrete topologies**:
- A non - discrete right - continuous topology \(\tau_p^+\) on \(C^+(a,b)\) is constructed, and it is proved that it is not left - continuous.
- Using the anti - isomorphism property, a non - discrete left - continuous topology \(\tau_p^-\) on \(C^-(a,b)\) is constructed, and it is proved that it is not right - continuous.
- **Embedding**:
- There exists a compact Hausdorff topological monoid \(S\) such that \(C^+(a,b)\) and \(C^-(a,b)\) can be included as its sub - monoids.
### Methods and techniques
- **Algebraic properties**:
- By defining and proving the algebraic properties of \(C^+(a,b)\) and \(C^-(a,b)\), especially their anti - isomorphism relations.
- Use Green's relations to describe the structures of these semigroups.
- **Topological properties**:
- Define non - discrete right - continuous and left - continuous topologies by constructing specific topological bases.
- Use the properties of Hausdorff spaces and local compactness to prove the discreteness of these topologies.
- **Embedding theorems**:
- Prove the possibility of embedding by constructing a compact Hausdorff topological monoid \(S\) that contains \(C^+(a,b)\) and \(C^-(a,b)\).
These results not only deepen the understanding of the semigroups \(C^+(a,b)\) and \(C^-(a,b)\), but also provide new methods and perspectives for studying other similar structures.