a1 National Chengchi University, Taipei, Taiwan.
a2 Lehigh University, Bethlehem, Pa. 18015, USA.
a3 Northwestern University, Evanston, Ill. 60201, USA.
a4 DPMMS, 16 Mill Lane, Cambridge CB2 1SB.
The first-named author has proved interesting results about the stable homotopy and cohomotopy of spaces related to real projective space RP∞; these are presented in an accompanying paper (6). His proof is by the Adams spectral sequence, and so depends on the calculation of certain Ext groups. The object of this paper is to prove the required result about Ext groups. The proof to be given is not Lin's original proof, which involved substantial calculation; it follows an idea of the second and third authors. The version to be given incorporates modifications suggested later by the fourth author.
(Received October 29 1979)