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!