Discrete Hausdorff Shift-Continuous Topology

• Discrete Hausdorff shift-continuous topology is defined on semigroups where every left and right translation is continuous, forcing the topology to be discrete.
• Examples such as Taimanov semigroups and bicyclic monoids illustrate how algebraic constraints and separation axioms enforce discreteness.
• This topological rigidity simplifies the analysis of semigroup homomorphisms and limits possible compactifications, aiding in classification and structural insights.

A discrete Hausdorff shift-continuous topology is a central object in the interplay between algebraic structures (particularly semigroups and inverse semigroups) and topology. In particular, it arises as the canonical or forced topology on many algebraically rigid semigroups—such as Taimanov semigroups and various bicyclic-type constructions—when one imposes mild separation axioms in combination with the requirement that all left and right translations be continuous (shift-continuity). The inevitability of discreteness in this context is both a fundamental constraint and a powerful structural insight for the analysis of semitopological semigroups.

1. Definition and General Formalism

Given a semigroup $(S, \cdot)$, a topology $\tau$ is called shift-continuous if, for every $a \in S$, both the left shift $L_a(x) = a \cdot x$ and the right shift $R_a(x) = x \cdot a$ are continuous maps from $(S, \tau)$ to itself. If in addition $\tau$ is both Hausdorff (i.e., $T_2$) and discrete (each singleton is open), then $(S, \tau)$ is referred to as having the discrete Hausdorff shift-continuous topology.

This concept is crucial in distinguishing semitopological or 'separately continuous' semigroups from topological semigroups (where joint continuity of the multiplication is required). For many semigroups with strong algebraic constraints (e.g., Taimanov semigroups, bicyclic monoid, their various generalizations, or monoids with abundant idempotents), shift-continuity in conjunction with the Hausdorff property immediately forces $\tau$ to be discrete (Gutik, 2016, Chornenka et al., 5 Jan 2026, Gutik et al., 2016, Gutik et al., 2019).

2. Prototypical Examples: Taimanov Semigroups and the Bicyclic Monoid

A Taimanov semigroup is defined by the following multiplication on a set $T = \{0, \infty\} \cup K$, $|K| = \kappa$: $$x \cdot y = \begin{cases} \infty & \text{if } x \neq y,\, x, y \notin \{0, \infty\}, \ 0 & \text{otherwise}. \end{cases}$$ This structure implies that $0$ is a zero, $\infty$ is a distinguished "infinity" element, and all nonzero, non-infinity elements multiply nontrivially only off the diagonal. For any Hausdorff shift-continuous topology on $T$, every element is forced to be isolated. The argument systematically isolates $0$ and $\infty$ via their unique algebraic roles, and then isolates all other points via shift-continuity, concluding that $\tau$ must be the discrete topology (Gutik, 2016).

A parallel rigidity is observed for the bicyclic monoid $\mathscr{C}(p,q)$ and its generalizations. Whenever a subsemigroup $S$ of $\mathscr{C}(p,q)$ contains infinitely many idempotents (or is inverse), every Hausdorff shift-continuous topology on $S$ is discrete (Chornenka et al., 5 Jan 2026). Similar results hold for shift-sets in linearly ordered groups (Gutik et al., 2016), extensions by families of principal filters (Gutik et al., 2022), Bruck extensions (Bardyla, 2017), and sum-product semigroups on $[0, \infty)^2$ (Gutik et al., 2024).

The table summarizes major cases:

Semigroup class	Discreteness forced by	Reference
Taimanov semigroups	Hausdorff + shift-cont.	(Gutik, 2016)
Subsemigroups $\mathscr{C}(p,q)$ ($|E(S)|=\infty$)	Hausdorff + shift-cont.	(Chornenka et al., 5 Jan 2026)
Shift-sets in non-dense linearly ordered groups	Hausdorff + shift-cont.	(Gutik et al., 2016)
$\alpha$-bicyclic monoids ($\tau_1$)	Locally compact + shift-cont.	(Bardyla, 2017)
$B_{[0,\infty)}$ discrete + adjoined ideal	Hausdorff + shift-cont.	(Gutik et al., 2024)

3. Key Algebraic–Topological Mechanisms

The algebraic mechanisms compelling discrete Hausdorff shift-continuous topologies typically exploit:

• The finite solution property for algebraic equations of the form $a \cdot x = b$ or $x \cdot c = d$, which ensures that continuous translation maps cannot map infinite sets to points, thus forcing isolatedness (Gutik, 2016, Chornenka et al., 5 Jan 2026, Gutik et al., 2016, Gutik et al., 2021).
• Infinite idempotent chains: The presence of an infinite collection of idempotents $e_n$, especially when $e_nS$ and $Se_n$ are closed retracts, allows one to use large idempotents to isolate arbitrary points via shift-continuity arguments (Chornenka et al., 5 Jan 2026).
• The closure and embedding rigidity: If $T$ is a subsemigroup of a topological semigroup $S$ and the $T_1$ (or Hausdorff) property with shift-continuity holds, then $T$ must be closed and discrete in $S$, preventing nontrivial nondiscrete embeddings (Gutik, 2016).

