A Relation in the Stable Homotopy Groups of Spheres

Let p≥7 be an odd prime. Based on the Toda bracket α1βp-11, α1 β1, p, γs,the authors show that the relation α1βp-11h2,0 γs= βp/p-1γs holds. As a result, they can obtain α1βp1h2,0 γs = 0 ∈π*(S0) for 2≤s≤p- 2, even though α1h2,0γs and β1α1h2,0 γs are not trivial. They also prove that βp-11α1 h2,0 γ3 is nontrivial in π*(S0) and conjecture that βp-11α1 h2,0 γs is nontrivial in π*(S0) for 3≤s≤p- 2. Moreover, it is known thatβp/p-1γ3 = 0 ∈ Ext5,*BP*BP(BP*, BP*), but βp/p-1γ3 is nontrivial in π*(S0) and represents the element βp-11α1 h2,0 γ3.