Trivial source module
= 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.