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
a map from the fixed point spectrum to a homotopy fixed point spectrum (because, by definition,
Example:
The cofiber of
G-Galois extension in the sense of Rognes
This notion is due to J. Rognes (Rognes 2008). Let A be an E∞-ring with an action of a finite group G and B = AhG its invariant subring. Then B → A (the map of B-algebras in E∞-sense) is said to be a G-Galois extension if the natural map
(which generalizes
Example: KO → KU is a ℤ./2-Galois extension.