  For equivariant stable homotopy theory, equivariant KK-theory and equivariant
derived categories, we show how restriction to a subgroup of finite index
yields a finite commutative separable extension, analogous to finite \'etale
extensions in algebraic geometry.
