# Corestriction functor on homology

## Definition

### General definition

Suppose $G_1,G_2$ are groups and $A$ is an abelian group. Suppose $\varphi_1:G_1 \to \operatorname{Aut}(A)$, $\varphi_2: G_2 \to \operatorname{Aut}(A)$, and $\alpha: G_1 \to G_2$ are homomorphisms such that $\varphi_2 \circ \alpha = \varphi_1$, i.e., the $G_1$-action and $G_2$-action on $A$ are compatible. Then, we get an induced homomorphism between the cohomology groups:

$\operatorname{cor}^{G_2}_{G_1}: H_{*,\varphi_1}(G_1,A) \to H_{*,\varphi_2}(G_2,A)$

This homomorphism is termed the corestriction homomorphism and the functor that sends the map $\alpha:G_1 \to G_2$ to this homomorphism is the corestriction functor on homology.

Note that it is sufficient to specify $\varphi_2$ and $\alpha$ since $\varphi_1$ is defined in terms of them. In other words, we can define the restriction functor in terms of $\varphi_2:G_2 \to \operatorname{Aut}(A)$ and $\alpha: G_1 \to G_2$.

### Typical case

The typical case where we talk of the restriction functor is where the map $\alpha: G_1 \to G_2$ is injective, and we naturally identify $G_1$ with its image subgroup of $G_2$.