English translation of chapter 9 of the book "Adams spectral sequence and stable homotopy groups of spheres" by Jijkun Lin (In Chinese)(Sciences Press, Beijing 2007)

For any f\in [\Sigma^*M, V\wedge K] we have (1_V\wedge\mu)(fi\wedge 1_K)i'i = (1_V\wedge\mu(1_K\wedge i'i))fi = fi, where \mu : K\wedge K\rightarrow K is the multiplication of the ring spectrum K such that \mu(i'i\wedge 1_K) = 1_K = \mu(1_K\wedge i'i) (cf. (9.1.26)). Then f = (1_V\wedge\mu)(fi\wedge 1_K)i' + f_2\cdot j for some f_2\in [\Sigma^{*+1}S,V\wedge K]. It follows that f = (1_V\wedge\mu) (fi\wedge 1_K)i' + (1_V\wedge\mu)(f_2\wedge 1_K)i'ij which proves the result, where d(fi\wedge 1_K) = fi\wedge d(1_K) = 0, d(1_V\wedge\mu) = 1_V\wedge d(\mu) = 0 (cf. Theorem 6.5.19(G)). Q.E.D.

From [12] p. 11 Theorem 1.2.14, there is a nontrivial secondary differential in the Adams spectral sequence d_2(h_n) = a_0b_{n-1}, n\geq 1, where d_2 : Ext_A^{1,p^nq}(Z_p,Z_p)\rightarrow Ext_A^{3,p^nq+1}(Z_p,Z_p) is the secondary diffenrential of the Adams spectral sequence. We call h_n\in Ext_A^{1,p^nq}(Z_p,Z_p) and b_{n-1}\in Ext_A^{2,p^nq}(Z_p,Z_p) is a pair of a_0-related elements. In this section, we prove a general result on convergence of a_0-related elements in the Adams spectral sequence of sphere spectrum and Moore spectrum.

(1) Since j''\phi\cdot p = \alpha_1\cdot p = 0 = j''\pi \cdot\alpha_1, and \pi_{2q-1}S\cong Z_{p}\{\alpha_2\}, then \phi\cdot p = i''\alpha_2 = \pi\cdot\alpha_1 (up to scalar). We claim that \phi\cdot p\neq 0, this can be proved as follows. Consider the following exact sequence

\quad Z_p\{j\alpha^2\}\cong [\Sigma^{2q-1}M,S]\stackrel{i''_*}{\rightarrow} [\Sigma^{2q-1}M,L]\stackrel{j''_*}{\rightarrow}[\Sigma^{q-1}M,S]\stackrel{(\alpha_1)_* } {\rightarrow}
induced by (9.1.3). The right group has unique generator j\alpha satisfying (\alpha_1)_*j\alpha = j\alpha ij\alpha = \frac{1}{2}j\alpha\alpha ij\neq 0, then the above (\alpha_1)_* is monic, imj''_* = 0 so that [\Sigma^{2q-1}M,L] \cong Z_p\{i''j\alpha^2\}. Suppose in contrast that \phi\cdot p = 0, then \phi\in i^*[\Sigma^{2q-1}M,L] and so \phi = i''j\alpha^2 i , \alpha_1 = j''\phi = j'' i''\alpha_2 = 0 which is a contradiction. This shows that \phi\cdot p\neq 0 so that the above scalar is nonzero (mod p).

The proof of the second result is similar. To prove the last result, let x be any element of [\Sigma^{2q-1}L,L], then j'' x\in [\Sigma^{q-1}L,S]\cong Z_{p^s} \{(\alpha_1)_L\} for some s\geq 2. Hence, j'' x = \lambda j''\overline{\phi} with \lambda\in Z_{p^s} so that x = \lambda\overline{\phi} + i'' x' ,where x'\in [\Sigma^{2q-1}L,S]. Since x' i''\in \pi_{2q-1}S\cong Z_p\{j\alpha^2i\} and \pi_{3q-1}S\cong Z_p\{j\alpha^3i\} , then x' is an element of filtration \geq 2 which shows the result.

(2) Suppose incontrast that \bar h\bar\phi(p\wedge 1_L) = 0, then by (9.1.9) we have \bar \phi(p\wedge 1_L) = \lambda'\pi \cdot (\alpha_1)_L ,where \lambda' \in Z_{(p)}. Since j''\pi\wedge 1_M = p\wedge 1_M = 0, then \pi\wedge 1_M = (i''\wedge 1_M)\alpha, and so \lambda' (\pi\wedge 1_M)i \cdot (\alpha_1)_L = \lambda' (1_L\wedge i) \pi(\alpha_1)_L = 0. Moreover we have \lambda' (i''\wedge 1_M)\alpha i(\alpha_1)_L = \lambda'(\pi\wedge 1_M)i (\alpha_1)_L = 0 , then \lambda'\alpha i(\alpha_1)_L \in (\alpha_1\wedge 1_M)_* [\Sigma^qL,M] and so \lambda'\alpha i\alpha_1 \in (\alpha_1\wedge 1_M) (i'')^*[\Sigma^{q}L,M] = 0 which can be obtained by the following exact sequence

\quad [\Sigma^{2q}S,M]\stackrel{(j'')^*}{\rightarrow}[\Sigma^{q}L,M]\stackrel {(i'')^*}{\rightarrow}[\Sigma^qS,M]\stackrel{(\alpha_1)^*}{\rightarrow}
induced by (9.1.3),where the right group has unique generaator \alpha i satisfying (\alpha_1)^*\alpha i = \alpha ij\alpha i\neq 0 so that (i'')^*[\Sigma^qL,M] = 0. The above equation implies that \lambda' = 0 so that we have \bar\phi(p\wedge 1_L) = 0, this contradicts with the result in (1) on j''\overline{\phi} (p\wedge 1_L) = p\cdot (\alpha_1)_L\neq 0. This shows that \bar h\bar\phi(p\wedge 1_L)\neq 0.

(3) Since \pi_{rq-2}S = 0( r = 2,3,4), then \bar\phi (1_L\wedge\alpha_1) \in [\Sigma^{3q-2}L,L] = 0, and so there is \widetilde{\phi}\in [\Sigma^{2q-1}L\wedge L,L] such that \widetilde{\phi}(1_L\wedge i'') = \bar \phi. We first prove \widetilde{\phi}(\pi\wedge 1_L)(p\wedge 1_L)\neq 0. For otherwise, if it is zero, then \overline{\phi}\pi\cdot p = \widetilde{\phi}(\pi\wedge 1_L)(p\wedge 1_L)i'' = 0 so that \overline{\phi}\pi\in i^*[\Sigma^{3q-1}M,L]. However, (j'')_*[\Sigma^{3q-1}M,L] \subset [\Sigma^{2q-1}M,S] the last of which has unique generator j\alpha^2 satisfying (\alpha_1)_*(j\alpha^2) = j\alpha ij\alpha^2\neq 0, then (j'')_*[\Sigma^{3q-1}M,L] = 0 and so we have (\alpha_1)_L\pi = j''\overline{\phi}\pi\in i^*(j'')_*[\Sigma^{3q-1}M,\\ L] = 0, this contradicts with the result in (1).

Now suppose in contrast that \bar h\widetilde{\phi}(\pi\wedge 1_L)(p\wedge 1_L) = 0, then by (9.1.9) we have, \widetilde{\phi}(\pi\wedge 1_L)(p\wedge 1_L) = \pi\cdot \omega , where \omega\in [\Sigma^{2q-1}L,S] satisfying \omega i'' = \lambda_1 \alpha_2 for some \lambda_1\in Z_{p}. It follows that (i''\wedge 1_M)\alpha i\omega = (1_L\wedge i)\pi\cdot\omega = 0, then \alpha i\omega \in (\alpha_1\wedge 1_M)_*[\Sigma^{2q}L,M] and so \lambda_1\alpha i\alpha_2 = \alpha i\omega i'' \in (\alpha_1\wedge 1_M)_* (i'')^*[\Sigma^{2q}L,M] = (\alpha_1)^*(i'')^*[\Sigma^{2q}L.M] = 0. This shows that \lambda_1 = 0 (since \alpha i\alpha_2 = \alpha ij\alpha^2 i\neq 0). Hence, \omega = \lambda_2j\alpha^3i\cdot j'' and \widetilde{\phi}(\pi\wedge 1_L)(p\wedge 1_L) = \lambda_2\pi\cdot j\alpha^3 i\cdot j'' for some \lambda_2\in Z_{(p)}. It follows that \overline{\phi}\pi\cdot p = \widetilde{\phi}(\pi\wedge 1_L)(p\wedge 1_L) i'' = 0 , then \overline{\phi}\pi\in i^*[\Sigma^{3q-1}M,L] and so (\alpha_1)_L\pi = j''\overline{\phi}\pi\in i^*(j'')_*[\Sigma^{3q-1}M,L] = 0. This contradicts with the result in (1) on (\alpha_1)_L\pi\neq 0.

For the second result, by (9.1.9) we have \pi\cdot j = i'' j\alpha , then j''\widetilde{\phi}(\pi\wedge 1_L)\pi\cdot j = j''\widetilde{\phi}(\pi\wedge 1_L)i''j\alpha = j''\overline{\phi}\pi j\alpha = (\alpha_1)_L\pi j\alpha = \alpha_2 j\alpha = j\alpha^3ij (up to mod p nonzero scalar) . Consequently we have j''\widetilde{\phi}(\pi\wedge 1_L)\pi = j\alpha^3i (up to nonzero scalar), This is because \pi_{3q-1}S\cong Z_{p}\{\alpha_3\} so that p^* \pi_{3q-1}S = 0.

For the last result, we first prove \widetilde{\phi}(\pi\wedge 1_L)\pi\neq 0. For otherwise , if it is zero, then 0 = \widetilde{\phi}(\pi\wedge 1_L)\pi\cdot j = \widetilde{\phi}(\pi\wedge 1_L)i''j\alpha = \overline{\phi}\pi j\alpha and so \alpha_2j\alpha = (\alpha_1)_L\pi j\alpha = = j''\overline{\phi}\pi j\alpha = 0 , this is a contradiction (since \alpha_2j\alpha = j\alpha^2ij\alpha\neq 0\in [\Sigma^{3q-2}M,S]). Now suppose incontrast that \bar h\widetilde{\phi}(\pi\wedge 1_L)\pi = 0, Then , by (9.1.9) and \pi_{3q-1}S\cong Z_p\{\alpha_3\} we have \widetilde{\phi}(\pi\wedge 1_L)\pi = \lambda \pi\cdot j\alpha^3 i = \lambda i''j\alpha^4i for some \lambda\in Z_{p} and so j''\widetilde{\phi}(\pi\wedge 1_L)\pi = 0, this contradicts with the second result.

(4) Since (\overline{u})_*\pi_{4q}Y\subset \pi_{3q-1}M and the last of which has unique generator ij\alpha^3i = ij''\widetilde{\phi}(\pi\wedge 1_L)\pi = \overline{u}\bar h \widetilde{\phi}(\pi\wedge 1_L)\pi(up to nonzero scalar) and \pi_{4q-1}S\cong Z_p\{j\alpha^4i\} such that (\overline{w})_*\pi_{4q-1}S = 0, then \pi_{4q}Y has unique generator \bar h\widetilde{\phi}(\pi\wedge 1_L)\pi. Moreover by (9.1.7) we have, \bar h\widetilde{\phi}(\pi\wedge 1_L)\pi\cdot p = \bar h(p\wedge 1_L) \widetilde{\phi}(\pi\wedge 1_L)\pi = \bar hi''\xi\widetilde{\phi}(\pi\wedge 1_L)\pi = \overline{w} j\alpha^4i = 0. This shows the result. Q.E.D.

Consider the following exact sequence

\quad Ext_A^{s+1,tq+q}(Z_p,Z_p)\stackrel{i''_*}{\longrightarrow} Ext_A^{s+1,tq+q}(H^*L,Z_p)

\qquad\quad\stackrel{j''_*}{\longrightarrow}Ext_A^{s+1,tq}(Z_p,Z_p)\stackrel{(\alpha_1)_*}{\longrightarrow}
induced by (9.1.3). The right group has unique generator \sigma' or has two generators \sigma'_1, \sigma'_2 satisfying (\alpha_1)_*(\sigma') = h_0\sigma' \neq 0 or (\alpha_1)_*(\sigma'_1) = h_0\sigma'_1\neq 0, (\alpha_1)_*(\sigma'_2) = h_0\sigma'_2\neq 0\in Ext_A^{s+2,tq+q}(Z_p,Z_p) (cf. the supposition II), then the above (\alpha_1)_* is monic so that im j''_* = 0. Moreover, the left group has unique generator h_0\sigma = (\alpha_1)_*(\sigma) , then im i''_* = 0 so that Ext_A^{s+1,tq+q}(H^*L,Z_p) = 0. Look at the following exact sequence

\quad 0 = Ext_A^{s+1,tq+q}(H^*L,Z_p)\stackrel{(j'')^*}{\longrightarrow} Ext_A^{s+1,tq}(H^*L,H^*L)

\qquad\quad\stackrel{(i'')^*}{\longrightarrow}Ext_A^{s+1,tq}(H^*L,Z_p)\stackrel{(\alpha_1)^*} {\longrightarrow}
induced by (9.1.3). Since Ext_A^{s+1,tq}(Z_p,Z_p)\cong Z_p\{\sigma'\} or Z_{p}\{\sigma'_1, \sigma'_2\} and
Ext_A^{s+1,tq-q}(Z_p,Z_p) = 0, then the right group has unique generator (i'')_*(\sigma') or has two generators (i'')_*(\sigma'_1), (i'')_*(\sigma'_2), the image of which under (\alpha_1)^* is zero. Then, the result on the middle group is proved. Q.E.D.

(1) Consider the following exact sequence

Ext_A^{s+2,tq+3q}(H^*L,H^*L)\stackrel{(\bar h)_*}{\longrightarrow} Ext_A ^{s+2,tq+3q+1}(H^*Y,H^*L)

\qquad\quad\stackrel{(j\overline{u})_*}{\longrightarrow} Ext_A^{s+2, tq+2q-1}(Z_p,H^*L)\stackrel{(\pi)_*}{\longrightarrow}
induced by (9.1.9). By the supposition II on Ext_A^{s+2,tq+rq}(Z_p,Z_p) = 0
( r = 2,3,4) we know that the left group is zero. By the supposition II on Ext_A^{s+2,tq+rq-1}(Z_p,Z_p) = 0(r = 2,3) also know that the right group is zero. Then the middle group is zero as desired.

For the second result, consider the following exact sequence

Ext_A^{s+2,tq+4q+1}(H^*L,Z_p)\stackrel{(\bar h)_*}{\longrightarrow} Ext_A ^{s+2,tq+4q+2}(H^*Y,Z_p)

\qquad\quad\stackrel{(j\overline{u})_*}{\longrightarrow}Ext_A^{s+2, tq+3q}(Z_p,Z_p)
induced by (9.1.9). By the supposition II on Ext_A^{s+2,tq+rq+1}(Z_p,Z_p) = 0 ( r = 3,4) we know that the left group is zero. Similarly, the right group also is zero. Then the middle group is zero as desired.

(2) Consider the following exact sequence (r = 0,1)

Ext_A^{s+1,tq+3q+r-1}(H^*L,H^*L)\stackrel{(\bar h)_*}{\longrightarrow}Ext_A^{s+1,tq+3q+r} (H^*Y,H^*L)

\qquad\quad\stackrel{(j\overline{u})_*}{\longrightarrow} Ext_A^{s+1,tq+2q+r-2}(Z_p,H^*L)
induced by (9.1.9). By the supposition I on Ext_A^{s+1,tq+kq+r-1}(Z_p,Z_p) = 0 (k = 2,3,4, r = 0,1) we know that the left group is zero. By the supposition II on Ext_A^{s+1,tq+kq+r-2}(Z_p,Z_p) = 0 (k = 2,3, r = 0,1) also know that the right group is zero, then the middle group is zero as desired. Q.E.D.

Proposision 9.2.7 Let p\geq 7, then under the supposition of the main Theorem A we have

(1) Ext_A^{s+1,tq+3q}(H^*W,H^*L)\cong Z_p\{(\overline{\phi}_W)_*(\sigma)_L\}, where \overline{\phi}_W\in [\Sigma^{3q-1}L,\\W] satisfying u\overline{\phi}_W = \overline{\phi}\in [\Sigma^{2q-1}L,L] and (\sigma)_L\in Ext_A^{s,tq}(H^*L,H^*L) such that (i'')^*(\sigma)_L = (i'')_*(\sigma)\in Ext_A^{s,tq}(H^*L,Z_p).

(2) Ext_A^{s,tq+3q}(H^*Y,H^*L) = 0 ,\quad Ext_A^{s,tq+q-1}(H^*M,H^*L) = 0

(1) Consider the following exact sequence

Ext_A^{s+1,tq+3q}(H^*L,H^*L)\stackrel{w_*}{\longrightarrow}Ext_A^{s+1,tq+3q}(H^*W,H^*L)

\qquad\quad\stackrel{(j''u)_*}{\longrightarrow}Ext_A^{s+1,tq+q}(Z_p,H^*L)\stackrel{\phi_*} {\longrightarrow}
induced by (9.1.12). By the supposition I on Ext_A^{s+1,tq+rq}(Z_p,Z_p) = 0 (r = 2,3,4) we know that the left group is zero. By (i'')^*\cdot Ext_A^{s+1,tq+q}(Z_p,H^*L)\subset Ext_A^{s+1,tq+q}(Z_p Z_p) and the last of which has unique generator h_0\sigma = (\alpha_1)^*\cdot (\sigma) = (i'')^*((\alpha_1)_L)^*(\sigma) and Ext_A^{s+1,tq+2q}(Z_p,Z_p) = 0 , then the right group has unique generator ((\alpha_1)_L))^*(\sigma) = ((\alpha_1)_L)_* (\sigma)_L = (j''u)_*(\overline{\phi}_W)_*(\sigma)_L, where (\sigma)_L\in Ext_A^{s,tq}(H^*L,H^*L) satisfying (i'')^*(\sigma)_L = (i'')_*(\sigma)\in Ext_A^{s,tq}(H^*L,Z_p). Moreover, \phi_*((\alpha_1)_L)_* (\sigma)_L = 0\in Ext_A^{s+2,tq+3q}(H^*L,H^*L), then the middle group has unique generator (\overline{\phi}_W)_*(\sigma)_L.

(2) Consider the following exact sequences

Ext_A^{s,tq+3q-1}(H^*L,H^*L)\stackrel{\bar h_*}{\longrightarrow}Ext_A^{s,tq+3q}(H^*Y,H^*L)

\qquad\quad\stackrel{(j\overline{u})_*}{\longrightarrow}Ext_A^{s,tq+2q-2}(Z_p,H^*L)

Ext_A^{s,tq+q-1}(Z_p,H^*L)\stackrel{i_*}{\longrightarrow}Ext_A^{s,tq+q-1}(H^*M,H^*L)

\qquad\quad\stackrel{j_*}{\longrightarrow}Ext_A^{s,tq+q-2}(Z_p,H^*L)
induced by (9.1.9) and (9.1.1) respectively. By the supposition I on
Ext_A^{s,tq+rq-1}(Z_p,Z_p) = 0( r = 2,3,4) we know that the upper left group is zero. By the supposition I on Ext_A^{s,tq+rq-2}(Z_p,Z_p) = 0 ( r = 2,3 ), the upper right group is zero. Then the upper middle group is zero as desired. Similarly, the lower middle also is zero. Q.E.D.

Consider the following exact sequence

Ext_A^{s+3,tq+2}(Z_p,Z_p)\stackrel{i_*}{\longrightarrow}Ext_A^{s+3,tq+2}(H^*M,Z_p)

\qquad\quad\stackrel{j_*}{\longrightarrow}Ext_A^{s+3,tq+1}(Z_p,Z_p)\stackrel{p_*}{\longrightarrow}
induced by (9.1.1). By the supposition III, the right group is zero or has unique generator a_0\iota which satisfies p_*(a_0\iota) = a_0^2\iota\neq 0\in Ext_A^{s+4,tq+2}(Z_p,Z_p), then im j_* = 0. By the supposition III, the left group has unique generator a_0^2\sigma'or has two generators a_0^2\sigma'_1 = p_*(a_0\sigma'_1), a_0^2\sigma'_2 = p_*(a_0\sigma'_2 so that we have im i_* = 0. Then, the middle group is zero as desired.

For the second result, consider the following exact sequence

Ext_A^{s+1,tq+q+1}(H^*L,Z_p)\stackrel{(i\wedge 1_L)_*}{\longrightarrow}Ext_A ^{s+1,tq+q+1}(H^*M\wedge L, Z_p)

\qquad\quad\stackrel{(j\wedge 1_L)_*}{\longrightarrow} Ext_A^{s+1,tq+q}(H^*L,Z_p)
induced by (9.1.1). By Prop. 9.2.4, the right group is zero. Since (j'')_*\\Ext_A^{s+1,tq+q+1}(H^*L,Z_p)\subset Ext_A^{s+1,tq+1}(Z_p,Z_p)\cong Z_p\{a_0\sigma = (j'')_*\pi_*(\sigma)\} and Ext_A^{s+1,tq+q+1}(Z_p,Z_p) = 0 then the left group has unique generator \pi_*(\sigma) and the result follows. Q.E.D.

Now we begin to prove the main Theorem A. The proof will be done by processing an argument processing in the Adams resolution of some spectra related to S. Let
(9.2.9) \quad\qquad\cdots \stackrel{\bar a_{2}}{\longrightarrow}\quad\Sigma^{-2}E_{2}\quad\stackrel {\bar a_{1}}{\longrightarrow}\quad\Sigma^{-1}E_{1}\quad\stackrel{\bar a_{0}}{\longrightarrow} E_{0} = S

\qquad\qquad\qquad\qquad\qquad\qquad\big\downarrow\bar b_{2}\qquad\qquad\quad\big\downarrow\bar b_{1} \qquad\qquad\big\downarrow\bar b_{0}

\qquad\qquad\qquad\qquad\qquad\Sigma^{-2}KG_{2}\qquad\quad\Sigma^{-1}KG_{1}\qquad\quad KG_{0}
be the minimal Adams resolution of the sphere spectrum S which satisfies
(1) E_{s}\stackrel{\bar b_{s}}{\rightarrow} KG_{s}\stackrel{\bar c_{s}}{\rightarrow} E_{s+1} \stackrel{\bar a_{s}}{\rightarrow}\Sigma E_{s} are cofibrations for all s\geq 0, which induce short exact sequences in Z_p-cohomology 0\rightarrow H^{*}E_{s+1}\stackrel {\bar c_{s}^{*}}{\rightarrow} H^{*}KG_{s}\stackrel{\bar b_{s}^{*}}{\rightarrow} H^{*}E_{s}\rightarrow 0.
(2) KG_{s} is a graded wedge sum of Eilenberg-Maclane spectra KZ_p of type Z_p.
(3) \pi_{t}KG_{s} are the E_{1}^{s,t}-terms of the Adams spectral sequence, (\bar b_{s}\bar c_{s-1})_{*} : \pi_{t}KG_{s-1}\rightarrow \pi_{t}KG_{s} is the d_1^{s-1,t}-differentials of the Adams spectral sequence , and \pi_{t}KG_{s}\cong Ext_{A}^{s,t}(Z_{p},Z_{p}) (cf. [3] p.180).
Then, an Adams resolution of an arbitrary spectrum V can be obtained by smashing V to (9.2.9). We first prove some Lemmas.

(1) Suppose in contrast that \widetilde{u}w_3\overline{\phi}_W(p\wedge 1_L) = 0, then by (9.2.16) and the result of Prop. 9.2.3(1) on [\Sigma^{2q-1}L,L] we have
(9.2.19) \quad \overline{\phi}_W(p\wedge 1_L) = \lambda w'(\pi\wedge 1_L)\overline{\phi} modulo F_3[\Sigma^{3q-1}L,W]
for some \lambda\in Z_{(p)}, where F_3[\Sigma^{3q-1}L,W] denotes the subgroup of [\Sigma^{3q-1}L,W] consisting by all elements of filtration \geq 3. Moreover, note that uw'(\pi\wedge 1_L)\in [L,L] and this group has two generators (p\wedge 1_L), \pi j'' which has filtration one, then uw'(\pi\wedge 1_L) = \lambda_1(p\wedge 1_L) + \lambda_2 \pi j'' with \lambda_1,\lambda_2\in Z_{(p)}. By (9.1.13) we have \lambda_1 p\cdot (\alpha_1)_L + \lambda_2(\alpha_1)_L \pi j'' = 0 so that \lambda_2 = \lambda_0\lambda_1, here we use the equation (\alpha_1)_L\pi j'' = - \lambda_0 p\cdot (\alpha_1)_L, \lambda_0\neq 0\in Z_p. Then , by composing u on (9.2.19) we have\overline{\phi} (p\wedge 1_L) = u\overline{\phi}_W(p\wedge 1_L) = \lambda uw'(\pi\wedge 1_L) \overline{\phi} = \lambda\lambda_1\overline{\phi}(p\wedge 1_L) + \lambda\lambda_0\lambda_1 \pi j''\overline{\phi} (mod F_3[\Sigma^{2q-1}L,L]) and so by (9.1.9) \bar h\overline{\phi} (p\wedge 1_L) = \lambda\lambda_1\bar h\overline{\phi}(p\wedge 1_L) (mod F_3[\Sigma^{2q}L,Y]). This implies that \lambda\lambda_1 = 1 (mod p) (cf. the following Remark 9.2.20).

Hence we have \lambda\lambda_1\lambda_0\pi j''\overline{\phi} = 0 (mod F_3[\Sigma^{2q-1}L,L]) and by the same reason as shown in the following Remark 9.2.20, this implies that \lambda\lambda_1\lambda_0 = 0 (mod p) which yields a contradiction.

(2) Consider the following exact sequence

Ext_A^{s,tq+3q}(H^*Y,H^*L)\stackrel{(\tilde{u}w_2)_*}{\longrightarrow} Ext_A^{s,tq+3q-1}(H^*X,H^*L)

\qquad\quad\stackrel{(\tilde{\psi})_*}{\longrightarrow} Ext_A^{s,tq+q-1}(H^*M,H^*L)
induced by (9.2.12). By Prop. 9.2.7(2), both sides of groups are zero ,so tha the middle group is zero as desired. Look at the following exact sequence

Ext_A^{s+1,tq+3q}(H^*W,H^*L)\stackrel{(\tilde{u}w_3)_*}{\longrightarrow} Ext_A^{s+1,tq+3q}(H^*X,H^*L)

\qquad\quad\stackrel{(u'')_*}{\longrightarrow}Ext_A^{s+1,tq+2q-1}(H^*L,H^*L)
induced by (9.2.16). By the supposition on Ext_A^{s+1,tq+rq-1}(Z_p,Z_p) = 0 ( r = 1,2,3) we know that the right group is zero and so the result follows. Q.E.D.

We will continue the argument in Lemma 9.2.21. Note that the spectrum V in (9.2.23) also is the cofibre of (1_M\wedge wi'')\widetilde{\psi} : X\rightarrow\Sigma^{2q}M\wedge W given by the cofibration
(9.2.27) X\stackrel{(1_M\wedge wi'')\tilde{\psi}} {\longrightarrow}\Sigma^{2q}M\wedge W\stackrel{w_5}{\longrightarrow}V\stackrel {u_5}{\longrightarrow}\Sigma X
this can be seen by the following homotopy commutative diagram of 3\times 3-Lemma

\qquad\Sigma^{3q-1}M\wedge L\quad\longrightarrow \qquad Y\qquad\stackrel {\tilde{u}w_2}{\longrightarrow}\quad \Sigma X

\qquad\qquad\quad\searrow ^{1_M\wedge (\alpha_1)_L}\quad\nearrow \omega\quad \searrow w_4\quad\nearrow u_5\quad\searrow \widetilde{\psi} (9.2.28) \Sigma^{2q}M\quad\qquad\qquad\qquad V\qquad\qquad\Sigma^{2q+1}M

\qquad\qquad\qquad\nearrow \widetilde{\psi}\quad\searrow ^{1_M\wedge wi''}\quad \nearrow w_5\quad\searrow u_4\quad\nearrow _{1_M\wedge (\alpha_1)_L}

\quad\qquad\quad X\quad\longrightarrow\quad\Sigma^{2q}M\wedge W \quad\stackrel{1_M\wedge u}{\longrightarrow}\quad\Sigma^{3q}M\wedge L
By Lemma 9.2.21(B) and (9.2.23), f\wedge 1_L = (1_{E_{s+4}}\wedge u_4)f_5 for some f_5\in [\Sigma^{tq+3q+3}L\\, E_{s+4}\wedge V] and so by Lemma 9.2.21(A) we have
(9.2.29) (\bar a_{s+2}\bar a_{s+3}\wedge 1_{M\wedge L}) (1_{E_{s+4}}\wedge u_4)f_5\quad = \quad (\bar a_{s+2}\bar a_{s+3}\wedge 1_{M\wedge L})(f\wedge 1_L)

\qquad = \quad (1_{E_{s+2}}\wedge i\wedge 1_L)(\kappa\wedge 1_L) - (\bar c_{s+1}\wedge 1_{M\wedge L})(g\wedge 1_L).
It follows that (\bar a_s\bar a_{s+1}\bar a_{s+2}\bar a_{s+3}\wedge 1_{M\wedge L}) (1_{E_{s+4}}\wedge u_4)f_5 = 0 and so (\bar a_s\bar a_{s+1}\bar a_{s+2}\\\bar a_{s+3}\wedge 1_V)f_5 = (1_{E_s}\wedge w_4)f_6 with f_6\in [\Sigma^{tq+3q-1}L, E_s\wedge Y]. Clearly we have (\bar b_s\wedge 1_V)(1_{E_s}\wedge w_4)f_6 = 0, then (\bar b_s\wedge 1_Y)f_6 = 0 and by Ext_A^{s+1+r, tq+3q+r}(H^*Y,\\H^*L) = 0( r = 0,1, cf. Prop. 9.2.6) we have (\bar a_s\bar a_{s+1}\bar a_{s+2}\bar a_{s+3}\wedge 1_V)f_5 = (\bar a_s\bar a_{s+1}\\ \bar a_{s+2}\wedge 1_V)(1_{E_{s+3}}\wedge w_4)f_7, with f_7\in [\Sigma^{tq+3q+2}L, E_{s+3}\wedge Y]. Consequently we have (9.2.30) (\bar a_{s+1}\bar a_{s+2}\bar a_{s+3}\wedge 1_V)f_5

= (\bar a_{s+1}\bar a_{s+2}\wedge 1_V)(1_{E_{s+3}}\wedge w_4)f_7 + (\bar c_s\wedge 1_V)g_6
with d_1-cycle g_6\in [\Sigma^{tq+3q}L, KG_s\wedge V] which represents an element [g_6]\in Ext_A^{s,tq+3q}(H^*V,H^*L). Note that the d_1-cycle (\bar b_{s+3}\wedge 1_Y)f_7\in [\Sigma^{tq+3q+2}L,\\ KG_{s+3}\wedge Y] represents an element [(\bar b_{s+3}\wedge 1_Y)f_7]\in Ext_A^{s+3,tq+3q+2}(H^*Y,H^*L) which has two generators (cf. Prop. 9.2.5)(2)), then [(\bar b_{s+3}\wedge 1_Y)f_7] = \lambda'\bar h_*\widetilde{\phi}_*(\pi\wedge 1_L)_* [\sigma'_1\wedge 1_L] + \lambda''\bar h_*\widetilde{\phi}_*(\pi\wedge 1_L)_*[\sigma'_2\wedge 1_L] for some \lambda', \lambda''\in Z_p. By the vanishes of the secondary differential : 0 = d_2[(\bar b_{s+3}\wedge 1_Y)f_7] we know that \lambda' , \lambda'' is linearly dependent . Then we have
(9.2.31) [(\bar b_{s+3}\wedge 1_Y)f_7] = \lambda'\bar h_*\widetilde{\phi}_*(\pi\wedge 1_L)_*[\sigma'\wedge 1_L]

\qquad\qquad\qquad\in Ext_A^{s+3,tq+3q+2}(H^*Y,H^*L)
We claim that the scalar \lambda' in (9.2.31) is zero. This can be proved as follows.

The equation (9.2.30) means that the secondary differential of the ASS d_2[g_6] = 0\in E_2^{s+2,tq+3q+1}(L,V) = Ext_A^{s+2,tq+3q+1}(H^*V,H^*L), then [g_6]\in E_3^{s,tq+3q}(L,V) and

The third differential d_3[g_6] = (w_4)_*[(\bar b_{s+3}\wedge 1_Y)f_7] \in E_3^{s+3,tq+3q+2}(L,V)
Note that (\omega\wedge 1_L)(1_M\wedge (\alpha_1)_L)(i\wedge 1_L)\pi = (1_Y\wedge j)\alpha_{Y\wedge M}i(\alpha_1)_L\pi = \bar h\phi(\alpha_1)_L\pi = 0 , this is because \phi(\alpha_1)_L\in [\Sigma^{3q-2}L,L] = 0 which is obtained by \pi_{rq-2}S = 0 (r = 2,3,4). Hence , by (9.2.23), (i\wedge 1_L)\pi = u_4\tau with \tau \in [\Sigma^{4q}S, V] which has filtration 1. Moreover, u_4\tau\cdot p = (i\wedge 1_L)\pi\cdot p = 0 , then , by Prop. 9.2.3(4), \tau \cdot p = \widetilde{\lambda}w_4\bar h\widetilde{\phi}(\pi\wedge 1_L) \pi for some \widetilde{\lambda}\in Z_{(p)}. This scalar \widetilde{\lambda} must be zero (mod p),this is because the left hand side of the equation has filtration 2 and the right hand side has filtration 3 (cf. Remark 9.2.20 and Ext_A^{0,4q+1}(H^*V,Z_p) = 0 which is obtained by Ext_A^{0,4q+1}(H^*Y,Z_p) = 0 = Ext_A^{0,q+1}(H^*M\wedge L,Z_p)). Consequently, by Prop. 9.2.3(4) we have \tau\cdot p = 0 and so \tau = \overline{\tau}i with \overline{\tau}\in [\Sigma^{4q}M,V]. Since (u_4)_*(\pi)^*[g_6]\in Ext_A^{s+1,tq+q+1}(H^*M\wedge L, Z_p)\cong Z_p\{ (i\wedge 1_L)_*(\pi)_*(\sigma)\} ( cf. Prop. 9.2.8), then (u_4)_*\pi^*[g_6] = \lambda_0(i\wedge 1_L)_*\pi_*(\sigma) = \lambda_0(u_4)_*(\overline{\tau} i)_*(\sigma) for some \lambda_0\in Z_p and so by (9.2.23) we have \pi^*[g_6] = \lambda_0\overline{\tau}_* i_*(\sigma) \in Ext_A^{s+1,tq+3q+1}(H^*V, Z_p), this is because Ext_A^{s+1,tq+3q+1}\\(H^*Y,H^*L) = 0 (cf. Prop. 9.2.6). By the supposition on d_2(\sigma) = a_0\sigma' = p_*(\sigma')\in Ext_A^{s+2,tq+1}(Z_p,Z_p), we have d_2i_*( \sigma) = 0 so that i_*(\sigma)\in E_3^{s+2,tq+1}(S,\\M). Moreover, E_2^{s+3,tq+2}(S,M) = Ext_A^{s+3,tq+2}(H^*M,Z_p) = 0 (cf. Prop. 9.2.8) then E_3^{s+3,tq+2}(S,M) = 0 so that the third differential d_3i_*(\sigma) \in E_3^{s+3,tq+2}(S,M) = 0. Since \pi^*[g_6] = \lambda_0(\overline{\tau})_*i_*(\sigma)\in E_2^{s+1,tq+4q+1}(S,V), then \pi^*[g_6] = \lambda_0\overline{\tau}_*(i_*(\sigma))\in E_3^{s+1,tq+4q+1} (S,V) and so

