Brauer first main theorem
The -local structure of a finite group , where is a prime number, is the collection of non-trivial -subgroups of (cf. also -group), together with their normalizers and centralizers (cf. also Centralizer; Normalizer of a subset). One of the principal goals of representation theory (cf. also Representation of a group) is to find rules relating representations and characters to the various -local structures of . If a prime number is fixed, representations over fields (cf. also Field) of characteristic , and values of irreducible complex characters on elements of order divisible by , are controlled to a considerable extent by the -local structure. Brauer's three main theorems on blocks are the oldest and most important tools for investigating this phenomenon. (See also Brauer second main theorem; Brauer third main theorem.)
The first step is the partition of indecomposable representations and irreducible characters into blocks. Fix a prime number . Let be a complete discrete valuation ring of characteristic with in its radical (cf. also Radical of rings and algebras), let be its field of fractions, and let be the residue field . Assume, in addition, that contains an th root of , where is the least common multiple of the orders of the elements of . The group algebra has a unique decomposition as a direct sum of indecomposable two-sided ideals,
The ideals are called the blocks of . Applying to this decomposition the natural mapping (i.e. reducing coefficients modulo ), one obtains the unique decomposition of as a direct sum of indecomposable two-sided ideals. Any indecomposable -free -module, or any indecomposable -module, is annihilated by all blocks except one, and if is an irreducible -character of , then for all but one . Thus, to each block belong a category of -free -modules, a category of -modules, and a set of irreducible -characters. The word "block" is sometimes used to refer to the corresponding categories or the corresponding set of characters, rather than to the ideal.
Let be the subfield of consisting of all elements that are algebraic over the prime subfield (cf. also Algebraic number). The values on elements of of any irreducible -character are in . If an imbedding of in the complex numbers is chosen, the irreducible -characters of can be identified with the irreducible complex characters of . Thus, the irreducible complex characters are partitioned into blocks. This partition is independent of the choice of the imbedding. When it is not clear from the context which prime number is intended, one refers to a partition of the irreducible complex characters into -blocks.
To each block is associated a -conjugacy class of -subgroups of , called its defect groups (cf. also Defect group of a block), which substantially control its representation theory. They are defined as follows. Fix a block . For any subgroup of , let
Let be given by , where is a set of representatives for the right cosets of in . The set of subgroups minimal such that is a -conjugacy class of -subgroups; they are called the defect groups of . If a block has defect group , then it is isomorphic as an -algebra to a full matrix algebra with entries in , and it is associated to just a single irreducible character, a single indecomposable -free -module, and a single indecomposable -module. Blocks with cyclic defect group are very well understood, due to work of E.C. Dade (see [a5], Chap. VII). The process of understanding blocks with more complicated defect groups is still far from complete (as of 1998). For example, R. Brauer has conjectured that the number of irreducible characters belonging to a block with defect group is less than or equal to the order of . See also Brauer height-zero conjecture.
The Brauer correspondence is a tool for relating blocks of to blocks of subgroups of ; it is defined as follows. The algebra is a right module over , with for all , , and . The decomposition of into blocks is also a decomposition of as a direct sum of indecomposable -modules. Let be a subgroup of and let be a block of . If there is a unique block of with isomorphic as an -module to a direct summand of the restriction , then one says that is defined and . The mapping is called the Brauer correspondence. Let be a defect group of . Assume that ; then in any decomposition of as a direct sum of indecomposable -modules there is a unique module isomorphic to ; so certainly is defined. Most of the important applications of the Brauer correspondence arise in this way.
Brauer's original definition of this correspondence in terms of central characters (see [a5], Chap. III) yields a mapping that has a slightly different domain of definition from the mapping described here. The mappings agree on the intersection of their domains, and both are defined in the important case when .
Brauer's first main theorem says that if is a -subgroup of and is a subgroup of with , then the Brauer correspondence gives a bijection between the blocks of with defect group and the blocks of with defect group . Thus, the number of blocks with non-trivial defect group is -locally determined.
There is a close relationship between a block of with defect group and the corresponding block of ; however, the investigation of this relationship is far from complete. See, for example, McKay–Alperin conjecture, the Broué conjecture in [a3], or the many consequences of the Alperin weight conjecture in [a2].
|[a1]||J.L. Alperin, "Local representation theory" , Cambridge Univ. Press (1986)|
|[a2]||J.L. Alperin, "Weights for finite groups" P. Fong (ed.) , Representations of Finite Groups , Proc. Symp. Pure Math. , 47 , Amer. Math. Soc. (1987) pp. 369–379|
|[a3]||M. Broué, "Isométries parfaites, types de blocs, catégories dérivées" Astérisque , 181–182 (1990) pp. 61–92|
|[a4]||C. Curtis, I. Reiner, "Methods of representation theory" , II , Wiley (1987)|
|[a5]||W. Feit, "The representation theory of finite groups" , North-Holland (1982)|
|[a6]||H. Nagao, Y. Tsushima, "Representation of finite groups" , Acad. Press (1987)|
Brauer first main theorem. H. Ellers (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Brauer_first_main_theorem&oldid=12201