Projective modules over a finite group algebra are injective

ID: projective-modules-over-a-finite-group-algebra-are-injective

For finite-dimensional modules over , projectivity and injectivity are equivalent. Indeed, is injective because is exact, while symmetry gives .

New to topics? Read the docs here!