d_3\pi^*[g_6] = \lambda_0d_3(\overline{\tau})_*(i_*(\sigma)) = \lambda_0(\overline{\tau})_*d_3(i_*(\sigma)) = 0\in E_3^{s+4,tq+4q+3}(S,V)
Hence, (w_4)_*\pi^*[(\bar b_{s+3}\wedge 1_Y)f_7] = d_3\pi^*[g_6] = 0 \in E_3^{s+4,tq+4q+2}(S,V). In addition, by the split exact sequence (9.2.26) we have \pi^*[(\bar b_{s+3}\wedge 1_Y)f_7] = 0\in E_3^{s+4,tq+4q+3}(S,Y). Then, in the E_2-term, \pi^*[(\bar b_5 \wedge 1_Y)f_7] must be a d_2-boundary, that is
\pi^*[(\bar b_{s+3}\wedge 1_Y)f_7] \in d_2E_2^{s+2,tq+4q+2}(S,Y) = d_2 Ext_A^{s+2,tq+4q+2}(H^*Y,Z_p) = 0
(cf. Prop. 9.2.6(1)). Hence, by (9.2.31), \lambda'\bar h_*\widetilde{\phi}_* (\pi\wedge 1_L)_*\pi_*(\sigma') = 0. This implies that the scalar \lambda' is zero (cf. Prop. 9.2.9(3)) which shows the above claim.

So,(9.2.30) becomes (\bar a_{s+1}\bar a_{s+2}\bar a_{s+3}\wedge 1_V)f_5 = (\bar a_{s+1}\bar a_{s+2}\bar a_{s+3}\wedge 1_V)(1_{E_{s+4}}\wedge w_4)f_8 + (\bar c_s\wedge 1_V)g_6 for some f_8\in [\Sigma^{tq+3q+3}L, E_{s+4}\wedge Y]. By composing 1_{E_{s+1}}\wedge u_5 on the above equation we have (\bar a_{s+1}\bar a_{s+2}\bar a_{s+3}\wedge 1_{X}) (1_{E_{s+4}}\wedge u_5)f_5 = (\bar a_{s+1}\bar a_{s+2}\bar a_{s+3}\wedge 1_{X})(1_{E_{s+4}}\wedge\widetilde{u}w_2)f_8 ( cf. (9.2.28)), this is because (1_{KG_s}\wedge u_5)g_6\in [\Sigma^{tq+3q-1}L, KG_s\wedge X] represents an element in Ext_A^{s,tq+3q-1}(H^*X,\\ H^*L) = 0 (cf. Lemma 9.2.18(2)) so that it is a d_1-boundary and (\bar c_s\wedge 1_{X})(1_{KG_s}\wedge u_5)g_6 = 0. Consequently we have
(9.2.32) (\bar a_{s+2}\bar a_{s+3}\wedge 1_{X})(1_{E_{s+4}}\wedge u_5)f_5

= (\bar a_{s+2}\bar a_{s+3}\wedge 1_{X})(1_{E_{s+4}}\wedge\widetilde{u}w_2)f_8 + (\bar c_{s+1}\wedge 1_{X})g_7
for some d_1-cycle g_7\in [\Sigma^{tq+3q+1}L, KG_{s+1}\wedge X] such that [g_7]\in Ext_A^{s+1,tq+3q}\\(H^*X, H^*L).

Now we prove (\bar c_{s+1}\wedge 1_X)g_7 = 0 as follows. By Lemma 9.2.18(2) and Prop. 9.2.7(1), [g_7] = \lambda_3(\widetilde{u}w_3)_*(\overline{\phi}_W)_*[\sigma\wedge 1_L] and the equation (9.2.32) means that the secondary differential d_2[g_7] = 0. Since d_2(\sigma) = a_0\sigma' = p_*(\sigma')\in Ext_A^{s+2,tq+1}(Z_p,Z_p) , then \lambda_3(\widetilde{u}w_3)_* (\overline{\phi}_W)_*(p\wedge 1_L)_*[\sigma'\wedge 1_L] = d_2[g_7] = 0 \in Ext_A^{s+3,tq+3q+1}(H^*X,H^*L). By Lemma 9.2.18(1), this implies that \lambda_3 = 0 so that g_7 is a d_1-boundary and (\bar c_{s+1}\wedge 1_X)g_7 = 0.

Hence, (9.2.32) becomes (\bar a_{s+2}\bar a_{s+3}\wedge 1_{Y\wedge W}) (1_{E_{s+4}}\wedge u_5)f_5 = (\bar a_{s+2}\bar a_{s+3}\wedge 1_{X})(1_{E_{s+4}}\wedge \widetilde{u}w_2)f_8 and so by (9.2.28)(9.2.12) we have, (\bar a_{s+2}\bar a_{s+3}\wedge 1_{M})(1_{E_{s+4}}\\\wedge (1_M\wedge (\alpha_1)_L)u_4)f_5 = (\bar a_{s+2}\bar a_{s+3}\wedge 1_M)(1_{E_{s+4}}\wedge\widetilde{\psi}u_5)f_5 = 0. On the other hand, by composing (1_{E_{s+2}}\wedge 1_M\wedge (\alpha_1)_L) on the equation (9.2.29) we have (1_{E_{s+2}}\wedge i)\kappa\cdot (\alpha_1)_L = (1_{E_{s+2}}\wedge 1_M\wedge (\alpha_1)_L)(1_{E_{s+2}}\wedge i\wedge 1_L)(\kappa\wedge 1_L) = (\bar a_{s+2}\bar a_{s+3}\wedge 1_{M})(1_{E_{s+4}}\wedge (1_M\wedge (\alpha_1)_L)u_4)f_5 = 0.

It follows that
(9.2.33) \kappa\cdot (\alpha_1)_L = (1_{E_{s+2}}\wedge p)f_9
for some f_9\in [\Sigma^{tq+q}L, E_{s+2}]. Since \bar b_{s+2}\cdot\kappa = a_0\sigma' = p_*(\sigma')\in Ext_A^{s+2,tq+1}(Z_p,\\Z_p), then \kappa\cdot (\alpha_1)_L lifts to a map \tilde{f}\in [\Sigma^{tq+q+1}L, E_{s+3}] such that \bar b_{s+3}\cdot \tilde{f} represents p_*((\alpha_1)_L)_*[\sigma'\wedge 1_L]\neq 0 \in Ext_A^{s+3,tq+q+1}(Z_p, H^*L) ( cf. Prop. 9.2.3(1)). Then , by (9.2.33), p_*[\bar b_{s+2}\cdot f_9] = p_*((\alpha_1)_L)_*[\sigma'\wedge 1_L] so that [\bar b_{s+2}\cdot f_9]\in Ext_A^{s+2,tq+q}(Z_p,H^*L) must equal to ((\alpha_1)_L)_*[\sigma'\wedge 1_L] , this is because the group has two generators ((\alpha_1)_L)_*[\sigma'_1\wedge 1_L], ((\alpha_1)_L)_*[\sigma'_2\wedge 1_L]. Write \xi_{n,s+2} = f_9 i'', then
(9.2.34) \kappa\cdot\alpha_1 = (1_{E_s+2}\wedge p)\xi_{n,s+2}
such that \bar b_{s+2}\cdot \xi_{n,s+2} = h_0\sigma'\in Ext_A^{s+2,tq+q}(Z_p,Z_p) and by Lemma 9.2.10 we have (\bar c_{s+1}\wedge 1_M)(1_{KG_{s+1}}\wedge i)h_0\sigma = (1_{E_{s+2}}\wedge i)\kappa\cdot\alpha_1 = 0. This shows the second result of the main Theorem.

In addition, by (9.2.34) and Lemma 9.2.10(2), \bar a_0\bar a_1\cdots\bar a_{s+1}(1_{E_{s+2}} \wedge p)\xi_{n,s+2}\\ = 0, this shows that \xi_n = \bar a_0\bar a_1\cdots\bar a_{s+1} \cdot\xi_{n,s+2}\in \pi_{tq+q-s-2}S is an element of order p and it is represented by h_0\sigma'\in Ext_A^{s+2,tq+q}(Z_p,Z_p) in the ASS. Q.E.D.

(1) Consider the following exact sequence ( r = 1,2,3)
Ext_A^{s+1,tq+r}(Z_p,Z_p)\stackrel{i_*}{\rightarrow} Ext_A^{s+1,tq+r}(H^*M,Z_p) \stackrel{j_*}{\rightarrow} Ext_A^{s+1,tq+r-1}(Z_p,Z_p)\stackrel{p_*}{\rightarrow}
induced by (9.1.1). By the supposition, the left group is zero for r = 2,3 and has unique generator a_0\sigma = p_*(\sigma) for r = 1 so that im i_* = 0. By the supposition, the right group is zero for r = 3 and has unique generator a_0\sigma for r = 2 which satisfies p_*(a_0\sigma) = a_0^2\sigma\neq 0. By the supposition, the right group is zero for r = 1 and has (one or two) generator \sigma' for r = 2 (both) satisfying p_*(\sigma') = a_0\sigma'\neq 0. Then , the above p_* is monic so that im j_* = 0. This shows that the middle group is zero which shows the first result. The second result can be obtained immediately by the first result.

(2) Consider the following exact sequence (r = 0,1)

Ext_A^{s+1,tq+r+1}(Z_p,Z_p)\stackrel{j^*}{\longrightarrow} Ext_A^{s+1,tq+r}(Z_p,H^*M)

\qquad\quad\stackrel{i^*}{\longrightarrow} Ext_A^{s+1,tq+r}(Z_p,Z_p)\stackrel{p^*}{\longrightarrow}
induced by (9.1.1). By the supposition, the left group is zero for r = 1 and has unique generator a_0\sigma = p^*(\sigma) for r = 0 so that im j^* = 0. The right group has unique generator a_0\sigma for r = 1 which satisfies p^*(a_0\sigma) = a_0^2\sigma\neq 0. The right group is zero for r = 0 or has (one or two) generator \sigma' satisfying p^*(\sigma') = a_0\sigma'\neq 0. Then im i^* = 0 so that the middle group is zero as desired. The proof of the second result is similar. Q.E.D.

(1) Consider the following exact sequence
\quad 0 = Ext_A^{s,tq+1}(H^*M,Z_p)\stackrel{j^*}{\rightarrow} Ext_A^{s,tq}(H^*M,H^*M) \stackrel{i^*}{\rightarrow} Ext_A^{s,tq}(H^*M,Z_p)\stackrel{p^*}{\rightarrow}
induced by (9.1.1). The right group has unique generator i_*(\sigma) , this is because Ext_A^{s,tq-r}(Z_p,Z_p) = 0 for r = 1) and has unique generator \sigma for r = 0. Moreover, p^*i_*(\sigma) = i_*p^*(\sigma) = i_*(a_0\sigma) = i_* p_*(\sigma) = 0, then the middle has unique generator \tilde{\sigma} such that i^*(\tilde{\sigma}) = i_*(\sigma). This shows the result and the second relation can be similarly proved.

(2) By the supposition, Ext_{A}^{s+1,tq+q}(Z_{p},Z_{p}) has unique generator h_{0}\sigma = j_{*}\alpha_{*}i_{*}(\sigma) = j_{*}\alpha_{*}i^{*}(\tilde{\sigma}), Then the result follows by the following exact sequence

\stackrel{p^{*}}{\rightarrow}Ext_{A}^{s+1,tq+q+1}(H^{*}M,Z_{p}) \stackrel{j^{*}}{\rightarrow}Ext_{A}^{s+1,tq+q}(H^{*}M,H^{*}M)

\qquad\quad\stackrel{i^{*}}{\rightarrow}Ext_{A}^{s+1,tq+q}(H^{*}M,Z_{p})\stackrel{p^{*}} {\longrightarrow}
induced by (9.1.1), where the right group has unique generator i^{*}(ij)_{*}\alpha_{*}(\tilde{\sigma}) = (ij)_{*}\alpha_{*}i_{*}(\sigma) satisftying p^{*}(ij)_{*} \alpha_{*}i_{*}(\sigma) = (ij)_{*}\alpha_{*}i_{*}p_{*}(\sigma) = 0 and the left group has unique generator \alpha_{*}i_{*}(\sigma) = i^{*}\alpha_{*}(\tilde{\sigma}).

(3) Consider the following exact sequence

Ext_A^{s+1,tq+q+2}(H^*M,Z_p)\stackrel{j^*}{\longrightarrow} Ext_A^{s+1,tq+q+1} (H^*M,H^*M)

\qquad\quad \stackrel{i^*}{\longrightarrow} Ext_A^{s+1,tq+q+1}(H^*M,Z_p)\stackrel {p^*}{\longrightarrow}
induced by (9.1.1). The left group is zero, this is because by the supposition, Ext_A^{s+1,tq+q+r}(Z_p,Z_p) = 0 for r = 1,2,3. The right group has unique generator (\alpha i)_*(\sigma) = i^*\alpha_*(\tilde{\sigma}), this is because Ext_A^{s+1,tq+q+r} (Z_p,Z_p) is zero for r = 1 and has unique generator h_0\sigma = j_*(\alpha i)_*(\sigma) for r = 0. Since p^*(\alpha i)_*(\sigma) = (\alpha i)_*p_*(\sigma) = 0, then the middle group has unique generator \alpha_*(\tilde{\sigma}) as desired. Moreover we have \alpha_*(\tilde{\sigma}) = \alpha^*(\tilde{\sigma}), this is because i^*j_*\alpha_*(\tilde{\sigma}) = j_*\alpha_*i_*(\sigma) = h_0\sigma = (j\alpha i)^*(\sigma) = i^*j_*\alpha^*(\tilde{\sigma}).

(4) Consider the following exact sequence

Ext_{A}^{s+1,tq+q}(H^{*}M,H^{*}M) \stackrel{i'_{*}}{\rightarrow}Ext_{A}^{s+1,tq+q}(H^{*}K,H^{*}M)

\qquad\quad\stackrel{j'_{*}} {\rightarrow}Ext_{A}^{s+1,tq-1}(H^{*}M,H^{*}M)\stackrel{\alpha_{*}}{\longrightarrow}
induced by (9.1.2). By the supposition, Ext_{A}^{s+1,tq-r}(Z_{p},Z_{p}) = 0 for r = 1,2 and has unique generator \sigma' for r = 0 , then the right group has unique generator (ij)^{*}(\tilde{\sigma'}) satisfying \alpha_{*}(ij)^{*}(\tilde{\sigma'}) = j^{*}\alpha_{*}i_{*}(\sigma') \neq 0\in Ext_{A}^{s+2,tq+q}(H^{*}M,\\H^{*}M) . Hence, Ext_{A}^{s+1,tq+q}(H^{*}K,H^{*}M) = i'_{*}Ext_{A} ^{s+1,tq+q}\\(H^{*}M,H^{*}M) has unique generator (i')_{*}(ij)_{*}\alpha_{*}\tilde{\sigma} = i'_{*}(\alpha_{1}\wedge 1_{M})_{*}(\tilde{\sigma}), this is because (\alpha_{1}\wedge 1_{M})_{*}(\tilde{\sigma}) = (ij)_{*}\alpha_{*}(\tilde{\sigma}) - \alpha_{*}(ij)_{*} (\tilde{\sigma}) which is obtained by \alpha_{1}\wedge 1_{M} = ij\alpha - \alpha ij. Q.E.D.

(1) Consider the following exact sequence

