## A Bijection Between A Subset of the Complex Reps of a Finite Group and the Real Reps (Pt. II)

**Point of post: **This post is a continuation of this one.

## A Bijection Between A Subset of the Complex Reps of a Finite Group and the Real Reps (Pt. I)

**Point of post: **In this post we describe a certain subset of the set of all -representations of a finite group and show that this subset is in bijective correspondence with the set of all -representations of . Moreover, we shall show that this bijection naturally restricts to a subset of the set of all -reps of to the the -irreps of .

*Motivation*

In our last post we discussed the notion of representations for a finite group . Naturally our first desire would be to see if we could, in some way, connect representations of to the -representations which has held the center of our attention for so long. We begin this process in this post by showing that there is a natural place for which these -representations occur. Namely, we shall see that every -representation for which there is a complex conjugate for which for every naturally admits a -representation . We shall show then that in fact the reverse is true–namely that for every -representation there is a natural way to produce a -representation such that . Moreover, we’ll show that if is a -representation satisfying the aforementioned conditions and the added condition that there does not exist such that and is -invariant then we shall see that is an irreducible -representation.

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

## General Characters and the Uniqueness of Decomposition Into Irreps

**Point of post: **In this post we use our results about irreducible characters to show that any decomposition of a representation into a direct sum of irreps is unique. We do this by introducing the notion of a character for a general (not necessarily irreducible) representation.

## Subrepresentations, Direct Sum of Representations, and Irreducible Representations (Pt. III)

**Point of post: **This post is a continuation of this one.

## Subrepresentations, Direct Sum of Representations, and Irreducible Representations (Pt. II)

**Point of post:** This post is a continuation of this one.