Representation theory studies (among else) representations of groups by finite matrices. The non-commutative analog of classical Fourier transforms.

learn more… | top users | synonyms (1)

4
votes
1answer
1k views

Irreducible representations of a cyclic group over a field of prime order

Consider $G$ a cyclic group of order $n$ with prime $p\nmid n$. How do I construct all the irreducible representations over $\mathbb F_p$? How many irreducible representations are there and what are ...
107
votes
8answers
8k views

Importance of Representation Theory

Representation theory is a subject I want to like (it can be fun finding the representations of a group), but it's hard for me to see it as a subject that arises naturally or why it is important. I ...
10
votes
3answers
4k views

Symmetric and exterior power of representation

Is there exists some simple formula for characters $$\chi_{\Lambda^{k}V}~~~~\text{and}~~~\chi_{\text{Sym}^{k}V}$$ for some representation $V$ of finite group? Thanks.
9
votes
3answers
1k views

Classifying the irreducible representations of $\mathbb{Z}/p\mathbb{Z}\rtimes \mathbb{Z}/n \mathbb{Z}$

I need help with the following problem: Suppose $n$ is some positive integer, and $n|p-1$. Classify all irreducible representations of $$\mathbb{Z}/p\mathbb{Z}\rtimes \mathbb{Z}/n \mathbb{Z}.$$ ...
17
votes
2answers
2k views

Is $A \times B$ the same as $A \oplus B$?

When $A, B$ are $K$-modules, then $A \times B$ is the same as $A \oplus B$. Let $A, B$ be two $K$-algebras, where $K$ is a field. Is $A \times B$ the same as $A \oplus B$? Thank you very much. ...
6
votes
3answers
2k views

Permutation module of $S_n$

Let $G=S_n$ and let $V$ be the permutation module of $G$ with basis $\{x_1,\cdots,x_n\}.$ Let $\lambda, \mu \in \mathbb{C}$ to allow one to define a $\mathbb{C}G$-homomorphism $\rho:V \to V$ by ...
8
votes
3answers
626 views

Do all Groups have a representation?

I know that many kind of groups can be represented by matrices; for example: rotation groups can be represented by matrices. Especially all elements of rotation groups can be represented by ...
9
votes
3answers
2k views

Complex finite dimensional irreducible representation of abelian group

I'm supposed to show that each Complex finite dimensional irreducible representation of an abelian group is one dimensional. For any map $\phi: V \rightarrow V$ it holds that $\phi(\rho(g)v) = ...
4
votes
3answers
283 views

matrix representations and polynomials

