Modules in a block are projective relative to its defect group
ID: modules-in-a-block-are-projective-relative-to-its-defect-group
For a block of a group algebra with identity and defect group of a block , the trace criterion for defect groups writes with . On any module in the block, multiplication by is -linear and its relative trace is the identity. The D. Higman criterion therefore makes the module relatively -projective.
New to topics? Read the docs here!