## The Irreps of the Product of Finitely Many Finite Groups

**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 .

*Motivation*

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.*

*Finding The Irreducible Characters of the Finite Product of Finitely Many Groups*

Let and be groups, and and be representations on and respectively. We can define a new representation, called the *tensor product of and *, on by

by where is the tensor product of vector spaces and is the tensor product of linear transformations (compare with the tensor product of representations given one group). This is indeed a representation since the tensor product of two transformations is unitary and it’s a homomorphism since

The interesting difference this type of tensor representation and the one we previously discussed is that the tensor product of two irreps of and is an irrep on . The fascinating thing is that the set of all such tensor product of representations constitutes *all *of the irreps. Indeed

**Theorem: ***Let and be finite groups and for each and each choose a representative and . Then, for every such one has that is an irreducible representation for and if and only if . Moreover*

* *

* *

**Proof: **Let and be arbitrary. To prove that is an irrep for we note that evidently and so

and thus by our alternate characterization of irreducibility we may conclude that is an irrep of .

To prove our second we actually prove the stronger claim that

Indeed,

To prove the last claim we note that we’ve defined a map by which by the second part of our theorem is an injection. But, by a previous theorem we have that and thus by a simple set theoretic fact we may conclude that is also a surjection from where the conclusion follows.

**References:**

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

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

Pingback by Representation Theory: The Irreps of the Product of Finitely Many Finite Groups (Pt. II) « Abstract Nonsense | April 11, 2011 |

[…] put our newly developed theory to […]

Pingback by Representation Theory: The Character Table of S_3xZ_3 « Abstract Nonsense | April 11, 2011 |

[…] of the full group if we knew the dual group of each of the product factors. In this post we show, once again, that everything carries over just as we would hope and that the product of the dual groups is […]

Pingback by Representation Theory: The Dual Group of the Product is the Product of the Dual Groups « Abstract Nonsense | April 12, 2011 |

[…] finds such a deomposition everything becomes easy. Namely, we know from our theorems regarding the irreps of the products of groups that every irrep of , up to equivalence, looks like where is an irrep of . But, since is […]

Pingback by Representation Theory: Irreps of an Abelian Group « Abstract Nonsense | April 16, 2011 |

[…] a character. Moreover, let be the trivial character for . Consider then the character , which we know is a character for . That said, it’s clear by definition that and that from where it […]

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

[…] constructions based on and . Probably the most important that we’ve so far discussed is the relationship between irreps and and the irreps of their direct product . We continue in this vein and discuss […]

Pingback by Representation Theory of Semidirect Products: The Preliminaries (Pt. I) « Abstract Nonsense | May 8, 2011 |