I just investigated the following matrix and some of its lower powers: $${\bf M} = \left[\begin{array}{cccc} 1&0&0&0\\ 1&1&0&0\\ 1&1&1&0\\ 1&1&1&1 ...
7
votes
3answers
599 views

Reference request for algebraic Peter-Weyl theorem?

It seems that, for $GL_n$, and possibly for something like complex reductive groups $G$ in general, there's an algebraic version of the Peter-Weyl theorem, which might say that the coordinate ring of ...
4
votes
4answers
373 views

Alternate proof of Schur orthogonality relations

I am trying to find an alternate proof for Schur orthogonality relations along the following lines. Let $G$ be a finite group, with irreducible representations $V_1$, $V_2$, $\cdots$, $V_d$. Let $V$ ...
7
votes
1answer
610 views

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 ...
2
votes
1answer
142 views

Conjugacy classes and centralizers of a SmallGroup

What is the complete lists of conjugacy classes and centralizers of SmallGroup(64,138)? Would someone be willing to provide the complete lists of conjugacy classes and centralizers of ...
33
votes
10answers
8k views

What's a good place to learn Lie groups?

Ok so I read the following article the other day: http://www.aimath.org/E8/ and I wanted to learn more about lie groups. Using my exceptional deduction skills I thought "oh it must have something to ...
44
votes
0answers
491 views

Geometric & Intuitive Meaning of $SL(2,R)$, $SU(2)$, etc… & Representation Theory of Special Functions

Many special functions of mathematical physics can be understood from the point of view of the representation theory of lie groups. An example of the power of this viewpoint is given in my question ...
19
votes
3answers
1k views

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 ...
7
votes
4answers
754 views

Ring of polynomials as a module over symmetric polynomials

Consider the ring of polynomials $\mathbb{k} [x_1, x_2, \ldots , x_n]$ as a module over the ring of symmetric polynomials $\Lambda_{\mathbb{k}}$. Is $\mathbb{k} [x_1, x_2, \ldots , x_n]$ a free ...
8
votes
2answers
319 views

Some irreducible character separates elements in different conjugacy classes

Let $x$ and $y$ be elements that are not conjugate in $G$. Then there is some irreducible character $\chi$ such that $\chi(x) \not = \chi(y)$. Clearly the "irreducible" part isn't important, ...
15
votes
1answer
520 views

Low-dimensional Irreducible Representations of $S_n$

For $n\geq 7$, I would like to show that $S_n$ has no irredicuble representations of dimension $m$ for $2\leq m\leq n-2$. The catch is that I am not allowed to use any "machinery" (evidently, this ...
11
votes
2answers
1k views

Proof $\mathbb{A}^n$ is irreducible, without Nullstellensatz

As the title suggests, could anyone either provide me with or direct me to a proof that affine n-space $\mathbb{A}^n$ is irreducible, without using the Nullstellensatz? This is an exercise in a ...
5
votes
1answer
291 views

A conjugacy class $C$ is rational iff $c^n\in C$ whenever $c\in C$ and $n$ is coprime to $|c|$.

Let $C$ be a conjugacy class of the finite group $G$. Say that $C$ is rational if for each character $\chi: G \rightarrow \mathbb C$ of $G$, for each $c\in C$, we have $\chi(c) \in \mathbb Q$. I am ...
5
votes
1answer
792 views

Determinant of the character table of a finite group $G$

This is an exercise from the book "Groups and Representations" by Alperin & Bell. This quantity is well defined upto a sign. By column orthogonality relations, its squared norm is ...
3
votes
1answer
518 views

Faithful irreducible representations of cyclic and dihedral groups over finite fields

How to determine all the faithful irreducible representations of $\mathbb Z_n$ and $D_{2n}$ over $GF(p)$, where $p$ is a prime not dividing $n$?
3
votes
2answers
626 views

Why is the group action on the vector space of polynomials naturally a left action?

When seeking irreducible representations of a group (for example $\text{SL}(2,\mathbb{C})$ or $\text{SU}(2)$), one meets the following construction. Let $V$ be the space of polynomials in two ...
2
votes
1answer
83 views

Which non-Abelian finite groups contain the two specific centralizers? - part II

This is a question requiring the good knowledge of group theory: (Q1) Which finite groups $G$ contains some specific centralizers isomorphic to both of these two groups (but may contain other ...
6
votes
3answers
599 views

Extending a homomorphism $f:\left<a \right>\to\Bbb T$ to $g:G\to \Bbb T$, where $G$ is abelian and $\mathbb{T}$ is the circle group.

Suppose $G$ is an abelian group and $a\in G$ and $$f:\left<a \right>\to\Bbb T$$ is a homomorphism. Can $f$ be extended to a homomorphism on $G$: $$g:G\to \Bbb T$$ ? $\Bbb T$ is the circle ...
3
votes
2answers
291 views

Existence of a G-invariant matrix

Let $\phi: G \to GL(\mathbb{R}^n)$ be a homomorphism, $G$ finite. Prove that there is a positive-definite matrix $M$ such that $\phi(g)^tM \phi(g) =M$ $\forall g \in G $. This looks really ...
3
votes
2answers
256 views

Why is $ U \otimes \operatorname{Ind}(W) = \operatorname{Ind}(\operatorname{Res}(U) \otimes W)$?

If $U$ is a representation of $G$ and $W$ is a representation of $H$, then why is $$ U \otimes \operatorname{Ind}(W) = \operatorname{Ind}(\operatorname{Res}(U) \otimes W)$$ I've tried to simply use ...
2
votes
0answers
100 views

Which finite groups contain the two specific centralizers?

This is a question requiring the good knowledge of group theory: (Q1) Which finite groups $G$ contains some specific centralizers both of these two groups: i. the elementary group $Z_2^4$, ...
0
votes
1answer
107 views

Matrix representations of parabola.

Continuing the epic quest on finding matrix representations from here: Representation of hyperbolas. with a last part, the only conic section left: the parabola. I will present one idea of how to ...
25
votes
2answers
1k views

Surprising but simple group theory result on conjugacy classes

I have read that for any group $G$ of order $2m+1$ (odd) with $n$ conjugacy classes, it is always the case that $16$ divides the value $(2m+1)-n = |G|-n$. This seems to me like an astonishing ...
50
votes
2answers
1k views

How to think of the group ring as a Hopf algebra?

Given a finite group $G$ and a field $K$, one can form the group ring $K[G]$ as the free vector space on $G$ with the obvious multiplication. This is very useful when studying the representation ...
37
votes
3answers
946 views

What does the group ring $\mathbb{Z}[G]$ of a finite group know about $G$?

The group algebra $k[G]$ of a finite group $G$ over a field $k$ knows little about $G$ most of the time; if $k$ has characteristic prime to $|G|$ and contains every $|G|^{th}$ root of unity, then ...
21
votes
3answers
2k views

Understanding induced representations

Let $G$ be a group and $H$ be a subgroup. Let $\phi:H\rightarrow GL(V)$ be a representation of $H$. There are three constructions in Wikipedia, but I am not really convinced by these. My question is: ...
17
votes
2answers
2k views

Why are (representations of ) quivers such a big deal?

Quivers are directed graphs where loops and multi-arrows are allowed. And we can talk about representations of quivers by assigning each vertex a vector space and each arrow a homomorphism. Moreover, ...
7
votes
2answers
344 views

Estimates on conjugacy classes of a finite group.

In Character Theory Of Finite Groups by I Martin Issacs as exercise 2.18, on page 32. Theorem: Let $A$ be a normal subgroup of $G$ such that $A$ is the centralizer of every non-trivial element ...
14
votes
3answers
382 views

Proving facts about groups with representation theory.

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 ...
12
votes
3answers
598 views

Complex Galois Representations are Finite

In A First Course in Modular Forms, Diamond and Shurman leave as an exercise ($9.3.3$) that every complex Galois representation is finite. While I think I have worked through this exercise here, this ...
11
votes
2answers
2k views

The physical meaning of the tensor product

I have come across tensor products many times in physics, namely for matrices, vector-space elements, Hilbert-space elements (quantum states), and representations of groups and algebras. However, the ...
8
votes
2answers
449 views

What is an irreducible character of a finite group?

Let $S_n$ be the group of permutations of $\{1, 2, \ldots, n\}$. A “character” for $S_n$ is a function $\chi\colon S_n \to \mathbb{C} \setminus \{0\}$ with $\chi(ab) = \chi(a)\chi(b)$ for all $a, b ...
13
votes
4answers
1k views

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 ...
11
votes
2answers
345 views

History of the matrix representation of complex numbers

It is well-known to many that $\mathbb{C}$ can be represented by matrices of the form $\left[ \begin{array}{cc} a & b \\ -b & a \end{array} \right]$. For example, see this question or this ...
8
votes
5answers
929 views

Shortest way of proving that the Galois conjugate of a character is still a character

Let $G$ be a finite group and $\chi$ a character of $G$. The values of $\chi$ generate an abelian Galois extension $K$ of $\mathbb{Q}$, and so one can consider the conjugate $\sigma(\chi)$ of $\chi$ ...
7
votes
1answer
491 views

Definition of the Young Symmetrizer

I have a question regarding the equivalence of two definitions of the young symmetrizer. First, some notation: let $\lambda$ be a partition of $n$. Given a $\lambda$-tableau $T$ (that is, a tableau of ...
5
votes
0answers
130 views

— Cartan matrix for an exotic type of Lie algebra --

(1) Is there a notion of Cartan matrix for non-semisimple Lie algebra? For example, consider this Lie algebra: $$ [X_i, X_j] = f_{ij}{}^k X_k \qquad\qquad [X_i,Y^j] = - f_{ik}{}^j Y^k \qquad\qquad ...
10
votes
1answer
277 views

Galois representations and normal bases

I am not very familiar with the theory of Galois representations, but I do know a bit about both Galois theory and representation theory. Recently I learned about the notion of a normal basis for a ...
7
votes
2answers
182 views

Correspondence of representation theory between $\mathrm{GL}_n(\mathbb C)$ and $\mathrm U_n(\mathbb C)$

If I know something about the representation theory of the general linear group $\mathrm{GL}_n(\mathbb C)$, what can I say about the representation theory of the unitary group $\mathrm U_n(\mathbb ...
5
votes
2answers
432 views

Representations of Direct Sum of Lie Algebras

I'm trying to prove the following. Let $\frak{g}$ and $\frak{h}$ be (semisimple) Lie algebras. Then every representation $d$ of $\frak{g}\oplus\frak{h}$ is the tensor product of representations $d^1$ ...
4
votes
2answers
412 views

How to generalise $(\wedge^2 \chi)(g) = \frac{1}{2}(\chi(g)^2-\chi(g^2))$?

One can decompose $\bigotimes^2 V = \bigvee^2 V \oplus \bigwedge^2 V$, getting a corresponding decomposition for representations, say when $V$ is a module for some finite group $G$. One then has the ...
9
votes
3answers
690 views

Does every irreducible representation of a compact group occur in tensor products of a faithful representation (and its dual)?

Let $G$ be a compact (Hausdorff) group and $V$ a faithful (complex, continuous, finite-dimensional) representation of it. (Hence $G$ is a Lie group.) Is it true that every irreducible representation ...