Juhász induction refinement

ID: juhasz-induction-refinement

For an indecomposable -module with vertex and , every indecomposable summand of has vertex conjugate into for some . The refinement keeps the intersection subgroups from Green correspondence, rather than asserting only that the remaining vertices are smaller than .

New to topics? Read the docs here!