## A Characterization of Real, Complex, and Quaternionic Irreps

**Point of post: **In this post we derive a result historically attributed to Frobenius and Schur which gives us a characterization to real, complex, and quaternionic irreps based on their admittant characters.

*Motivation*

In the past we’ve discussed how the set of all irreps are naturally carved up into three subclasses: real, complex, and quaternionic. This analogizes the difference between real, complex, and quaternionic numbers. It turns out that in general it is not, at first glance, clear how to determine from elementary methods whether or not an irrep was real, complex, or quaternionic. Indeed, in our one example of quaternionic irreps the agrument that the irrep in question was, in fact, quaternionic was involved and admittedly convoluted. That said, the theorem we develop in this post shall give us a simple way to determine whether an irrep is real, complex, and conjugate by a simple calculation involving the character of the irrep.

*Theorem of Frobenius and Schur *

* *

Without further ado, we proceed to the main theorem:

**Theorem: ***Let be a finite group and be an irrep, with and induced character . Then,*

* *

* *

**Proof: **We note first that given any fixed matrix representation for

* *

Suppose first then that is real, then there exists a basis for such that for every and so in particular if $latex K^{(\alpha)}$ is the associated matrix representation then is a real function. Thus, since is true for any matrix representation it must be true with respect to the matrix representation associated with . But, we then have that for each . Thus, the last step of may, in light of the orthogonality of the matrix entry functions, as

In agreeance with our desired result.

Suppose next that is complex and let be any complex conjugate for . We know then from a previous characterization of complex conjugates that there exists some ordered orthonormal basis for such that for each . We can clearly see then that if is the matrix realization of with respect to this and the realization of with respect to then for every and where since we may conclude that . It follows then that, once again, we may interpret this last part of as the inner product of with and since this must be equal to zero in agreeance with the desired result.

Lastly, suppose that is quaternionic. Since is self conjugate for any complex conjugate on one has that there exists unitary such that for each and since, using the same argument as before we can choose an ordered basis for which then

Plugging this into the last step of and applying the orthogonality relations we may conclude that the last step of may be simplified to

and so clearly

Recalling though our characterization of self-conjugate irreps one can see that is similar to so that as desired. The conclusion follows.

**Rerefences:**

1. Isaacs, I. Martin. *Character Theory of Finite Groups*. New York: Academic, 1976. Print.

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

[…] that in our last post that we found an interesting property involving the characters: namely, we characterized real, […]

Pingback by Representation Theory: The Square Root Function and its Relation to Irreducible Characters « Abstract Nonsense | March 24, 2011 |

[…] between the square root function and the notion of self-conjugate representation. Indeed, we have seen that an irrep is self-conjugate if and only if . In this post we show that the relation deepens […]

Pingback by Representation Theory: The Connection Between the Square Root Function and the Number of Self-Conjugate Irreps « Abstract Nonsense | March 25, 2011 |