Namespaces
Variants
Actions

Difference between revisions of "Brauer third main theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
 +
{{TEX|done}}
 
For notation and definitions, see [[Brauer first main theorem|Brauer first main theorem]].
 
For notation and definitions, see [[Brauer first main theorem|Brauer first main theorem]].
  
Brauer's third main theorem deals with one situation in which the Brauer correspondence (cf. also [[Brauer first main theorem|Brauer first main theorem]]) is easy to compute. The principal character of a [[Group|group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b1204701.png" /> is defined to be the character <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b1204702.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b1204703.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b1204704.png" /> (cf. also [[Character of a group|Character of a group]]). The block to which it belongs is called the principal block of the [[Group algebra|group algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b1204705.png" />. The defect groups (cf. also [[Defect group of a block|Defect group of a block]]) of the principal block are the Sylow <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b1204706.png" />-subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b1204707.png" /> (cf. also [[P-group|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b1204708.png" />-group]]). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b1204709.png" /> be a subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b12047010.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b12047011.png" /> be a block of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b12047012.png" /> with defect group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b12047013.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b12047014.png" />. Brauer's third main theorem states that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b12047015.png" /> is the principal block of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b12047016.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b12047017.png" /> is the principal block of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120470/b12047018.png" />.
+
Brauer's third main theorem deals with one situation in which the Brauer correspondence (cf. also [[Brauer first main theorem|Brauer first main theorem]]) is easy to compute. The principal character of a [[Group|group]] $G$ is defined to be the character $\chi$ such that $\chi(g)=1$ for all $g\in G$ (cf. also [[Character of a group|Character of a group]]). The block to which it belongs is called the principal block of the [[Group algebra|group algebra]] $RG$. The defect groups (cf. also [[Defect group of a block|Defect group of a block]]) of the principal block are the Sylow $p$-subgroups of $G$ (cf. also [[P-group|$p$-group]]). Let $H$ be a subgroup of $G$, and let $b$ be a block of $H$ with defect group $D$ such that $C_G(D)\subseteq H$. Brauer's third main theorem states that $b^G$ is the principal block of $RG$ if and only if $b$ is the principal block of $RH$.
  
 
See [[#References|[a1]]], [[#References|[a2]]], and [[#References|[a3]]].
 
See [[#References|[a1]]], [[#References|[a2]]], and [[#References|[a3]]].

Latest revision as of 09:15, 27 June 2014

For notation and definitions, see Brauer first main theorem.

Brauer's third main theorem deals with one situation in which the Brauer correspondence (cf. also Brauer first main theorem) is easy to compute. The principal character of a group $G$ is defined to be the character $\chi$ such that $\chi(g)=1$ for all $g\in G$ (cf. also Character of a group). The block to which it belongs is called the principal block of the group algebra $RG$. The defect groups (cf. also Defect group of a block) of the principal block are the Sylow $p$-subgroups of $G$ (cf. also $p$-group). Let $H$ be a subgroup of $G$, and let $b$ be a block of $H$ with defect group $D$ such that $C_G(D)\subseteq H$. Brauer's third main theorem states that $b^G$ is the principal block of $RG$ if and only if $b$ is the principal block of $RH$.

See [a1], [a2], and [a3].

References

[a1] J.L. Alperin, "Local representation theory" , Cambridge Univ. Press (1986)
[a2] C. Curtis, I. Reiner, "Methods of representation theory" , II , Wiley (1987)
[a3] H. Nagao, Y. Tsushima, "Representation of finite groups" , Acad. Press (1987)
How to Cite This Entry:
Brauer third main theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Brauer_third_main_theorem&oldid=11668
This article was adapted from an original article by H. Ellers (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article