 Green correspondent of a module

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.