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].
General references in this subject are [a1], [a4], [a5], and [a6].
References
[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. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Brauer_first_main_theorem&oldid=50413