Brauer's three main theorems

Brauer's three main theorems

Brauer's main theorems are three theorems in representation theory of finite groups linking the blocks of a finite group (in characteristic "p") with those of its "p"-local subgroups, that is to say, the normalizers of its non-trivial "p"-subgroups.

The second and third main theorems allow refinements of orthogonality relations for ordinary characters which may be applied in finite group theory. These do not presently admit a proof purely in terms of ordinary characters. All three main theorems are stated in terms of the Brauer correspondence.

Brauer correspondence

There are many ways to extend the definition which follows, but this is close to the early treatments by Brauer. Let "G" be a finite group, "p" be a prime, "F" be a "field" of characteristic "p".Let "H" be a subgroup of "G" which contains

:$QC_G\left(Q\right)$

for some "p"-subgroup "Q"of "G," and is contained in the normalizer

:$N_G\left(Q\right)$.

The Brauer homomorphism (with respect to "H") is a linear map from the center of the group algebra of "G" over "F" to the corresponding algebra for "H". Specifically, it is the restriction to $Z\left(FG\right)$ of the (linear) projection from $FG$ to $FC_G\left(Q\right)$ whosekernel is spanned by the elements of "G" outside $C_G\left(Q\right)$. The image of this map is contained in $Z\left(FH\right)$, and it transpires that the map is also a ring homomorphism.

Since it is a ring homomorphism, for any block "B" of "FG", the Brauer homomorphism sends the identity element of "B" either to "0" or to an idempotent element. In the latter case, the idempotent may be decomposed as a sum of (mutually orthogonal) primitive idempotents of "Z(FH)." Each of these primitive idempotents is the multiplicative identity of some block of "FH." The block "b" of "FH" is said to be a Brauer correspondent of "B" if its identity element occursin this decomposition of the image of the identity of "B" under the Brauer homomorphism.

Brauer's first main theorem

Brauer's first main theorem states that if $G$ is a finite group a $D$ is a $p$-subgroup of $G$, then there is a bijection between the collections of (characteristic "p") blocks of $G$ with defect group $D$ and blocks of the normalizer $N_G\left(D\right)$ with defect group "D". This bijection arises because when $H = N_G\left(D\right)$, each block of "G"with defect group "D" has a unique Brauer correspondent block of "H", which also has defect group "D".

Brauer's second main theorem

Brauer's second main theorem gives, for an element "t" whose order is a power of a prime "p", a criterion for a (characteristic "p") block of $C_G\left(t\right)$ to correspond to a given block of $G$, via "generalized decomposition numbers". These are the coefficients which occur when the restrictions of ordinary characters of $G$ (from the given block) to elements of the form "tu", where "u" ranges over elements of order prime to "p" in $C_G\left(t\right)$, are written as linear combinations of the irreducible Brauer characters of $C_G\left(t\right)$. The content of the theorem is that it is only necessary to use Brauer characters from blocks of $C_G\left(t\right)$ which are Brauer correspondents of the chosen block of "G".

Brauer's third main theorem

Brauer's third main theorem states that when "Q" is a "p"-subgroup of the finite group "G",and "H" is a subgroup of "G," containing $QC_G\left(Q\right)$, and contained in $N_G\left(Q\right)$,then the principal block of "H" is the only Brauer correspondent of the principal block of "G" (where the blocks referred to are calculated in characteristic "p").

References

* Richard Brauer, Zur Darstellungstheorie der Gruppen Endlicher Ordnung I, Math. Z. 63 (1956), 406-444.
* Richard Brauer, Zur Darstellungstheorie der Gruppen Endlicher Ordnung II, Math. Z. 72 (1959), 25-46.
* Richard Brauer, On the first main theorem on blocks of characters of finite groups, Illinois J. Math. 14 (1970), 183-187
* Walter Feit, "The representation theory of finite groups." North-Holland Mathematical Library, 25. North-Holland Publishing Co., Amsterdam-New York, 1982. xiv+502 pp. ISBN 0-444-86155-6

Wikimedia Foundation. 2010.

Look at other dictionaries:

• List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

• Richard Brauer — Pour les articles homonymes, voir Brauer. Richard et Ilse Brauer en 1970 Richard Dagobert Brauer (10 février 1901 à Berlin – 17 avril 1977 à Belmont (Massachusetts)  …   Wikipédia en Français

• Richard Brauer — Infobox Scientist name = Richard Brauer box width = image width = 150px caption = Richard Brauer birth date = February 10, 1901 birth place = death date = April 17, 1977 death place = residence = citizenship = nationality = United States, Germany …   Wikipedia

• List of mathematics articles (B) — NOTOC B B spline B* algebra B* search algorithm B,C,K,W system BA model Ba space Babuška Lax Milgram theorem Baby Monster group Baby step giant step Babylonian mathematics Babylonian numerals Bach tensor Bach s algorithm Bachmann–Howard ordinal… …   Wikipedia

• Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) …   Wikipedia

• Classification of finite simple groups — Group theory Group theory …   Wikipedia

• Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines …   Wikipedia

• Liste des publications d'Emmy Noether — Emmy Noether (1882 1935) est une mathématicienne allemande spécialiste de l algèbre. Cet article est une liste des publications qui ont fait sa renommée. Sommaire 1 Première époque (1908–1919) 2 Deuxième époque (1920–1926) 3 Troisiè …   Wikipédia en Français

• Focal subgroup theorem — In abstract algebra, the focal subgroup theorem describes the fusion of elements in a Sylow subgroup of a finite group. The focal subgroup theorem was introduced in (Higman 1958) and is the first major application of the transfer according to… …   Wikipedia

• Character theory — This article refers to the use of the term character theory in mathematics. For the media studies definition, see Character theory (Media). In mathematics, more specifically in group theory, the character of a group representation is a function… …   Wikipedia