Corestriction functor on homology

From Groupprops
Jump to: navigation, search

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.

Related notions