## Irreducible Characters

**Point of post: **In this post we discuss what is arguably one of the most important tools in all of basic representation theory– the irreducible characters of a group.

*Motivation*

In our last few posts we’ve been developing the notion of a class function and the space of class functions under the hazy motivation that we will use them to ascertain that the cardinality of some set is the dimension of (we, in our last post, showed that this was the number of conjugacy classes in ). In this set we shall see that this set for which we’d like to show has the quality are the *irreducible characters *of the group . These are certain class functions which will occupy a fair amount of our efforts in the coming posts since, in a very real sense, they make up a vast portion of the substance in basic representation theory. But, for now we shall restrict our attention to defining the irreducible characters and showing that they form an orthonormal basis for . Of this we shall get the corollary that .

*Irreducible Characters*

Let be a finite group, then making the necessary selections we produce the matrix representations for each . We then define the *irreducible character associated with *, denoted by the rule

Some properties about characters are immediately evidently. Namely:

**Theorem: ***Let be a finite group then for each and each one has that:*

**Proof:**

: This follows immediately since

: We merely recall that the basis we’ve chosen for is such that is unitary and so

: To see this we merely note that for any one has that

from where the conclusion follows by the arbitrariness of .

**Orthonormality for Irreducible Characters**

The real deal for the irreducible characters is that they form a basis for . We prove this in two steps

**Theorem: ***The set is orthonormal when thought of as elements of . *

* ***Proof: **Let . Then one sees that

where although it may appear there is a mistake with the indices we may assume that the indexes of the sums both range to since otherwise and the sum is zero anyways. Since were arbitrary the conclusion follows.

**References:**

1.Simon, Barry. *Representations of Finite and Compact Groups*. Providence, RI: American Mathematical Society, 1996. Print.

2. Serre, Jean Pierre. *Linear Representations of Finite Groups*. New York: Springer-Verlag, 1977. Print

[…] Point of post: This post is a continuation of this one. […]

Pingback by Representation Theory Irreducible Characters (Pt. II) « Abstract Nonsense | February 25, 2011 |

[…] our last few posts we saw that every irrep of a finite group produces a class function namely the irreducible […]

Pingback by Representation Theory: General Characters and the Uniqueness of Decomposition Into Irreps « Abstract Nonsense | February 27, 2011 |

[…] the pairwise inner product (as elements of the group algebra) of matrix entry functions and irreudcible characters. We shall use these relations to compute the convolution of matrix entry functions with eachother […]

Pingback by Representation Theory: Using Orthogonality Relations to Compute Convolutions of Characters and Matrix Entry Functions « Abstract Nonsense | March 2, 2011 |

[…] Evidently if is irreducible then for some and thus and the rest follows from the orthonormality relations for the irreducible […]

Pingback by Representation Theory: A Characterization of Irreducibility « Abstract Nonsense | March 7, 2011 |

[…] the past we’ve seen that if we ‘fix and let ‘vary’ over (in the form of the sum) that there is an […]

Pingback by Representation Theory: Second Orthogonality Relation For Irreducible Characters « Abstract Nonsense | March 7, 2011 |

[…] Proof: This is just a restatement about the first orthogonality relations of the irreducible characters. […]

Pingback by Representation Theory: Character Tables « Abstract Nonsense | March 21, 2011 |

[…] always be a finite group and suppose that we’ve chosen particular representatives and thus irreducible characters have the representation . Our first theorem will show the connection between irreducible […]

Pingback by Representation Theory: The Dimension Theorem « Abstract Nonsense | March 29, 2011 |

[…] the induced character of an induced representation when one noticed that by extending every (irreducible) character on to a character (thus a class function) we’ve automatically defined a map by extending […]

Pingback by Induced Class Functions and the Space of Integral Class Functions (Pt. I) « Abstract Nonsense | April 27, 2011 |

[…] theorem that and so doing the simple computation we find that . To find we recall (considering the inner product of and […]

Pingback by University of Maryland College Park Qualifying Exams (Group Theory and Representation Theory) (August-2003) « Abstract Nonsense | May 1, 2011 |

[…] an element of occurs in the decomposition of into irreps. But, it’s trivial using the orthogonality of irreducible characters to note that . The brilliant thing though is that given two irreps of and of we see […]

Pingback by Frobenius Reciprocity « Abstract Nonsense | May 1, 2011 |