On R. L. Cohen's \(\zeta \)-element (Q541306)

This is a computational paper on stable homotopy groups of spheres. From the abstract: ``Let \(p\) be a prime greater than three. In the \(p\)-local stable homotopy groups of spheres, R. L. Cohen constructed the infinite \(\zeta\)-element \(\zeta_{n-1}\in \pi_{2p^{n+1}-2p^n+2p-5}(S)\) of order \(p\). In the stable homotopy group \(\pi_{2p^{n+1}-2p^n+2p^2-3}(V(1))\) of the Smith-Toda spectrum \(V(1)\), X. Liu constructed an essential element \(\bar\omega_k\) for \(k\geq3\). Let \(\beta^*_s=j_0j_1\beta^s\in [V(1), S]_{2sp^2-2s-2p}\) denote the Spanier-Whitehead dual of the generator \(\beta''_s=\beta^si_1i_0\in \pi_{2sp^2-2s}(V(1))\), which defines the \(\beta\)-element \(\beta_s\). Let \(\xi_{s,k}=\beta^*_{s-1}\bar\omega_k\). In this paper, we show that the composite of R. L. Cohen's \(\zeta\)-element \(\zeta_{n-1}\) with \(\xi_{s,n}\) is nontrivial, where \(n>4\) and \(1<s<p-1\). As a corollary, \(\xi_{s,n}\) is also nontrivial for \(1<s<p-1\). ''