A nontrivial product in the stable homotopy groups of spheres (Q2386555)

Let \(A\) be the mod-\(p\) Steenrod algebra for \(p\) an arbitrary odd prime. In 1962, Liulevicius described \(h_i\) and \(b_k\) in \(\text{Ext}^{*,*}_A(\mathbb Z_p,\mathbb Z_p)\) having bigrading \((1, 2p^i(p-1))\) and \((2, 2p^{k+1}\times (p-1))\), respectively. In this paper we prove that for \(p\geq 7\), \(n\geq 4\) and \(3\leq s<p-1\), \(h_0b_{n-1}\widetilde \gamma_s\in\text{Ext}^{s+3,p^nq+sp^2q+(s-1)pq+(s-1)q+s-3} (\mathbb Z_p,\mathbb Z_p)\) survives to \(E_\infty\) in the Adams spectral sequence, where \(q=2(p-1).\)