Question #23474

Let G be a finite group whose order is a unit in a ring k, and let W ⊆ V be left kG-modules. If W is a direct summand of V as k-modules, then W is a direct summand of V as kG-modules.

Expert's answer

Fixing a kk-homomorphism f ⁣:VWf \colon V \to W such that fWf \mid W is the identity, we can define g:VVg : V \to V as


g(v)=G1gGσi1f(σv) for vV.g(v) = |G|^{-1} \sum_{g \in G} \sigma_i^{-1} f(\sigma v) \text{ for } v \in V.


We check easily that gg is a kGkG-homomorphism with gW=IdWg \mid W = \operatorname{Id}_W, and so V=Wker(g)V = W \circ \ker(g).

LATEST TUTORIALS
APPROVED BY CLIENTS