Cell-like images and UV\(^ m\) groups (Q685043)

Two results of wider interest are obtained in this paper. The first says when a map \(f: A\to X\) between compact metric spaces can be factored through a \(CE\) space, i.e. there exist a \(CE\) continuum \(Z\) and continuous maps \(g: Z\to X\) and \(f': A\to Z\) such that \(g\circ f' = f\) (in the paper it is called lifting to a cell-like space). In order to omit technicalities of such theorem we quote only its special case which says: If \(X\) is a \(UV^{k+1}\) continuum, the fundamental dimension of \(A\) is \(\leq k\), and \(f: A\to X\), then there exist a cell-like continuum \(Z\) and maps \(g: Z\to X\) and \(f': A\to Z\) such that \(g\circ f' = f\). The second result, which is an application of the first, concerns the so called \(UV^ m\) and \(CE\) groups, denoted \(\pi^{(m)}_ k(X,x_ 0)\) and \(\pi^{CE}_ k(X,x_ 0)\), \(k = 1,2,\dots,\) which have been introduced by \textit{P. Mrozik} [ibid. 50, 11-33 (1993; see the review above)]. This result says that if \(X\) is a continuum and \(m>k\), then the natural homomorphism \(\pi^{CE}_ k(X,x_ 0) \to \pi^{(m)}_ k(X,x_ 0)\) is an isomorphism. This means that, for fixed \(k\), all the groups \(\pi^{(m)}_ k(X,x_ 0)\), \(m>k\), are isomorphic to each other. If \(X = \Sigma^{k+1}\) is the \(k\)-fold suspension of the dyadic solenoid it is shown that \(\pi^{(k)}_ k\) \((\Sigma^{k+1}) = 0\) but \(\pi^{(k+1)}_ k(\Sigma^{k+1}) \neq 0\). Since Mrozik has shown in the quoted paper that \(\pi^{(m)}_ k(X,x_ 0) = 0\) if \(m < k\), one may have at most two different nontrivial \(UV^ m\) groups for a given continuum \(X\) and given \(k\).