# Character (math)

In the mathematical branch of the representation theory of groups , characters are certain representations of the group in a body , usually in the body of complex numbers .

## Characters as group homomorphisms

### Abstract and topological groups

Be it a group or a topological group . A character of is a group homomorphism${\ displaystyle G}$${\ displaystyle G}$

${\ displaystyle G \ to \ mathbb {C} ^ {\ times}}$

into the multiplicative group of complex numbers ; In the case of topological groups, continuity of character is required. A unitary character is a character whose images lie on the unit circle in the complex number plane , i.e. i.e., which is a homomorphism in the circle group (these numbers correspond precisely to the unitary mappings of the complex numbers in themselves). A unitary character whose images are even real, that is, are located in, is called a square character . Characters that are constant, i.e. whose images are always 1, are called trivial, all others are nontrivial.${\ displaystyle S ^ {1} = \ {z \ in \ mathbb {C} \ mid | z | = 1 \}}$${\ displaystyle \ lbrace -1, + 1 \ rbrace}$

The nontrivial quadratic characters of the multiplicative group of an oblique body play a key role in synthetic geometry in introducing a weak arrangement on the affine plane above this oblique body.

Note: Often, general characters are referred to as quasi-characters and unitary characters as characters (without an addition).

### properties

• The characters of the train with the${\ displaystyle G}$
${\ displaystyle (\ chi \ cdot \ psi) (g) = \ chi (g) \ cdot \ psi (g)}$
declared group connection an Abelian group , the character group.
• Pontryagin duality : For locally compact Abelian groups, the group of unitary characters with the compact-open topology is in turn a locally compact group; it is also called the dual group . The dual group of is naturally isomorphic to the parent group .${\ displaystyle G ^ {\ land}}$${\ displaystyle G ^ {\ land}}$${\ displaystyle G}$
• The characters of FIG. 4 correspond to the one-dimensional complex representations of FIG. 4, the unitary characters correspond to the unitary one-dimensional representations.${\ displaystyle G}$${\ displaystyle G}$
• A character is unitary if and only if applies to all .${\ displaystyle \ chi (g ^ {- 1}) = {\ overline {\ chi (g)}}}$${\ displaystyle g \ in G}$
• If finite, every character is unitary.${\ displaystyle G}$
• For a character of a finite group :${\ displaystyle \ chi}$${\ displaystyle G}$
${\ displaystyle \ sum _ {g \ in G} \ chi (g) = {\ begin {cases} \ # G & \ mathrm {if} \ \ chi = 1 \\ 0 & \ mathrm {otherwise}; \ end {cases }}}$
1 stands for the trivial character with for all . An analogous statement applies to compact topological groups; the sum is to be replaced by an integral based on the Haar measure .${\ displaystyle \ chi (g) = 1}$${\ displaystyle g \ in G}$

### Example S 3

On the symmetrical group S 3 of the third degree there are exactly two group homomorphisms with values ​​in , namely the trivial group homomorphism and the sign function . This example shows that for non-Abelian groups the characters defined here are not sufficient to reconstruct the group, that is, there is no Pontryagin duality. ${\ displaystyle \ mathbb {C} ^ {\ times}}$

For the investigation of non-Abelian groups one uses the more general concept of the character of a representation presented below.

### Dirichlet characters

In number theory , a Dirichlet character is a character on the group ${\ displaystyle \ chi}$

${\ displaystyle (\ mathbb {Z} / n \ mathbb {Z}) ^ {\ times} = \ {k \! \! {\ pmod {n}} | \ operatorname {ggT} (k, n) = 1 \}.}$

For such a character one defines a function also called a Dirichlet character

${\ displaystyle \ chi \ colon \ mathbb {Z} \ to \ mathbb {C}}$,
${\ displaystyle \ chi (k) = {\ begin {cases} \ chi (k \! \! {\ pmod {n}}) & {\ text {if}} \ quad \ operatorname {ggT} (k, n ) = 1 \\ 0 & \ mathrm {if} \ quad \ operatorname {ggT} (k, n)> 1 \ end {cases}}}$.

Dirichlet characters play an important role in proving Dirichlet's theorem about the existence of an infinite number of prime numbers in arithmetic progressions . One looks at so-called L series, which are Dirichlet series with a Dirichlet character as coefficients.

As for finite Abelian groups, the character group isomorphic to the original group, there are different characters in the group , it is the Euler phi function . ${\ displaystyle \ varphi (n)}$${\ displaystyle (\ mathbb {Z} / n \ mathbb {Z}) ^ {\ times}}$${\ displaystyle \ varphi (n)}$

For example , i. In other words , there are three other characters in addition to the main or trivial character: ${\ displaystyle n = 5}$${\ displaystyle \ varphi (5) = 4}$${\ displaystyle \ chi _ {1}}$

k 1 2 3 4th
${\ displaystyle \ chi _ {1} (k)}$ 1 1 1 1
${\ displaystyle \ chi _ {2} (k)}$ 1 −1 −1 1
${\ displaystyle \ chi _ {3} (k)}$ 1 i -i −1
${\ displaystyle \ chi _ {4} (k)}$ 1 -i i −1

For a Dirichlet character : ${\ displaystyle \ chi}$

${\ displaystyle \ sum _ {k \ (mod \ n)} \ chi (k) = {\ begin {cases} \ varphi (n) & {\ text {if}} \ chi = \ chi _ {1} \ \ 0 & {\ text {otherwise}} \ end {cases}}}$

For a solid applies ${\ displaystyle k \ in \ mathbb {Z}}$

${\ displaystyle \ sum _ {\ chi} \ chi (k) = {\ begin {cases} \ varphi (n) & {\ text {if}} k \ equiv 1 {\ pmod {n}} \\ 0 & \ mathrm {otherwise} \ end {cases}},}$

where the sum is taken across all characters . ${\ displaystyle \ chi {\ pmod {n}}}$

A Dirichlet character is a fully multiplicative number theoretic function .

### Algebraic groups

If an algebraic group , then a character of is a homomorphism ; where is the multiplicative group . The characters of form an (abstract) Abelian group, which is denoted by or . ${\ displaystyle G}$${\ displaystyle G}$${\ displaystyle G \ to \ mathbb {G} _ {\ mathrm {m}}}$${\ displaystyle \ mathbb {G} _ {\ mathrm {m}}}$${\ displaystyle G}$${\ displaystyle X (G)}$${\ displaystyle X ^ {*} (G)}$

## Characters from representations

### definition

The following concept of a character comes from the representation theory of groups and is an extension of the character concept defined above.

If a group, a body and a finite-dimensional linear representation of , then the mapping is called ${\ displaystyle G}$${\ displaystyle K}$${\ displaystyle \ rho}$${\ displaystyle K}$${\ displaystyle G}$

${\ displaystyle \ chi \ colon G \ to K, \ quad g \ mapsto \ operatorname {tr} \ rho (g),}$

which assigns the trace of the corresponding -linear automorphism to a group element , the character of . In the one-dimensional case, representation and character are practically identical and it is a character of in the sense defined above. In the multi-dimensional case, however, it is usually not multiplicative. If the characteristic is finite and algebraically closed, then the theory can be completely reduced to the one-dimensional case if and only if it is abelian. ${\ displaystyle g}$${\ displaystyle K}$${\ displaystyle \ rho (g)}$${\ displaystyle \ rho}$${\ displaystyle G}$${\ displaystyle \ chi}$${\ displaystyle G}$${\ displaystyle K}$${\ displaystyle G}$

### Irreducible characters

The characters of irreducible representations are also called irreducible. The one-dimensional representations are precisely the group homomorphisms considered above, which, because of their one-dimensionality, agree with their characters.

For representations of finite groups and when the characteristic of the body is not a divisor of the group order , which is always fulfilled in particular with characteristic 0, i.e. with bodies like or , all representations are sums of irreducible representations according to Maschke's theorem . Because the trace with regard to the formation of the direct sum is additive, all characters are then sums of irreducible characters. See representation theory of finite groups . ${\ displaystyle \ mathbb {Q}, \, \ mathbb {R}}$${\ displaystyle \ mathbb {C}}$

### properties

• Equivalent representations have the same character. The inversion - if two characters are identical, the corresponding representations are also equivalent - does not always apply, but always, for example, if the characteristic of the body is 0 and the representation is irreducible.
• If the field of complex numbers is finite, then the values ​​of the characters are always finite sums of roots of unity , especially algebraic numbers , and it is true again .${\ displaystyle K}$${\ displaystyle G}$${\ displaystyle \ chi (g ^ {- 1}) = {\ overline {\ chi (g)}}}$
• Characters are constant on conjugation classes . A tabular listing of the values ​​of the characters of the irreducible representations of a finite group on the individual conjugation classes is called a character table . A practical property for finding irreducible representations are the Schursch orthogonality relations for characters.
• Each character is the neutral element to the dimension of the presentation space from, because the neutral element in a matrix representation of the identity matrix displayed and this has as trace the sum of the diagonal elements, which is the dimension of the presentation space.
• The following applies to the character of any representation: ${\ displaystyle \ chi}$
• ${\ displaystyle \ chi (tst ^ {- 1}) = \ chi (s), \, \, \ forall \, s, t \ in G.}$
• ${\ displaystyle \ chi (s)}$is the sum of the eigenvalues of with multiplicity.${\ displaystyle \ rho (s)}$
• Let be the character of a unitary representation of the dimension Then: ${\ displaystyle \ chi}$ ${\ displaystyle \ rho}$${\ displaystyle n.}$
• ${\ displaystyle \ chi (s ^ {- 1}) = {\ overline {\ chi (s)}}, \, \, \, \ forall \, s \ in G.}$
• The following applies to the order : ${\ displaystyle s \ in G}$${\ displaystyle m}$
• ${\ displaystyle \ chi (s)}$is the sum of -th roots of unity .${\ displaystyle n}$ ${\ displaystyle m}$
• ${\ displaystyle | \ chi (s) | \ leq m.}$
• ${\ displaystyle \ {s \ in G | \ chi (s) = m \}}$is a normal divisor in${\ displaystyle G.}$
• Let be two linear representations of and be the associated characters. Then: ${\ displaystyle \ rho _ {1} \ colon G \ to {\ text {GL}} (V _ {\ rho _ {1}}), \ rho _ {2} \ colon G \ to {\ text {GL} } (V _ {\ rho _ {2}})}$${\ displaystyle G}$${\ displaystyle \ chi _ {1}, \ chi _ {2}}$
• The character of the dual representation of is given by${\ displaystyle \ chi _ {1} ^ {*}}$ ${\ displaystyle \ rho _ {1} ^ {*}}$${\ displaystyle \ rho _ {1}}$${\ displaystyle \ chi _ {1} ^ {*} = {\ overline {\ chi _ {1}}}.}$
• The character of the direct sum corresponds${\ displaystyle \ chi}$ ${\ displaystyle V _ {\ rho _ {1}} \ oplus V _ {\ rho _ {2}}}$${\ displaystyle \ chi _ {1} + \ chi _ {2}.}$
• The character of the tensor product corresponds to${\ displaystyle \ chi}$ ${\ displaystyle V _ {\ rho _ {1}} \ otimes V _ {\ rho _ {2}}}$${\ displaystyle \ chi _ {1} \ cdot \ chi _ {2}.}$
• The character of the related representation is${\ displaystyle \ chi}$${\ displaystyle {\ text {Hom}} (V _ {\ rho _ {1}}, V _ {\ rho _ {2}})}$${\ displaystyle {\ overline {\ chi _ {1}}} \ cdot \ chi _ {2}.}$
• Be the character to the character then the character of given by${\ displaystyle \ chi _ {1}}$${\ displaystyle \ rho _ {1} \ colon G_ {1} \ to {\ text {GL}} (W _ {\ rho _ {1}}),}$ ${\ displaystyle \ chi _ {2}}$${\ displaystyle \ rho _ {2} \ colon G_ {2} \ to {\ text {GL}} (W _ {\ rho _ {2}}),}$${\ displaystyle \ chi}$${\ displaystyle \ rho _ {1} \ otimes \ rho _ {2}}$${\ displaystyle \ chi (s_ {1}, s_ {2}) = \ chi _ {1} (s_ {1}) \ cdot \ chi _ {2} (s_ {2}).}$
• Let be a linear representation of and be the corresponding character. Let be the character of the symmetrical square and be the character of the alternating square. For each applies:${\ displaystyle \ rho \ colon G \ to {\ text {GL}} (V)}$${\ displaystyle G}$${\ displaystyle \ chi}$${\ displaystyle \ chi _ {\ sigma} ^ {(2)}}$${\ displaystyle \ chi _ {\ alpha} ^ {(2)}}$${\ displaystyle s \ in G}$
{\ displaystyle {\ begin {aligned} \ chi _ {\ sigma} ^ {(2)} (s) & = {\ frac {1} {2}} (\ chi (s) ^ {2} + \ chi (s ^ {2})) \\\ chi _ {\ alpha} ^ {(2)} (s) & = {\ frac {1} {2}} (\ chi (s) ^ {2} - \ chi (s ^ {2})) \\\ chi ^ {2} & = \ chi _ {\ sigma} ^ {(2)} + \ chi _ {\ alpha} ^ {(2)} \ end {aligned }}}

### Examples

The character of a -dimensional representation is${\ displaystyle 1}$${\ displaystyle \ rho}$${\ displaystyle \ chi = \ rho.}$

For the permutation representation of associated to the left operation of on a finite set is${\ displaystyle V}$${\ displaystyle G}$${\ displaystyle G}$${\ displaystyle X}$${\ displaystyle \ chi _ {V} (s) = | \ {x \ in X: sx = x \} |.}$

In addition to the two group homomorphisms already mentioned above, there is another irreducible character of group S 3 . This comes from the two-dimensional irreducible representation of this group . It maps the neutral element to 2, the dimension of the representation space, the three elements of order 2 are mapped to 0 and the two nontrivial rotations to . ${\ displaystyle \ textstyle e ^ {2 \ pi i / 3} + e ^ {- 2 \ pi i / 3} = 2 \, \ cos (2 \ pi / 3)}$

Another example is the character of the regular representation He is given by ${\ displaystyle \ chi _ {R}}$ ${\ displaystyle R.}$

${\ displaystyle \ chi _ {R} (s) = {\ begin {cases} 0 \, \, \, \, \, \, \, \, \, \, \, \, \, & {\ text {if }} \, \, s \ neq e \\ | G | \, \, \, \, \, \, & {\ text {if}} \, \, s = e \ end {cases}}.}$

Here it makes sense to only speak of the regular representation and not to differentiate between left and right regular, as they are isomorphic to each other and therefore have the same character.

As a final example, consider Be defined by: ${\ displaystyle G = \ mathbb {Z} / 2 \ mathbb {Z} \ times \ mathbb {Z} / 2 \ mathbb {Z}.}$${\ displaystyle \ rho \ colon G \ to {\ text {GL}} _ {2} (\ mathbb {C})}$

${\ displaystyle \ rho ({\ overline {0}}, {\ overline {0}}) = \ left ({\ begin {array} {cc} 1 & 0 \\ 0 & 1 \ end {array}} \ right), \ , \, \ rho ({\ overline {1}}, {\ overline {0}}) = \ left ({\ begin {array} {cc} -1 & 0 \\ 0 & -1 \ end {array}} \ right ), \, \, \ rho ({\ overline {0}}, {\ overline {1}}) = \ left ({\ begin {array} {cc} 0 & 1 \\ 1 & 0 \ end {array}} \ right ), \, \, {\ text {and}} \ rho ({\ overline {1}}, {\ overline {1}}) = \ left ({\ begin {array} {cc} 0 & -1 \\ -1 & 0 \ end {array}} \ right).}$

Then the character is given by As can be seen from this example, the character is generally not a group homomorphism. ${\ displaystyle \ chi _ {\ rho}}$${\ displaystyle \ chi _ {\ rho} ({\ overline {0}}, {\ overline {0}}) = 2, \, \, \ chi _ {\ rho} ({\ overline {1}}, {\ overline {0}}) = - 2, \, \, \ chi _ {\ rho} ({\ overline {0}}, {\ overline {1}}) = \ chi _ {\ rho} ({ \ overline {1}}, {\ overline {1}}) = 0.}$

### Dot product and characters

#### Class functions

To prove some interesting results about characters, it is worth looking at a more general set of functions on a group:

The class functions:
A function that fulfills is called a
class function.${\ displaystyle G,}$${\ displaystyle \ varphi (tst ^ {- 1}) = \ varphi (s), \, \, \ forall \, s, t \ in G}$

The set of all class functions is an algebra, the dimension of which corresponds to the number of conjugation classes of . ${\ displaystyle \ mathbb {C} _ {\ text {class}} (G) = \ {\ varphi \ colon G \ to \ mathbb {C} \, | \, \ varphi (sts ^ {- 1}) = \ varphi (t) \, \, \ forall s, t \ in G \}}$${\ displaystyle \ mathbb {C}}$${\ displaystyle G}$

sentence

Let be the different irreducible characters of A class function on is a character of if and only if it can be represented as a linear combination with non-negative coefficients. ${\ displaystyle \ chi _ {1}, \ dotsc, \ chi _ {k}}$${\ displaystyle G.}$${\ displaystyle G}$${\ displaystyle G,}$${\ displaystyle \ chi _ {j}}$

proof

Be so that with for everyone Then the character is the direct sum of the representations that belong to the. Conversely, a character can always be written as the sum of irreducible characters.${\ displaystyle \ varphi \ in \ mathbb {C} _ {\ text {class}} (G),}$${\ displaystyle \ textstyle \ varphi = \ sum _ {j} c_ {j} \ chi _ {j}}$${\ displaystyle c_ {j} \ in \ mathbb {N} _ {0}}$${\ displaystyle j.}$${\ displaystyle \ varphi}$${\ displaystyle \ textstyle \ sum _ {j} c_ {j} \ tau _ {j}}$${\ displaystyle \ tau _ {j}}$${\ displaystyle \ chi _ {j}}$${\ displaystyle \ Box}$

#### Scalar product

Evidence for the following results from this section can be found in

To do this, however, we first need a few definitions:

A scalar product can be defined on the set of all complex-valued functions on a finite group : ${\ displaystyle L ^ {1} (G)}$${\ displaystyle G}$

${\ displaystyle (f | h) _ {G} = {\ frac {1} {| G |}} \ sum _ {t \ in G} f (t) {\ overline {h (t)}}.}$

In addition, one can define a symmetrical bilinear form: ${\ displaystyle L ^ {1} (G)}$

${\ displaystyle \ langle f, h \ rangle _ {G} = {\ frac {1} {| G |}} \ sum _ {t \ in G} f (t) h (t ^ {- 1}). }$

Both forms match on the characters. The index for both forms and can be omitted if there is no risk of confusion with regard to the underlying group. ${\ displaystyle G}$${\ displaystyle (\ cdot | \ cdot) _ {G}}$${\ displaystyle \ langle \ cdot, \ cdot \ rangle _ {G}}$

For two modules we define where is the vector space of all -linear mappings. This form is bilinear with respect to the direct sum. ${\ displaystyle \ mathbb {C} [G]}$${\ displaystyle V_ {1}, V_ {2}}$${\ displaystyle \ langle V_ {1}, V_ {2} \ rangle _ {G}: = {\ text {dim}} ({\ text {Hom}} ^ {G} (V_ {1}, V_ {2 })),}$${\ displaystyle {\ text {Hom}} ^ {G} (V_ {1}, V_ {2})}$${\ displaystyle G}$

#### Decomposition and irreducibility of characters

In the following, these bilinear forms enable us to obtain some important results with regard to the decomposition and irreducibility of representations.

sentence

If the characters of two non-isomorphic irreducible representations of a finite group then hold ${\ displaystyle \ chi, \ chi '}$${\ displaystyle V, V '}$${\ displaystyle G}$

• ${\ displaystyle (\ chi | \ chi ') = 0.}$
• ${\ displaystyle (\ chi | \ chi) = 1,}$d. h., has "norm"${\ displaystyle \ chi}$${\ displaystyle 1.}$

Corollary

If the characters are then:${\ displaystyle \ chi _ {1}, \ chi _ {2}}$${\ displaystyle V_ {1}, V_ {2}}$${\ displaystyle \ langle \ chi _ {1}, \ chi _ {2} \ rangle _ {G} = (\ chi _ {1} | \ chi _ {2}) _ {G} = \ langle V_ {1 }, V_ {2} \ rangle _ {G}.}$

This corollary is a direct consequence of the above theorem, the lemma of Schur and the complete reducibility of the representations of finite groups.

sentence

Let be a linear representation of with character . Let the irreducible apply . Let now be an irreducible representation of with character Then the following applies: The number of partial representations that are too equivalent does not depend on the given decomposition and corresponds to the scalar product , i.e. the isotype of is independent of the choice of decomposition and it applies ${\ displaystyle V}$${\ displaystyle G}$${\ displaystyle \ xi.}$${\ displaystyle V = W_ {1} \ oplus \ cdots \ oplus W_ {k},}$${\ displaystyle W_ {j}}$${\ displaystyle (\ tau, W)}$${\ displaystyle G}$${\ displaystyle \ chi.}$
${\ displaystyle W_ {j},}$${\ displaystyle W}$${\ displaystyle (\ xi | \ chi).}$
${\ displaystyle \ tau}$${\ displaystyle V (\ tau)}$${\ displaystyle V}$

${\ displaystyle (\ xi | \ chi) = {\ frac {{\ text {dim}} (V (\ tau))} {{\ text {dim}} (\ tau)}} = \ langle V, W \ rangle}$

and thus

${\ displaystyle {\ text {dim}} (V (\ tau)) = {\ text {dim}} (\ tau) (\ xi | \ chi).}$

Corollary

Two representations with the same character are isomorphic. That is, every representation of a finite group is determined by its character.

Now we get a very practical result for examining representations:

Irreducibility criterion

Let the character of a representation then be and it applies if and only if is irreducible. ${\ displaystyle \ chi}$${\ displaystyle V,}$${\ displaystyle (\ chi | \ chi) \ in \ mathbb {N} _ {0}}$${\ displaystyle (\ chi | \ chi) = 1}$${\ displaystyle V}$

Together with the first set thus form the characters of irreducible representations with respect to this scalar product an orthonormal system on${\ displaystyle G}$${\ displaystyle \ mathbb {C} _ {\ text {class}} (G).}$

Corollary

Let be a vector space with Every irreducible representation of is -mal in the regular representation . That means, for the regular representation of : where describes the set of all irreducible representations of that are pairwise not isomorphic to one another. In words of group algebra we get as algebras. ${\ displaystyle V}$${\ displaystyle {\ text {dim}} (V) = n.}$${\ displaystyle V}$${\ displaystyle G}$${\ displaystyle n}$${\ displaystyle R}$${\ displaystyle G}$${\ displaystyle \ textstyle R \ cong \ oplus (W_ {j}) ^ {\ oplus {\ text {dim}} (W_ {j})},}$${\ displaystyle \ {W_ {j} | j \ in I \}}$${\ displaystyle G}$
${\ displaystyle \ mathbb {C} [G] \ cong \ oplus _ {j} {\ text {End}} (W_ {j})}$

As a numerical result we get:

${\ displaystyle | G | = \ chi _ {R} (e) = {\ text {dim}} (R) = \ sum _ {j} {\ text {dim}} ((W_ {j}) ^ { \ oplus (\ chi _ {W_ {j}} | \ chi _ {R})}) = \ sum _ {j} (\ chi _ {W_ {j}} | \ chi _ {R}) \ cdot { \ text {dim}} (W_ {j}) = \ sum _ {j} {\ text {dim}} (W_ {j}) ^ {2},}$

where the regular representation denotes and / or the characters belonging to / . In addition, it should be mentioned that the neutral element denotes the group. This formula is a necessary and sufficient condition for all irreducible representations of a group except for isomorphism and provides a possibility to check whether one has found all irreducible representations of a group apart from isomorphism. Likewise, we get, again about the character of the regular representation, but this time for equality: ${\ displaystyle R}$${\ displaystyle \ textstyle \ chi _ {W_ {j}}}$${\ displaystyle \ textstyle \ chi _ {R}}$${\ displaystyle \ textstyle W_ {j}}$${\ displaystyle \ textstyle R}$${\ displaystyle e}$

${\ displaystyle s \ neq e,}$

${\ displaystyle \ textstyle 0 = \ chi _ {R} (s) = \ sum _ {j} {\ text {dim}} (W_ {j}) \ cdot \ chi _ {W_ {j}} (s) .}$

By describing the representations with the convolutionalgebra , we get equivalent formulations of these last two equations:
The Fourier inversion formula:

${\ displaystyle f (s) = {\ frac {1} {| G |}} \ sum _ {\ rho \, \, {\ text {irred.}} {\ text {Darst.}} {\ text { von}} G} {\ text {dim}} (V _ {\ rho}) \ cdot {\ text {Tr}} (\ rho (s ^ {- 1}) \ cdot {\ hat {f}} (\ rho)).}$

You can also show the Plancherel formula :

${\ displaystyle \ sum _ {s \ in G} f (s ^ {- 1}) h (s) = {\ frac {1} {| G |}} \ sum _ {\ rho \, \, {\ text {irred.}} {\ text {Darst.}} {\ text {von}} G} {\ text {dim}} (V _ {\ rho}) \ cdot {\ text {Tr}} ({\ hat {f}} (\ rho) {\ hat {h}} (\ rho)).}$

In both formulas there is a linear representation of the group and${\ displaystyle (\ rho, V _ {\ rho})}$${\ displaystyle G,}$ ${\ displaystyle s \ in G}$${\ displaystyle f, h \ in L ^ {1} (G).}$

The above corollary has another consequence:

lemma

Be a group. Then are equivalent: ${\ displaystyle G}$

• ${\ displaystyle G}$is abelian .
• Every function on is a class function.${\ displaystyle G}$
• All irreducible representations of have degrees${\ displaystyle G}$${\ displaystyle 1.}$

Finally, let us remind you once again of the definition of the class functions in order to recognize what a special position the characters occupy among them:

Orthonormal property

Be a finite group. The pairwise non-isomorphic irreducible characters of form an orthonormal basis of with respect to the scalar product defined at the beginning of the section. That means for irreducible characters and the following applies: ${\ displaystyle G}$${\ displaystyle G}$${\ displaystyle \ mathbb {C} _ {\ text {class}} (G)}$
${\ displaystyle \ chi}$${\ displaystyle \ chi '}$

${\ displaystyle (\ chi | \ chi ') = {\ begin {cases} 1 \, \, \, \, {\ text {if}} \, \, \ chi = \ chi' \\ 0 \, \ , \, \, {\ text {otherwise}} \ end {cases}}}$

The proof is based on the proof that there is no class function other than that which is orthogonal to the irreducible characters. ${\ displaystyle 0}$

Equivalent to the orthonormal property, the following applies:
The number of all irreducible representations of a finite group except for isomorphism corresponds exactly to the number of all
conjugation classes of In words of group algebra this means that there are just as many simple modules (except for isomorphism) as there are conjugation classes of${\ displaystyle G}$${\ displaystyle G.}$
${\ displaystyle \ mathbb {C} [G]}$${\ displaystyle G.}$

## literature

Character of a finite group

• JH Conway : Atlas of Finite Groups. Maximum Subgroups and Ordinary Characters for Simple Groups . Clarendon Press, Oxford 1985, ISBN 0-19-853199-0 .

Dirichlet character

Further literature

1. ^ Jean-Pierre Serre: Linear Representations of Finite Groups. Springer Verlag, New York 1977, ISBN 0-387-90190-6 .
2. ^ William Fulton, Joe Harris: Representation Theory A First Course. Springer-Verlag, New York 1991, ISBN 0-387-97527-6 .
3. ^ JL Alperin, Rowen B. Bell: Groups and Representations. Springer-Verlag, New York 1995, ISBN 0-387-94525-3 .