4. Categorical Uniqueness and Dichotomy Theorems

In many settings, the discrete Hausdorff shift-continuous topology is not only forced, but also categorically unique: it is the only Hausdorff (or $T_1$) shift-continuous topology on the semigroup under consideration. For instance, in Taimanov semigroups (Gutik, 2016), infinite idempotent inverse subsemigroups of the bicyclic monoid (Chornenka et al., 5 Jan 2026), shift-sets of non-densely ordered groups (Gutik et al., 2016), and for the $\alpha$-bicyclic monoid at ordinal $i=1$ (Bardyla, 2017), the discrete topology is not merely one viable structure but the sole option permitted by the algebra–topology interplay.

When these semigroups are equipped with an adjoined zero or compact ideal, there is a dichotomy: any Hausdorff locally compact shift-continuous topology is either discrete (with zero/ideal isolated and open) or compact (the one-point compactification or a quotient compactification); no intermediate locally compact, noncompact, non-discrete topology exists. This phenomenon is documented for semigroups containing the bicyclic monoid, various extensions, and cofinite partial isometry monoids (Gutik et al., 2021, Gutik et al., 2022, Gutik et al., 2019, Maksymyk, 2020). For instance, on a discrete, electorally flexible group $G$ with adjoined zero, every Hausdorff locally compact shift-continuous topology is either compact or discrete (Maksymyk, 2020). However, in some algebraic subclasses (such as virtually cyclic groups), non-discrete non-compact locally compact shift-continuous topologies may exist, showing that the algebraic criterion is both necessary and sufficient for the dichotomy.

5. Constraints, Examples, and Boundary Cases

Non-discrete Hausdorff shift-continuous topologies become possible only when separation axioms are weakened (e.g., to $T_0$), or for certain group-theoretical constructs that lack the requisite algebraic rigidity (e.g., non-densely ordered groups versus densely ordered ones in the shift-set setting (Gutik et al., 2016)). Explicit examples—such as non-discrete $p$-adic right-continuous topologies on $\mathscr{C}_+(a,b)$ (Chornenka et al., 5 Jan 2026), or topologies induced by neighborhood systems at the adjoined zero in virtually cyclic groups (Maksymyk, 2020)—demonstrate the essential nature of the (Hausdorff) separation axiom in enforcing discreteness.

A concrete example for a non-discrete, non-$T_1$ topology is given in (Gutik, 2016): for a Taimanov semigroup, the topology on $T$ with subbase

$$\tau_0 = \{\,U \subset T : 0 \in U \implies (\infty \in U,\, |T \setminus U| < |T| )\,\}$$

is $T_0$ and shift-continuous but not $T_1$, illustrating the sharpness of the $T_1$ hypothesis.

6. Structural and Classification Consequences

The persistence of discreteness in these settings has several important implications:

• Algebraic completeness: The semigroup cannot be non-discretely embedded in any larger Hausdorff semitopological semigroup; it is always forced to be closed and discrete (Gutik, 2016).
• Continuity of homomorphisms: In the discrete topology, every semigroup homomorphism is automatically continuous, simplifying the study of continuous representations and functional calculus on these objects (Gutik et al., 2021).
• Rigidity for inverse semigroups with large idempotent sets: Any inverse semigroup with an infinite chain of idempotents or appropriate combinatorial properties is forced into the discrete topology under Hausdorff shift-continuity constraints (Chornenka et al., 5 Jan 2026, Gutik et al., 2022).
• Limitation on topological semigroup compactifications: The only non-discrete locally compact Hausdorff shift-continuous topology possible is the trivial one-point compactification (with the adjoined point as accumulation point), and even this fails in many inverse settings due to the Anderson–Hunter–Koch theorem (Gutik et al., 2022).

7. Open Problems and Research Directions

Several active directions involve extending these dichotomies and classification results to

• Semigroups beyond the bicyclic or Taimanov class, including polycyclic monoids, generalized inverse semigroups, or dynamical semigroups associated with symbolic dynamics (Maksymyk, 2020, Gutik et al., 2022);
• Understanding the precise boundaries between algebraic structure and topological rigidity, particularly the influence of group-theoretic invariants (ends, growth, cohomological dimension) on topologizability (Maksymyk, 2020);
• Investigating the lattice of all (possibly non-locally-compact) Hausdorff shift-continuous topologies on such semigroups, and constructing minimal or exotic examples in the absence of local compactness (Gutik et al., 2019, Gutik et al., 2022);
• Exploring the extent to which the discrete topology determines the full semitopological dynamical and representation theory of these semigroups.

These investigations clarify the deep connection between discrete algebraic combinatorics and semigroup topology, and delineate a robust barrier to nontrivial topologizability in large classes of algebraically rigid semigroups.