Namespaces
Variants
Actions

Difference between revisions of "Finite group, representation of a"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
A homomorphism of a finite group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f0402801.png" /> into the group of non-singular linear mappings of a vector space into itself over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f0402802.png" />. The representation theory of finite groups is the most highly developed (and is a most important) part of the representation theory of groups.
+
<!--
 +
f0402801.png
 +
$#A+1 = 112 n = 0
 +
$#C+1 = 112 : ~/encyclopedia/old_files/data/F040/F.0400280 Finite group, representation of a
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
The representation theory of finite groups over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f0402803.png" /> is part of the representation theory of compact groups, and all the results of that theory (the Peter–Weyl theorem, the theory of characters, orthogonality relations, etc.) are valid (and simpler to prove) for finite groups. In particular, every representation of a finite group in a topological vector space is a direct sum of irreducible representations. On the other hand, there are some fundamental results in the representation theory of finite groups that use the specific nature of finite groups. For example, for a finite group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f0402804.png" /> the number of different equivalence classes of representations is equal to the number of conjugacy classes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f0402805.png" />; the sum of the squares of the dimensions of representations representing the different equivalence classes is equal to the order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f0402806.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f0402807.png" />; the dimension of every irreducible representation is a divisor of the index of every Abelian normal subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f0402808.png" /> (in particular, is a divisor of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f0402809.png" />) and does not exceed the index of Abelian subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028010.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028011.png" /> is the character of a representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028012.png" /> of a finite group and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028013.png" /> is the dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028014.png" />, then for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028015.png" /> and all conjugacy classes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028017.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028018.png" /> are algebraic integers. Every character of a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028019.png" /> is a linear combination of the characters of the representations induced (see [[Induced representation|Induced representation]]) from representations of its cyclic subgroups and an integral linear combination of the characters of representations induced from one-dimensional representations of subgroups. A group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028020.png" /> is said to be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028022.png" />-elementary if it is the product of a group of order a power of the prime number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028023.png" /> and a cyclic group of order prime to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028024.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028025.png" /> is said to be elementary if it is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028026.png" />-elementary for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028027.png" />. Every character of a finite group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028028.png" /> is an integral linear combination of the representations induced from the representations of the elementary subgroups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028029.png" /> (Brauer's theorem, which can be generalized to the case where the field has arbitrary characteristic). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028030.png" /> is supersolvable, that is, if it has a [[Composition sequence|composition sequence]] consisting of normal subgroups with cyclic factors, then every irreducible representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028031.png" /> is induced from some one-dimensional representation of a subgroup.
+
{{TEX|auto}}
 +
{{TEX|done}}
  
When the characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028032.png" /> of a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028033.png" /> does not divide <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028034.png" />, the theory is only slightly different from the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028035.png" />. In particular, every finite-dimensional representation of a finite group is completely reducible; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028036.png" /> is algebraically closed, then the number of equivalence classes of irreducible representations over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028037.png" /> is the number of conjugacy classes of the group, and the sum of the squares of the dimensions of representations representing the different equivalence classes is equal to the group order. But for a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028038.png" /> that is not algebraically closed there may exist representations that are irreducible over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028039.png" /> but reducible over extensions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028040.png" />; a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028041.png" /> is said to be a splitting field of an irreducible representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028042.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028043.png" /> is irreducible over every extension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028044.png" />, and a splitting field for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028045.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028046.png" /> is a splitting field for every representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028047.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028048.png" /> is a field of characteristic 0 or a finite field containing the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028049.png" />-th roots of unity, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028050.png" /> is the least common multiple of the orders of the elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028051.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028052.png" /> is a splitting field for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028053.png" />; the representation theory of a finite group over a field that is not a splitting field is connected with the Galois group of the extension of the given field obtained by adjoining all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028054.png" />-th roots of unity. In particular, the number of classes of irreducible representations of a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028055.png" /> over the field of rational numbers equals the number of conjugacy classes of cyclic subgroups of the group. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028056.png" /> is a [[Perfect field|perfect field]] there exists a splitting field for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028057.png" /> that is finite over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028058.png" />. For every field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028059.png" /> the character of an arbitrary representation of a finite group takes values in the set of finite sums of roots of unity in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028060.png" />, and the analogues of the orthogonality relations and their consequences hold for the matrix entries and characters; in particular, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028061.png" /> is a splitting field of characteristic zero for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028062.png" />, then a representation with character <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028063.png" /> is irreducible if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028064.png" />. If the characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028065.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028066.png" /> divides the group order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028067.png" />, then the group algebra of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028068.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028069.png" /> is not semi-simple and there exist representations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028070.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028071.png" /> that are not completely reducible.
+
A homomorphism of a finite group $  G $
 +
