Classical projective modules and Eilenberg–MacLane modules

Remark 8.5.7. If \(R\) is an ordinary associative ring, it follows from the proposition that the projective \(HR\)-modules are precisely the Eilenberg–MacLane modules \(HP\) associated with projective \(R\)-modules in the classical sense.