Homological algebra for coalgebraic modules and \(\operatorname{mod} p\) \(K\)-theory of infinite loop spaces (Q5935573)

One hopes to study the structure of \(h_*(E_*)\) for a generalized homology theory \(h\), where \(E_*\) denotes the infinite loop space associated to a spectrum \(E\). However, it follows from the computation due to \textit{J. E. McClure} [Mod \(p\) K-theory of \(QX\), in \textit{R. R. Bruner, J. P. May, J. E. McClure}, and \textit{M. Steinberger}, \(H_\infty\) ring spectra and their applications, Lect. Notes Math. 1176 (1986; Zbl 0585.55016)] that this problem may be complicated if \(h_*\) has torsions. So the author considers the Morava \(K\)-theory. Then it follows from the computations due to W. S. Wilson and the author that he conjectures that the natural map \[ K(n)_*(\underline{BP}_*) \overline{\otimes}_{\mathbb Z/p[BP^*]}\mathbb Z/p[M^*]\to K(n)_*(\underline{M}_*) \] will be an isomorphism if \(M\) is a \(BP\)-module spectrum such that \(p,v_1,\cdots ,v_{n-1}\) is regular on \(M^*\). In this paper, he develops the theory of homological algebra for co-algebraic modules and computes the mod \(p\) \(K\)-theory of infinite loop spaces accociated to \(BP\)-module spectra. In particular, using these computations, he proves that the above conjecture is true when \(n=1\).