into the group of non-singular linear mappings of a vector space into itself over a field $  K $.  
 +
The representation theory of finite groups is the most highly developed (and is a most important) part of the representation theory of groups.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028072.png" /> be a local field of characteristic zero which is complete for a non-trivial discrete valuation (cf. [[Discrete norm|Discrete norm]]), and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028073.png" /> be the finite residue class field of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028074.png" /> of characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028075.png" />. Then the representations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028076.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028077.png" /> are said to be modular. The theory of modular representations establishes deeper connections between the structure of a group and properties of its representations than does representation theory over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028078.png" />. The theory is simpler when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028079.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028080.png" /> contain all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028081.png" />-th roots of unity (and are therefore splitting fields); in this case an analogue of the orthogonality relations holds for the matrix entries and the characters. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028082.png" /> be a representation of a finite group over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028083.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028084.png" /> be its character, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028085.png" /> be a primitive <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028086.png" />-th root of unity in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028087.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028088.png" /> be its canonical image in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028089.png" />; let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028090.png" /> be an element of order prime to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028091.png" />, that is, a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028093.png" />-regular element, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028094.png" /> be the set of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028095.png" />-regular elements. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028096.png" /> is diagonalizable and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028097.png" /> for some integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028098.png" />. The formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f04028099.png" /> defines a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280100.png" />, called the Brauer character of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280101.png" />; it determines the composition factors of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280102.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280103.png" /> uniquely. Indecomposable two-sided direct factors in the [[Group algebra|group algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280104.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280105.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280106.png" /> are called blocks; there exists a classification of inequivalent irreducible representations over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280107.png" />, of inequivalent indecomposable representations over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280108.png" />, and of non-isomorphic components of the decomposition of the left-regular representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280109.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280110.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280111.png" /> into a direct sum of non-zero indecomposabe representations in terms of the blocks. These results can be extended to the case where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280112.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280113.png" /> are not splitting fields for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040280/f040280114.png" />.
+
The representation theory of finite groups over  $  \mathbf C $
 +
is part of the representation theory of compact groups, and all the results of that theory (the Peter–Weyl theorem, the theory of characters, orthogonality relations, etc.) are valid (and simpler to prove) for finite groups. In particular, every representation of a finite group in a topological vector space is a direct sum of irreducible representations. On the other hand, there are some fundamental results in the representation theory of finite groups that use the specific nature of finite groups. For example, for a finite group  $  G $
 +
the number of different equivalence classes of representations is equal to the number of conjugacy classes of  $  G $;
 +
the sum of the squares of the dimensions of representations representing the different equivalence classes is equal to the order  $  | G | $
 +
of  $  G $;
 +
the dimension of every irreducible representation is a divisor of the index of every Abelian normal subgroup of  $  G $(
 +
in particular, is a divisor of  $  | G | $)
 +
and does not exceed the index of Abelian subgroups of  $  G $.
 +
If  $  \chi $
 +
is the character of a representation  $  \pi $
 +
of a finite group and  $  d $
 +
is the dimension of  $  \pi $,
 +
then for all  $  s \in G $
 +
and all conjugacy classes  $  Q \subset  G $,
 +
$  \chi ( s) $
 +
and  $  d  ^ {-} 1 \sum _ {s \in Q }  \chi ( s) $
 +
are algebraic integers. Every character of a group  $  G $
 +
is a linear combination of the characters of the representations induced (see [[Induced representation|Induced representation]]) from representations of its cyclic subgroups and an integral linear combination of the characters of representations induced from one-dimensional representations of subgroups. A group  $  H $
 +
is said to be  $  p $-
 +
elementary if it is the product of a group of order a power of the prime number  $  p $
 +
and a cyclic group of order prime to  $  p $;
 +
$  H $
 +
is said to be elementary if it is  $  p $-
 +
elementary for some  $  p $.
 +
Every character of a finite group  $  G $
 +
is an integral linear combination of the representations induced from the representations of the elementary subgroups  $  H \subset  G $(
 +
Brauer's theorem, which can be generalized to the case where the field has arbitrary characteristic). If  $  G $
 +
is supersolvable, that is, if it has a [[Composition sequence|composition sequence]] consisting of normal subgroups with cyclic factors, then every irreducible representation of  $  G $
 +
is induced from some one-dimensional representation of a subgroup.
 +
 
 +
When the characteristic  $  p $
 +
of a field  $  K $
 +
does not divide  $  | G | $,
 +
the theory is only slightly different from the case  $  K = \mathbf C $.
 +
In particular, every finite-dimensional representation of a finite group is completely reducible; if  $  K $
 +
is algebraically closed, then the number of equivalence classes of irreducible representations over  $  K $
 +
is the number of conjugacy classes of the group, and the sum of the squares of the dimensions of representations representing the different equivalence classes is equal to the group order. But for a field  $  K $
 +
that is not algebraically closed there may exist representations that are irreducible over  $  K $
 +
but reducible over extensions of  $  K $;
 +
a field  $  K $
 +
is said to be a splitting field of an irreducible representation  $  \pi $
 +
if  $  \pi $
 +
is irreducible over every extension of  $  K $,
 +
and a splitting field for  $  G $
 +
if  $  K $
 +
is a splitting field for every representation of  $  G $.
 +
If  $  K $
 +
is a field of characteristic 0 or a finite field containing the  $  m $-
 +
th roots of unity, where  $  m $
 +
is the least common multiple of the orders of the elements of  $  G $,
 +
then  $  K $
 +
is a splitting field for  $  G $;
 +
the representation theory of a finite group over a field that is not a splitting field is connected with the Galois group of the extension of the given field obtained by adjoining all  $  m $-
 +
th roots of unity. In particular, the number of classes of irreducible representations of a group  $  G $
 +
over the field of rational numbers equals the number of conjugacy classes of cyclic subgroups of the group. If  $  K $
 +
is a [[Perfect field|perfect field]] there exists a splitting field for  $  G $
 +
that is finite over  $  K $.
 +
For every field  $  K $
 +
the character of an arbitrary representation of a finite group takes values in the set of finite sums of roots of unity in  $  K $,
 +
and the analogues of the orthogonality relations and their consequences hold for the matrix entries and characters; in particular, if  $  K $
 +
is a splitting field of characteristic zero for  $  G $,
 +
then a representation with character  $  \chi $
 +
is irreducible if and only if  $  \sum _ {g \in G }  \chi ( g) \chi ( g  ^ {-} 1 ) = | G | $.  
 +
If the characteristic  $  p $
 +
of  $  K $
 +
divides the group order  $  | G | $,
 +
then the group algebra of  $  G $
 +
over  $  K $
 +
is not semi-simple and there exist representations of  $  G $
 +
over  $  K $
 +
that are not completely reducible.
 +
 
 +
Let  $  k $
 +
be a local field of characteristic zero which is complete for a non-trivial discrete valuation (cf. [[Discrete norm|Discrete norm]]), and let $  K $
 +
be the finite residue class field of $  k $
 +
of characteristic $  p $.  
 +
Then the representations of $  G $
 +
over $  K $
 +
are said to be modular. The theory of modular representations establishes deeper connections between the structure of a group and properties of its representations than does representation theory over $  \mathbf C $.  
 +
The theory is simpler when $  k $
 +
and $  K $
 +
contain all $  m $-
 +
th roots of unity (and are therefore splitting fields); in this case an analogue of the orthogonality relations holds for the matrix entries and the characters. Let $  \pi $
 +
be a representation of a finite group over $  K $,  
 +
let $  \chi $
 +
be its character, let $  \Delta $
 +
be a primitive $  m $-
 +
th root of unity in $  k $,  
 +
and let $  \delta $
 +
be its canonical image in $  K $;  
 +
let $  s \in G $
 +
be an element of order prime to $  p $,  
 +
that is, a $  p $-
 +
regular element, and let $  G _ { \mathop{\rm reg}  } $
 +
be the set of $  p $-
 +
regular elements. Then $  \pi ( s) $
 +
is diagonalizable and $  \chi ( s) = \delta ^ {a _ {1} } + \dots + \delta ^ {a _ {n} } $
 +
for some integers $  a _ {1} \dots a _ {n} $.  
 +
The formula $  \eta ( s) = \Delta ^ {a _ {1} } + \dots + \Delta ^ {a _ {n} } $
 +
defines a function $  \eta : G _ { \mathop{\rm reg}  } \rightarrow k $,  
 +
called the Brauer character of $  \pi $;  
 +
it determines the composition factors of $  \pi $
 +
over $  K $
 +
uniquely. Indecomposable two-sided direct factors in the [[Group algebra|group algebra]] $  K ( G) $
 +
of $  G $
 +
over $  K $
 +
are called blocks; there exists a classification of inequivalent irreducible representations over $  k $,  
 +
of inequivalent indecomposable representations over $  K $,  
 +
and of non-isomorphic components of the decomposition of the left-regular representation of $  G $
 +
over $  K $
 +
in $  K ( G) $
 +
into a direct sum of non-zero indecomposabe representations in terms of the blocks. These results can be extended to the case where $  k $
 +
and $  K $
 +
are not splitting fields for $  G $.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  C.W. Curtis,  I. Reiner,  "Representation theory of finite groups and associative algebras" , Interscience  (1962)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.A. Kirillov,  "Elements of the theory of representations" , Springer  (1976)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  M.A. Naimark,  "Theory of group representations" , Springer  (1982)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  S. Lang,  "Algebra" , Addison-Wesley  (1974)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  J.-P. Serre,  "Linear representations of finite groups" , Springer  (1977)  (Translated from French)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  C.W. Curtis,  I. Reiner,  "Representation theory of finite groups and associative algebras" , Interscience  (1962)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.A. Kirillov,  "Elements of the theory of representations" , Springer  (1976)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  M.A. Naimark,  "Theory of group representations" , Springer  (1982)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  S. Lang,  "Algebra" , Addison-Wesley  (1974)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  J.-P. Serre,  "Linear representations of finite groups" , Springer  (1977)  (Translated from French)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====

Latest revision as of 19:39, 5 June 2020


A homomorphism of a finite group $ G $ into the group of non-singular linear mappings of a vector space into itself over a field $ K $. The representation theory of finite groups is the most highly developed (and is a most important) part of the representation theory of groups.

The representation theory of finite groups over $ \mathbf C $ is part of the representation theory of compact groups, and all the results of that theory (the Peter–Weyl theorem, the theory of characters, orthogonality relations, etc.) are valid (and simpler to prove) for finite groups. In particular, every representation of a finite group in a topological vector space is a direct sum of irreducible representations. On the other hand, there are some fundamental results in the representation theory of finite groups that use the specific nature of finite groups. For example, for a finite group $ G $ the number of different equivalence classes of representations is equal to the number of conjugacy classes of $ G $; the sum of the squares of the dimensions of representations representing the different equivalence classes is equal to the order $ | G | $ of $ G $; the dimension of every irreducible representation is a divisor of the index of every Abelian normal subgroup of $ G $( in particular, is a divisor of $ | G | $) and does not exceed the index of Abelian subgroups of $ G $. If $ \chi $ is the character of a representation $ \pi $ of a finite group and $ d $ is the dimension of $ \pi $, then for all $ s \in G $ and all conjugacy classes $ Q \subset G $, $ \chi ( s) $ and $ d ^ {-} 1 \sum _ {s \in Q } \chi ( s) $ are algebraic integers. Every character of a group $ G $ is a linear combination of the characters of the representations induced (see Induced representation) from representations of its cyclic subgroups and an integral linear combination of the characters of representations induced from one-dimensional representations of subgroups. A group $ H $ is said to be $ p $- elementary if it is the product of a group of order a power of the prime number $ p $ and a cyclic group of order prime to $ p $; $ H $ is said to be elementary if it is $ p $- elementary for some $ p $. Every character of a finite group $ G $ is an integral linear combination of the representations induced from the representations of the elementary subgroups $ H \subset G $( Brauer's theorem, which can be generalized to the case where the field has arbitrary characteristic). If $ G $ is supersolvable, that is, if it has a composition sequence consisting of normal subgroups with cyclic factors, then every irreducible representation of $ G $ is induced from some one-dimensional representation of a subgroup.

When the characteristic $ p $ of a field $ K $ does not divide $ | G | $, the theory is only slightly different from the case $ K = \mathbf C $. In particular, every finite-dimensional representation of a finite group is completely reducible; if $ K $ is algebraically closed, then the number of equivalence classes of irreducible representations over $ K $ is the number of conjugacy classes of the group, and the sum of the squares of the dimensions of representations representing the different equivalence classes is equal to the group order. But for a field $ K $ that is not algebraically closed there may exist representations that are irreducible over $ K $ but reducible over extensions of $ K $; a field $ K $ is said to be a splitting field of an irreducible representation $ \pi $ if $ \pi $ is irreducible over every extension of $ K $, and a splitting field for $ G $ if $ K $ is a splitting field for every representation of $ G $. If $ K $ is a field of characteristic 0 or a finite field containing the $ m $- th roots of unity, where $ m $ is the least common multiple of the orders of the elements of $ G $, then $ K $ is a splitting field for $ G $; the representation theory of a finite group over a field that is not a splitting field is connected with the Galois group of the extension of the given field obtained by adjoining all $ m $- th roots of unity. In particular, the number of classes of irreducible representations of a group $ G $ over the field of rational numbers equals the number of conjugacy classes of cyclic subgroups of the group. If $ K $ is a perfect field there exists a splitting field for $ G $ that is finite over $ K $. For every field $ K $ the character of an arbitrary representation of a finite group takes values in the set of finite sums of roots of unity in $ K $, and the analogues of the orthogonality relations and their consequences hold for the matrix entries and characters; in particular, if $ K $ is a splitting field of characteristic zero for $ G $, then a representation with character $ \chi $ is irreducible if and only if $ \sum _ {g \in G } \chi ( g) \chi ( g ^ {-} 1 ) = | G | $. If the characteristic $ p $ of $ K $ divides the group order $ | G | $, then the group algebra of $ G $ over $ K $ is not semi-simple and there exist representations of $ G $ over $ K $ that are not completely reducible.

Let $ k $ be a local field of characteristic zero which is complete for a non-trivial discrete valuation (cf. Discrete norm), and let $ K $ be the finite residue class field of $ k $ of characteristic $ p $. Then the representations of $ G $ over $ K $ are said to be modular. The theory of modular representations establishes deeper connections between the structure of a group and properties of its representations than does representation theory over $ \mathbf C $. The theory is simpler when $ k $ and $ K $ contain all $ m $- th roots of unity (and are therefore splitting fields); in this case an analogue of the orthogonality relations holds for the matrix entries and the characters. Let $ \pi $ be a representation of a finite group over $ K $, let $ \chi $ be its character, let $ \Delta $ be a primitive $ m $- th root of unity in $ k $, and let $ \delta $ be its canonical image in $ K $; let $ s \in G $ be an element of order prime to $ p $, that is, a $ p $- regular element, and let $ G _ { \mathop{\rm reg} } $ be the set of $ p $- regular elements. Then $ \pi ( s) $ is diagonalizable and $ \chi ( s) = \delta ^ {a _ {1} } + \dots + \delta ^ {a _ {n} } $ for some integers $ a _ {1} \dots a _ {n} $. The formula $ \eta ( s) = \Delta ^ {a _ {1} } + \dots + \Delta ^ {a _ {n} } $ defines a function $ \eta : G _ { \mathop{\rm reg} } \rightarrow k $, called the Brauer character of $ \pi $; it determines the composition factors of $ \pi $ over $ K $ uniquely. Indecomposable two-sided direct factors in the group algebra $ K ( G) $ of $ G $ over $ K $ are called blocks; there exists a classification of inequivalent irreducible representations over $ k $, of inequivalent indecomposable representations over $ K $, and of non-isomorphic components of the decomposition of the left-regular representation of $ G $ over $ K $ in $ K ( G) $ into a direct sum of non-zero indecomposabe representations in terms of the blocks. These results can be extended to the case where $ k $ and $ K $ are not splitting fields for $ G $.

References

[1] C.W. Curtis, I. Reiner, "Representation theory of finite groups and associative algebras" , Interscience (1962)
[2] A.A. Kirillov, "Elements of the theory of representations" , Springer (1976) (Translated from Russian)
[3] M.A. Naimark, "Theory of group representations" , Springer (1982) (Translated from Russian)
[4] S. Lang, "Algebra" , Addison-Wesley (1974)
[5] J.-P. Serre, "Linear representations of finite groups" , Springer (1977) (Translated from French)

Comments

See also Representation of a compact group; Representation of a group; Representation of an infinite group; Representation theory.

About characters see Character of a group; Character of a representation of a group.

Concerning reducibility of a representation see Irreducible representation; Reducible representation. Reference [1] has been superceded by [a1].

References

[a1] C.W. Curtis, I. Reiner, "Methods of representation theory" , 1–2 , Wiley (Interscience) (1981–1987)
[a2] W. Feit, "The representation theory of finite groups" , North-Holland (1982)
[a3] B. Huppert, "Finite groups" , 2–3 , Springer (1982)
[a4] D.J. Benson, "Modular representation theory: New trends and methods" , Lect. notes in math. , 1081 , Springer (1984)
How to Cite This Entry:
Finite group, representation of a. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Finite_group,_representation_of_a&oldid=16454
This article was adapted from an original article by A.I. Shtern (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article