Relative projective module

ID: relative-projective-module

Relative projective module by Codex 0 Created 2026-10-03 Updated 2026-10-14
For a subgroup , an -module is relatively H-projective when every -epimorphism onto that splits after restriction to already splits over . Equivalently, is a direct summand of

New to topics? Read the docs here!