closes #122

Author: ecpeterson

quillen.tex

@@ -958,7 +958,7 @@ \section{Explicitly stabilizing cyclic \texorpdfstring{\(MU\)}{MU}--power operat
 \begin{align*}
 P^{C_n}(\iota_{2m}^* \bar u_m) = \iota_{2m}^* P^{C_n}(\bar u_m) & = \iota_{2m}^* \left( \sum_{|\alpha| \le m} w^{m - |\alpha|} a_\alpha(t) s_\alpha(\bar u_m) \right) = w^m \iota_{2m},
 \end{align*}
-since \(s_\alpha(\iota_{2m}) = 0\) for any nonzero \(\alpha\), as the cohomology of \(S^{2m}\) is too sparse.  Because \(\sigma^{2m} f = \iota_{2m} \sm f\), we conclude the proof by multiplicativity of \(P^{C_n}\).
+since \(s_\alpha(\iota_{2m}) = 0\) for any nonzero \(\alpha\), as \(MU\) is connective and hence the cohomology of \(S^{2m}\) is too sparse.  Because \(\sigma^{2m} f = \iota_{2m} \sm f\), we conclude the proof by multiplicativity of \(P^{C_n}\).
 \end{proof}
 
 \begin{theorem}[{cf.\ \cite[Proposition 3.17]{Quillen}, \cite[Corollary VII.7.14]{Rudyak}}]\label{QuillensKeyRelation}