Point of post: In this post we shall discuss how one can find the set of all irreps, up to equivalence, of a group of the form given the irreps of for .
We’ve developed quite an extensive theory regarding how to find the irreps of a finite group and how to relate those irreps to one another, as well as their characters.The question remains though if there is a natural way that the irreps of relate naturally to constructions based on . In particular, in this post we are interested in determining the relationships between the irreps (in particular the characters) of the product of two groups and given the knowledge of the characters of and . So for example, it’s easy (as we’ve shown) to construct the character table for and it’s equally easy to construct the character table for . A next logical step would be to combine them and find the character table for . It would be nice if one would have to not go tromping through all the extra work to create this (larger) character table having gone through the (admittedly small amount of work) to construct the ones for and . In this post we shall show that our greatest wish is true–we can’t just easily get some characters of from those of and but we can easily get all of them.
Point of post: In this post we construct the first of a few character tables, namely we construct the character table for .
We now start off nice and easy and construct the classic character table for using the techniques from the last post. may be perhaps the easiest charater table to construct, but it will give us a good start to stretch our proverbial legs. In this post though, we find the character table using minimal machinery by actually constructing the irreducible characters of instead of using the techniques in our previous post. This method is, in my opinion, for the purpose of character table construction, not preferable. Indeed, one must actually come up with representatives from each equivalency class of irreps of . This post shall be useful to illustrate how beautifully simple the construction of character tables is made by the theory we’ve developed.
Point of post: This post is a continuation of this one.