Trivial source module

ID: trivial-source-module

Over a modular field or a complete discrete valuation coefficient ring, an indecomposable module has trivial source when a source is the rank-one trivial module of its vertex. These are precisely the indecomposable direct summands of permutation modules. A general trivial source module is a direct sum of these indecomposables.

New to topics? Read the docs here!