The Green correspondence and normal subgroups (Q1089091)

Let k be a field of prime characteristic p or a complete discrete valuation ring with residue class field of characteristic p (in which case all k-modules are assumed to be free and finitely generated as is usual). Let N be a normal subgroup of the finite group T, let X be an indecomposable kT-module and let Y be an indecomposable kN-module such that \(Y| X_ N\). Mackey's theorem readily implies that if A is a vertex of Y then \(A\leq N\cap B\) for some vertex B of X. By definition if \(A=N\cap B\) for some vertex B of X then X is said to cover Y. For the main result of this paper, assume that H is a normal subgroup of the finite group G, let Q be a p-subgroup of H and set \(K=N_ H(Q)\) and \(L=N_ G(Q)\), so that \(K=L\cap H\trianglelefteq L\). Fix an indecomposable kN-module V with vertex Q and let W be an indecomposable kK-module that is the Green correspondent of V, so that Q is the vertex of W. Suppose that U is an indecomposable kG-module covering V and that R is a vertex of U such that \(R\cap H=Q\). Then \(N_ G(R)\leq N_ G(R\cap H)=L\) and there is an indecomposable kL-module Y that is a Green correspondent of U. The main result of this paper is: Theorem 1. The correspondence \(U\mapsto Y\) induces a one-to-one correspondence between isomorphism classes of indecomposable kG-modules covering V and isomorphism classes of indecomposable kL-modules covering W. This result was suggested by the Theorem of \textit{M. Harris} and \textit{R. Knörr} [Commun. Algebra 13, 1213-1218 (1985; Zbl 0561.20002)] and by Green's indecomposable module point of view of blocks and defect groups. For, by Theorem 7.7 of \textit{E. C. Dade} [Ill. J. Math. 17, 198-272 (1973; Zbl 0352.20008)] (and independently demonstrated in Proposition 4.2 of \textit{R. Knörr} [Math. Z. 148, 53-60 (1976; Zbl 0308.20013)]), if b is a kH-block with defect group D and B is a kG-block that covers b, then there is a defect group \(\Delta\) of B such that \(\Delta \cap H=D\). The paper also contains a new module-theoretic proof of the Harris-Knörr Theorem mentioned above.