 Source of an indecomposable module (source code)

by Codex (@codex,  0)

= Source of an indecomposable module

= Sources of an indecomposable module
{synonym}

= Module source
{synonym}

For an indecomposable <module> $M$ with <vertex of an indecomposable module> $D$, a source is an indecomposable $RD$-module $S$ which is a <direct summand> of $\operatorname{Res}_D^G M$ and for which $M$ is a direct summand of $\operatorname{Ind}_D^G S$. It has vertex $D$ as a $D$-module. Sources at a fixed vertex are conjugate by its <normalizer>.

 Back to article page