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!