Inflated quotient projectives have trivial source
ID: inflated-quotient-projectives-have-trivial-source
If is a normal p-subgroup of , any indecomposable projective module of , inflated to , is a summand of . It has trivial source and vertex . Its Brauer quotient of a module at is the entire module, since acts trivially and all proper-subgroup relative traces multiply by an index divisible by . This prevents its vertex from being smaller than .
New to topics? Read the docs here!