Local characterization of block covers and their applications (Q1204402): Difference between revisions

Let \(G\) be a finite group, let \(H\) be a subgroup of \(G\) and let \(F\) be a field of characteristic \(p\) where \(p\) divides \(| G|\). By definition if \(V\) is an \(FG\) module and \(U\) is an \(FH\)-module then \(V\) covers \(U\) if \(U|(V \downarrow_ H)\) and \(U\) covers \(V\) if \(V|(U \uparrow^ G)\). Also if \(e\) is a block idempotent of \(FG\), \(B = e \cdot FG\), \(\widetilde e\) is a block idempotent of \(FH\), \(\widetilde B = \widetilde e \cdot FH\), then \(B\) covers \(\widetilde B\) (or \(e\) covers \(\widetilde e\)) if \(\widetilde B|(B \downarrow_{H\times H})\) and \(\widetilde B\) covers \(B\) (or \(\widetilde e\) covers \(e\)) if \(B | (\widetilde B \uparrow^{G\times G})\). The former is called a going-down cover and the latter is called a going-up cover. Sections 1 and 2 of this paper characterize in local ways block going- down covers and block going-up covers, resp. These results are applied in Section 3 to describe Brauer correspondences, subpairs with block covers and extensions of Nagao's Theorem and in Section 4 to characterize block covers by corresponding module covers. Finally, in Section 5, the author remarks that all results of this paper hold with \(F\) replaced by a local domain in a \(p\)-modular system.