Note on the homotopy groups of a bouquet \(S^1\vee Y\), \(Y\) \(1\)-connected (Q2444579)

For a group \(\pi\) and a \(\pi\)-module \(M\), let \(\Gamma_1 (M)=M\). If \(\lambda\) is an ordinal that has an immediate predecessor \(\lambda -1\), let \(\Gamma_{\lambda}(M)\) denote the \(\pi\)-module generated by the elements \(\{g\cdot m-m:g\in \pi, m\in \Gamma_{\lambda -1}(M)\}\). If \(\lambda\) is a limit ordinal, let \(\Gamma_{\lambda}(M)=\bigcap_{\mu<\lambda}\Gamma_{\mu}(M)\). From now on, we assume that \(X=S^1\vee Y\) and that \(\pi=\pi_1(X)={\mathbb Z}\) for a simply connected CW complex \(Y\). In this situation, consider the \(\pi\)-action on the \(\pi\)-module \(M\) for \(M=\pi_n(X)\). In this paper, the author investigates whether there is a countable ordinal \(\lambda\) such that \(\Gamma_{\lambda}(M)=\{1\}\) for \(M=\pi_n(X)\). Although he cannot prove this, he proves that the \(\pi\)-action on \(\tilde{M}=H_n(\tilde{X},\mathbb Z)\) is residually nilpotent (i.e. \(\Gamma_{\omega}(\tilde{M})=\{1\}\)), where \(\tilde{X}\) is a universal covering of \(X\) and \(\omega\) denotes the first infinite cardinal. Moreover, he also proves that the \(\pi\)-action on \(M\) is residually nilpotent if \(Y\) is a suspension of a connected CW-complex. The proof is based on a result due to Brian Hartley on wreath products and the Hilton-Milnor theorem.