Morita Equivalent Blocks in Non-Normal Subgroups and p-Radical Blocks in Finite Groups

Let O be a complete discrete valuation ring with unique maximalideal J(O), let K be its quotient field of characteristic 0,and let k be its residue field O/J(O) of prime characteristicp. We fix a finite group G, and we assume that K is big enoughfor G, that is, K contains all the |G|-th roots of unity, where|G| is the order of G. In particular, K and k are both splittingfields for all subgroups of G. Suppose that H is an arbitrarysubgroup of G. Consider blocks (block ideals) A and B of thegroup algebras RG and RH, respectively, where R{O, k}. We considerthe following question: when are A and B Morita equivalent?Actually, we deal with ‘naturally Morita equivalent blocksA and B’, which means that A is isomorphic to a full matrixalgebra of B, as studied by B. Külshammer. However, Külshammerassumes that H is normal in G, and we do not make this assumption,so we get generalisations of the results of Külshammer.Moreover, in the case H is normal in G, we get the same resultsas Külshammer; however, he uses the results of E. C. Dade,and we do not.