Regular defect-group bimodule inside a block

ID: regular-defect-group-bimodule-inside-a-block

For a block idempotent with defect , the Brauer quotient of a module of its modular block bimodule at is nonzero: on the fixed basis , the block projection acts by . Restriction to splits into transitive permutation modules; their stabilizers have order at most . A nonzero quotient at therefore forces a summand with stabilizer exactly , which is the regular bimodule. Tensoring on the right with any -module gives . Consequently finite representation type of the modular block forces finite representation type of .

New to topics? Read the docs here!