\qquad Ext_{A}^{s+1,tq+2q+r}(H^{*}M,H^{*}M)\stackrel{i'_{*}}{\rightarrow} Ext_{A}^{s+1,tq+2q+r}(H^{*}K,H^{*}M)

\qquad\qquad \stackrel{j'_{*}}{\rightarrow}Ext_{A} ^{s+1,tq+q+r-1}(H^{*}M,H^{*}M)\stackrel{\alpha_{*}}{\rightarrow}
induced by (9.1.2). The left group is zero by the supposition on Ext_{A}^{s+1,tq+2q+u}\\(Z_{p}, Z_{p}) = 0 for u = -1, 0, 1, 2 . The right group has unique generator (ij)^{*}(ij)_{*}\alpha_{*}(\tilde{\sigma}) for r = 0 and is generated by two generators (ij)_{*}\alpha_{*}(\tilde{\sigma}) , (ij)^{*}\alpha_{*}(\tilde{\sigma}) for r = 1. Moreovre, the right group has unique generator \alpha_{*}(\tilde{\sigma}) for r = 2 (cf. Prop. 9.3.1(3)). We claim that (i) \alpha_{*}(ij)^{*}(ij)_{*}\alpha_{*}(\tilde{\sigma}) \neq 0 . (ii) \alpha_{*}[\lambda_{1}(ij)_{*}\alpha_{*}(\tilde{\sigma}) + \lambda_{2} \alpha_{*}(ij)^{*}(\tilde{\sigma})] \neq 0. (iii) \alpha_{*}\alpha_{*} (\tilde{\sigma}) \neq 0. Then the above \alpha_{*} is monic and so im j'_{*} = 0. This shows Ext_{A}^{s+1,tq+2q+r}(H^{*}K,H^{*}M) = 0 with r = 0, 1, 2 and consequently we have Ext_{A}^{s+1,tq+2q+1} (H^{*}K,Z_{p}) = 0.

To prove the claim, recall from the supposition that \widetilde{\alpha}_{2}\sigma = j_{*}\alpha_{*}\alpha_{*}i_{*}(\sigma)\\ \neq 0 \in Ext_{A}^{s+2,tq+2q+1}(Z_{p},Z_{p}), then i_{*}(\widetilde{\alpha}_{2}\sigma) \neq 0 \in Ext_{A}^{s+2,tq+2q+1}(H^{*}M,Z_{p}) , this is because Ext_{A}^{s+1,tq+2q}(Z_{p},Z_{p}) = 0 from the supposition. In addition, we also have j^{*}i_{*}(\alpha_{2}\sigma)\neq 0 \in Ext_{A}^{s+2,tq+2q}(H^{*}M, H^{*}M) ,this is because Ext_{A}^{s+1,tq+2q} (H^{*}M,Z_{p}) = 0. Hence, by 2 \alpha ij\alpha = ij \alpha^{2} + \alpha^{2}ij we have
(9.3.3) \qquad \alpha_{*}(ij)^{*}(ij)_{*}\alpha_{*}(\tilde{\sigma}) = j^{*}\alpha_{*}(ij)_{*}\alpha_{*}i_{*}(\sigma)

\qquad\quad = \frac{1}{2} j^{*}(ij)_{*}\alpha_{*}\alpha_{*}i_{*}(\sigma) = \frac{1}{2}j^{*}i_{*}(\alpha_{2}\sigma) \neq 0
This shows the claim (i). For the claim (ii),

\alpha_{*}[\lambda_{1}(ij)_{*}\alpha_{*}(\tilde{\sigma}) + \lambda_{2}\alpha_{*} (ij)^{*}(\tilde{\sigma})]

\quad = \frac{1}{2}\lambda_{1}(ij)_{*}\alpha_{*}\alpha_{*}(\tilde{\sigma}) + (\frac{1}{2}\lambda_{1}+\lambda_{2})\alpha_{*}\alpha_{*}(ij)^{*}(\tilde{\sigma})\neq 0 , this is because this two terms is linearly independent which can be obtained from (ij)_{*}\alpha_{*}\alpha_{*}(ij)^{*}(\tilde{\sigma})\neq 0 ( cf. (9.3.3)). The claim (iii) is immediate , this is because i^{*}j_{*}\alpha_{*}\alpha_{*}(\tilde{\sigma}) = j_{*}\alpha_{*}\alpha_{*} i_{*}(\sigma) = \widetilde{\alpha}_{2}\sigma \neq 0.

(2) Consider the following exact sequence (r = 1,2,3)

Ext_{A}^{s+1,tq+q+r}(H^{*}M,Z_{p})\stackrel{i'_{*}}{\longrightarrow} Ext_{A}^{s+1,tq+q+r}(H^{*}K,Z_{p})

\qquad\quad\stackrel{j'_{*}}{\longrightarrow} Ext_{A}^{s+1,tq+r-1}(H^{*}M,Z_{p})\stackrel{\alpha_{*}}{\longrightarrow}
induced by (9.1.2). The left group is zero for r = 2,3 which can be obtained from the supposition of Ext_{A}^{s+1,tq+q+u}(Z_{p},Z_{p}) = 0( u = 1,2,3). The left group has unique generator \alpha_{*}i_{*}(\sigma) for r = 1, then in any case we have im i'_{*} = 0. The right group is zero for r = 2,3 (cf. Prop. 9.3.0) and has unique generator i_{*}(\sigma') for r = 1 which satisfies \alpha_{*}i_{*}(\sigma') \neq 0 \in Ext_{A}^{s+2,tq+q+1}(H^{*}M,Z_{p}) so that j'_{*} = 0 and the result follows.

(3) Consider the following exact sequence

Ext_{A}^{s+1,tq+2q+1}(H^{*}K,H^{*}M)\stackrel{(j')^{*}}{\longrightarrow} Ext_{A}^{s+1,tq+q}(H^{*}K,H^{*}K)

\qquad\quad\stackrel{(i')^{*}}{\longrightarrow}Ext_{A} ^{s+1,tq+q}(H^{*}K,H^{*}M)
induced by (9.1.2). The left group is zero by (1) and the right group has unique generator i'_{*}(ij)_{*}\alpha_{*}(\tilde{\sigma}) (cf. Prop. 9.3.1(4)) which satisfies \alpha^{*}i'_{*}(ij)_{*}\\\alpha_{*}(\tilde{\sigma}) = i'_{*}(ij)_{*} \alpha_{*}\alpha^{*}(\tilde{\sigma}) = i'_{*}(ij)_{*}\alpha_{*}\alpha_{*}(\tilde{\sigma}) = 0, this is because i'ij\alpha^{2}\\ = 2 i'\alpha ij\alpha - i'\alpha^{2} ij = 0 \in [\Sigma^{2q-1}M,K]. Then the result follows. Q.E.D.

Consider the following exact sequence

Ext_{A}^{s+1,tq+2q}(H^{*}K,H^{*}M)\stackrel{(j')^{*}}{\longrightarrow} Ext_{A}^{s+1,tq+q-1}(H^{*}K,H^{*}K)

\qquad\quad\stackrel{(i')^{*}}{\longrightarrow}Ext_{A}^{s+1,tq+q-1}(H^{*}K, H^{*}M)
induced by (9.1.2). The left group is zero by Prop. 9.3.2(1) and similar to that in Prop. 9.3.1, the right group has unique generator (ij)^{*}i'_{*} (ij)_{*}\alpha_{*}(\tilde{\sigma}) = i'_{*}(ij)_{*}(\alpha_{1}\wedge 1_{M})_{*}(\tilde{\sigma}) which satisfies \alpha^{*} i'_{*}(ij)_{*}(\alpha_{1}\wedge 1_{M})_{*}(\tilde{\sigma}) = i'_{*}(ij)_{*}(\alpha_{1}\wedge 1_{M})_{*}\alpha_{*}(\tilde{\sigma}) = 0 \in Ext_{A}^{s+2,tq+2q}(H^{*}K, H^{*}M), this is because i'ij(\alpha_{1}\wedge 1_{M}) \alpha = 0 \in [\Sigma^{2q-2}M,K]. Then the result follows. Q.E.D.

Consider the following exact sequence

Ext_{A}^{s+1,tq+q}(H^{*}M,H^{*}M)\stackrel{\psi_{*}}{\longrightarrow} Ext_{A}^{s+1,tq+q+1}(H^{*}K'\wedge M , H^{*}M)

\qquad\quad \stackrel{\rho_{*}}{\longrightarrow} Ext_{A}^{s+1,tq+q+1}(H^{*}K,H^{*}M) = 0
induced by (9.1.17). The result follows immediately form Prop. 9.3.1(2) and Prop.9.3.2.(Note: By the supposition, similar to that given in Prop. 9.3.2(2), we can prove that Ext_A^{s,tq+q+1}(H^*K,H^*M) = 0 so that the above \psi_* is monic). Q.E.D.

Consider the following exact sequence

Ext_{A}^{s,tq+q+1}(H^{*}K,H^{*}M)\stackrel{(j')^{*}}{\longrightarrow} Ext_{A}^{s,tq}(H^{*}K,H^{*}K)

\qquad\quad\stackrel{(i')^{*}}{\longrightarrow} Ext_{A}^{s,tq}(H^{*}K,H^{*}M)
induced by (9.1.2). Since j'_{*}Ext_{A}^{s,tq+q+1}(H^{*}K,H^{*}M) \subset Ext_{A}^{s,tq}(H^{*}M,H^{*}M)\\\cong Z_{p}\{\tilde{\sigma}\} and \alpha_{*}(\tilde{\sigma}) \neq 0 \in Ext_{A}^{s+1,tq+q+1}(H^{*}M,H^{*}M), then im (j')_* = 0 and so Ext_{A}^{s,tq+q+1}(H^{*}K,H^{*}M) = i'_{*} Ext_{A}^{s,tq+q+1}(H^{*}M,H^{*}M). Moreover, by the supposition on Ext_{A}^{s,tq+q+r}(Z_{p},Z_{p}) = 0 , r = 1,2, and Ext_A^{s,tq+q}(Z_p,Z_p) is zero or \cong Z_p\{h_0\sigma''\} we have Ext_A^{s,tq+q+1}(H^*M,H^*M) \cong Z_p\{\alpha_*(\tilde{\sigma''})\}, then Ext_A^{s,tq+q+1}(H^*K,H^*M) = (i')_*Ext_A^{s,tq+q+1}(H^*M,H^*M) = 0. On the other hand, it is easily seen that Ext_{A}^{s,tq}(H^{*}K,H^{*}M) has unique generator i'_{*}(\tilde{\sigma}) which satisfies \alpha^{*}i'_{*}(\tilde{\sigma}) = i'_{*}\alpha_{*}(\tilde{\sigma}) = 0. Then the result follows. Q.E.D.

By (6.5.5), there is \alpha'' \in [\Sigma^{q-2}K,K] such that \alpha'' i' = i'ij\alpha ij. Let X be the cofibre of \alpha'' : \Sigma^{q-2}K \rightarrow K given by the cofibration
(9.3.7) \qquad\quad \Sigma^{q-2}K\stackrel{\alpha''}{\longrightarrow} K\stackrel{w} {\longrightarrow}X \stackrel{u}{\longrightarrow} \Sigma^{q-1}K,
Then, \alpha'' induces a boundary homomorphism (or connecting homomotphism) (\alpha'')^{*} : Ext_{A}^{s,tq}(H^{*}K,H^{*}K)) \rightarrow Ext_{A}^{s+1,tq+q-1} (H^{*}K,H^{*}K). Since \alpha'' i' = i' ij\alpha ij = i' ij(\alpha_{1}\wedge 1_{M}) , then (i')^{*}(\alpha'')^{*}(\sigma)' = (\alpha'' i')^{*}(\sigma)' = (i'ij(\alpha_{1}\wedge 1_{M}))^{*}(\sigma)' = (\alpha_{1}\wedge 1_{M})^{*}(ij)^{*}(i')^{*}(\sigma)'= (i'ij)_{*}(\alpha_{1}\wedge 1_{M})_{*}(\tilde{\sigma}) = (i')^{*}(h_{0}\sigma)'' (cf. Prop. 9.3.4) . Then we have
(9.3.8) \quad (h_{0}\sigma)'' = (\alpha'')^{*}(\sigma)' \in Ext_{A}^{s+1,tq+q-1}(H^{*}K,H^{*}K)
this is because the above (i')^{*} is monic which can be obtained by Ext_{A}^{s+1,tq+2q}\\(H^{*}K,H^{*}M) = 0 (cf. Prop. 9.3.2).

After finishing the above preminilaries , we now turn to prove the following Theorem 9.3.9. It is proved by some argument processing in the Adams resolution (9.2.9) of some spectra related to the sphere spectrum S.

Recall that X is the cofibre of \alpha'' : \Sigma^{q-2}K \rightarrow K given by the cofibration (9.3.7). Since (h_{0}\sigma)'' \in [\Sigma^{tq+q-1}K,KG_{s+1}\wedge K] represents (h_{0}\sigma)'' = (\alpha'')^{*}(\sigma)' \in Ext_{A}^{s+1,tq+q-1} (H^{*}K, H^{*}K), then (h_{0}\sigma)''u \in [\Sigma^{tq}X, \\KG_{s+1}\wedge K] is a d_{1}-boundary so that (\bar c_{s+1}\wedge 1_{K})(h_{0}\sigma)''u = 0 and (\bar c_{s+1}\wedge 1_{K})(h_{0}\sigma)'' = f' \alpha'' for some f' \in \Sigma^{tq+1}K,E_{s+2}\wedge K]. It follows that (\bar a_{s+1}\wedge 1_{K}) f' \alpha'' = 0 and so (\bar a_{s+1}\wedge 1_{K})f' = f'_{2}w with f'_{2} \in [\Sigma^{tq}X, E_{s+1}\wedge K]. Then, (\bar b_{s+1}\wedge 1_{K})f'_{2}w = 0 and (\bar b_{s+1}\wedge 1_{K})f'_{2} = g'\cdot u for some g' \in [\Sigma^{tq+q-1}K, KG_{s+1}\wedge K]. g' is a d_{1}-cycle, this is because (\bar b_{s+2}\bar c_{s+1} \wedge 1_{K})g' = g'_{2}\alpha'' (with g'_{2} \in [\Sigma^{tq+1}K,KG_{s+2}\wedge K]) = 0 since \alpha'' induces zero homomorphism in Z_{p}-cohomology. Then, by Prop. 9.3.4 and (9.3.8), g' represents (h_{0}\sigma)'' = (\alpha'')^{*}(\sigma)' \in Ext_{A}^{s+1,tq+q-1}(H^{*}K,H^{*}K) and so g'\cdot u is a d_{1}-boundary , that is g'\cdot u = (\bar b_{s+1}\bar c_{s}\wedge 1_{K})g'_{3} with g'_{3} \in [\Sigma^{tq}X,KG_{s}\wedge K]. Then (\bar b_{s+1}\wedge 1_{K})f'_{2} = (\bar b_{s+1}\bar c_{s}\wedge 1_{K})g'_{3} and so f'_{2} = (\bar c_{s}\wedge 1_{K})g'_{3} + (\bar a_{s+1}\wedge 1_{K})f'_{3} for some f'_{3} \in [\Sigma^{tq+1}X,E_{s+2}\wedge K] and we have (\bar a_{s+1}\wedge 1_{K})f' = f'_{2} w = (\bar c_{s}\wedge 1_{K})g'_{3}w + (\bar a_{s+1}\wedge 1_{K})f'_{3}w. Clearly, g'_{3}w \in [\Sigma^{tq}K,KG_{s}\wedge K] is a d_{1}-cycle which represents Ext_{A}^{s,tq}(H^{*}K,H^{*}K) \cong Z_{p}\{(\sigma)'\} (cf. Prop. 9.3.6). Then g'_{3}w = \sigma\wedge 1_{K} (up to scalar and modulo d_1-boundary), where \sigma \in \pi_{tq}KG_{s} \cong Ext_{A}^{s,tq}(Z_{p},Z_{p}). So we have (\bar a_{s+1}\wedge 1_{K})f' = (\bar c_{s}\wedge 1_{K})(\sigma\wedge 1_{K}) + (\bar a_{s+1}\wedge 1_{K})f'_{3}w = (\bar a_{s+1}\wedge 1_{K})(\kappa\wedge 1_{K}) + (\bar a_{s+1}\wedge 1_{K})f'_{3}w , where \kappa \in \pi_{tq+1}E_{s+2} satisfying \bar a_{s+1}\kappa = \bar c_{s}\sigma. It follows that f' = \kappa \wedge 1_{K} + f'_{3}w + (\bar c_{s+1}\wedge 1_{K})g'_{4} for some g'_{4} \in [\Sigma^{tq+1}K, KG_{s+1}\wedge K] and we have (\bar c_{s+1}\wedge 1_{K}) (h_{0}\sigma)'' = f'\alpha'' = (\kappa\wedge 1_{K})\alpha'' = (1_{E_{s+2}}\wedge \alpha'') (\kappa\wedge 1_{K}). This shows (1). The proof of (2) is similar. Q.E.D.

By Theorem 9.3.9, there exists
(\eta_{n,s+1})'' \in [\Sigma^{tq+q-1}K, E_{s+1}\wedge K] such that (\bar b_{s+1}\wedge 1_K)(\eta_{n,s+1})'' = (h_0\sigma)''\in [\Sigma^{tq+q-1}K, KG_{s+1}\wedge K]. Let (\eta_n)'' = (\bar a_0\cdots \bar a_s\wedge 1_K) (\eta_{n,s+1})''\in [\Sigma^{tq+q-s-2}K,\\K] and consider the map
(\eta_n)''\beta i'i\in\pi_{tq+pq+2q-s-2}K
where \beta\in [\Sigma^{(p+1)q}K,K] is the known second periodicity element which has filtration 1. Since (\eta_n)'' is represented by (h_0\sigma)'' \in Ext_A^{s+1,tq+q-1}(H^*K,H^*K) in the ASS, then (\eta_n)''\beta i'i\in \pi_{tq+pq+2q-s-2}K is represented by (\beta i'i)^*(h_0\sigma)''\\ = (\beta i'i)^* (\alpha'')^*(\sigma)' = \alpha''_*\beta_*(i'i)_*(\sigma)\in Ext_A^{s+2,tq+pq+2q}(H^*K,Z_p). By [14] Theorem 3.2 and [15] Theorem 5.2 we know that \alpha''\beta i'i\in \pi_{pq+2q-2}K is represented by \alpha''_*\beta_*(i'i)_*(1) = (i'i)_*(g_0)\in Ext_A^{2,pq+2q}(H^*K,Z_p)(up to nonzero scalar) in the ASS so that (\eta_n)''\beta i'i is represented by \alpha''_* \beta_*(i'i)_*(\sigma) = (i'i)_*(g_0\sigma)\in Ext_A^{s+2,tq+pq+2q}(H^*K,Z_p). Q.E.D.

Using the stronger result of the main Theorem A which is stated in the Remark 9.2.35, the result of the main Theorem B also can be obtained by the following main Theorem B’.

The main Theorem B’ Let \sigma\in Ext_A^{s,tq}(Z_p,Z_p), \sigma'\in Ext_A^{s+1,tq}(Z_p,\\Z_p) be a pair of a_0-related elements, that is, there is a secondary differential d_2(\sigma) = a_0\sigma'. Suppose that all the supposition of the main Theorem A hold, then (i'i)_*(g_0\sigma)\in Ext_A^{s+2,tq+pq+2q}(H^*K,Z_p), (i'i)_*(g_0\sigma')\in Ext_A^{s+3,tq+pq+2q}\\(H^*K,Z_p) are permanent cycles in the ASS.

Let \phi\sigma\in\pi_{tq+2q}KG_{s+1}, \phi\sigma'\in\pi_{tq+2q}KG_{s+2} be d_1-cycles which represent \phi_*(\sigma)\in Ext_A^{s+1,tq+2q}(H^*L,Z_p), \phi_*(\sigma')\in Ext_A^{s+2,tq+2q}(H^*L,Z_p) respectively. By the stronger result of the main Theorem A (cf. Remark 9.2.35) we have (\bar c_{s+2}\wedge 1_L)\phi\sigma' = 0, (\bar c_{s+1} \wedge 1_{L\wedge M})(1_{KG_{s+1}}\wedge 1_L\wedge i)\phi\sigma = 0. Then (\bar c_{s+2}\wedge 1_{L\wedge K}) (\phi\sigma'\wedge 1_K) = 0 and by using the multiplication of the ring spectrum K we have (\bar c_{s+1}\wedge 1_{L\wedge K})(\phi\sigma)\wedge 1_K) = 0. In addition, (h_0\sigma)'' = (1_{KG_{s+1}}\wedge\overline{\Delta})(\phi\sigma\wedge 1_K), (h_0\sigma')'' = (1_{KG_{s+2}}\wedge \overline{\Delta})(\phi\sigma'\wedge 1_K), this is because \overline{\Delta}(\phi\wedge 1_K) = \alpha''\in [\Sigma^{q-2}K,K]. Then we have (\bar c_{s+1}\wedge 1_K)(h_0\sigma)'' = 0,(\bar c_{s+2}\wedge 1_K)(h_0\sigma')'' = 0. The remaining steps is similiar to that given in the proof of the main Theorem B. Q.E.D.

In this section, we will prove that, under some suppositions, the convergence of the element (1_L\wedge i)_*\phi_*(\sigma)\in Ext_A^{s+1,tq+2q}(H^*L \wedge M,Z_p) can be pull backed to obtain the convergence of h_0\sigma\in Ext_A^{s+1,tq+q}(Z_p,Z_p) in the stable homotopy groups of spheres. We have the following main Theorem.

The main Theorem C ( generalization of [24] Theorem A) Let p\geq 5, s\leq 4 and suppose that

(I)(a) Ext_A^{s,tq}(Z_p,Z_p)\cong Z_p\{\sigma\}, Ext_A^{s+1,tq+q}(Z_p,Z_p)\cong Z_p\{h_0\sigma\}

Ext_A^{s+2,tq+2q+1}(Z_p,Z_p)\cong Z_p\{\widetilde{\alpha}_2\sigma\} satisfying a_0^2\sigma\neq 0.

(b) Ext_A^{s+1,tq+u}(Z_p,Z_p)\cong Z_p\{a_0\sigma\} for u = 1 and is zero for u = 2,3.

Ext_A^{s+1,tq}(Z_p,Z_p) is zero or has (one or two) generator \sigma' such that (both) satisfies

h_0\sigma'\neq 0, a_0\sigma'\neq 0,

Ext_A^{s+1,tq+rq+u}(Z_p,Z_p) = 0 for r = -1,2,3, u = -2,-1,0,1,2,3 or

for r = 1, u = -2,-1,1,2,3

(c) Ext_A^{s,tq+u}(Z_p,Z_p) = 0 for u = -1,1,2,3

Ext_A^{s,tq+rq+u}(Z_p,Z_p) = 0 for r = -2,-1,1,2, u = -2,-1,0,1,2,3

(II) (1_L\wedge i)_*(\phi)_*(\sigma)\in Ext_A^{s+1,tq+2q}(H^*L\wedge M,Z_p) is a permanent cycle in the ASS, then (\alpha i)_*(\sigma)\in Ext_A^{s+1,tq+q+1}(H^*M,Z_p) also is a permanent cycle in tha ASS so that h_0\sigma = j_*(\alpha i)_*(\sigma)\in Ext_A^{s+1,tq+q} (Z_p,Z_p) converges to an element in \pi_{tq+q-s-1}S of order p.

Note that the supposition (I) of the main Thoerem C contains the supposition I of the main Thoerem B, then some results on Ext groups in \S 3 also hold under the supposition of the main Theorem C. Before proving the main Theorem C, we first recall the properties of some spectra related to K and M and prove some results on low dimensional Ext groups.

By (9.1.27), ((1_Y\wedge j)\alpha_{Y\wedge M}\wedge 1_M)\overline{m}_M = \alpha_{Y\wedge M} , (9.2.12) and the following homotopy commutative diagram of 3\times 3-Lemma

\qquad\quad X\wedge M\stackrel{m_M(\tilde{\psi}\wedge 1_M)}{\longrightarrow} \Sigma^{2q}M\qquad\stackrel{0}{\longrightarrow}\qquad\Sigma^{2q+2}M

\qquad\qquad\quad\searrow ^{\tilde{\psi}\wedge 1_M}\quad\nearrow m_M\qquad\searrow ^{(\phi\wedge 1_K) i'}\nearrow _{j'(j''\wedge 1_K)}\quad\searrow\overline{m}_M
(9.4.1) \Sigma^{2q}M\quad\qquad\qquad\qquad \Sigma L\wedge K\quad\qquad\qquad\Sigma^{2q+2}M\wedge M

\qquad\qquad\quad\nearrow \overline{m}_M\quad\searrow ^{(1_Y\wedge j)\alpha_{Y\wedge M}\wedge 1_M} \nearrow \quad\qquad\searrow u'\quad\nearrow \widetilde{\psi}\wedge 1_M

\qquad\quad\Sigma^{2q+1}M\quad \stackrel{\alpha_{Y\wedge M}}{\longrightarrow}\quad Y\wedge M\quad\stackrel{\tilde{u}w_2\wedge 1_M}{\longrightarrow}\quad\Sigma X\wedge M
we know that the cofibre of m_M(\widetilde{\psi}\wedge 1_M) : X \wedge M\rightarrow \Sigma^{2q}M is \Sigma L\wedge K given by the following cofibration
(9.4.2) X\wedge M\stackrel{m_M(\tilde{\psi}\wedge 1_M)}{\longrightarrow} \Sigma^{2q}M\stackrel{(\phi\wedge 1_K)i'}{\longrightarrow}\Sigma L\wedge K \stackrel{u'}{\longrightarrow}\Sigma X\wedge M

Since (1_L\wedge i')(\phi\wedge 1_M)m_M(\widetilde{\psi}\wedge 1_M) = 0, then by [\Sigma^{-q-1}X\wedge M, L\wedge M]\cap (ker d)\cong Z_p\{u''\wedge 1_M\} and (9.1.2) we have (\phi\wedge 1_M)m_M(\widetilde{\psi}\wedge 1_M) = (1_L\wedge\alpha)(u''\wedge 1_M) (up to nonzero scalar). Since (\phi\wedge 1_K)i' \alpha = 0, then by (9.4.2), there exists \alpha_{X\wedge M} \in [\Sigma^{3q}M, X\wedge M] such that m_M(\widetilde{\psi}\wedge 1_M)\alpha_{X\wedge M} = \alpha. In addition, m_M(\widetilde{\psi}\wedge 1_M)\alpha_{X\wedge M}m_M(\widetilde{\psi}\wedge 1_M) = \alpha m_M(\widetilde{\psi}\wedge 1_M) = m_M(\widetilde{\psi}\wedge 1_M)(1_X\wedge\alpha ) so that by (9.4.2) we have \alpha_{X\wedge M}m_M(\widetilde{\psi}\wedge 1_M) = 1_X\wedge\alpha modulo (u')_*[\Sigma^qX\wedge M, L\wedge K] = 0 , this is because [\Sigma^qL\wedge K, L\wedge K] = 0 and [\Sigma^{3q}M, L\wedge K] = 0. Concludingly we have
(9.4.3) (\phi\wedge 1_M)m_M(\widetilde{\psi}\wedge 1_M) = (1_L\wedge\alpha)(u''\wedge 1_M),

\qquad\quad\alpha_{X\wedge M}m_M(\widetilde{\psi}\wedge 1_M) = 1_X\wedge\alpha

The cofibre of the map \alpha_{X\wedge M} : \Sigma^{3q}M\rightarrow X\wedge M is W\wedge K given by the cofibration
(9.4.4) \Sigma^{3q}M\stackrel{\alpha_{X\wedge M}}{\longrightarrow} X\wedge M \stackrel{\mu_{X\wedge M}}{\longrightarrow} W\wedge K\stackrel{j'(j''u\wedge 1_K)} {\longrightarrow}\Sigma^{3q+1}M
This can be seen by the following homotopy commutative diagram of 3\times 3-Lemma

\qquad\qquad\Sigma^{3q}M\quad\stackrel{\alpha}{\longrightarrow}\quad \Sigma^{2q}M \quad\stackrel{(\phi\wedge 1_K)i'}{\longrightarrow}\quad\Sigma L\wedge K

\qquad\qquad\quad\searrow \alpha_{X\wedge M}\nearrow _{m_M(\tilde{\psi}\wedge 1_M)}\searrow i'\quad \nearrow (\phi\wedge 1_K)
(9.4.5)\qquad\qquad\quad X\wedge M\qquad\qquad\quad \Sigma^{2q}K

\qquad\qquad\quad\nearrow u'\quad\searrow \mu_{X\wedge M}\quad\nearrow j''u\wedge 1_K \searrow j'

\qquad\qquad L\wedge K\quad\stackrel{w\wedge 1_K}{\longrightarrow}\quad W\wedge K\stackrel{j'(j''u\wedge 1_K)} {\longrightarrow}\quad\Sigma^{3q+1}M

By (9.2.13), ijm_M(\widetilde{\psi}\cdot\widetilde{u}\wedge 1_M) = ij(u_2\wedge 1_M) = (u_2\wedge 1_M)(1_U\wedge ij) = m_M(\widetilde{\psi}\cdot\widetilde{u}\wedge 1_M)(1_U\wedge ij) = m_M(\widetilde{\psi}\wedge 1_M)(1_X\wedge ij)(\widetilde{u}\wedge 1_M), then we have ijm_M(\widetilde{\psi}\wedge 1_M) = m_M(\widetilde{\psi}\wedge 1_M) (1_X\wedge ij) + \lambda (j\widetilde{\psi}\wedge 1_M) for some \lambda\in Z_p. It follows that \lambda j(j\widetilde{\psi}\wedge 1_M) = - jm_M(\widetilde{\psi}\wedge 1_M)(1_X\wedge ij) = - j\widetilde{\psi}(1_X\wedge j) = j(j\widetilde{\psi}\wedge 1_M) and so \lambda = 1. In addition, i'(\alpha_1\wedge 1_M)m_M(\widetilde{\psi}\wedge 1_M) = (j''\wedge 1_K)(1_L\wedge i')(\phi\wedge 1_M)m_M(\widetilde{\psi}\wedge 1_M) = 0, then by (9.1.23) we have m_M(\widetilde{\psi}\wedge 1_M) = m_M(\overline{u}\wedge 1_M)\psi_{X\wedge M} , where \psi_{X\wedge M}\in [\Sigma^{-q+1}X\wedge M, Y\wedge M]. In addition, [\Sigma^{-q+1}X\wedge M,Y\wedge M]\cong Z_p\{\psi_{X\wedge M}\} , this can be obtained from [\Sigma^{-2q}X\wedge M, M]\cong Z_p\{m_M(\widetilde{\psi}\wedge 1_M)\} , (9.1.23) and [\Sigma^{-q}X\wedge M, K] = 0. Then, by j'(j''u\wedge 1_K)\cdot \mu_{X\wedge M} = 0 and (9.1.27) we have (u\wedge 1_K)\mu_{X\wedge M} = \overline{\mu}_2(1_Y\wedge i')\psi_{X\wedge M} (up to nonzero scalar). Concludingly we have
(9.4.6) j\widetilde{\psi}\wedge 1_M = ijm_M(\widetilde{\psi}\wedge 1_M) - m_M(\widetilde{\psi}\wedge 1_M)(1_X\wedge ij),

\qquad (u\wedge 1_K)\mu_{X\wedge M} = \overline{\mu}_2(1_Y\wedge i')\psi_{X\wedge M} (up to nonzero scalar)

\qquad [\Sigma^{-q+1}X\wedge M,Y\wedge M]\cong Z_p\{\psi_{X\wedge M}\},

\qquad\quad m_M(\overline{u}\wedge 1_M)\psi_{X\wedge M} = m_M(\widetilde{\psi}\wedge 1_M),

By the following homotopy commutative diagram of 3\times 3-Lemma

\qquad\qquad L\wedge K\quad\stackrel{(1_X\wedge j)u'}{\longrightarrow}\quad\Sigma X\qquad \stackrel{1_X\wedge p}{\longrightarrow}\qquad\Sigma X

\qquad\qquad\quad\searrow u'\qquad\nearrow 1_X\wedge j\qquad\searrow\omega\qquad\nearrow\widetilde{u}w_2

X\wedge M\qquad\qquad\qquad\qquad Y

\qquad\qquad\quad\nearrow 1_X\wedge i\quad\searrow ^{m_M(\tilde{\psi}\wedge 1_M)} \nearrow _{(1_Y\wedge j)\alpha_{Y\wedge M}}\searrow ^{\overline{\mu}_2(1_Y\wedge i'i)}

\qquad\qquad X\qquad\stackrel{\tilde{\psi}}{\longrightarrow}\qquad\Sigma^{2q}M\qquad \stackrel{(\phi\wedge 1_K)i'}{\longrightarrow}\qquad\Sigma L\wedge K
we know that the cofibre of (1_X\wedge j)u' : L\wedge K\rightarrow\Sigma X is Y given by the cofibration
(9.4.7) L\wedge K\stackrel{(1_X\wedge j)u'}{\longrightarrow}\Sigma X\stackrel {\omega}{\longrightarrow} Y\stackrel{\overline{\mu}_2(1_Y\wedge i'i)}{\longrightarrow}\Sigma L\wedge K
In addition, by the commutativity of the above rectangle we have
(9.4.8) \omega\wedge 1_M = \alpha_{Y\wedge M}m_M(\widetilde{\psi}\wedge 1_M).

(1) By the supposition, Ext_A^{s+1,tq-q+r}(Z_p,Z_p) = 0 for r = -1,0,1,\\2,3, then (j')_*Ext_A^{s+1,tq+r}(H^*K,Z_p)\subset Ext_A^{s+1,tq-q-r-1}(H^*M,Z_p) = 0 for r = 1,2,3 and so Ext_A^{s+1,tq+r}(H^*K,Z_p) = (i')_*Ext_A^{s+1,tq+r}(H^*M,Z_p) = 0 for r = 1,2,3 (cf. Prop. 9.3.0(1)) and the result follows.

(2) Consider the following exact sequence (r = -1,0,1,2)

0 = Ext_A^{s+1,tq+(r+1)q+2}(H^*K,H^*M)\stackrel{(j')^*}{\longrightarrow}Ext_A^{s+1, tq+rq+1}(H^*K,H^*K)

\qquad\quad\stackrel{(i')^*}{\longrightarrow}Ext_A^{s+1,tq+rq+1}(H^*K,H^*M)
induced by (9.1.2). The right group is zero for r = 0,1,2( cf. (1) and Prop. 9.3.2(1)(2)) and also is zero for r = -1 which is obtained by the supposition on Ext_A^{s+1,tq-q+r}(Z_p,Z_p) = 0 for r = -1,0,1,2. The left group is zero for r = -1,0,1 (cf. (1) and Prop. 9.3.2). The left group also is zero for r = 2, this is because Ext_A^{s+1,tq+rq+u}(Z_p,Z_p) = 0 for r = 2,3, u = 0,1,2,3 by the supposition. Then the middle group is zero as desired. Q.E.D.

(1) Consider the following exact sequence

0 = Ext_A^{s+1,tq+3q+1}(H^*W\wedge K, H^*M)\stackrel{m_M(\tilde{\psi}\wedge 1_M)^*} {\longrightarrow} Ext_A^{s+1,tq+q+1}(H^*W\wedge K, H^*X\wedge M) \stackrel{(u')^*}{\longrightarrow} Ext_A^{s+1,tq+q+1}(H^*W \wedge K, H^*L\wedge K)
induced by (9.4.2). The right group is zero by Prop. 9.4.9(2) and (9.1.12)(9.1.3). The left group also is zero by Ext_A^{s+1,tq+rq+1}(H^*K,H^*M) = 0(for r = 1,2,3)(cf. the proof of Prop. 9.4.9(2)) . Then the middle group is zero as desired.

(2) Since \overline{u}(1_Y\wedge j)\alpha_{Y\wedge M}\in [\Sigma^{q-1}M,M]\cong Z_p\{ij\alpha, \alpha ij\}, then \overline{u}(1_Y\wedge j)\alpha_{Y\wedge M} = \lambda_1 ij\alpha + \lambda_1\alpha ij where the scalar \lambda_1,\lambda_2\in Z_p satisfy \lambda_1j\alpha ij\alpha + \lambda_2 j\alpha^2ij = 0. Consider the following exact sequence

Ext_A^{s+1,tq+2q}(Z_p,H^*M)\stackrel{(\overline{w})_*}{\longrightarrow} Ext_A^{s+1,tq+2q+1}(H^*Y,H^*M)

\qquad\quad\stackrel{(\overline{u})_*}{\longrightarrow} Ext_A^{s+1,tq+q}(H^*M,H^*M)\stackrel{(j\alpha)_*}{\longrightarrow}
induced by (9.1.5). The left group is zero which can be obtained by the supposition on Ext_A^{s+1,tq+2q+k}(Z_p,Z_p) = 0 (for k = 0,1). By Prop. 9.3.1(2), the right group has two generators (ij)_*\alpha_*(\tilde{\sigma}) and \alpha_*(ij)_*(\tilde{\sigma}) . Then (\overline{u})_*\\Ext_A^{s+1,tq+2q+1}(H^*Y, H^*M) has unique generator (\overline{u})_*((1_Y\wedge j)\alpha_{Y\wedge M})_*(\tilde{\sigma}) so that the first result follows. For the second result, consider the following exact sequence

Ext_A^{s+1,tq+q}(Z_p,Z_p)\stackrel{(\overline{w})_*}{\longrightarrow} Ext_A^{s+1,tq+q+1}(H^*Y,Z_p)

\qquad\quad \stackrel{(\overline{u})_*}{\longrightarrow} Ext_A^{s+1,tq}(H^*M,Z_p) \stackrel{(j\alpha)_*}{\longrightarrow}
induced by (9.1.5). By the supposition, the left group has unique generator h_0\sigma = (j\alpha i)_*(\sigma) so that im (\overline{w})_* = 0. The right group is zero or has (one or two) generator i_*(\sigma') such that (j\alpha)_*i_*(\sigma') = h_0\sigma'\neq 0. Then the middle group is zero and so the second result follows.

(3) Since \widetilde{\psi}(1_X\wedge j)\alpha_{X\wedge M}\in [\Sigma^{q-1}M,M] \cong Z_p\{ij\alpha, \alpha ij\}, then \widetilde{\psi}(1_X\wedge j)\alpha_{X\wedge M} = \lambda_3 ij\alpha + \lambda_4 \alpha ij, where the scalar \lambda_3,\lambda_4\in Z_p satisfy \lambda_3(1_Y\wedge j)\alpha_{Y\wedge M} ij\alpha + \lambda_4 (1_Y\wedge j)\alpha_{Y\wedge M}\alpha ij = 0. Then, similar to that in (2), (\widetilde{\psi})_*\\Ext_A^{s+1,tq+3q}(H^*X,H^*M) has unique generator (\widetilde{\psi})_*((1_X\wedge j)\alpha_{X\wedge M})_*(\tilde{\sigma}) so that Ext_A^{s+1,tq+3q}(H^*X,H^*M) has unique generator ((1_X\wedge j)\alpha_{X\wedge M})_*(\tilde{\sigma}) , this is because Ext_A^{s+1,tq+3q+1}(H^*Y,H^*M) = 0 which can be obtained by the supposition (I)(b) on Ext_A^{s+1,tq+rq+k}(Z_p,Z_p) = 0 for r = 1,2, k = -1,0,1,2). Q.E.D.

(1) Consider the following exact sequence

Ext_A^{s,tq}(H^*M, H^*M\wedge M)\stackrel{(\tilde{\psi}\wedge 1_M)^*}{\longrightarrow} Ext_A^{s,tq-2q}(H^*M,H^*X\wedge M)

\qquad\quad\stackrel{(\tilde{u}w_2\wedge 1_M)^*}{\longrightarrow} Ext_A^{s,tq-2q} (H^*M, H^*Y\wedge M)
induced by (9.2.12). By the suppopsition on Ext_A^{s,tq-rq+u}(Z_p,Z_p) = 0 with (r = 1,2, u = 0,1,2) and the degree of the top cell of Y\wedge M is q + 3 we know that the right group is zero. Since (\overline{m}_M)^*Ext_A^{s,tq}(H^*M,H^*M\wedge M)\subset Ext_A^{s,tq+1}(H^*M,H^*M) = 0 ( cf. Prop. 9.3.0(2)), then the left group has unique generator (m_M)^*(\tilde{\sigma}) and so the result follows.

(2) Consider the following exact sequence (r = -1,1,2,3, u = 0,1,2)

Ext_A^{s,tq+rq+u}(H^*M,H^*M)\stackrel{(i')_*}{\longrightarrow} Ext_A^{s,tq+rq+u}(H^*K,H^*M)

\qquad\quad\stackrel{(j')_*}{\longrightarrow} Ext_A^{s,tq+(r-1)q+u-1} (H^*M,H^*M)\stackrel{\alpha_*}{\longrightarrow}
induced by (9.1.2). The left group is zero for r = -1,1,2,3,u = 0,1,2, this is obtained from the supposition I(c) on Ext_A^{s,tq+rq+k}(Z_p,Z_p) = 0 (for r = -1,1,2,3,k = -1,0,1,2,3). By the supposition and Prop. 9.3.0(2),the right group is zero except for r = 1, u = 0,1 it has unique generator (ij)_*(\tilde{\sigma}) or \tilde{\sigma} respectively. However, it satisfies \alpha_*(ij)_*(\tilde{\sigma})\neq 0, \alpha_*(\tilde{\sigma})\neq 0 then, the middle group is zero as desired. Consider the following exact sequence

0 = Ext_A^{s,tq+q+1}(H^*K,H^*M)\stackrel{(j')^*}{\longrightarrow} Ext_A^{s,tq}(H^*K,H^*K)

\qquad\quad\stackrel{(i')^*}{\longrightarrow} Ext_A^{s,tq}(H^*K,H^*M)\stackrel {\alpha^*}{\longrightarrow}
induced by (9.1.2). The left group is zero as shown above. The right group has unique generator (i')_*(\tilde{\sigma}) , this is because (j')_*Ext_A^{s,tq}\\(H^*K,H^*M) \subset Ext_A^{s,tq-q-1}(H^*M,H^*M) = 0 and Ext_A^{s,tq}(H^*M,H^*M) \cong Z_p\{\tilde{\sigma}\}. Then the middle has unique generatot \sigma_K as desired.

(3) Consider the following exact sequence (r = -1,0)

Ext_A^{s,tq+(r+1)q}(H^*K,H^*K)\stackrel{(j''\wedge 1_K)^*}{\longrightarrow} Ext_A^{s,tq+rq}(H^*K,H^*L\wedge K)

\qquad\quad\stackrel{(i''\wedge 1_K)^*}{\longrightarrow} Ext_A^{s,tq+rq}(H^*K,H^*K)\stackrel{(\alpha_1\wedge 1_K)^*}{\longrightarrow}
induced by (9.1.3). The left group is zero for r = 0 , this is because by (2) (i')^*Ext_A^{s,tq+q}(H^*K,H^*K)\subset Ext_A^{s,tq+q}(H^*K,H^*M) = 0 and Ext_A^{s,tq+2q+1}\\(H^*K,H^*M) = 0. Moreover, by (2), the left group has unique generator \sigma_K for r = -1. The right group is zero r = -1, this is because by (2) (i')^*Ext_A^{s,tq-q}(H^*K,H^*K) \subset Ext_A^{s,tq-q}(H^*K,H^*M) = 0 and Ext_A^{s,tq+1}(H^*K,\\H^*M) = 0. The right group has unique generator \sigma_K for r = 0 which satisfies (\alpha_1\wedge 1_K)^*(\sigma_K)\neq 0\in Ext_A^{s+1,tq+q}(H^*K,H^*K) , this is because (i')^*(\alpha_1\wedge 1_K)^*(\sigma_K) = (\alpha_1\wedge 1_M)^*(i')^*(\sigma_K) = (\alpha_1\wedge 1_M)^*(i')_*(\tilde{\sigma}) = (i')_*(\alpha_1\wedge 1_M)_*(\tilde{\sigma})\neq 0\in Ext_A^{s+1,tq+q}(H^*K,H^*M). Then the middle group is zero for r = 0 and has unique generator (j''\wedge 1_K)^*(\sigma_K) for r = -1 so that the first result can be obtained by the following exact sequence

0 = Ext_A^{s,tq}(H^*K,H^*L\wedge K)\stackrel{(i''\wedge 1_K)_*}{\longrightarrow} Ext_A^{s,tq}(H^*L\wedge K,H^*L\wedge K)

\qquad\quad\stackrel{(j''\wedge 1_K)_*}{\longrightarrow} Ext_A^{s,tq-q} (H^*K,H^*L\wedge K)\stackrel{(\alpha_1\wedge 1_K)_*}{\longrightarrow}
induced by (9.1.3). For the second result, look at the following exact sequence (r = 1,2,3, u = 0,1,2)

0 = Ext_A^{s,tq+rq+u}(H^*K, H^*M)\stackrel{(i''\wedge 1_K)_*}{\longrightarrow} Ext_A^{s,tq+rq+u}(H^*L\wedge K,H^*M)

\qquad\quad\stackrel{(j''\wedge 1_K)_*}{\longrightarrow} Ext_A^{s,tq+(r-1)q+u} (H^*K,H^*M)\stackrel{(\alpha_1\wedge 1_K)_*}{\longrightarrow}
induced by (9.1.3). By (2), the left group is zero for r = 1,2,3, u = 0,1,2 and the right group also is zero for r = 2,3, u = 0,1,2. By Prop. 9.3.0 and the supposition , the right group also is zero for r = 1,u = 1,2. For r = 1, u = 0, The right group has unique generator (i')_*(\tilde{\sigma}) which satisfies (\alpha_1\wedge 1_K)_*(i')_*(\tilde{\sigma})\neq 0. Then the middle group is zero for r = 1,2,3,u = 0,1,2.

(4) Consider the following exact sequence (r = 1,2,3,u = 0,1,2)

0 = Ext_A^{s,tq+rq+u}(H^*L\wedge K,H^*M)\stackrel{(w\wedge 1_K)_*}{\longrightarrow} Ext_A^{s,tq+rq+u}(H^*W\wedge K,H^*M)

\qquad\quad \stackrel{(j''u\wedge 1_K)_*}{\longrightarrow} Ext_A^{s,tq+(r-2)q+u}(H^*K,H^*M) \stackrel{(\phi\wedge 1_K)_*}{\longrightarrow}
induced by (9.1.12). By (3), the left group is zero for r = 1,2,3,u = 0,1,2. By (2), the right group is zero for r = 1,3,u = 0,1,2 and by Prop. 9.3.0 and the supposition, it also is zero for r = 2, u = 1. For r = 2, u = 0, the right group has unique generator (i')_*(\tilde{\sigma}) which satisfies (\phi\wedge 1_K)_*(i')_*(\tilde{\sigma})\neq 0\in Ext_A^{s+1,tq+2q}(H^*L\wedge K,H^*M). Then the middle group is zero for r = 1,2,3,u = 0,1,2 as desired.

Since (\widetilde{u}w_2\overline{w}\wedge 1_M)^*Ext_A^{s,tq+q}(H^*W\wedge K,H^*X\wedge M)\subset Ext_A^{s,tq+q}(H^*W\wedge K,H^*M) = 0, then, by (9.1.5), (\widetilde{u}w_2\wedge 1_M)^* Ext_A^{s,tq+q}(H^*W\wedge K,H^*X\wedge M) = (\overline{u}\wedge 1_M)^*Ext_A^{s,tq+2q+1}(H^*W\wedge K,H^*M\wedge M) = 0. and by using (9.2.12) we know that Ext_A^{s,tq+q}(H^*W\wedge K,H^*X\wedge M) = (\widetilde{\psi}\wedge 1_M)^*Ext_A^{tq+3q}(H^*W\wedge K,H^*M\wedge M) = 0. Q.E.D.

The proof of the main Theorem C will be done by some argument processing in the Adams resolution (cf. 9.2.9) of some spectra related to the sphere spectrum S. Before proving the main Theorem C , we first prove the following Lemmas.

2mm

(1) Since (1_{KG_{s+1}}\wedge i')\widetilde{h_0\sigma} is a d_1-boundary, then (\bar c_{s+1}\wedge 1_K)\\(1_{KG_{s+1}}\wedge i')(\widetilde{h_0\sigma}) = 0 so that (\bar c_{s+1}\wedge 1_M)\widetilde{h_0\sigma} = (1_{E_{s+2}}\wedge \alpha ) f' for some f'\in [\Sigma^{tq+1}M, E_{s+2}\wedge M]. It follows that (\bar a_{s+1} \wedge 1_M)(1_{E_{s+2}}\wedge\alpha )f' = 0 and so (\bar a_{s+1}\wedge 1_M)f' = (1_{E_{s+1}}\wedge j') f'_2 with f'_2\in [\Sigma^{tq+q+1}M, E_{s+1}\wedge K]. The d_1-cycle (\bar b_{s+1}\wedge 1_K)f'_2 represents an element in Ext_A^{s+1,tq+q+1} (H^*K,H^*M) and this group is zero by Prop. 9.3.2(2), then (\bar b_{s+1}\wedge 1_K)f'_2 = (\bar b_{s+1}\bar c_s\wedge 1_K)g'_0 for some g'_0\in [\Sigma^{tq+q+1}M, KG_s\wedge K]. Consequently we have, f'_2 = (\bar c_s \wedge 1_K)g'_0 + (\bar a_{s+1}\wedge 1_K)f'_3 for some f'_3\in [\Sigma^{tq+ q+2}M, E_{s+2}\wedge K] and so (\bar a_{s+1}\wedge 1_M)f' = (\bar a_{s+1} \wedge 1_M)(1_{E_{s+2}}\wedge j')f'_3 + (\bar c_s\wedge 1_M)(1_{KG_s}\wedge j')g'_0 = (\bar a_2 \wedge 1_M)(1_{E_{s+2}}\wedge j')f'_3 + (\bar c_s\wedge 1_M)(\sigma\wedge 1_M) = (\bar a_{s+1}\wedge 1_M)(1_{E_{s+2}}\wedge j')f'_3 +(\bar a_{s+1}\wedge 1_M) (\kappa\wedge 1_M), where the d_1-cycle (1_{KG_s}\wedge j')g'_0\in [\Sigma^{tq}M, KG_s \wedge M] represents an element in Ext_A^{s,tq}(H^*M,H^*M) and this group has unique generator \tilde{\sigma} so that it equals to \sigma\wedge 1_M (mod d_1-boundary). Hence we have f' = (1_{E_{s+1}}\wedge j')f'_3 + (\kappa\wedge 1_M) + (\bar c_{s+1}\wedge 1_M)\tilde{g}_1 for some \tilde{g}_1\in [\Sigma^{tq+1}M, KG_{s+1}\wedge M] and so (\bar c_{s+1}\wedge 1_M)\widetilde{h_0\sigma} = (1_{E_{s+2}}\wedge\alpha )f' = (1_{E_{s+1}}\wedge\alpha )(\kappa\wedge 1_M) which shows the result.

(2) Since Ext_A^{s+1,tq+rq}(Z_p,Z_p) is zero for r = 2 and has unique generator h_0\sigma = (j'')_*(\phi)_*(\sigma) forr = 1, then Ext_A^{s+1,tq+2q}(H^*L,Z_p) \cong Z_p\{(\phi)_*(\sigma)\} and Ext_A^{s+1,tq+2q}(H^*W,Z_p) = 0. By this and a similar proof as given in (1) we know that (1_{E_{s+2}}\wedge\phi)\kappa = (\bar c_{s+1}\wedge 1_L) \sigma\phi (up to scalar), where \sigma\phi\in \pi_{tq+2q}(KG_{s+1}\wedge L) is a d_1-cycle which represents (\phi)_*(\sigma)\in Ext_A^{s+1,tq+2q}(H^*L,\\Z_p). Then, by the supposition (II) of the main Theorem C we have (1_{E_{s+2}}\wedge\phi\wedge 1_M)(\kappa\wedge 1_M) = (\bar c_{s+1}\wedge 1_{L\wedge M}) (\sigma\phi\wedge 1_M) = 0 so that the result follows. Q.E.D.

(1) Consider the following exact sequence

Ext_A^{s,tq+2q}(H^*L\wedge K,H^*M)\stackrel{m_M(\tilde{\psi}\wedge 1_M)^*} \to\longrightarrow Ext_A^{s,tq}(H^*L\wedge K,H^*X\wedge M)

\qquad\quad\stackrel{(u')^*}{\longrightarrow} Ext_A^{s,tq}(H^*L\wedge K,H^*L\wedge K)\stackrel {((1_L\wedge i')(\phi\wedge 1_M))^*}{\longrightarrow}
induced by (9.4.2). By Prop. 9.4.11(3), the left group is zero and the right group has unique generator \sigma_{L\wedge K} which satisfies ((1_L\wedge i')(\phi\wedge 1_M))^*(\sigma_{L\wedge K}) \neq 0\in Ext_A^{s+1,tq+2q}(H^*L\wedge K,H^*M), this is because (j''\wedge 1_K)_*((1_L\wedge i')(\phi\wedge 1_M))^*(\sigma_{L\wedge K}) = ((1_L\wedge i')(\phi\wedge 1_M))^*(j''\wedge 1_K)_*(\sigma_{L\wedge K}) = ((1_L\wedge i')(\phi\wedge 1_M)^*(j''\wedge 1_K)^*(\sigma_K) = ((\alpha_1\wedge 1_K)i')^*(\sigma_K) = (\alpha_1\wedge 1_M)^*(i')_*(\tilde{\sigma}) = (i'(\alpha_1\wedge 1_M))_*(\tilde{\sigma})\neq 0\in Ext_A^{s+1,tq+q}(H^*K,H^*M). Then the middle group is zero. Look at the following exact sequence

Ext_A^{s,tq}(H^*L\wedge K,H^*X\wedge M)\stackrel{(u')_*}{\longrightarrow} Ext_A^{s,tq}(H^*X\wedge M,H^*X\wedge M)

\qquad\quad\stackrel{m_M(\tilde{\psi}\wedge 1_M)_*}{\longrightarrow} Ext_A^{s,tq-2q}(H^*M,H^*X\wedge M) \stackrel{((1_L\wedge i')(\phi\wedge 1_M))_*}{\longrightarrow}
induced by (9.4.2). As shown above, the left group is zero. By Prop. 9.4.11(1), the right group has unique generator m_M(\widetilde{\psi}\wedge 1_M)^*(\tilde{\sigma})\\ = m_M(\widetilde{\psi}\wedge 1_M)^*[\sigma\wedge 1_M] = [(\sigma\wedge 1_M)m_M(\widetilde{\psi}\wedge 1_M)] = [(1_{KG_s}\wedge m_M(\widetilde{\psi}\wedge 1_M))(\sigma\wedge 1_{X\wedge M})] = m_M(\widetilde{\psi}\wedge 1_M)_*[\sigma\wedge 1_{X\wedge M}] and it satisfies ((1_L\wedge i')(\phi\wedge 1_M))_*m_M(\widetilde{\psi}\wedge 1_M)^*(\tilde{\sigma}) = ((1_L\wedge i')(\phi\wedge 1_M))_*m_M(\widetilde{\psi}\wedge 1_M)_*[\sigma\wedge 1_{X\wedge M}] = 0. Then the middle group has unique generator [\sigma\wedge 1_{X\wedge M}] as desired.

(2) Note that (\widetilde{\psi})_*(\widetilde{u}w_2)^*Ext_A^{s+1,tq+q}(H^*X,H^*X)\subset Ext_A^{s+1,tq-q-1}(H^*M,\\H^*Y). Similar to that in Prop. 9.3.0(1), by the supposition we know that Ext_A^{s+1,tq}(H^*M,H^*M) is zero or has (one or two ) generator \tilde{\sigma}', then
Ext_A^{s+1,tq-q-1}(H^*M,H^*Y) is zero or has (one or two) generator (\overline{u})^*(\tilde{\sigma}') and it satisfies ((1_Y\wedge j)\alpha_{Y\wedge M})_*(\overline{u})^*(\tilde{\sigma}') = ((1_Y\wedge j)\alpha_{Y\wedge M})_*(\overline{u})_*[\sigma'\wedge 1_Y] = (1_Y\wedge \alpha_1)_*[\sigma'\wedge 1_Y] = [h_0\sigma'\wedge 1_Y]\neq 0, then (\widetilde{\psi})_*(\widetilde{u}w_2)^*Ext_A^{s+1,tq+q}(H^*X,H^*X) = 0 and so we have (\widetilde{u}w_2)^*Ext_A^{s+1,tq+q}(H^*X,H^*X) = (\widetilde{u}w_2)_*Ext_A^{s+1,tq+q}(H^*Y,\\H^*Y) = 0 , this is because Ext_A^{s+1,tq+q}(H^*Y,H^*Y)\cong Z_p\{((1_Y\wedge j)\alpha_{Y\wedge M})_*(\overline{u})^*\\(\tilde{\sigma})\} ( cf. Prop. 9.4.10(2)). Then Ext_A^{s+1,tq+q}(H^*X,H^*X) = (\widetilde{\psi})^*Ext_A^{s+1,tq+3q}\\(H^*X,H^*M) and it has unique generator (\widetilde{\psi})^*((1_X\wedge j)\alpha_{X\wedge M})_*(\tilde{\sigma}) = ((1_X\wedge j)\alpha_{X\wedge M})_*[(\sigma\wedge 1_M)\widetilde{\psi}] = ((1_X\wedge j)\alpha_{X\wedge M})_*[(1_{KG_{s+1}}\wedge\widetilde{\psi})(\sigma\wedge 1_X)] = ((1_X\wedge j)\alpha_{X\wedge M})_*m_M(\widetilde{\psi}\wedge 1_M)_*(1_X\wedge i)_*[\sigma\wedge 1_X] = (1_X\wedge j\alpha i)_*[\sigma\wedge 1_X] = [h_0\sigma\wedge 1_X] (cf. Prop. 9.4.10(3)) Then the first result follows. For the second result , by (9.4.6), the d_1-cycle (1_{KG_{s+1}}\wedge m_M(\overline{u}\wedge 1_M)\psi_{X\wedge M})(h_0\sigma\wedge 1_{X\wedge M}) = (1_{KG_{s+1}}\wedge m_M(\widetilde{\psi}\wedge 1_M))(h_0\sigma\wedge 1_{X\wedge M}) = (h_0\sigma\wedge 1_M)m_M(\widetilde{\psi}\wedge 1_M) and it represents an element m_M(\widetilde{\psi}\wedge 1_M)^*[h_0\sigma\wedge 1_M] = m_M(\widetilde{\psi}\wedge 1_M)^*(\alpha_1\wedge 1_M)_*(\tilde{\sigma})\neq 0 so that the second result follows. Q.E.D.

By Lemma 9.4.12(1), it suffices to prove (\bar c_{s+1}\wedge 1_M)\widetilde{h_0\sigma} = (1_{E_{s+1}}\wedge \alpha)(\kappa\wedge 1_M) = 0. The proof is divided into the following two steps.

Step 1 To prove (\kappa\wedge 1_{X\wedge M})(1_X\wedge\alpha) = 0.

By (9.4.3), (\phi\wedge 1_M)m_M(\widetilde{\psi}\wedge 1_M) = (u''\wedge 1_M)(1_X\wedge\alpha), then by Lemma 9.4.12(2) we have (1_{E_{s+2}}\wedge u''\wedge 1_M)(1_{E_{s+2}}\wedge 1_X\wedge\alpha)(\kappa\wedge 1_{X\wedge M}) = (1_{E_{s+2}}\wedge \phi\wedge 1_M)(\kappa\wedge 1_M)m_M(\widetilde{\psi}\wedge 1_M) = 0. Moreover, by (9.2.16) we have (1_{E_{s+2}}\wedge 1_X\wedge\alpha)(\kappa\wedge 1_{X\wedge M}) = (1_{E_{s+2}}\wedge \widetilde{u}w_3\wedge 1_M)f for some f\in [\Sigma^{tq+q+1}X\wedge M, E_{s+2}\wedge W\wedge M]\cap (ker d) (cf. Cor. 6.4.15). By composing (1_{E_{s+2}}\wedge 1_X\wedge i'i\wedge 1_M) on the above equation we have (1_{E_{s+2}}\wedge \widetilde{u}w_3\wedge 1_{K\wedge M})(1_{E_{s+2}}\wedge 1_W\wedge i'i\wedge 1_M)f = (1_{E_{s+2}}\wedge (1_X\wedge (i'i\wedge 1_M)\alpha)(\kappa\wedge 1_{X\wedge M}) = (1_{E_{s+2}}\wedge 1_X\wedge\overline{m}_K i'(\alpha_1\wedge 1_M)))(\kappa\wedge 1_{X\wedge M}) = 0 ,where we use the result on (1_{E_{s+2}}\wedge \alpha_1\wedge 1_M)(\kappa\wedge 1_M) = 0 in Lemma 9.4.12(2). Consequently, by (9.2.16), (1_{E_{s+2}}\wedge 1_W\wedge i'i\wedge 1_M)f = (1_{E_{s+2}} \wedge w'(\pi\wedge 1_L)\wedge 1_{K\wedge M})f_2 = 0 (for some f_2\in [\Sigma^{tq+1}X\wedge M, E_{s+2}\wedge L\wedge K\wedge M]), this is because \pi\wedge 1_K = 0. Then by (9.1.4) we have f = (1_{E_{s+2}}\wedge 1_W\wedge\epsilon\wedge 1_M)f_3 = (1_{E_{s+2}}\wedge 1_W \wedge\alpha m_M(\overline{u}\wedge 1_M)f_3 for some f_3\in [\Sigma^{tq+q+2}X\wedge M, E_{s+2} \wedge W\wedge Y\wedge M]\cap (ker d) ( cf. Cor. 6.4.15) and so
(9.4.14) (1_{E_{s+2}}\wedge 1_X\wedge\alpha)(\kappa\wedge 1_{X\wedge M})

\quad = (1_{E_{s+2}}\wedge\widetilde{u}w_3\wedge 1_M)(1_{E_{s+2}}\wedge 1_W\wedge \alpha m_M(1_M\wedge\overline{u}))f_3

\quad = (1_{E_{s+2}}\wedge\alpha_{X\wedge M}(j''u\wedge 1_M))(1_{E_{s+2}}\wedge 1_W\wedge m_M(1_M\wedge \overline{u}))f_3 ( cf. (9.4.3))

By (9.4.14), (\bar a_{s+1}\wedge 1_{X\wedge M}) (1_{E_{s+2}}\wedge \widetilde{u}w_3\wedge 1_M)(1_{E_{s+2}}\wedge (1_W\wedge\alpha m_M(\overline{u}\wedge 1_M))f_3 = (\bar a_{s+1}\wedge 1_{X\wedge M})(1_{E_{s+2}}\wedge 1_X\wedge\alpha)(\kappa\wedge 1_{X\wedge M}) = (\bar c_s\wedge 1_{X\wedge M})(1_{KG_s}\wedge 1_X\wedge\alpha)(\sigma\wedge 1_{X\wedge M}) = 0 ,this is because \alpha induces zero homomorphism in Z_p-cohomology. Then, by (9.2.16) and w'(\pi\wedge1_L)\wedge 1_M = (w\wedge 1_M)(1_L\wedge\alpha) we have
(9.4.15) (\bar a_{s+1}\wedge 1_{W\wedge M})(1_{E_{s+2}}\wedge 1_W\wedge \alpha m_M(\overline{u}\wedge 1_M))f_3

= (1_{E_{s+1}}\wedge (1_W\wedge\alpha)(w\wedge 1_M))f_5
with f_5\in [\Sigma^{tq}X\wedge M, E_{s+1}\wedge L\wedge M]\cap (ker d) ( cf. Cor. 6.4.15 ).

By (9.4.15)(9.1.2) , (\bar a_{s+1}\wedge 1_{W\wedge M})(1_{E_{s+2}}\wedge 1_W\wedge m_M(\overline{u}\wedge 1_M))f_3 = (1_{E_{s+1}}\wedge w\wedge 1_M)f_5 + (1_{E_{s+1}}\wedge 1_W\wedge j')f_6 for some f_6\in [\Sigma^{tq+q+1}X\wedge M, E_{s+1}\wedge W\wedge K]\cap (ker d) ( cf. Prop. 6.5.26). Since (1_W\wedge\alpha_1)w = w(1_L\wedge\alpha_1) = w\cdot \phi j'' = 0, then w = (1_W\wedge j'')\psi_W , where \psi_W\in [\Sigma^qL, W\wedge L]. So we have w\wedge 1_M = (1_W\wedge j'')\psi_W\wedge 1_M = (1_W\wedge m_M(\overline{u}\wedge 1_M)) ((1_W\wedge\bar h)\psi_W\wedge 1_M). Hence, - (\bar a_{s+1}\wedge 1_{W\wedge Y\wedge M})f_3 = (1_{E_{s+2}}\wedge (1_W\wedge h)\psi_W\wedge 1_M)f_5 + (1_{E_{s+1}}\wedge 1_W\wedge (1_Y\wedge i)r)f_6 + (1_{E_{s+1}}\wedge 1_W\wedge (r\wedge 1_M)\overline{m}_K)f_7 and by Prop. 6.5.26, f_7 = f_8(1_X\wedge i') + f_9(1_X\wedge i'ij), where f_8\in [\Sigma^{tq+q}X\wedge K, E_{s+1}\wedge W\wedge K]\cap (ker d) and f_9\in [\Sigma^{tq+q+1}X\wedge K, E_{s+1}\wedge W\wedge K]\cap (ker d). Since d((1_Y\wedge i)r) = ((r\wedge 1_M)d(1_K\wedge i) = (r\wedge 1_M)(1_K\wedge m_M)(T_{K,M}\wedge 1_M)(1_M \wedge 1_K\wedge i)\overline{m}_K = (r\wedge 1_M)(1_K\wedge m_M(1_M\wedge i)\overline{m}_K = (r\wedge 1_M)\overline{m}_K, by applying the derivation d using Theorem 6.4.8(1) we have - (1_{E_{s+1}}\wedge 1_W\wedge (r\wedge 1_M)\overline{m}_K)f_6 - (1_{E_{s+1}}\wedge 1_W\wedge (r\wedge 1_M)\overline{m}_K)f_9(1_X\wedge i') = 0 (Note : f_6 has odd degree) and so
(9.4.16) - (\bar a_{s+1}\wedge 1_{W\wedge Y\wedge M})f_3 = (1_{E_{s+1}}\wedge (1_W\wedge\bar h)\psi_W\wedge 1_M)f_5

\quad + (1_{E_{s+1}}\wedge 1_W\wedge (1_Y\wedge i)r)f_6 + (1_{E_{s+1}}\wedge 1_W\wedge (r\wedge 1_M)\overline{m}_K)f_8(1_X\wedge i')

\quad - (1_{E_{s+1}}\wedge 1_W\wedge (r\wedge 1_M)\overline{m}_K)f_6(1_X\wedge ij)

Note that the d_1-cycle (\bar b_{s+1}\wedge 1_{W\wedge K})f_6\in [\Sigma^{tq+q+1}X\wedge M, KG_{s+1}\wedge W\wedge K]\cap (ker d) represents an element in Ext_A^{s+1,tq+q+1}(H^*W\wedge K, H^*X\wedge M) and by Prop. 9.4.10(1) this group is zero, then (\bar b_{s+1}\wedge 1_{W\wedge K})f_6 = (\bar b_{s+1}\bar c_s\wedge 1_{W\wedge K})g for some g\in [\Sigma^{tq+q+1}X\wedge M, KG_s\wedge W\wedge K]\cap (ker d) (cf. Prop. 6.5.26) and so f_6 = (\bar c_s\wedge 1_{W\wedge K})g + (\bar a_{s+1}\wedge 1_{W\wedge K})f' with f'\in [\Sigma^{tq+q+2}X\wedge M, E_{s+2}\wedge W\wedge K]\cap (ker d) ( cf. Prop. 6.5.26). Then we have
(9.4.17) - (\bar a_{s+1}\wedge 1_{W\wedge Y\wedge M})f_3 = (1_{E_{s+1}}\wedge (1_W\wedge \bar h)\psi_W\wedge 1_M)f_5

\qquad + (\bar a_{s+1}\wedge 1_{W\wedge Y\wedge M})(1_{E_{s+2}} \wedge 1_W\wedge (1_Y\wedge i)r)f'

\qquad + (\bar c_s\wedge 1_{W\wedge Y\wedge M}) (1_{KG_s}\wedge 1_W\wedge (1_Y\wedge i)r)g

\qquad + (\bar a_{s+1}\wedge 1_{W\wedge Y\wedge M})(1_{E_{s+2}}\wedge 1_W\wedge (r\wedge 1_M)\overline{m}_K)f'(1_X\wedge ij)

\qquad - (\bar c_s\wedge 1_{W\wedge Y\wedge M})(1_{KG_s}\wedge 1_W\wedge (r\wedge 1_M)\overline{m}_K)g(1_X\wedge ij)

\qquad + (1_{E_{s+1}}\wedge 1_W\wedge (r\wedge 1_M)\overline{m}_K)f_8(1_X\wedge i')

Let P be the cofibre of (1_W\wedge\bar h)\psi_W : \Sigma^{q+1}L\rightarrow W\wedge Y given by the cofibration
(9.4.18) \Sigma^{q+1}L\stackrel{(1_W\wedge \bar h)\psi_W}{\longrightarrow} W\wedge Y\stackrel{w_5}{\longrightarrow} P\stackrel{u_5}{\longrightarrow} \Sigma^{q+2}L Then the cofibre of w_5(1_W\wedge r) : W\wedge K\rightarrow P is \Sigma X given by the cofibration
(9.4.19) W\wedge K\stackrel{w_5(1_W\wedge r)}{\longrightarrow}V \stackrel{w_6}{\longrightarrow} \Sigma X\stackrel{u_6}{\longrightarrow}\Sigma W\wedge K
This can be seen by the following homotopy commutative diagram of 3\times 3-Lemma

\qquad\qquad W\wedge K\quad\stackrel{w_5(1_W\wedge r)}{\longrightarrow}\quad P\quad \stackrel{u_5}{\longrightarrow}\quad\Sigma^{q+2}L

\qquad\qquad\quad\searrow 1_W\wedge r\quad\nearrow w_5\quad\searrow w_6\quad\nearrow u''

\qquad\qquad\qquad\quad W\wedge Y\qquad\qquad\qquad \Sigma X

\qquad\qquad\quad\nearrow ^{(1_W\wedge\bar h)\psi_W}\searrow 1_W\wedge\epsilon \nearrow \widetilde{u}w_3\searrow u_6

\qquad\qquad\Sigma^{q+1}L\stackrel{w'(\pi\wedge 1_L)}{\longrightarrow}\quad\Sigma W \quad\stackrel{1_W\wedge i'i}{\longrightarrow}\quad\Sigma W\wedge K

Note that u_6 = \mu_{X\wedge M}(1_X\wedge i), then by composing (\bar b_{s+1}\wedge 1_{P})(1_{E_{s+1}}\wedge w_5\wedge j) on the left hand side of (9.4.17) and composing (1_X\wedge i) on the right hand side we have (\bar b_{s+1}\wedge 1_P)(1_{E_{s+1}}\wedge w_5(1_W\wedge r))f_8(1_X\wedge i'i) = 0 and so (\bar b_{s+1}\wedge 1_{W\wedge K})f_8(1_X\wedge i'i) = (1_{KG_{s+1}}\wedge u_6)g_0 = (1_{KG_{s+1}} \wedge \mu_{X\wedge M}(1_X\wedge i))g_0 = (1_{KG_{s+1}}\wedge\mu_{X\wedge M})(g_0\wedge 1_M)(1_X\wedge i) with d_1-cycle g_0\in [\Sigma^{tq+q}X, KG_{s+1}\wedge X]. Moreover , by Lemma 9.4.13(2), g_0 = \lambda_1(h_0\sigma\wedge 1_X) (mod d_1-boundary), where \lambda_1\in Z_p. On the other hand, by applying the derivation d to (\bar b_{s+1}\wedge 1_{W\wedge K})f_8(1_X\wedge i'ij) = (1_{KG_{s+1}}\wedge\mu_{X\wedge M})(g_0\wedge 1_M)(1_X\wedge ij) we have

(9.4.20) (\bar b_{s+1}\wedge 1_{W\wedge K})f_8(1_X\wedge i') = = (1_{KG_{s+1}}\wedge\mu_{X\wedge M})(g_0\wedge 1_M) ,

\qquad\qquad g_0 = \lambda_1 (h_0\sigma\wedge 1_{X})\in [\Sigma^{tq+q}X, KG_{s+1}\wedge X] (mod d_1-boundary)

Consider the following commutative diagram of exact sequences

\Sigma^{q+1}L\wedge M\quad\stackrel{w\wedge 1_M}{\longrightarrow}\quad \Sigma^{q+1}W\wedge M \quad\stackrel{j''u\wedge 1_M}{\longrightarrow}\quad \Sigma^{3q+1}M\stackrel{\phi\wedge 1_M}{\longrightarrow} \Sigma^{q+2}L\wedge M

\qquad\big\uparrow 1_{L\wedge M}\qquad\qquad\quad\qquad\big\uparrow 1_W\wedge m_M(\overline{u}\wedge 1_M) \qquad\big\uparrow u_7\qquad\qquad\big\uparrow 1_{L\wedge M}

\Sigma^{q+1}L\wedge M\stackrel{(1_W\wedge\bar h)\psi_W\wedge 1_M}{\longrightarrow} W\wedge Y\wedge M \quad\stackrel{w_5\wedge 1_M}{\longrightarrow}\quad P\wedge M\stackrel{u_5\wedge 1_M} {\longrightarrow}\Sigma^{q+2}L\wedge M
of the cofibrations (9.1.12)(9.4.18). Since the left rectangle homotopy commutes then there exists u_7\in [\Sigma^{-3q-1}P\wedge M, M] such that all the above rectangle homotopy commute. That is we have
(9.4.21) u_7(w_5\wedge 1_M) = (j''u\wedge 1_M)(1_W\wedge m_M(\overline{u}\wedge 1_M)),\quad

\quad\qquad (\phi\wedge 1_M)u_7 = \pm\quad u_5\wedge 1_M
where u_7\in [\Sigma^{-3q-1}P\wedge M, M]. By the above two equations , we have the following homotopy commutative diagram of 3\times 3-Lemma in which we use the cofibrations (9.2.12)(9.4.18)(9.1.23)

\qquad P\wedge M\quad\stackrel{u_5\wedge 1_M}{\longrightarrow}\quad\Sigma^{q+2}L\wedge M \quad\stackrel{w\wedge 1_M}{\longrightarrow}\quad \Sigma^{q+2} W\wedge M

\qquad\qquad\searrow u_7\quad\nearrow \phi\wedge 1_M\quad\searrow ^{((1_W\wedge \bar h)\psi_W\wedge 1_M}\nearrow _{1_W\wedge m_M(\overline{u}\wedge 1_M)}\searrow ^{j''u\wedge 1_M} (9.4.22)\qquad\qquad\Sigma^{3q+1}M\quad\qquad\qquad\qquad \Sigma W\wedge Y\wedge M\qquad\qquad\quad \Sigma^{3q+2}M

\qquad\qquad\nearrow j''u\wedge 1_M\searrow ^{(\phi_W\wedge 1_K)i'} \nearrow _{1_W\wedge (r\wedge 1_M)\overline{m}_K}\searrow w_5\wedge 1_M\quad\nearrow u_7

\quad\Sigma^{q+1}W\wedge M\stackrel{\tilde{\lambda}(1_W\wedge \alpha'i')}{\longrightarrow} \Sigma^2W\wedge K\qquad\quad\longrightarrow\qquad\quad\Sigma P\wedge M
Then there is a cofibration
(9.4.23) \Sigma^{3q-1}M\stackrel{(\phi_W\wedge 1_K)i'} {\longrightarrow} W\wedge K\stackrel{(w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K)} {\longrightarrow}

\qquad\qquad \Sigma^{-1}P\wedge M\stackrel{u_7}{\longrightarrow}\Sigma^{3q}M in which \phi_W\in [\Sigma^{3q-1}S, W] such that u\cdot \phi_W = \phi\in [\Sigma^{2q-1}S, L]. Since (\phi\wedge 1_K)i'\cdot u_7 = (u\cdot\phi_W\wedge 1_K)i'\cdot u_7 = 0, then by (9.4.2) we have
(9.4.24) u_7 = m_M(\widetilde{\psi}\wedge 1_M)u_8
where u_8\in [\Sigma^{-q-1}P\wedge M,X\wedge M]. On the other hand, by (9.4.8), (\omega\wedge 1_M)u_8(w_5(1_W\wedge r)\wedge 1_M) = \alpha_{Y\wedge M} m_M(\widetilde{\psi}\wedge 1_M)u_8(w_5(1_W\wedge r)\wedge 1_M) = \alpha_{Y\wedge M} u_7\\(w_5(1_W\wedge r)\wedge 1_M) = \alpha_{Y\wedge M} j'(j''u\wedge 1_K)(1_W\wedge m_K) = 0 (cf. (9.1.27)). Then, by (9.4.7), u_8(w_5(1_W\wedge r)\wedge 1_M) = ((1_X\wedge j)u'\wedge 1_M)\Delta_1 with \Delta_1\in [\Sigma^{-q}W\wedge K\wedge M, L\wedge K\wedge M]\cap (ker d). By composing \mu_{X\wedge M}(1_X\wedge i)\wedge 1_M on the above equation and using (9.4.19) we have ((1_X\wedge j)u'\wedge 1_M)\Delta_1(\mu_{X\wedge M}(1_X\wedge i)\wedge 1_M) = 0 and so by (9.4.7)(9.4.6), \Delta_1(\mu_{X\wedge M}(1_X\wedge i)\wedge 1_M) = (\overline{\mu}_2(1_Y\wedge i'i)\wedge 1_M)\psi_{X\wedge M}. Then (j''\wedge 1_{K\wedge M})\Delta_1(\mu_{X\wedge M}(1_X\wedge i)\wedge 1_M) = ((j''\wedge 1_K)\overline{\mu}_2(1_Y\wedge i'i)\wedge 1_M)\psi_{X\wedge M} = (i'\overline{u}\wedge 1_M)\psi_{X\wedge M} = (i'i\wedge 1_M)m_M(\overline{u}\wedge 1_M)\psi_{X\wedge M} + (i'\wedge 1_M)\overline{m}_M(j\overline{u}\wedge 1_M)\psi_{X\wedge M} and so (j''\wedge 1_{K\wedge M})\Delta_1(\mu_{X\wedge M}(1_X\wedge i)\cdot\widetilde{u}w_2\wedge 1_M) = 0. Consequently we have (j''\wedge 1_{K\wedge M})\Delta_1(\mu_{X\wedge M}(\widetilde{u}w_2\wedge 1_M)\wedge 1_M) \in (1_Y\wedge j\wedge 1_M)^*[\Sigma^{-2q}Y\wedge M, K\wedge M] = 0, this is because the degree of the top cell of Y\wedge M is q+3. Then (j''\wedge 1_{K\wedge M})\Delta_1(\mu_{X\wedge M}\wedge 1_M)\in (\widetilde{\psi}\wedge 1_{M\wedge M})^*[M\wedge M\wedge M, K\wedge M] and so (j'(j''\wedge 1_K)\wedge 1_M)\Delta_1(\mu_{X\wedge M}\wedge 1_M) = 0 and by (9.4.4) we have (j'(j''\wedge 1_K)\wedge 1_M)\Delta_1 = \Delta_2 (j'(j''u\wedge 1_K)\wedge 1_M) = \lambda (j'(j''u\wedge 1_K)\wedge 1_M) with \lambda\in Z_p, this is because \Delta_2\in [M\wedge M,M\wedge M]\cap (ker d)\cong Z_p\{1_{M\wedge M}\}. Hence, (\widetilde{\psi}\wedge 1_M)u_8(w_5(1_W\wedge r)\wedge 1_M) = (\widetilde{\psi}(1_X\wedge j)u'\wedge 1_M)\Delta_1 = (j'(j''\wedge 1_K)\wedge 1_M)\Delta_1 = \lambda (j'(j''u\wedge 1_K)\wedge 1_M) and by (9.4.21)(9.4.24) we know that \lambda = 1 so that
(9.4.25) m_M(\widetilde{\psi}\wedge 1_M)u_8(w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r) = j'(j''u\wedge 1_K)

\qquad\quad = (j\widetilde{\psi}\wedge 1_M)u_8(w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K) ,

\qquad\quad (j\widetilde{\psi}\wedge 1_M)u_8(w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r) = ijj'(j''u\wedge 1_K)
where we use (jj'\wedge 1_M)\overline{m}_K = j' in the above equation. By composing (1_{E_{s+1}}\wedge u_8(w_5\wedge 1_M)) (it has odd degree) on (9.4.17) we have
(9.4.26) (\bar a_{s+1}\wedge 1_{X\wedge M})(1_{E_{s+2}}\wedge u_8(w_5\wedge 1_M))f_3

= - (\bar a_{s+1}\wedge 1_{X\wedge M})(1_{E_{s+2}}\wedge u_8(w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r)f'

\qquad - \overline{\lambda}(\bar a_{s+1}\wedge 1_{X\wedge M})(1_{E_{s+2}}\wedge u'(u\wedge 1_K))f'(1_X\wedge ij)

\qquad + (\bar c_s\wedge 1_{X\wedge M})(1_{KG_s}\wedge u_8(w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r)g

\qquad - (\bar c_s\wedge 1_{X\wedge M})(1_{KG_s}\wedge u_8(w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K))g(1_X\wedge ij)

\qquad + \overline{\lambda}(1_{E_{s+1}}\wedge u'(u\wedge 1_K))f_8(1_X\wedge i') where we use u_8(w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K) = \overline{\lambda} u'(u\wedge 1_K), for some nonzero \overline{\lambda}\in Z_p. Moreover, by (9.4.20)(9.4.6), (\bar b_{s+1}\wedge 1_{L\wedge K})(1_{E_{s+1}}\wedge u\wedge 1_K)f_8(1_X\wedge i') = (1_{KG_{s+1}}\wedge (u\wedge 1_K)\mu_{X\wedge M})(g_0\wedge 1_M) = (1_{KG_{s+1}}\wedge \overline{\mu}_2(1_Y\wedge i')\psi_{X\wedge M})(g_0\wedge 1_M) = \lambda_1(1_{KG_{s+1}}\wedge \overline{\mu}_2(1_Y\wedge i')\psi_{X\wedge M})(h_0\sigma\wedge 1_{X\wedge M}) = \lambda_1 (h_0\sigma\wedge 1_{L\wedge K})\overline{\mu}_2(1_Y\wedge i')\psi_{X\wedge M} (mod d_1-boundary). Then [(\bar b_{s+1}\wedge 1_{L\wedge K})(1_{E_{s+1}}\wedge u\wedge 1_K) f_8(1_X\wedge i')] = \lambda_1(\phi\wedge 1_K)_*(j''\wedge 1_K)_*[(\sigma\wedge 1_{L\wedge K}) \overline{\mu}_2(1_Y\wedge i')\psi_{X\wedge M}] = \lambda_1(\phi\wedge 1_K)_*(j''\wedge 1_K)_*(\overline{\mu}_2(1_Y\wedge i'))_* (\psi_{X\wedge M})_*[\sigma\wedge 1_{X\wedge M}] = \lambda_1(\phi\wedge 1_K)_*(i')_*(m_M(\overline{u}\wedge 1_M))_*(\psi_{X\wedge M})_*[\sigma\wedge 1_{X\wedge M}] = \lambda_1((1_L\wedge i')(\phi\wedge 1_M))_*(m_M(\widetilde{\psi}\wedge 1_M)_*[\sigma\wedge 1_{X\wedge M}] = 0 \in Ext_A^{s+1,tq}(H^*L\wedge K,H^*X\wedge M). That is we have (\bar b_{s+1}\wedge 1_{L\wedge K})(1_{E_{s+1}}\wedge u\wedge 1_K)f_8(1_X\wedge i') = (\bar b_{s+1}\bar c_s\wedge 1_{L\wedge K})g_3 with g_3\in [\Sigma^{tq}X\wedge M, KG_s\wedge L\wedge K] \cap (ker d) ( cf. Prop. 9.5.26) and so (1_{E_{s+1}}\wedge u\wedge 1_K)f_8(1_X\wedge i') = (\bar c_s\wedge 1_{L\wedge K})g_3 + (\bar a_{s+1}\wedge 1_{L\wedge K})f'_2 with f'_2\in [\Sigma^{tq+1}X\wedge M, E_{s+2}\wedge L\wedge K]\cap (ker d) (cf. Prop. 6.5.26). Hence, (9.4.26) becomes
(9.4.27) (\bar a_{s+1}\wedge 1_{X\wedge M})(1_{E_{s+2}}\wedge u_8(w_5\wedge 1_M))f_3

= - (\bar a_{s+1}\wedge 1_{X\wedge M})(1_{E_{s+2}}\wedge u_8(w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r))f'

\quad - \overline{\lambda}(\bar a_{s+1}\wedge 1_{X\wedge M})(1_{E_{s+2}}\wedge u'(u\wedge 1_K))f'(1_X\wedge ij)

\quad + (\bar c_s\wedge 1_{X\wedge M})(1_{KG_s}\wedge u_8(w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r))g

\quad - (\bar c_s\wedge 1_{X\wedge M})(1_{KG_s}\wedge u_8(w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K))g(1_X\wedge ij)

\quad + \overline{\lambda}(\bar c_s\wedge 1_{X\wedge M})(1_{KG_s}\wedge u')g_3 + \overline{\lambda}(\bar a_{s+1}\wedge 1_{X\wedge M})(1_{E_{s+2}}\wedge u')f'_2

By (9.4.27), (1_{KG_s}\wedge u_8(w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r)g - (1_{KG_s}\wedge u_8(w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K)g(1_X\wedge ij) + \overline{\lambda}(1_{KG_s}\wedge u')g_3\in [\Sigma^{tq}X\wedge M, KG_s\wedge X\wedge M] is a d_1-cycle which represents an element in Ext_A^{s,tq}(H^*X\wedge M,H^*X\wedge M)\cong Z_p\{[\sigma\wedge 1_{X\wedge M}]\} ( cf. Lemma 9.4.13). Then we have
(9.4.28) (1_{KG_s}\wedge u_8(w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r)g + \overline{\lambda}(1_{KG_s}\wedge u')g_3

\quad - (1_{KG_s}\wedge u_8(w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K))g(1_X\wedge ij)

\qquad = \bar\lambda_0(\sigma\wedge 1_{X\wedge M}) (mod d_1-boundary).
Now we consider the cases of \bar\lambda_0 \neq 1 or \bar\lambda_0 = 1 separately .

If \bar\lambda_0\neq 1, then by (9.4.27) and \bar c_s\cdot\sigma = \bar a_{s+1}\cdot\kappa we have

\qquad(1_{E_{s+2}}\wedge u_8(w_5\wedge 1_M))f_3 = - (1_{E_{s+2}}\wedge u_8(w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r)f'

\qquad\quad - \bar \lambda (1_{E_{s+2}}\wedge u'(u\wedge 1_K))f'(1_X\wedge ij) + \bar\lambda (1_{E_{s+2}}\wedge u')f'_2

\qquad\quad + \bar\lambda_0 (\kappa\wedge 1_{X\wedge M}) + (\bar c_{s+1}\wedge 1_{X\wedge M})g_4 with g_4\in [\Sigma^{tq+1}X\wedge M, KG_{s+1}\wedge X\wedge M] and by composing (1_{E_{s+2}}\wedge 1_X\wedge\alpha) = (1_{E_{s+2}}\wedge\alpha_{X\wedge M}m_M(\widetilde{\psi}\wedge 1_M)) we obtain that (1_{E_{s+2}}\wedge 1_X\wedge\alpha)(\kappa\wedge 1_{X\wedge M}) = (1_{E_{s+2}} \wedge\alpha_{X\wedge M}(j''u\wedge 1_M)(1_W\wedge m_M(\overline{u}\wedge 1_M))f_3 = (1_{E_{s+2}}\wedge\alpha_{X\wedge M}\cdot m_M(\widetilde{\psi}\wedge 1_M)u_8(w_5\wedge 1_M))f_3 = \bar\lambda_0(1_{E_{s+2}}\wedge 1_X\wedge\alpha)(\kappa\wedge 1_{X\wedge M}) so that the result of the step 1 follows.

If \bar\lambda_0 = 1, then by composing (1_{KG_s}\wedge m_M(\widetilde{\psi}\wedge 1_M)) on (9.4.28) and using (9.4.25) we have (1_{KG_s}\wedge j'(j''u\wedge 1_K))g = (1_{KG_s} \wedge m_M(\widetilde{\psi}\wedge 1_M)u_8(w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r)g = (\sigma\wedge 1_M)m_M(\widetilde{\psi}\wedge 1_M) (mod d_1-boundary). Moreover, by composing (1_{KG_s}\wedge j\widetilde{\psi}\wedge 1_M) on (9.4.28) and using (9.4.25) we have

(1_{KG_s}\wedge j\widetilde{\psi}\wedge 1_M)(\sigma\wedge 1_{X\wedge M})

= (1_{KG_s}\wedge (j\widetilde{\psi}\wedge 1_M)u_8(w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r)g

\quad - (1_{KG_s}\wedge (j\widetilde{\psi}\wedge 1_M)u_8(w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K))g(1_X\wedge ij)

\quad + \overline{\lambda}(1_{KG_s}\wedge (j\widetilde{\psi}\wedge 1_M)u')g_3

= (1_{KG_s}\wedge ij(j'(j''\wedge 1_K)(u\wedge 1_K))g

\quad - (1_{KG_s}\wedge j'(j''u\wedge 1_K))g(1_X\wedge ij) + \bar \lambda (1_{KG_s}\wedge j'(j''\wedge 1_K))g_3 by (9.4.25)

= (1_{KG_s}\wedge ij)(\sigma\wedge 1_M)m_M(\widetilde{\psi}\wedge 1_M) - (\sigma\wedge 1_M)m_M(\widetilde{\psi}\wedge 1_M)(1_X\wedge ij)

\quad + \overline{\lambda}(1_{KG_s}\wedge j'(j''\wedge 1_K))g_3

= (1_{KG_s}\wedge j\widetilde{\psi}\wedge 1_M)(\sigma\wedge 1_{X\wedge M}) + \overline{\lambda}(1_{KG_s}\wedge j'(j''\wedge 1_K))g_3 by (9.4.6)
(mod d_1-boundary), then (1_{KG_s}\wedge j'(j''\wedge 1_K))g_3 = 0 and so g_3 = (1_{KG_s}\wedge\overline{\mu}_2(1_Y\wedge i'))g_5 (mod d_1-boundary) for some g_5\in [\Sigma^{tq+q+1}X\wedge M, KG_s\wedge Y\wedge M]. So, by (9.4.6)(9.4.20) (1_{KG_{s+1}}\wedge\overline{\mu}_2(1_Y\wedge i')\psi_{X\wedge M})(g_0\wedge 1_M) = (1_{KG_{s+1}}\wedge (u\wedge 1_K)\mu_{X\wedge M})(g_0\wedge 1_M) = (\bar b_{s+1}\wedge 1_{L\wedge K})(1_{E_{s+1}}\wedge u\wedge 1_K)f_8(1_X\wedge i') = (\bar b_{s+1}\bar c_s\wedge 1_{L\wedge K})g_3 = (\bar b_{s+1}\bar c_s\wedge 1_{L\wedge K})(1_{KG_s}\wedge\overline{\mu}_2(1_Y\wedge i'))g_5 so that (1_{KG_{s+1}}\wedge \psi_{X\wedge M})(g_0\wedge 1_M) = (\bar b_{s+1}\bar c_s\wedge 1_{Y\wedge M})g_5 , this shows \lambda_1(\psi_{X\wedge M})_*[h_0\sigma\wedge 1_{X\wedge M}] = (\psi_{X\wedge M})_*[g_0\wedge 1_M] = 0 \in Ext_A^{s+1,tq+1}(H^*Y\wedge M,.H^*X\wedge M) and by Lemma 9.4.13(2) we have \lambda_1 = 0 . Then [g_0\wedge 1_M] = 0 and so (\bar b_{s+1}\wedge 1_{W\wedge K})f_8(1_X\wedge i') = (\bar b_{s+1}\bar c_s\wedge 1_{W\wedge K})g_6 for some g_6\in [\Sigma^{tq+q}X\wedge M, KG_s\wedge W\wedge K] and f_8(1_X\wedge i') = (\bar c_s\wedge 1_{W\wedge K})g_6 + (\bar a_{s+1}\wedge 1_{W\wedge K})f'_3 with f'_3\in [\Sigma^{tq+q+1}X\wedge M,E_{s+2}\wedge W\wedge K]. Then, by composing (1_{E_{s+1}}\wedge w_5\wedge 1_M) on (9.4.17) we have

- (\bar a_{s+1}\wedge 1_{P\wedge M})(1_{E_{s+2}}\wedge w_5\wedge 1_M)f_3

= (\bar a_{s+1}\wedge 1_{P\wedge M})(1_{E_{s+2}}\wedge (w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r)f'

\quad + (\bar a_{s+1}\wedge 1_{P\wedge M})(1_{E_{s+2}}\wedge (w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K)f'(1_X\wedge ij)

\quad + (\bar a_{s+1}\wedge 1_{P\wedge M})(1_{E_{s+2}}\wedge (w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K)f'_3 + (\bar c_s\wedge 1_{P\wedge M})g_7
where the d_1-cycle g_7 = (1_{KG_s}\wedge (w_5\wedge 1_M)(1_W\wedge (1_Y\wedge i)r)g - (1_{KG_s}\wedge (w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K)g(1_X\wedge ij) + (1_{KG_s}\wedge (w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K)g_6\in [\Sigma^{tq+q+1}X\wedge M, KG_s\wedge P\wedge M] which represents an element in Ext_A^{s,tq+q+1}(H^*P\wedge M,H^*X\wedge M). However, this group is zero , this can be obtained by the following exact sequence

0 = Ext_A^{s,tq+q}(H^*W\wedge K,H^*X\wedge M)\stackrel{((w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K)_*} {\longrightarrow}

\qquad Ext_A^{s,tq+q+1}(H^*P\wedge M,H^*X\wedge M)\stackrel{(u_7)_*}{\longrightarrow}

\qquad Ext_A^{s,tq-2q}(H^*M,H^*X\wedge M)\stackrel{((1_W\wedge i')(\phi_W\wedge M))_*}{\longrightarrow}
induced by (9.4.23), where the left group is zero by Prop. 9.4.11(4) and by Prop. 9.4.11(1) the right group has unique generator m_M(\widetilde{\psi}\wedge 1_M)^*(\tilde{\sigma}), which satisfies ((1_W\wedge i')(\phi_W\wedge 1_M))_*m_M(\widetilde{\psi}\wedge 1_M)^*(\tilde{\sigma})\neq 0\in Ext_A^{s+1,tq+q} (H^*W\wedge K,H^*X\wedge M).

Then, (\bar c_s\wedge 1_{P\wedge M})g_7 = 0 and so - (1_{E_{s+2}}\wedge w_5\wedge 1_M)f_3 = (1_{E_{s+2}}\wedge (w_5\wedge 1_M)u_8 (1_W\wedge (1_Y\wedge i)r)f' - (1_{E_{s+2}}\wedge (w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K)f'(1_X\wedge ij) + (1_{E_{s+2}}\wedge (w_5\wedge 1_M)(1_W\wedge (r\wedge 1_M)\overline{m}_K))f'_3 + (\bar c_{s+1}\wedge 1_{P\wedge M})g_8 for some g_8\in [\Sigma^{tq+q+2}X\wedge M, KG_{s+1} \wedge P\wedge M]. By composing (1_{E_{s+2}}\wedge\alpha_{X\wedge M}\cdot u_7) we have (1_{E_{s+2}}\wedge 1_X\wedge\alpha)(\kappa\wedge 1_{X\wedge M}) = (1_{E_{s+2}} \wedge\alpha_{X\wedge M}(j''u\wedge 1_M)(1_W\wedge m_M(\overline{u}\wedge 1_M))f_3 = (1_{E_{s+2}}\wedge\alpha_{X\wedge M}\cdot u_7(w_5\wedge 1_M))f_3 = 0 . This shows the result of step 1.

Step 2 To prove (\bar c_{s+1}\wedge 1_M)\widetilde{h_0\sigma} = (\kappa\wedge 1_M)\alpha = 0.

By (9.4.3)(9.4.4), \mu_{X\wedge M}(1_X\wedge\alpha i) = \mu_{X\wedge M} \alpha_{X\wedge M}\widetilde{\psi} = 0 and so by (9.1.15) \mu_{X\wedge M} = \mu_{X\wedge K'}(1_X\wedge v) , where \mu_{X\wedge K'} \in [X\wedge K', W\wedge K]. We claim that X\wedge K' splits into W\wedge K\vee \Sigma^qY, that is, there is a split cofibration \Sigma^qY\rightarrow X\wedge K'\rightarrow W\wedge K, this can be seen by the following homotopy commutative diagram of 3\times 3-Lemma and using (1_Y\wedge j)\alpha_{Y\wedge M} j' = r (1_K\wedge\alpha_1)

\qquad\qquad X\wedge M\quad\stackrel{\mu_{X\wedge M}}{\longrightarrow}\quad W\wedge K\quad \stackrel{0}{\longrightarrow}\quad\Sigma^{q+1}Y

\qquad\qquad\quad\searrow 1_X\wedge v\nearrow \mu_{X\wedge K'} \searrow ^{j'(j''u\wedge 1_K)}\nearrow _{(1_Y\wedge j)\alpha_{Y\wedge M}}

\qquad\qquad\qquad X\wedge K'\qquad\qquad\qquad \Sigma^{3q+1}M

\qquad\qquad\quad\nearrow \widetilde{\tau}_{X\wedge K'}\searrow 1_X\wedge \quad\nearrow\widetilde{\psi}\quad\searrow\alpha_{X\wedge M}

\qquad\qquad\Sigma^qY\quad \stackrel{\tilde{u}w_2}{\longrightarrow}\qquad\Sigma^{q+1}X\quad \stackrel{1_X\wedge\alpha i}{\longrightarrow}\quad\Sigma X\wedge M
Hence, there is a split cofibration \Sigma^qY\stackrel{\tau_{X\wedge K'}}{\longrightarrow} X\wedge K'\stackrel{\mu_{X\wedge K'}}{\longrightarrow} W\wedge K and so there are \nu_{X\wedge K'} : X\wedge K'\rightarrow\Sigma^q Y and \widetilde{\nu}_{X\wedge K'} : W\wedge K\rightarrow X\wedge K' such that \nu_{X\wedge K'}\cdot \tau_{X\wedge K'} = 1_Y,\quad \mu_{X\wedge K'}\cdot \widetilde{\nu}_{X\wedge K'} = 1_{W\wedge K}, \widetilde{\tau}_{X\wedge K'}\cdot \nu_{X\wedge K'} + \widetilde{\nu}_{X\wedge K'}\cdot \mu_{X\wedge K'} = 1_{X\wedge K'}.

By the result of step 1 we have (\kappa\wedge 1_{M\wedge X\wedge K'})(\alpha\wedge 1_{X\wedge K'}) = 0, then (\kappa\wedge 1_{M\wedge Y})(\alpha\wedge 1_{Y}) = (1_{E_{s+2}}\wedge 1_M\wedge\nu_{X\wedge K'}) (\kappa\wedge 1_{M\wedge X\wedge K'})(\alpha\wedge 1_{X\wedge K'})(1_M\wedge\tau_{X\wedge K'}) = 0. Moreover, by using the splitness in (9.1.32) we have (\bar c_{s+1}\wedge 1_M)\widetilde{h_0\sigma} = (\kappa\wedge 1_M)\alpha = (1_{E_{s+2}}\wedge 1_M\wedge\widetilde{\nu})(\kappa\wedge 1_{M\wedge Y\wedge K'})(\alpha\wedge 1_{Y\wedge K'}) (1_M\wedge\widetilde{\tau}) = 0 which shows the main Theorem C. Q.E.D.

(1) Consider the following exact sequence

\qquad Ext_A^{s,tq+q}(H^*M,H^*M)\stackrel{(i')_*}{\longrightarrow} Ext_A^{s,tq+q}(H^*K,H^*M)

\qquad\qquad\stackrel{(j')_*}{\longrightarrow} Ext_A^{s,tq-1}(H^*M,H^*M)\stackrel{\alpha_*}{\longrightarrow}
induced by (9.1.2). By the supposition (I), the right group has unique generator j^*i_*(\sigma) which satisfies \alpha_*j^*i_*(\sigma) = (ij)_*\alpha_*(\tilde{\sigma})\neq 0. Then im (j')_* = 0. By the supposition (I), the left group is zero or has two generators (ij)_*\alpha_*(\widetilde{\tau}'), (ij)^*\alpha_*(\widetilde{\tau}') (this can be obtained by a similar proof as given in Prop. 9.3.1(2)), then Ext_A^{s,tq+q}(H^*K,H^*M) = (i')_*Ext_A^{s,tq+q}(H^*M,H^*M) is zero or has unique generator (i')_*(\alpha_1\wedge 1_M)_* (\widetilde{\tau}'). Look at the following exact sequence

\qquad Ext_A^{s,tq+q}(H^*K,H^*M)\stackrel{(j')^*}{\longrightarrow} Ext_A^{s,tq-1}(H^*K,H^*K)

\qquad\qquad \stackrel{(i')^*}{\longrightarrow} Ext_A^{s,tq-1}(H^*K,H^*M)\stackrel{\alpha^*}{\longrightarrow}
induced by (9.1.2). By the supposition (I), the right group has unique generator j^*(i'i)_*(\sigma) which satisfies \alpha^*j^*(i'i)_*(\sigma) = (i')_*(ij)_*\alpha_*(\tilde{\sigma}) \neq 0\in Ext_A^{s+1,tq+q}(H^*K,H^*M) so that im (i')^* = 0. The left group is zero or has unique generator (i')_*(\alpha_1\wedge 1_M)_*(\widetilde{\tau}') and so im (j')^* = 0 and the middle group is zero as desired.

(2) For any g\in Ext_A^{s,tq}(H^*Y\wedge M,H^*K),m_M(\overline{u}\wedge 1_M))_*(g)\in Ext_A^{s,tq-q-1}\\(H^*M,H^*K)\cong Z_p \{(j')^*(\tilde{\sigma})\}, this can be obtained from Ext_A^{s,tq}(H^*M,H^*M)\\\cong Z_p\{\tilde{\sigma}\} in Prop. 9.3.0(2) and Ext_A^{s,tq-q-1}(H^*M,H^*M) = 0, where the last is obtained by the supposition (I) on Ext_A^{s,tq-q+u}\\(Z_p,Z_p) = 0(for u = 0,-1,1). Then (m_M(\overline{u}\wedge 1_M))_*(g) = \lambda'(j')^*[\sigma\wedge 1_M] = \lambda'[(\sigma\wedge 1_M)j'] = \lambda'[(1_{KG_s}\wedge j')(\sigma\wedge 1_K)] = \lambda' (j')_*[\sigma\wedge 1_K] = \lambda' (m_M(\overline{u}\wedge 1_M))_*(1_Y\wedge i)_*r_*[\sigma\wedge 1_K] and so g = \lambda' (1_Y\wedge i)_*r_*[\sigma\wedge 1_K] ( with \lambda'\in Z_p) modulo ((r\wedge 1_M)\overline{m}_K)_*Ext_A^{s,tq-1} (H^*K,H^*K) = 0. Q.E.D.

An alternative proof of Theorem 9.3.9: By the supposition (II) of the main Theorem B we have (1_{E_{s+2}}\wedge\alpha')(\kappa\wedge 1_K) = (\bar c_{s+1}\wedge 1_K) (h_0\sigma\wedge 1_K) = 0, then (\kappa\wedge 1_K) = (1_{E_{s+2}}\wedge j''\wedge 1_K)f and we have d((1_{E_{s+2}}\wedge j'' \wedge 1_K)f) = 0. That is we have
(9.4.35) \kappa\wedge 1_K = (1_{E_{s+2}}\wedge j''\wedge 1_K)f d(f) = (1_{E_{s+2}}\wedge i''\wedge 1_K)f'
for some f\in [\Sigma^{tq+q+1}K, E_{s+2}\wedge L\wedge K], f'\in [\Sigma^{tq+q+2}K, E_{s+2}\wedge K].

By (9.4.29)(9.4.35),(1_{E_{s+2}}\wedge\alpha''_{Y\wedge M}(\bar h\wedge 1_M)(1_L\wedge j'))f = \lambda_0(1_{E_{s+2}} \wedge i'((\alpha_1)_L\wedge 1_M)(1_L\wedge j'))f = - \lambda_0(1_{E_{s+2}}\wedge\alpha''(j''\wedge 1_K))f = - \lambda_0 (1_{E_{s+2}}\wedge\alpha'')(\kappa\wedge 1_K), where \lambda_0 = \pm 1. That is we have
(9.4.36) (1_{E_{s+2}}\wedge\alpha''_{Y\wedge M}(\bar h\wedge 1_M)(1_L\wedge j'))f = - \lambda_0(1_{E_{s+2}} \wedge\alpha'')(\kappa\wedge 1_K) where \lambda_0 = \pm 1

It follows that (\bar a_{s+1}\wedge 1_K)(1_{E_{s+2}}\wedge\alpha''_{Y\wedge M}(\bar h\wedge 1_M)(1_L\wedge j'))f = - \lambda_0 (\bar a_{s+1}\wedge 1_K)(1_{E_{s+2}}\wedge\alpha'')(\kappa\wedge 1_K) = - \lambda_0(\bar c_s\wedge 1_K)(1_{KG_s}\wedge\alpha'') (\sigma\wedge 1_K) = 0 since \alpha'' induces zero homomorphism in Z_p-cohomology. Then, by (9.4.30),(\bar a_{s+1}\wedge 1_{Y\wedge M}) (1_{E_{s+2}}\wedge (\bar h\wedge 1_M)(1_L\wedge j'))f = (1_{E_{s+1}}\wedge\psi_{X\wedge M})f_2 with f_2\in [\Sigma^{tq+q-1}K,\\ E_{s+1}\wedge X\wedge M]. Consequently, (\bar b_{s+1}\wedge 1_{Y\wedge M})(1_{E_{s+1}}\wedge\psi_{X\wedge M})f_2 = 0 and so by (9.4.30) we have (\bar b_{s+1}\wedge 1_{X\wedge M})f_2 = (1_{KG_{s+1}}\wedge u'(i''\wedge 1_K))g, with d_1-cycle g\in [\Sigma^{tq+q-1}K,KG_{s+1} \wedge K] and this d_1-cycle represents an element in Ext_A^{s+1,tq+q-1}(H^*K,H^*K)\cong Z_p\{(h_0\sigma)''\}. Then [g] = \lambda'(h_0\sigma)'' = \lambda'(\alpha'')_*[\sigma\wedge 1_K] for some \lambda'\in Z_p so that

\quad [(\bar b_{s+1}\wedge 1_{X\wedge M})f_2] = (u'(i''\wedge 1_K))_*[g] = \lambda'(u'(i''\wedge 1_K))_*(\alpha'')_* [\sigma\wedge 1_K]

= \lambda'(u'(i''\wedge 1_K))_*(\alpha''_{Y\wedge M})_* ((1_Y\wedge i)r)_*[\sigma \wedge 1_K] = 0
Hence, (\bar b_{s+1}\wedge 1_{X\wedge M})f_2 = (\bar b_{s+1}\bar c_s\wedge 1_{X\wedge M})g_2 for some g_2\in [\Sigma^{tq+q-1}K, KG_s\wedge X\wedge M] and so f_2 = (\bar c_s\wedge 1_{X\wedge M})g_2 + (\bar a_{s+1}\wedge 1_{X\wedge M})f_3 with f_3\in [\Sigma^{tq+q-1}K,\\E_{s+2}\wedge X\wedge M] and we have

(\bar a_{s+1}\wedge 1_{Y\wedge M})(1_{E_{s+2}}\wedge (\bar h\wedge 1_M)(1_L\wedge j'))f

= (\bar a_{s+1}\wedge 1_{Y\wedge M})(1_{E_{s+2}}\wedge\psi_{X\wedge M})f_3 + (\bar c_s\wedge 1_{Y\wedge M})(1_{KG_s} \wedge\psi_{X\wedge M})g_2

= (\bar a_{s+1}\wedge 1_{Y\wedge M})(1_{E_{s+2}}\wedge\psi_{X\wedge M})f_3 + \lambda (\bar c_s\wedge 1_{Y\wedge M}) (1_{KG_s}\wedge (1_Y\wedge i)r)(\sigma\wedge 1_K)

= (\bar a_{s+1}\wedge 1_{Y\wedge M})(1_{E_{s+2}}\wedge\psi_{X\wedge M})f_3

\qquad + \lambda (\bar a_{s+1}\wedge 1_{Y\wedge M}) (1_{E_{s+2}}\wedge (1_Y\wedge i)r)(\kappa\wedge 1_K)
with \lambda\in Z_p, where the d_1-cycle (1_{KG_s}\wedge\psi_{X\wedge M})g_2\in [\Sigma^{tq}K,KG_s\wedge Y\wedge M] represents an element \lambda ((1_Y\wedge i)r)_*[\sigma\wedge 1_K]\in Ext_A^{s,tq}(H^*Y\wedge M,H^*K)( cf. Prop. 9.4.34(2)) and so it equals to \lambda (1_{KG_s}\wedge (1_Y\wedge i)r)(\sigma\wedge 1_K) ( mod d_1-boundary). Then we have (1_{E_{s+2}}\wedge (\bar h\wedge 1_M)(1_L\wedge j'))f = (1_{E_{s+2}}\wedge\psi_{X\wedge M})f_3 + \lambda(1_{E_{s+2}}\wedge (1_Y\wedge i)r)(\kappa\wedge 1_K) + (\bar c_{s+1}\wedge 1_{Y\wedge M})g_3 for some g_3\in [\Sigma^{tq+1}K, KG_{s+1}\wedge Y\wedge M]. By composing 1_{E_{s+2}}\wedge 1_Y\wedge\alpha and using(9.4.8) we have (1_{E_{s+2}}\wedge\omega\wedge 1_M)f_3 = (1_{E_{s+2}}\wedge\alpha_{Y\wedge M}m_M(\widetilde{\psi}\wedge 1_M))f_3 = (1_{E_{s+2}}\wedge (1_Y\wedge\alpha)\psi_{X\wedge M})f_3 = - \lambda (1_{E_{s+2}}\wedge (1_Y\wedge\alpha i)r)(\kappa\wedge 1_K) = - \lambda (1_{E_{s+2}}\wedge (r\wedge 1_M)\overline{m}_K\alpha')(\kappa\wedge 1_K) = 0 and by (9.4.7) we have f_3 = (1_{E_{s+2}} \wedge (1_x\wedge j)u'\wedge 1_M)f_4 with f_4\in [\Sigma^{tq+q+1}K, E_{s+2}\wedge L\wedge K\wedge M]. That is we have
(9.4.37) (1_{E_{s+2}}\wedge (\bar h\wedge 1_M)(1_L\wedge j'))f = (1_{E_{s+2}}\wedge\psi_{X\wedge M}((1_X\wedge j)u' \wedge 1_M))f_4

\qquad + \lambda (1_{E_{s+2}}\wedge (1_Y\wedge i)r)(\kappa\wedge 1_K) + (\bar c_{s+1}\wedge 1_{Y\wedge M})g_3

= (1_{E_{s+2}}\wedge\psi_{X\wedge M}u')f_5 + (1_{E_{s+2}}\wedge\psi_{X\wedge M}(1_X\wedge ij)u'(1_L\wedge m_K))f_4

\qquad + \lambda (1_{E_{s+2}}\wedge (1_Y\wedge i)r)(\kappa\wedge 1_K) + (\bar c_{s+1}\wedge 1_{Y\wedge M})g_3
where we use f_4 = (1_{E_{s+2}}\wedge (1_L\wedge\overline{m}_K)(1_{L\wedge K}\wedge j))f_4 + (1_{E_{s+2}}\wedge (1_{L\wedge K} \wedge i)(1_L\wedge m_K))f_4 and write (1_{E_{s+2}}\wedge 1_{L\wedge K}\wedge j)f_4 = f_5.

By composing 1_{E_{s+2}}\wedge\alpha''_{Y\wedge M} on (9.4.37) and using (9.4.36)(9.4.30) we have - \lambda_0(1_{E_{s+2}}\\\wedge\alpha'')(\kappa\wedge 1_K) = (1_{E_{s+2}}\wedge\alpha''_{Y\wedge M}(\bar h\wedge 1_M)(1_L\wedge j'))f = \lambda (1_{E_{s+2}}\wedge\alpha''_{Y\wedge M} (1_Y\wedge i)r)(\kappa\wedge 1_K) = - \lambda (1_{E_{s+2}}\wedge \alpha'')(\kappa\wedge 1_K). If \lambda\neq \lambda_0, then (1_{E_{s+2}}\wedge\alpha'')(\kappa\wedge 1_K) = 0 and the Theorem follows. So, we suppose that \lambda = \lambda_0.

By (9.1.8) we have \overline{u}\bar h = i\cdot j'' so that m_M(\overline{u}\wedge 1_M)(\bar h\wedge 1_M) = j''\wedge 1_M( up to sign). Then, what happen is either m_M(\overline{u}\wedge 1_M)(\bar h\wedge 1_M) = \lambda_0(j''\wedge 1_M) or m_M(\overline{u}\wedge 1_M) (\bar h\wedge 1_M) = - \lambda_0(j''\wedge 1_M). Now we consider this two cases separately.

Case 1 m_M(\overline{u}\wedge 1_M)(\bar h\wedge 1_M) = \lambda_0(j''\wedge 1_M).

In this case, by composing 1_{E_{s+2}}\wedge m_M(\overline{u}\wedge 1_M) on (9.4.37) we have
(9.4.38) \lambda_0(1_{E_{s+2}}\wedge j')(\kappa\wedge 1_K) = \lambda_0(1_{E_{s+2}}\wedge j'(j''\wedge 1_K))f

= \lambda_0(1_{E_{s+2}}\wedge (j''\wedge 1_M)(1_L\wedge j'))f = (1_{E_{s+2}}\wedge m_M(\overline{u}\wedge 1_M)(\bar h\wedge 1_M) (1_L\wedge j'))f

= (1_{E_{s+2}}\wedge m_M(\overline{u}\wedge 1_M)\psi_{X\wedge M}(1_X\wedge ij)u'(1_L\wedge m_K))f_4

\qquad + \lambda_0(1_{E_{s+2}}\wedge j')(\kappa\wedge 1_K) + (\bar c_{s+1}\wedge 1_M)(1_{KG_{s+1}}\wedge m_M(\overline{u}\wedge 1_M))g_3

= - (1_{E_{s+2}}\wedge j'(j''\wedge 1_K)(1_L\wedge m_K))f_4

\qquad + \lambda_0(1_{E_{s+2}}\wedge j')(\kappa\wedge 1_K) + (\bar c_{s+1}\wedge 1_M)(1_{KG_{s+1}}\wedge m_M(\overline{u}\wedge 1_M))g_3
and so (1_{E_{s+2}}\wedge j'(j''\wedge 1_K)(1_L\wedge m_K))f_4 = (\bar c_{s+1}\wedge 1_M)(1_{KG_{s+1}}\wedge m_M(\overline{u}\wedge 1_M))g_3, where we use m_M(\overline{u}\wedge 1_M)\psi_{X\wedge M}(1_X\wedge ij)u' = m_M(\widetilde{\psi}\wedge 1_M)(1_X\wedge ij)u' = - (j\widetilde{\psi}\wedge 1_M)u' = - j'(j''\wedge 1_K) which is obtained by (9.4.6) and the right rectangle of the diagram (9.4.1). Moreover, by applying the derivation d to the equation (9.4.37) we have
(9.4.39) (1_{E_{s+2}}\wedge (\bar h\wedge 1_M)(1_L\wedge j')(i''\wedge 1_K))f' = (1_{E_{s+2}}\wedge\psi_{X\wedge M}u')d(f_5)

\quad + (1_{E_{s+2}}\wedge\psi_{X\wedge M}(1_X\wedge ij)u')d((1_{E_{s+2}}\wedge 1_L\wedge m_K)f_4)

\quad + (1_{E_{s+2}}\wedge \psi_{X\wedge M}u'(1_L\wedge m_K))f_4 - \lambda_0(1_{E_{s+2}}\wedge (r\wedge 1_M)\overline{m}_K)(\kappa\wedge 1_K)

\quad + (\bar c_{s+1}\wedge 1_{Y\wedge M})d(g_3)
By (9.4.32) we have \psi_{X\wedge M}u' = (r\wedge 1_M)\overline{m}_K(j''\wedge 1_K) so that (j\overline{u}\wedge 1_M)\psi_{X\wedge M}u' = j'(j''\wedge 1_K). Then, by composing 1_{E_{s+2}}\wedge\phi\cdot j\overline{u}\wedge 1_M on (9.4.39), it becomes
(9.4.40) \lambda_0(1_{E_{s+2}}\wedge (\phi\wedge 1_M)j')(\kappa\wedge 1_K) = (1_{E_{s+2}}\wedge (\phi\wedge 1_M)j'(j''\wedge 1_K))d(f_5)

\quad + (1_{E_{s+2}}\wedge (\phi\wedge 1_M)ijj'(j''\wedge 1_K))d((1_{E_{s+2}}\wedge 1_L\wedge m_K)f_4) = 0
here we use (1_{E_{s+2}}\wedge (\phi\cdot j\overline{u}\wedge 1_M)\psi_{X\wedge M}u'(1_L\wedge m_K))f_4 = (1_{E_{s+2}}\wedge j'(j''\wedge 1_K)(1_L\wedge m_K))f_4 = (\bar c_{s+1}\wedge 1_{L\wedge M})(1_{KG_{s+1}}\wedge (\phi\wedge 1_M)m_M(\overline{u} \wedge 1_M))g_3 = 0 and by 1_L\wedge\alpha_1 = \phi\cdot j''(up to nonzero scalar) we obtain that (1_{E_{s+2}}\wedge (\phi\wedge 1_M)j'(j''\wedge 1_K))d(f_5) = (1_{E_{s+2}}\wedge (1_L\wedge j'\alpha'))d(f_5) = 0 ( cf. Prop. 9.4.33) and so the first term of the right hand side of (9.4.40) is zero. the second term of the right hand side of (9.4.40) is zero by the same reason.

It follows from (9.4.40) that (1_{E_{s+2}}\wedge\phi\wedge 1_K)(\kappa\wedge 1_K) = (1_{E_{s+2}}\wedge (1_L\wedge\mu(i'i\wedge 1_K))(\phi\wedge 1_K) (\kappa\wedge 1_K)(jj'\wedge 1_K)\nu = 0 and so we have (1_{E_{s+2}}\wedge\alpha'')(\kappa\wedge 1_K) = (1_{E_{s+2}}\wedge \overline{\Delta}(\phi\wedge 1_K))(\kappa\wedge 1_K) = 0 and the Theorem follows.

Case 2 m_M(\overline{u}\wedge 1_M)(\bar h\wedge 1_M) = - \lambda_0(j''\wedge 1_M).

In this case, the left hand side of (9.4.38) changes sign, then - (1_{E_{s+2}}\wedge j'(j''\wedge 1_K)(1_L\wedge m_K))f_4 + (\bar c_{s+1}\wedge 1_M) (1_{KG_{s+1}}\wedge m_M(\overline{u}\wedge 1_M))g_3 = -2 \lambda_0(1_{E_{s+2}}\wedge j')(\kappa\wedge 1_K) and by composing 1_{E_{s+2}}\wedge \phi\cdot j\overline{u}\wedge 1_M on (9.4.39) we have

\qquad (\lambda_0 - 2 \lambda_0)(1_{E_{s+2}}\wedge (\phi\wedge 1_M)j')(\kappa\wedge 1_K)

= \lambda_0(1_{E_{s+2}}\wedge (\phi\wedge 1_M)j')(\kappa\wedge 1_K) - (1_{E_{s+2}}\wedge (\phi\wedge 1_M)j'(j''\wedge 1_K)(1_L\wedge m_K))f_4

= (1_{E_{s+2}}\wedge (\phi\wedge 1_M)j'(j''\wedge 1_K))d(f_5)

\qquad + (1_{E_{s+2}}\wedge (\phi\wedge 1_M)ijj'(j''\wedge 1_K))d((1_{E_{s+2}}\wedge 1_L\wedge m_K)f_4) = 0
so that the Theorem follows by the same reason. Q.E.D.

In this section, the convergence of a sequence of h_0\sigma and h_0\sigma' new families will be derived by the main Theorem A in § 2 and the main Theorem C in § 4, where \sigma and \sigma' is a pair of a_0-related elements.

By Theorem 5.5.3, there is a May spectral sequence (MSS) \{E_{r}^{s,t,*} , d_{r}\} which converges to Ext_{A}^{s,t}(Z_{p},Z_{p}) and whose E_{1}-term is

\quad E_{1}^{*,*,*} = E(h_{i,j}\mid i > 0, j\geq 0)\otimes P(b_{i,j}\mid i > 0, j\geq 0) \otimes P(a_{i}\mid i\geq 0),
where E denotes the exterior algebra and P denotes a polynomial algebra, , h_{i,j}\in E_{1}^{1,2(p^{i}-1)p^{j},2i-1}, b_{i,j} \in \\E_{1}^{2,2(p^{i}-1)p^{j+1},p(2i-1)}, a_{i}\in E_{1}^{1,2p^{i}-1, 2i+1}. Consider the following second degrees (mod p^nq) of the generators in the E_1^{*,*,*}-term, where 0\leq i \leq n , n\geq m + 2\geq 4

\qquad \mid h_{s,i}\mid = (p^{s+i-1} + \cdots + p^i)q (mod p^{n}q ) , \quad 0 \leq i < s+i-1 < n

\qquad\qquad\quad = (p^{n-1} + \cdots + p^i)q (mod p^nq ), 0 \leq i < s+i-1 = n,

\qquad \mid b_{s,i-1}\mid = (p^{s+i-1} + \cdots + p^i)q (mod p^nq), 1\leq i < s+i-1 < n,

\qquad\qquad\quad = (p^{n-1} + \cdots + p^i)q (mod p^nq), 1\leq i < s+i-1 = n.

\qquad \mid a_{i+1}\mid = (p^{i} + \cdots + 1)q + 1 (mod p^{n}q ), 1 \leq i< n

\qquad \mid a_{i+1}\mid = (p^{n-1} + \cdots + 1)q + 1 (mod p^nq ), i = n.
For degree k = tq+rq+u such that 0\leq r\leq 4, -1\leq u\leq 2 we have k \equiv p^mq + rq + u (mod p^nq ). Then, for 3\leq w\leq 5, E_1^{w,tq+rq+u,*} has no such generators which have one of the above elements as a factor, this is because such a generator will have second degree (c_{n}p^{n-1} + \cdots + c_{1}p + c_{0})q + d (mod p^{n}q ), where c_{i}\neq 0 (1\leq i\leq m-1 or m < i < n), 0\leq c_{l} < p , l = 0,\cdots , n, 0\leq d\leq 5. In addition, the second degree \mid b_{1,i-1}\mid = p^iq (mod p^nq)( 1\leq i\leq n),\mid h_{1,i}\mid = p^iq (mod p^nq)( 0\leq i\leq n). Then , exclude the above factor and the factor which has second degree \geq tq+pq, we know that the only possibility of the factor of the generators in E_{1}^{w,tq+rq+u,*} are a_1, a_0, h_{1,0} , h_{1,n}, h_{1.m}, b_{1,n-1}, b_{1,m-1} .

Then, by degree reasons we have

E_{1}^{4,tq+rq+1,*} = 0 for r = 3,4, E_1^{4,tq+rq+u,*} = 0 for r = 2,3,4, u = -1,0

E_1^{4,tq,*} = Z_p\{b_{1,n-1}b_{1,m-1}\}, \quad E_1^{4,tq+1,*}\cong Z_p \{a_0h_{1,n}b_{1,m-1}, a_0h_{1,m}b_{1,n-1}\},

E_1^{4,tq+2,*} = Z_p\{a_0^2h_{1,n}h_{1,m}\},

E_1^{4,tq+2q+1,*} = Z_p\{h_{1,0}a_1h_{1,n}h_{1,m}\},

E_1^{4,tq+q,*} = Z_p\{h_{1,0}h_{1,n}b_{1,m-1}, h_{1,0}h_{1,m}b_{1,n-1}\},

E_1^{3,tq+1,*} = Z_p\{a_0h_{1,n}h_{1,m}\}, E_1^{3,tq.*} = Z_p\{h_{1,n}b_{1,m-1}, h_{1,m}b_{1,n-1}\},

E_1^{3,tq+q,*} = Z_p\{h_{1,0}h_{1,n}h_{1,m}\}, E_1^{3,tq+2q+1,*} = 0 Note that the differentials in the MSS is derivative, that is, d_{r}(xy) = d_{r}(x) y + (-1)^{s} x d_{r}(y) for x\in E_{1}^{s,t,*}, y \in E_{1}^{s',t',*}. In addition, ,a_0, h_{1,n}, b_{1,n-1}, h_{1,0}a_1 are permanent cycles in the MSS which converge to a_0, h_{n}, b_{n-1}, \widetilde{\alpha}_2\in Ext_A^{*,*}\\(Z_p,Z_p) respectively.

Then, the differential d_rE_r^{3,tq+sq+u,*} = 0 for all r\geq 1 and s = u = 0 or s = 1 , u = 0 or s = 0, u = 1 or s = 2, u = 1 so that b_{1,n-1}b_{1,m-1}, a_0h_{1,n}b_{1,m-1},
a_0h_{1,m}b_{1,n-1}, h_{1,0}h_{1,n}b_{1,m-1}, h_{1,0}h_{1,m}b_{1,n-1}\in E_r^{4,*,*} are not d_r-boundary in the MSS and so b_{n-1}b_{m-1}, a_0h_nb_{m-1}, a_0h_mb_{n-1}, h_0h_nb_{m-1}, \\h_0h_mb_{n-1} are all nontrivial in Ext_A^{4,*} (Z_p,Z_p). This shows (1).

Similarly, by degree reasons we have

E_1^{5,tq+q+1,*}\cong Z_p\{a_0h_{1,0}h_{1,n}b_{1,m-1}, a_0h_{1,0}h_{1,m}b_{1,n-1}, a_1b_{1,n-1}b_{1,m-1}\}

E_1^{5,tq+rq+1,*} = 0 for r = 3,4, E_1^{5,tq+rq,*} = 0 for r = 2,3

E_1^{5,tq+2q+1,*}\cong Z_p\{h_{1,0}a_1h_{1,n}b_{1,m-1}, h_{1,0}a_1h_{1,m}b_{1,n-1}\}

E_1^{5,tq+1,*} = Z_p\{a_0b_{1,n-1}b_{1,m-1}\}, \quad E_1^{4,tq+2q+1,*}\cong Z_p\{h_{1,0}a_1h_{1,n}h_{1,m}\}

E_1^{5,tq+2,*} = Z_p\{a_0^2h_{1,m}b_{1,n-1}, a_0^2h_{1,n}b_{1,n-1}\}
All the generators of E_1^{5,tq+q+1,*} dy in the MSS, this is because a_0h_{1,0}h_{1,n}b_{1,m-1}\\ = - d_1(a_1h_{1,n}b_{1,m-1}), a_0h_{1,0}h_{1,m}b_{1,n-1} = - d_1(a_1h_{1,m}b_{1,n-1}) and
d_1(a_1b_{1,n-1}b_{1,m-1}) = - a_0h_{1,0}b_{1,n-1}b_{1,m-1}\neq 0 \in E_1^{5,tq+q+1,*}
Then, Ext_A^{5,tq+q+1}(Z_p,Z_p) = 0. In addition, similar to that given in (1) we have, d_rE_r^{4,tq+u,*} = 0, d_rE_r^{4,tq+2q+1,*} = 0 for all r\geq 1, u = 1,2 . Then, the generators in E_1^{5,*,*} converge in the MSS to \widetilde{\alpha}_2h_nb_{m-1}, \widetilde{\alpha}_2h_mb_{n-1}, a_0b_{n-1}b_{m-1}, \\a_0^2h_mb_{n-1}, a_0^2h_nb_{m-1} respectively. For the last result, note that d_rE_r^{5,tq+2,*} = 0 for all r\geq 1 , then a_0^2b_{n-1}b_{m-1}\neq 0\in Ext_A^{6,tq+2}(Z_p,Z_p). This shows (2). Q.E.D.

(1) Consider the following exact sequence (s = 1,2,3, r = 1,2)

Ext_A^{s,p^nq+r}(Z_p,Z_p)\stackrel{i_*}{\rightarrow}Ext_A^{s,p^nq+r}(H^*M,Z_p) \stackrel{j_*}{\rightarrow}Ext_A^{s,p^nq+r-1}(Z_p,Z_p)\stackrel{p_*}{\rightarrow}
induced by (9.1.1). By knowledge of Z_p-base of Ext_A^{s,*}(Z_p,Z_p) for s = 1,2,3 we know that the right group is zero except for (s,r) = (1,1),(2,1),(2,2), (3,2) it has unique generator h_n, b_{n-1}, a_0h_n, a_0b_{n-1}. However,p_*(h_n) = a_0h_n\neq 0, p_*(b_{n-1}) = a_0b_{n-1}\neq 0, p_*(a_0h_n) = a_0^2h_n\neq 0, p_*(a_0b_{n-1}) = a_0^2b_{n-1}\neq 0, then the above p_* is monic and so im j_* = 0. In addition, the left group is zero except for (s,r) = (2,1), (3,1), (3,2) it has unique generator a_0h_n = p_*(h_n), a_0b_{n-1} = p_*(b_{n-1}), a_0^2h_n = p_*(a_0h_n) respectively. Then we have im i_* = 0 and obtain that Ext_A^{s,p^nq+r}(H^*M,Z_p) = 0 for s = 1,2,3, r = 1,2.

Look at the following exact sequence (s = 2,3, r = 1,2)

0 = Ext_A^{s,p^nq+r}(H^*M,Z_p)\stackrel{i'_*}{\longrightarrow}Ext_A^{s,p^nq+r} (H^*K,Z_p)

\qquad\qquad\quad \stackrel{j'_*}{\longrightarrow}Ext_A^{s,p^nq-q+r-1}(H^*M,Z_p)
induced by (9.1.2). The left group is zero as shown above. The right group also is zero, this is because Ext_A^{s,p^nq-q+r-1}(Z_p,Z_p) = 0 for s = 2,3, r = 1,2,3(cf. Chap. 5). Then, the middle group is zero for s = 2,3, r = 1,2 and so Ext_A^{s,p^nq+1}(H^*K,H^*M) = 0 (s = 2,3).

For the last result, consider the following exact sequence

Ext_A^{3,p^nq+2q+1}(H^*K,H^*M)\stackrel{(j')^*}{\longrightarrow}Ext_A^{3,p^nq+q} (H^*K,H^*K)

\qquad\qquad\quad\stackrel{(i')^*}{\longrightarrow}Ext_A^{3,p^nq+q}(H^*K,H^*M) \stackrel{\alpha^*}{\longrightarrow}
induced by (9.1.2). The left group is zero by Prop. 9.3.2(1) and the right group has unique generator i'_*(\alpha_1\wedge 1_M)_*(\tilde{b}_{n-1})) (cf. Prop. 9.3.1) such that \alpha^*(i')_*(\alpha_1\wedge 1_M)_*(\tilde{b}_{n-1}) = 0. Then, the middle group has unique generator (h_0b_{n-1})' such that (i')^*(h_0b_{n-1})' = i'_*(\alpha_1\wedge 1_M)(\tilde{b}_{n-1}). Q.E.D.

(2) The result is obvious for s = 1. For s = 2,3, consider the following exact sequence

\stackrel{(i'i)_*}{\longrightarrow} Ext_{A}^{s-1,p^{n}q+q+s-3}(H^{*}K,Z_{p})\stackrel{r_{*}}{\longrightarrow} Ext_{A}^{s-1,p^{n}q+q+s-3}(H^{*}Y,Z_{p})

\qquad\qquad\stackrel{\epsilon_{*}}{\longrightarrow} Ext_{A}^{s,p^{n}q+q+s-3}(Z_{p}, Z_{p})\stackrel{(i'i)_*}{\longrightarrow}
induced by (9.1.4). The left group is zero for s = 2, this is because Ext_{A}^{1,t}(Z_{p},Z_{p}) = 0 for t = -1,-2 (mod q). The left group has unique genertor (i'i)_{*}(h_{0}h_{n}) for s = 3 so that im r_{*} = 0. The right group is zero for s = 2 and has unique generator h_{0}b_{n-1} for s = 3 which satisfies (i'i)_{*}(h_{0}b_{n-1})\neq 0, then im \epsilon_{*} = 0 and so the middle group is zero for s = 1,2,3.

(3) Observe the following exact sequence

0 = Ext_{A}^{0,p^{n}q}(H^{*}K,Z_{p})\stackrel{\epsilon^{*}}{\longrightarrow} Ext_{A}^{1,p^{n}q}(H^{*}K,H^{*}Y)

\qquad\qquad\stackrel{r^{*}}{\longrightarrow} Ext_{A}^{1,p^{n}q}(H^{*}K,H^{*}K) \stackrel{(i'i)^{*}}{\longrightarrow}
induced by (9.1.4). The left group clearly is zero and the right group has unique generator (h_{n})' (cf. Prop. 9.3.6) which satisfies (i'i)^{*}(h_{n})' = (i'i)_{*}(h_{n}) \neq 0 \in Ext_{A}^{1,p^{n}q}(H^{*}K,Z_{p}) , then the middle group is zero as desired. Q.E.D.

Prop. 9.7.6 Let p\geq 3, n\geq 2, then

(1) \quad Ext_{A}^{2,p^{n}q}(Z_{p},H^{*}M) = 0, Ext_{A}^{3,p^{n}q+1}(Z_{p}, H^{*}M) = 0.

(2) \quad Ext_{A}^{2,p^{n}q}(Z_{p}, H^{*}K) = 0 , Ext_{A}^{3,p^{n}q+1}(Z_{p}, H^{*}K) = 0.

(3) \quad Ext_A^{2,p^nq+q-u}(Z_p,H^*K) = 0 for u = 0,1 ,

Ext_A^{3,p^nq+q}(Z_p,H^*K) = 0.

(1) Consider the following exact sequences

induced by (9.1.1). The upper left group has unique generator a_{0}h_{n} which satisfies j^{*}(a_{0}h_{n}) = j^{*}p^{*}(h_{n}) = 0 and the upper right group has unique generator b_{n-1} satisfying p^{*}(b_{n-1}) = a_{0}b_{n-1} \neq 0 \in Ext_{A}^{3,p^{n}q+1}(Z_{p},Z_{p}) (cf. Theorem 5.4.1), then we have Ext_{A}^{2,p^{n}q}(Z_{p},H^{*}M) = 0. The lower left group has unique generator a_{0}^{2}h_{n} satisfying j^{*}(a_{0}^{2}h_{n}) = j^{*}p^{*} (a_{0}h_{n}) = 0 and the lower right group has unique generator a_{0}b_{n-1} such that p^{*}(a_{0}b_{n-1}) = a_{0}^{2}b_{n-1} \neq 0 \in Ext_{A}^{4,p^{n}q+2}(Z_{p},Z_{p}) (cf. Prop. 9.5.2(2)) , then Ext_{A}^{3,p^{n}q+1}(Z_{p},H^{*}M) = 0.

(2) Consider the following exact sequences

0 = Ext_{A}^{2,p^{n}q+q+1}(Z_{p},H^{*}M)\stackrel{(j')^{*}}{\longrightarrow} Ext_{A}^{2,p^{n}q}(Z_{p},H^{*}K)

\qquad\qquad\stackrel{(i')^{*}}{\longrightarrow}Ext_{A} ^{2,p^{n}q}(Z_{p},H^{*}M) = 0

0 = Ext_{A}^{3,p^{n}q+q+2}(Z_{p},H^{*}M)\stackrel{(j')^{*}}{\longrightarrow} Ext_{A}^{3,p^{n}q+1}(Z_{p},H^{*}K)

\qquad\qquad\stackrel{(i')^{*}}{\longrightarrow}Ext_{A}^{3,p^{n}q+1}(Z_{p},H^{*}M) = 0
induced by (9.1.2). Both two right groups are zero by (1) and both two left groups are also zero , this is because Ext_{A}^{2,p^{n}q+q+r}(Z_{p},Z_{p}) = 0 for r = 1,2 (cf. Chapter 5) and Ext_{A}^{3,p^{n}q+q+r}(Z_{p},Z_{p}) = 0 for r = 2,3 (cf. Theorem 5.4.1), then the result follows.

(3) Consider the following exact sequence

\stackrel{\alpha^*}{\longrightarrow}Ext_{A}^{2,p^{n}q+2q}(Z_{p},H^{*}M)\stackrel{(j')^{*}}{\longrightarrow} Ext_{A}^{2,p^{n}q+q-1}(Z_{p},H^{*}K)

\qquad\qquad\stackrel{(i')^{*}}{\longrightarrow}Ext_{A}^{2,p^{n}q+q-1}(Z_{p},H^{*}M) \stackrel{\alpha^{*}}{\longrightarrow}
induced by (9.1.2). The left group is zero, this is because Ext_{A}^{2,p^{n}q+2q+r}(Z_{p}, Z_{p}) = 0 for r = 0,1 (cf. Chapter 5). The right group has unique generator j^{*}(h_{0}h_{n}) since Ext_{A}^{2,p^{n}q+q-1}(Z_{p},Z_{p}) = 0 and Ext_{A}^{2,p^{n}q+q}(Z_{p},Z_{p})\cong Z_{p}\{h_{0}h_{n}\}. In addition, we claim that \alpha^{*}j^{*}(h_{0}h_{n}) = \frac{1}{2}\cdot j^{*}(\widetilde{\alpha}_{2} h_{n}) \neq 0 \in Ext_{A}^{3,p^{n}q+2q}(Z_{p},\\H^{*}M) . To prove this, it suffices to prove \alpha^*j^*(h_0) = \frac{1}{2}j^*(\widetilde{\alpha}_2 )\in Ext_A^{2,2q}(Z_p, \\H^*M). Since i^*\alpha^*j^*(h_0) = \alpha_1^*(h_0) = h_0^2 = 0, then\alpha^*j^*(h_0) = \lambda j^*(\widetilde{\alpha}_2) for some scalar \lambda\in Z_p. Since both sides of the equation detect the corresponding homotopy elements, then the relation \alpha_1j\alpha = \frac{1}{2} \alpha_2 j implies \lambda = \frac{1}{2}. This shows the above claim and so the above \alpha^{*} is monic, im (i')^{*} = 0 and we have Ext_{A}^{2,p^{n}q+q-1}(Z_{p},H^{*}K) = 0. The proof of the case for u = 0 is similar.

For the second result, consider the following exact sequence

Ext_{A}^{3,p^{n}q+2q+1}(Z_{p},H^{*}M)\stackrel{(j')^{*}}{\longrightarrow} Ext_{A}^{3,p^{n}q+q}(Z_{p},H^{*}K)

\qquad\qquad\stackrel{(i')^{*}}{\longrightarrow}Ext_{A}^{3,p^{n}q+q}(Z_{p},H^{*}M) \stackrel{\alpha^{*}}{\longrightarrow}
induced by (9.1.2). The left group has unique generator j_{*}\alpha_{*}\alpha_{*} (\tilde{h}_{n}) = j_{*}\alpha_{*}\alpha^{*}(\tilde{h}_{n}), this is because Ext_{A} ^{3,p^{n}q+2q+1}(Z_{p},Z_{p}) has unique generator \widetilde{\alpha}_2h_n\\ = j_*\alpha_*\alpha_*i_*(h_n) = i^*j_*\alpha_*\alpha_*(\tilde{h}_n) and Ext_{A}^{3,p^{n}q+2q+2} (Z_{p},Z_{p}) = 0 (cf. Theorem 5.4.1), then im (j')^{*} = 0. The right group has unique generator j_{*}\alpha_{*}(\tilde{b}_{n-1}) since Ext_{A}^{3,p^{n}q+q}(Z_{p},Z_{p}) has unique generator h_{0}b_{n-1} = j_{*}\alpha_{*}i_{*}(b_{n-1}) = j_{*} \alpha_{*}i^{*}(\tilde{b}_{n-1}) and Ext_{A}^{3,p^{n}q+q+1}(Z_{p},Z_{p}) = 0 (cf. Theorem 5.4.1). In addition, \alpha^{*} j_{*}\alpha_{*}\cdot (\tilde{b}_{n-1}) = j_{*}\alpha_{*} \alpha_{*}(\tilde{b}_{n-1}) \neq 0 \in Ext_{A}^{4,p^{n}q+2q+1}(Z_{p},H^{*}M), this is because i^{*}j_{*}\alpha_{*}\alpha_{*}\cdot (\tilde{b}_{n-1}) = \widetilde{\alpha}_{2}b_{n-1} \neq 0 (cf. Prop. 9.5.2(2)). Then the above \alpha^{*} is monic, im (i')^{*} = 0 and so the middle group is zero as desired. Q.E.D.

(1) Consider the following exact sequences

0 = Ext_{A}^{2,p^{n}q+q-1}(Z_{p},H^{*}K)\stackrel{u^{*}}{\longrightarrow} Ext_{A}^{2,p^{n}q}(Z_{p},H^{*}X)

\qquad\qquad\quad\stackrel{w^{*}}{\longrightarrow}Ext_{A}^{2,p^{n}q}(Z_{p},H^{*}K) = 0

0 = Ext_{A}^{3,p^{n}q+q}(Z_{p},H^{*}K)\stackrel{u^{*}}{\longrightarrow} Ext_{A}^{3,p^{n}q+1}(Z_{p},H^{*}X)

\qquad\qquad\quad\stackrel{w^{*}}{\longrightarrow}Ext_{A}^{3,p^{n}q+1}(Z_{p},H^{*}K) = 0
induced by (9.3.7). By Prop. 9.7.6(2)(3), Both sides four groups are zero so that the result follows.

(2) We first claim that Ext_{A}^{s,p^{n}q+1}(H^{*}K,H^{*}K) = 0( s = 2,3), then the result follows by the following exact sequence

\stackrel{(\alpha'')_*}{\longrightarrow}Ext_{A}^{3,p^{n}q+q}(H^{*}K,H^{*}K) \stackrel{w_*}{\longrightarrow}Ext_A^{3,p^nq+q}(H^*X,H^*K)

\qquad\qquad\quad\stackrel{u_*}{\longrightarrow}Ext_A^{3,p^nq+1}(H^*K,H^*K) = 0
induced by (9.3.7), where the left group has unique generator (h_{0}b_{n-1})'(cf. Prop. 9.7.5(1)). To prove the above claim, consider the following exact sequence

\stackrel{\alpha^*}{\longrightarrow}Ext_{A}^{s,p^{n}q+q+2}(H^{*}K,H^{*}M) \stackrel{(j')^{*}}{\longrightarrow}Ext_{A}^{s,p^{n}q+1}(H^{*}K,H^{*}K)

\qquad\qquad\quad\stackrel{(i')^{*}}{\longrightarrow}Ext_{A}^{s,p^{n}q+1} (H^{*}K,H^{*}M)\stackrel{\alpha^*}{\longrightarrow}
induced by (9.1.2)> The right group is zero for s = 2,3 (cf. Prop. 9.7.5(1)) and the left group is zero by Prop. 9.3.2(2). This shows the above claim.

(3) Since \alpha'' i'i = 0, then, by (9.3.7), there is \tau \in \pi_{q-1}X such that u \tau = i'i : S\rightarrow K. Consider the following exact sequence

0 = Ext_{A}^{1,p^{n}q+q-1}(H^{*}K,Z_{p})\stackrel{w_{*}}{\longrightarrow} Ext_{A}^{1,p^{n}q+q-1}(H^{*}X,Z_{p})

\qquad\qquad\quad\stackrel{u_{*}}{\longrightarrow}Ext_{A}^{1,p^{n}q}(H^{*}K, Z_{p})\stackrel{\alpha''_{*}}{\longrightarrow}
induced by (9.3.7). The left group is zero since Ext_{A}^{1,t}(Z_{p},Z_{p}) = 0 for t \equiv -1, -2 (mod q). The right group has unique generator (i'i)_{*}(h_{n}) which satisfies \alpha''_{*}(i'i)_{*}(h_{n}) = 0, then the middle group has unique generator \tau_{*}(h_{n}) such that u_{*}\tau_{*}(h_{n}) = (i'i)_{*}(h_{n}). Q.E.D.

Since u \tau\cdot p = i'i\cdot p = 0, then by (9.3.7) we have \tau \cdot p = wi'i \alpha_{1} (uo to nonzero scalar), this is because \pi_{q-1}K\cong Z_{p}\{i'i(\alpha_{1})\}. Then, by Ext_{A}^{2,p^{n}q+1}(H^{*}K,Z_{p}) = 0(cf. Prop. 9.7.5(1)) and the Ext exact sequence induced by (9.3.7) we have
(9.7.8) \tau_{*}(a_{0}b_{n-1}) = \tau_{*}p_{*}(b_{n-1}) = w_{*}(i'i)_{*} (\alpha_{1})_{*}(b_{n-1})

\qquad = w_{*}(i'i)_{*}(h_{0}b_{n-1}) \neq 0 \in Ext_{A}^{3,p^{n}q+q} (H^{*}X,Z_{p}).

(1) Consider the following exact sequence

\stackrel{\alpha^*}{\longrightarrow}Ext_{A}^{1,p^{n}q+2q}(H^{*}K,H^{*}M)\stackrel{(j')^{*}}{\longrightarrow} Ext_{A}^{1,p^{n}q+q-1}(H^{*}K,H^{*}K)

\qquad\qquad\quad\stackrel{(i')^{*}}{\longrightarrow}Ext_{A}^{1,p^{n}q+q-1}(H^{*}K,H^{*}M)
induced by (9.1.2). The right group is zero since Ext_{A}^{1,p^{n}q-2}(H^{*}M,H^{*}M) = 0, Ext_{A}^{1,p^{n}q+q-1}(H^{*}M,H^{*}M) = 0 which is obtained by Ext_{A}^{1,t}(Z_{p},Z_{p}) = 0 for t \equiv -1,-2 (mod q) and Ext_{A}^{1,p^{n}q+q+t}(Z_{p},Z_{p}) = 0 for t = -1, 0, 1. The left group also is zero since Ext_{A} ^{1,p^{n}q+q-1}(H^{*}M, H^{*}M) = 0 and Ext_{A}^{1,p^{n}q+2q}(H^{*}M,\\H^{*}M) = 0 which is obtained by the same reason as above. Then the middle group is zero.

The second result follows by the following exact sequence

0 = Ext_{A}^{1,p^{n}q+q-1}(H^{*}K,H^{*}K)\stackrel{u^{*}}{\longrightarrow} Ext_{A}^{1,p^{n}q}(H^{*}K,H^{*}X)

\qquad\qquad\quad\stackrel{w^{*}}{\longrightarrow}Ext_{A}^{1,p^{n}q}(H^{*}K,H^{*}K)\stackrel {(\alpha'')^{*}}{\longrightarrow}
induced by (9.3.7), where the right group has unique generator (h_{n})' which satisfies (\alpha'')^{*}(h_{n})' = (h_{0}h_{n})'' \neq 0 \in Ext_{A}^{2,p^{n}q+q-1} (H^{*}K,H^{*}K) ( cf. (9.3.8)).

(2) Consider the following exact sequence

\stackrel{\alpha^*}{\longrightarrow}Ext_{A}^{1,p^{n}q+2}(H^{*}K,H^{*}M)\stackrel{(j')^{*}}{\longrightarrow} Ext_{A}^{1,p^{n}q-q+1}(H^{*}K,H^{*}K)

\qquad\qquad\quad\stackrel{(i')^{*}}{\longrightarrow}Ext_{A}^{1,p^{n}q-q+1}(H^{*}K, H^{*}M)\stackrel{\alpha^*}{\longrightarrow}
induced by (9.1.2). The left group is zero since Ext_{A}^{1,p^{n}q-q+1}(H^{*}M, H^{*}M) = 0 and Ext_{A}^{1,p^{n}q+2}(H^{*}M,H^{*}M) = 0 which is obtained by Ext_{A}^{1,p^{n}q-q+t}(Z_{p},Z_{p}) = 0 for t = 0,1,2 and Ext_{A} ^{1,p^{n}q+t} (Z_{p},Z_{p}) = 0 (t = 1,2). The right group also is zero since Ext_{A}^{1,p^{n}q-2q}(H^{*}M,H^{*}M) = 0 and Ext_{A}^{1, p^{n}q-q+1}(H^{*}M,H^{*}M) = 0 . Then we have Ext_A^{1,p^{n}q-q+1}(H^{*}K,H^{*}K) = 0.

The desired result can be obtained by the following exact sequence

\stackrel{(\alpha'')^*}{\longrightarrow}Ext_{A}^{1,p^{n}q}(H^{*}K,H^{*}K)\stackrel{u^{*}}{\longrightarrow} Ext_{A}^{1,p^{n}q-q+1}(H^{*}K,H^{*}X)

\qquad\qquad\quad\stackrel{w^{*}}{\longrightarrow}Ext_{A}^{1,p^{n}q-q+1}(H^{*}K,H^{*}K) = 0
induced by (9.3.7), where the left group has unique generator (h_{n})' (cf. Prop. 9.3.6).

(3) Consider the following exact sequence

Ext_A^{1,p^nq+1}(H^*K,Z_p)\stackrel{\alpha''_{*}}{\longrightarrow}Ext_{A}^{2,p^{n}q+q}(H^{*}K, Z_{p}) \stackrel{w_{*}}{\longrightarrow}

\qquad\qquad Ext_{A}^{2,p^{n}q+q}(H^{*}X,Z_{p})\stackrel{u_{*}}{\longrightarrow}Ext_{A}^{2,p^{n}q+1}(H^{*}K,Z_{p}) = 0
induced by (9.3.7). The right group is zero by Prop. 9.7.5(1) and the left group has unique generator (i'i)_{*}(h_{0}h_{n}) since Ext_{A}^{2,p^{n}q+q}(Z_{p},Z_{p}) \cong Z_{p}\{ h_{0}h_{n} \} and Ext_{A}^{2,t}(Z_{p},Z_{p}) = 0 for t\equiv -1, -2 (mod q). In addition, Ext_{A}^{1,p^{n}q+1}(H^{*}K,\\Z_{p}) = 0, this is because Ext_{A}^{1,p^{n}q+1}(H^{*}M,Z_{p}) = 0 ( cf. the proof of Prop. 9.7.5(1)) and Ext_{A}^{1,p^{n}q-q}(H^{*}M,Z_{p}) = 0 ( cf Chapter 5), then w_* is monic so that the result follows.

(4) Consider the following exact sequence

0 = Ext_{A}^{2,p^{n}q+1}(H^{*}K,H^{*}K)\stackrel{w_{*}}{\longrightarrow} Ext_{A}^{2,p^{n}q+1}(H^{*}X,H^{*}K)

\qquad\qquad\quad\stackrel{u_{*}}{\longrightarrow}Ext_{A}^{2,p^{n}q-q+2}(H^{*}K,H^{*}K) = 0
induced by (9.3.7). The left group is zero as pointed out in the proof of Prop. 9.7.7(2). The right group also is zero since Ext_{A}^{2,p^{n}q+3}(H^{*}K,H^{*}M) = 0 and Ext_{A}^{2,p^{n}q-q+2}(H^{*}K,H^{*}M) = 0 which is obtained by Ext_{A}^{2,p^{n}q+t}\\(Z_{p},Z_{p}) = 0 for t = 2,3 and Ext_{A}^{2,p^{n}q-rq+t} (Z_{p},Z_{p}) = 0 for r = 1,2 , t = 1,2,3. Then the middle group is zero as desired. Q.E.D.

Now we proceed to prove the main Theorem 9.7.4 in this section. The proof will be done by some argument processing in the Adams resolution (9.2.9) . We first prove the following Proposition and Lemmas.

(1) Note that W also is the cofibre of r\alpha'' : \Sigma^{q-2}K \rightarrow Y, this can be seen by the following homotopy commutative diagram of 3\times 3-Lemma.

\qquad\qquad\quad S\qquad\stackrel{wi'i}{\longrightarrow}\qquad X\qquad\stackrel {u}{\longrightarrow}\quad\Sigma^{q-1}K

\qquad\qquad\qquad \searrow i'i\qquad\nearrow w\quad\searrow w_{1}\qquad\nearrow u_{2}

\qquad\qquad\qquad\qquad K \quad\qquad\qquad\qquad W

\qquad\qquad\qquad \nearrow \alpha''\qquad\searrow r\quad\nearrow w_{2}\qquad\searrow u_{1}

\qquad\qquad \Sigma^{q-2}K\quad \stackrel{r\alpha''}{\longrightarrow}\qquad Y\qquad \stackrel{\epsilon}{\longrightarrow}\qquad\Sigma S
That is , we have a cofibration
\qquad \Sigma^{q-2}K\stackrel{r\alpha''}{\longrightarrow}Y\stackrel{w_{2}} {\longrightarrow}W\stackrel{u_{2}}{\longrightarrow}\Sigma^{q-1}K and it induces the following exact sequence

Ext_{A}^{s-1,p^{n}q+q+s-3}(H^{*}Y,Z_{p})\stackrel{(w_{2})_{*}} {\longrightarrow}Ext_{A}^{s-1,p^{n}q+q+s-3}(H^{*}W,Z_{p})

\qquad\qquad\quad\stackrel{(u_{2})_{*}}{\longrightarrow} Ext_{A}^{s-1,p^{n}q+s-2}(H^{*}K,Z_{p})\stackrel {(r\alpha'')_*}{\longrightarrow}
The left group is zero for s = 1,2,3 ( cf. Prop. 9.7.5(2)). The right group also is zero for s = 1, 3 (cf. Prop. 9.7.5(1)) and has unique generator (i'i)_{*}(h_{n}) = u_{*}\tau_{*}(h_{n}) = (u_{2})_{*}(w_{1})_{*}(\tau)_{*} (h_{n}) for s = 2. Then the result follows.

(2) Consider the following exact sequence

Ext_{A}^{1,p^{n}q}(H^{*}X,H^{*}X)\stackrel{(w_{1})_{*}}{\longrightarrow} Ext_{A}^{1,p^{n}q}(H^{*}W,H^{*}X)

\qquad\qquad\quad\stackrel{(u_{1})_{*}}{\longrightarrow}Ext_{A}^{2,p^{n}q} (Z_{p},H^{*}X) = 0
The right group is zero by Prop. 9.7.7(1) and by Prop. 9.7.9(2)(1) we know that the left group has unique generator (h_{n})'_{X} = [h_{n}\wedge 1_{X}] which satisfies u_{*}(h_{n})'_{X} = u^{*}(h_{n})' \in Ext_{A}^{1,p^{n}q-q+1}(H^{*}K,H^{*}X) . Then the middle group has unique generator (w_{1})_{*}(h_{n})'_{X}.

(3) Since \alpha'' : \Sigma^{q-2}K\to K is not an M-module map, then , as the cofibre of \alpha'', the spectrum X is not an M-moduld spectrum, that is, the map p\wedge 1_X\neq 0\in [X,X]. So [a_0\wedge 1_X] = (p\wedge 1_X)_*[\tau\wedge 1_X]\neq 0\in Ext_A^{1,1}(H^*X,X^*X) ( where \tau is the unit in \pi_0KG_0), and so [a_0b_{n-1}\wedge 1_X] = (p\wedge 1_X)_*[b_{n-1}\wedge 1_X] = [a_0\wedge 1_X][b_{n-1}\wedge 1_X] \neq 0\in Ext_A^{3,p^nq+1}(H^*X,X^*X) which can be obtained by by knowledge of Yoneda products and a_0b_{n-1}\neq 0\in Ext_A^{3,p^nq+1}(Z_p,Z_p). Note to the following exact sequence

0 = Ext_{A}^{3,p^{n}q+1}(Z_{p},H^{*}X)\stackrel{(wi'i)_{*}}{\longrightarrow} Ext_{A}^{3,p^{n}q+1}(H^{*}X,H^{*}X)

\qquad\qquad\quad\stackrel{(w_{1})_{*}}{\longrightarrow}Ext_{A}^{3,p^{n}q+1} (H^{*}W,H^{*}X)
where the left group is zero by Prop. 9.7.7(1), then (w_1)_* is monic and so the reslt follows. Q.E.D.

By Theorem 8.1.7, the desired generators are of the form v_{1}^{b}\tilde{c}_{1}(ap^{s}) with degrees bq + ap^{s} (p+1)q = p^{n}(p+1)q, a\geq 1 is not divisible by p, 0\leq b < p^{n}-1 and b \geq max \{0, p^{n}-1-q_{1}(ap^{s})\}, where q_{1}(ap^{s}) = p^{s} if a = 1, q_{1}(ap^{s}) = p^{s} + p^{s-1} -1 if a\geq 2 is not divisible by p.

If b = 0, then the generator is v_{2}^{p^{n}}. Since b < p^{n}-1, then s < n and b \equiv 0 ( mod p^{s}) and so b\geq p^{n}-1-q_{1}(ap^{s})\geq p^{n}-p^{n-1} if b\geq 1. Let b = (p-1)p^{n-1} + c_{n-2}p^{n-2} + \cdots + c_{s}p^{s} be the p-adic expasion of b such that 0\leq c_{i}\leq p-1. By b\geq (p^{n}-1)-(p^{s}+p^{s-1}-1) or b\geq (p^{n}-1)-p^{s} we have c_{n-2}p^{n-2} + \cdots + c_{s}p^{s} \geq p^{n-1}-p^{s}-p^{s-1} or p^{n-1}-p^{s}-1. Consequently we have c_{n-2} = \cdots = c_{s} = p-1. On the other hand, b is divisible by p+1, then (p-1) - c_{n-2} + \cdots + (-1)^{n-1-s}c_{s} = 0 so that n-1-s must be odd. Let n-1-s = 2r-1, then we have s = n-2r, b = p^{n}-p^{n-2r} as desired and a = (p^{2r+1}+1)/(p+1). Q.E.D.

By Theorem 8.1.3 in chapter 8, Ext_{BP_{*}BP}^{2,*}(BP_{*}, BP_{*}) is generated additively by the generators \beta_{ap^{s}/b,c+1} \in Ext_{BP_{*}BP}^{2,ap^{s}(p+1)q-bq}(BP_{*},BP_{*}) , where s\geq 0, a\geq 1 is not divisible by p, b\geq 1, c\geq 0 and subject to

(i) b\leq s if a = 1.

(ii) p^{c}\mid b \leq p^{s-c}+p^{s-c-1} -1

(iii) p^{s-c-1} + p^{s-c-2} -1 < b if p^{c+1} \mid b,
and \beta_{ap^{s}/b,1} = \beta_{ap^{s}/b}. Then, for \beta_{ap^{s}/b,c+1}\in Ext_{BP_{*}BP}^{2,p^{n+1}q+q}(BP_{*},BP_{*}) we have ap^{s}(p+1)q-bq = p^{n+1}q + q = p^{n}(p+1)q - (p^{n}-1)q so that ap^{s}(p+1)q + (p^{n}-1-b)q = p^{n}(p+1)q. Similar to that in the proof of Prop. 9.8.12 we have a = 1, s = n , b = p^n-1 or a =(p^{2r+1}+1)/(p+1), b = p^{n-2r}-1, s = p^{n-2r}( r\geq 1) and consequently c = 0. This shows (1) and the proof of (2) is similar. Q.E.D.

After finishing the proof of the above Proposition, we proceed to prove Theorem 9.8.1 in case t\geq 1. The proof will be done by some argument processing in the Adams-Novikov resolution of some spectra and using the h_0h_{n+1}-map in Theorem 9.5.1 as our geometric input. We first prove the following Lemma.