I was enrolled in a representation theory (of finite groups) course in the fall and throughout the class we focused on properties of representations and paradigms built around them. The whole time, I felt a bit let down. Not in the sense that the material was not beautiful because it very much was but in the sense that I wanted to prove things about groups somehow using representations (not facts about the representations themselves like constraints on the dimension of the subrepresentations and such).
My question is this:
What are some classical examples of properties we specifically prove about a group from representation theory that we might not be able to do otherwise?
We had a couple of problems in which we were to prove facts about very specific instances of groups based on the representations but they could all be done with group theoretic notions anyway; I'm looking for maybe a more fundamental paradigm underlying representation theory.
Perhaps the subtext to my post is this:
Why study the representation theory of finite groups?
I vaguely understand why we do it for locally compact groups since they can be much harder to handle, but for finite groups, it seems like beautiful math but not necessary for the understanding of groups.
Best Answer
To address the stated subtext of your post: many people, myself included, take the position that groups are important because they act on things. A representation is just a group action on a vector space (by linear operators). And whenever you have a group action, even if it isn't on a vector space, there is often a closely related representation lurking nearby.
For example, if $G$ is acting on a finite set $S$ then there is an induced representation on $\mathbb{F}^S$ for any field $\mathbb{F}$. More generally, if $G$ is acting on a space $X$ then there is an induced representation of $G$ on the algebra $\mathcal{O}(X)$ of functions on $X$, whatever we mean by "function" in this situation (e.g. perhaps $X$ is a topological space on which $G$ acts by homeomorphisms, and $\mathcal{O}(X)$ is the algebra of continuous real-valued functions on $X$).
To elaborate on this last point: suppose $X$ is a set on which $G$ acts. For any set $Y$, there is an induced action on the set $Y^X$ of maps from $X$ to $Y$: for $g\in G$ and $f:X\to Y$, the map $g\cdot f$ is defined by $$(g\cdot f)(x) = f(g^{-1}x).$$
If we equip $X$ with some additional structure, like a topology, we may insist that the action of $G$ preserve this structure. This guarantees that the action of $G$ on maps will take structure-preserving maps to structure-preserving maps. As an example, if $X$ and $Y$ are topological spaces and $G$ acts on $X$ by homeomorphisms, then the action of $G$ on $Y^X$ sends continuous maps to continuous maps. In particular, taking $Y=\mathbb{R}$, we have an action of $G$ on the algebra of real-valued continuous functions.