Groups of invertible binary operations of a topological space (Q1746939)

All spaces are assumed to be Hausdorff. By \(C(X,Y)\) the author denotes the space of all continuous maps from a space \(X\) to a space \(Y\), endowed with the compact-open topology. Also, the group of all homeomorphisms of \(X\) is denoted by \(H(X)\). Let \(X\) be a topological space. A continuous map \(f : X^2 \to X\) is called a continuous binary operation on the space \(X\). The set of all continuous binary operations on \(X\) is denoted by \(C_2(X).\) A composition of two binary operations \(f,\varphi \in C_2(X)\) is defined by the formula: \((f\circ \varphi)(t,x)=f(t,\phi (t,x)),\) where \(t,x\in X\). If \(f : X^2 \to X\) is a continuous binary operation, then for every \(t \in X\) the author defines a continuous map \(f_t : X \to X\) by the formula: \(f_t(x)=f(t,x)\). A continuous binary operation \(f \in C_2(X)\) is said to be invertible if there exists a continuous binary operation \(f^{-1} \in C_2(X)\) such that \(f \circ f^{-1} = f^{-1} \circ f = e.\) The subset of all invertible elements of the set \(C_2(X)\) is denoted by \(H_2(X)\). The main theorems of this paper are the following : Theorem A. Let \(X\) be a locally compact and locally connected space. A continuous binary operation \(f =\{f_t\}: X^2 \to X\) is invertible if and only if the continuous map \(f_t : X \to X\) is a homeomorphism for any \(t \in X.\) Theorem B. Let \(X\) be a locally compact and locally connected space. Then the group \(H_2(X)\) is isomorphic (algebraically and topologically) to the group \(C(X,H(X))\). A subgroup \(D \subseteq H_2(X)\) is said to be distributive if for all \(x,x',x''\in X\) and for all \(g,h\in D\) the following condition is fulfilled \(g(h(x,x'),h(x,x'')) = h(x,g(x',x''))\). Theorem C. Every topological group is a distributive subgroup of some group of invertible binary operations.