Relative projective module

ID: relative-projective-module

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!