Point of post: This post is a continuation of this one.
Point of post: In this post we describe what can best be verbally described as “the number of square roots” function for a group and a way which it relates to the irreducible characters of the group.
Recall that in our last post that we found an interesting property involving the characters: namely, we characterized real, complex, and quaternionic irreps in terms of their character. In this characterization a sum come up whose summand had the form . That said, since the major theorems we have thus far developed involve summands of the form it would, of course, be preferable to change the summand in our characterization of real, complex, and quaternionic irreps into a summand involving . The way we can do this is clear, namely for each we define the ‘square root’ of , denoted , to be equal to . Then, with this it’s clear that our characterization can be rewritten as a sum with summand . It turns out though that the interplay goes much farther than this, to the point where we can actually express entirely in terms of irreducible characters…and thus make it possible to compute from a groups character table.
Point of post: In this post we construct the character table of without having to actually find the irreducible characters.
As was stated in our last post this post shall serve to show how nice the theory we’ve devoloped can make the construction of character tables. In particular, it is often very unapparent percisely how to construct all the irreducible characters. It is just an odd coincidence that for the irreps are so obvious. So, we shall show that in this post except for the trivial irrep which requires no thought to construct we don’t even need to construct either of the other two characters.
Point of post: In this post we put together a lot of our rep theory to prove one of the fundamental (pure) group theoretic results amenable to the subject.
In this post we finally use representation theory to prove something in pure group theory that is near impossible to do without representation theory. We have seen on our thread about solvable groups that every -group is solvable. In this thread we prove Burnside’s Theorem an amazing generalization which says that every group of order where and are primes. As a corollary we will be able to conclude that every non-abelian simple group is divisible by three distinct primes which, of course, will eliminate a respectable amount of group orders for analyzing simplicity. This is really one of the most beautiful applications of representation theory.
Point of post: In this post we will prove a lemma which shall prove to be absolutely necessary in proving Burnside’s lemma.
The basic idea of this post is to use a variant of the left -representation of generated by an irrep to create a mapping . We shall then use this to show that the number is algebraic. This will prove to be surprising important in our proof of Burnside’s theorem.
Point of post: In this post we discuss the notion the ‘center of a character’ and its relations to other concepts we’ve previously learned.
In previous posts we’ve seen how we can take concepts from plain group theory and attempt to make an analogy for characters. In this post we extend this further by defining the ‘center’ of a character, which, as we shall see are just those for which . In other words, its just those for which the modulus of is maximized. This shall prove useful in the future, in particular it shall help us devolop enough machinery to prove Burnside’s Theorem–the classic use of representation theory.
Point of post: In this post we derive some fundamental relationships between the kernels of the characters of a finite group and the set of all normal subgroups of . In particular, we prove that every normal subgroup of has the realization as the kernel of some character, and thus by previous theorem that every normal subgroup of has a realization as the intersection of certain ‘s.
We saw in our last post that there is a particularly fruitful way to produce normal subgroups ofa finite group . Namely, one can look at the kernels of the characters of , which as was shown amounts (in the sense that all the necessary information is contained in) to finding the kernels of the irreducible characters of . What we shall now show is that in fact, finding the kernels of the irreducible characters of a group enables us to list off precisely what normal subgroups has. In particular, we will see that every normal subgroup of has a realization as the kernel of a certain character. We shall do this by constructing a certain character on the quotient group of for which, when thought of a character of , will have kernel equal to the normal subgroup.
Point of post: In this post we discuss the second orthogonality relation for the irreducible characters. In particular, we prove that where takes the value one if and are conjugate and zero otherwise and is the centralizer of in .
In the past we’ve seen that if we ‘fix and let ‘vary’ over (in the form of the sum) that there is an interesting orthogonality relation. Namely, this is just the orthogonality relation . In this post we explore what happens if the ‘fixing’ and ‘varying’ are reversed. In other words, we compute . This shall serve as an interesting tool inall that comes. We call this the second orthogonality relation for the irreducible characters.
Point of post: In this post we will use our past results about the pairwise inner product of characters and matrix entry functions to compute their convolutions.
In past posts we obainted certain relations between 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 and likewise for characters.