The non-commutative Specker phenomenon (Q1270986): Difference between revisions

The article under review is dedicated to the generalization of the following result of \textit{G. Higman} [J. Lond. Math. Soc. 27, 73-81 (1952; Zbl 0046.02601)]. Let \(F\) be a free group. Then, for any homomorphism \(h\colon UF\to F\) there exists \(n<\omega\) and a homomorphism \(\overline h\colon *_{i<n}\mathbb{Z}_i\to F\) such that \(h=\overline h\cdot p_n\), where \(p_n\colon UF\to *_{i<n}\mathbb{Z}_i\) is the canonical projection. Here is the main result of the paper. Let \((G_m,p_{mn}:m\leq n<\omega)\) be an inverse sequence of groups and \(p_n\colon\varprojlim(G_m,p_{mn}:m\leq n<\omega)\to G_n\) the canonical projection to the \(n\)-component. Suppose that \(p_{mn}\)'s are surjective. Then, for any homomorphism \(h\colon\varprojlim(G_m,p_{mn}:m\leq n<\omega)\to\bigtimes_{i\in I}^\sigma\mathbb{Z}_i\), there exist \(n<\omega\) and a homomorphism \(\overline h\colon G_n\to\bigtimes_{i\in I}^\sigma\mathbb{Z}_i\) such that \(h=\overline h\cdot p_n\).