1: \begin{abstract}

2: 	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.

3: \end{abstract}