Disjointness of some types of extensions of topological transformation semigroups (Q1886128)

An extension of a transformation semigroup \(S\) on a compact Hausdorff space \(Y\) is a continuous \(S\)-equivariant surjection \(\varphi: X\to Y\). Two extensions \(\varphi\), \(\varphi'\) of \(Y\) are said to be disjoint if the pairs \((x, x')\) with \(\varphi(x)= \varphi'(x')\) form a minimal set (every orbit in this set is dense). \textit{I. U. Bronshtein} [Extensions of minimal transformation groups, translation from the Russian. Sijthoff \& Noordhoff (1979; Zbl 0431.54023)] gave several criteria ensuring disjointness in the case where \(Y\) is minimal. He assumed, among other things, that \(\varphi\) is open and that the maximal equicontinuous quotients of \(\varphi\) and \(\varphi'\) are disjoint. The author extends these results to the semigroup case. In one situation, he also drops the condition that \(\varphi\) be open; in others, he replaces it with the assumption that \(\varphi'\) be a composition of a proximal extension and a \(B\)-extension. Remark: Comparison with the Russian original shows that in Theorem A, both occurrences of the symbol \(R_{\varphi,\psi}\) should be preceded by the word `in'.