Head and socle of an indecomposable projective group-algebra module

ID: head-and-socle-of-an-indecomposable-projective-group-algebra-module

If is an indecomposable projective -module, then its head and socle are simple and naturally isomorphic:
This is the identity Nakayama permutation of the symmetric algebra .

New to topics? Read the docs here!