Green correspondent of a module (source code)

= Green correspondent of a module
{c}

= Green correspondent
{c}
{synonym}

The Green correspondent is the unique indecomposable summand of restriction or induction having the selected <vertex of an indecomposable module>, in the setting of <Green correspondence>. The two correspondence maps are inverse and preserve <sources of an indecomposable module> up to the appropriate normalizer conjugacy.