In algebra, a module spectrum is a spectrum with an action of a ring spectrum; it generalizes a module in abstract algebra.
The âÂÂ-category of (say right) module spectra is stable; hence, it can be considered as either analog or generalization of the derived category of modules over a ring.
Lurie defines the K-theory of a ring spectrum R to be the K-theory of the âÂÂ-category of perfect modules over R (a perfect module being defined as a compact object in the âÂÂ-category of module spectra).