Group cohomology commutes with finite direct sums

ID: group-cohomology-commutes-with-finite-direct-sums

For -modules ,
because the Hom functor into a finite direct sum splits degree by degree and taking cohomology preserves that splitting.

New to topics? Read the docs here!