In algebra, a module spectrum is a
spectrum
A spectrum (plural ''spectra'' or ''spectrums'') is a condition that is not limited to a specific set of values but can vary, without gaps, across a continuum. The word was first used scientifically in optics to describe the rainbow of color ...
with an action of a
ring spectrum
In stable homotopy theory, a ring spectrum is a spectrum ''E'' together with a multiplication map
:''μ'': ''E'' ∧ ''E'' → ''E''
and a unit map
: ''η'': ''S'' → ''E'',
where ''S'' is the sphere spectrum. These maps have to satisfy a ...
; it generalizes a
module
Module, modular and modularity may refer to the concept of modularity. They may also refer to:
Computing and engineering
* Modular design, the engineering discipline of designing complex devices using separately designed sub-components
* Mo ...
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
In mathematics, the derived category ''D''(''A'') of an abelian category ''A'' is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on ''A''. The construction pro ...
of modules over a ring.
K-theory
Lurie defines the
K-theory
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geom ...
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.)
See also
*
G-spectrum In algebraic topology, a G-spectrum is a spectrum with an action of a (finite) group.
Let ''X'' be a spectrum with an action of a finite group ''G''. The important notion is that of the homotopy fixed point set X^. There is always
:X^G \to X^,
a ma ...
References
*J. Lurie
Lecture 19: Algebraic K-theory of Ring Spectra
{{algebra-stub
Homotopy theory