Questions tagged [representation-theory]

For questions about representations or any of the tools used to classify and analyze them. A representation linearizes a group, ring, or other object by mapping it to some set of linear transformations. A common goal of representation theory is classifying all representations of some type. Representation theory is a broad field, so questions not including the word "representation" may be appropriate.

Representation theory is the study of mathematical objects via their symmetries. The broad idea is to study all the ways to "linearize" an object by reinterpreting its elements as a collection of matrices. This reduces problems in abstract algebra to problems in linear algebra, which are better understood, and leads to new questions in turn.

Specifically, given some algebraic object $A$, a representation of $A$ is a vector space $V$ and a a structure-preserving function $\rho \colon A \to \mathrm{End}(V)$, the ring of endomorphisms, or linear transformations, of $V$. That is, we're viewing elements of $A$ as matrices in order to "linearize" $A$ and understand its symmetries.

While some representations can tell us a great deal about the structure of $A$ in themselves, representation theorists often aim to understand all of the representations of $A$. How many different possible ways can $A$ be linearized? Usually the collection of representations of $A$ forms an abelian category. One of the most common goals in representation theory is to classify representations, or to understand the structure of the category of representations.

The usual first example that students see of representation theory is in the case of finite groups, where $A$ is a finite group, $\rho$ is a group homomorphism and $V$ is a finite-dimensional vector space over the complex numbers. However, $A$ may be a Lie group, an associative algebra, a quiver, or virtually any object with an "algebraic" structure. On the other hand, $V$ may be a vector space with coefficients in any field, a Hilbert space, a module, or virtually any object with a "linear" structure.

Modern representation theorists frequently employ tools from disparate areas of math, including category theory, harmonic analysis, homological algebra, combinatorics, and algebraic geometry. Their results are frequently useful in physics, geometry, and number theory.

9647 questions
37
votes
4 answers

Proofs that the degree of an irrep divides the order of a group

It is a theorem in basic representation theory that the degree of an irreducible representation on $G$ over $\mathbb{C}$ divides the order of $G$. The usual proof of this fact involves algebraic integers (see for example Fulton & Harris'…
JHF
  • 10,996
28
votes
3 answers

Representation theory of the additive group of the rationals?

What do the finite-dimensional continuous complex representations of the additive group $\mathbb{Q}$ with the usual topology look like? With the discrete topology? Which representations are indecomposable? Irreducible? The only ones I can think…
Qiaochu Yuan
  • 419,620
26
votes
1 answer

Is the dual representation of an irreducible representation always irreducible?

Let $G$ be a group and let $V$ be a complex vector space which is a representation of $G$. Let's write the (left) action of $g\in G$ on $v\in V$ as $gv$. The dual vector space of $V$ is the set of linear maps from $V$ to $\mathbb{C}$, and is written…
irrep
  • 263
26
votes
3 answers

Symmetric and exterior power of representation

Does there exist some simple formulas for the characters $$\chi_{\Lambda^{k}V}~~~~\text{and}~~~\chi_{\text{Sym}^{k}V},$$ where $V$ is a representation of some finite group? Thanks.
Aspirin
  • 5,659
25
votes
2 answers

Understanding the proof of Schur-Weyl Duality

I am teaching myself representation theory on $GL(V)$ and $S_n$ using my friend's lecture notes, and have reached a proof of the Schur-Weyl Duality theorem; on reading through I'm struggling to make my way through the first part of the proof though,…
Spyam
  • 4,435
16
votes
2 answers

Is the tensor product of irreducible representations of different groups irreducible?

$\DeclareMathOperator{\Aut}{Aut}$ Let $G_1$ and $G_2$ be two groups, provided with two irreducible linear representations $$R_1 : G_1 \to \Aut(V_1) \text{ and } R_2 : G_2 \to \Aut(V_2),$$ $V_1$ and $V_2$ being two finite-dimensional vector spaces…
ged
  • 189
14
votes
0 answers

Groups with no small nontrivial representation

Question: Given a group $G$, let $f(G)$ be the smallest dimension of any of its nontrivial irreducible representations over $\mathbb C$. For a positive integer $n$, let $a_n$ be the largest value of $f(G)$ for any group $G$ of order $\leq n$. How…
14
votes
1 answer

Group representation is semisimple iff restriction to subgroup of finite index is semisimple

Let $G$ be a group, and $\pi: G \rightarrow \operatorname{GL}(V)$ be an abstract representation of $G$, for $V$ a finite dimensional vector space over a field of characteristic zero. Let $H$ be a subgroup of finite index of $G$. Is it true that…
D_S
  • 33,891
13
votes
2 answers

Restriction to a normal subgroup

More exam preparation. Let $A$ be a normal subgroup of a finite group $G$ and $V$ an irreducible representation of $G$. Show that either $\text{Res}_A^G V$ is isotypic (a sum of copies of one irreducible representation of $A$) or that $V$ is…
Qiaochu Yuan
  • 419,620
13
votes
2 answers

Irreducible representations of a semidirect product

I have two finite groups. The irreducible representations of their product are given by tensor products of the irreducible of representations of the groups. Is there a way to build the irreducible representations of a semidirect product from the…
12
votes
2 answers

Newbie: Group Representation $\Leftrightarrow$ Left Module over the Group Ring

I am trying to understand the equivalence between group representations, $(V, \rho)$, and left modules over the group ring $F[G]$. Can you explain explicitly why it is the same? My progress: Consider a group $G$. If $(V, \rho)$ is a representation…
Alba
  • 121
11
votes
1 answer

Decomposing an irreducible representation of a finite group as a direct sum of inequivalent one-dimensional representations of a subgroup

I would like an answer to the following question. A proof or a counterexample would be enormously appreciated. Let $G$ be a finite group and let $V$ be a finite-dimensional complex irreducible $G$-module. Does there exist a subgroup $K$ of $G$ such…
Kenny Wong
  • 32,192
11
votes
1 answer

If every irreducible representation of a finite group has dimension $1$, why must the group be abelian?

Suppose $G$ is a group and that every irreducible representation of $G$ has dimension $1$. Why does this mean that $G$ is abelian? The number of $1$-dimensional representations of $G$ is given by $|G/G'|$, where $G'$ is the derived subgroup of $G$.…
Rep
  • 111
10
votes
1 answer

Nonabelian group with all irreducible representations one-dimensional

All irreducible representations of an abelian group are one-dimensional. For a finite group, the coverse is also true - if all irreducible representations are one-dimensional then the group is abelian. Is there a nonabelian group $G$ such that all…
user3533
  • 3,285
10
votes
3 answers

Representations of a cyclic group of order p over a field of characteristic p?

Let $p$ be a prime. My eventual goal is to prove that the only irreducible representation of a $p$-group over a field of characteristic $p$ is the trivial representation. At the moment, I'm trying to prove a simpler claim: suppose $G$ is a (cyclic)…
Elliott
  • 4,124
1
2 3
59 60