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)

1
vote
1answer
683 views

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

Consider $G$ a cyclic group of order $n$ with prime $p\not|n$. How do I construct all the irreducible representations over $\mathbb F_p$? How many irreducible representations are there and what are ...
6
votes
3answers
599 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}.$$ ...
74
votes
8answers
4k 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 ...
12
votes
2answers
892 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. ...
4
votes
2answers
1k 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.
8
votes
2answers
212 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, ...
3
votes
2answers
229 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
1answer
357 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$?
4
votes
3answers
717 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 ...
2
votes
1answer
180 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(\sigma) \in \mathbb Q$. I ...
45
votes
3answers
902 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 ...
5
votes
0answers
82 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
175 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 ...
8
votes
2answers
828 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 ...
6
votes
2answers
195 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 ...
4
votes
2answers
272 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 ...
11
votes
3answers
330 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 ...
10
votes
4answers
569 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 ...
7
votes
2answers
302 views

What is an irrreducible 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 ...
17
votes
3answers
869 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 ...
4
votes
0answers
63 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 ...
3
votes
2answers
323 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 ...
5
votes
2answers
503 views

Universal Cover of $SL_{2}(\mathbb{R})$

Why does the universal cover of $SL_{2}(\mathbb{R})$ have no finite dimensional representations?
4
votes
1answer
154 views

Valuations on number fields

I'm trying to explicitly compute modular representations of some finite groups -- the easiest example to discuss is the cyclic group $C_3$ when $p=3$. The three ordinary irreducible modules for $C_3$, ...
3
votes
1answer
175 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 ...
3
votes
1answer
272 views

Normal subgroups of $S_N$

Is there a list of all normal subgroups for $S_N$? What is a criteria for a finite group to be a normal subgroup of $S_N$? Which of them are kernels of irreducible representation? From a partition ...
1
vote
2answers
585 views

Irreducibility of the standard representation of $S_n$.

The permutation representation of $S_n$ is $\mathbb C^n$ with elements of $S_n$ permuting the basis vectors $\{e_1, e_2, \ldots, e_n\}$. It has a trivial subrepresentation spanned by the vector $v = ...
4
votes
2answers
247 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 ...
3
votes
0answers
26 views

Reciprocity for branching rules of $\mathrm{GL}_n(\mathbb C)$

[Separated from another question] If I have information about the restriction of representations of the general linear group, can I make any statements about the induction (by Frobenius reciprocity)? ...
3
votes
0answers
122 views

Link between representation theory and Galois theory: Trivial representation in field towers.

Let $K|F$ be a finite cyclic Galois extension of number fields of degree prime to $p$ with Galois group $H$, where $p$ denotes a rational prime. Let $L|K$ denote a pro-$p$-extension (possibly ...
2
votes
2answers
139 views

Example of a simple module which does not occur in the regular module?

Let $K$ be a field and $A$ be a $K$-algebra. I know, if $A$ is artinain algebra, then by Krull-Schmidt Theorem $A$ , as a left regular module, can be written as a direct sum of indecomposable ...
2
votes
1answer
223 views

Sum of squares of dimensions of irreducible characters.

For anyone familiar with Artin's Algebra book, I just worked through the proof of the following theorem, which can be seen here: (5.9) Theorem Let $G$ be a group of order $N$, let ...
2
votes
1answer
120 views

Finite dimensional algebra with a nil basis is nilpotent

Prove that a finite-dimensional algebra $A$ over a field $K$ of characteristic zero having a basis consisting of nilpotent elements $\{e_1,...,e_n\}$ is nilpotent. My approach: Let $m_i$ be the ...
2
votes
1answer
165 views

Question of Clifford theory

I have some questions about thist post: faithful irreducible representations of cyclic and dihedral groups over finite fields I would appreciate it really if someone could help me. 1) Do I get with ...
2
votes
2answers
358 views

The Ext functor in the quiver representation

First take a question as an example: Let $f:L\to M$ be an irreducible morphism in $\mathrm{mod}-A$ and $X$ be a right $A$-module. Show that ...
2
votes
2answers
558 views

Dimension of Hom(U, V)

all. I am reading a paper and I could not understand the dimension of the vector space $Hom_{\Gamma}(\rho_i\otimes \rho, \rho_j)$. The paper is http://pages.uoregon.edu/njp/Lusztig92.pdf, section 1.1, ...
1
vote
3answers
163 views

Show $U \otimes V$ is an irreducible G-module

Let $G$ is some group and $U$ is an irriducible $G$-module over the complex numbers. Now if $V$ is a $G$-module of dimension 1, I would like to prove $U \otimes V$ is an irriducible $G$-module. My ...
1
vote
2answers
204 views

Exact Group Representation

Definition: Exact Representation of finite group $G$ in some field $V$ - is injective homomorphism $$\rho : G\to GL(V).$$ (I don't know English terminology, so you may correct me; or probably exists ...
31
votes
4answers
4k views

The Langlands program for beginners

Assuming that a person has taken standard undergraduate math courses (algebra, analysis, point-set topology), what other things he must know before he can understand the Langlands program and its ...
18
votes
10answers
2k 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 ...
21
votes
2answers
478 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 ...
17
votes
2answers
534 views

Categorical description of algebraic structures

There is a well-known description of a group as "a category with one object in which all morphisms are invertible." As I understand it, the Yoneda Lemma applied to such a category is simply a ...
5
votes
1answer
869 views

Question on fundamental weights and representations

I am a bit confused about the notion of "fundamental weights". In a complexified setting, I am thinking of my Lie algebra to be decomposed as, $\cal{g} = \cal{t} \oplus _\alpha \cal{g}_\alpha$ where ...
12
votes
3answers
176 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 ...
6
votes
4answers
1k views

Best books on Representation theory

What are some of the best books on Representation theory for a beginner? I would prefer a book which gives motivation behind definitions and theory.
6
votes
1answer
343 views

What is the relationship between Mackey's theorem in character theory and Mackey's theorem in transfer theory?

Here are the statements of the two theorems. The first statement I took from a paper I have been reading, but I believe can also be found in Isaacs' Character Theory of Finite Groups as an exercise. ...
14
votes
0answers
310 views

Subgroups as isotropy subgroups and regular orbits on tuples

Is there some natural or character-theoretic description of the minimum value of d such that G has a regular orbit on Ωd, where G is a finite group acting faithfully on a set Ω? Motivation: In ...
13
votes
2answers
823 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: ...
7
votes
6answers
195 views

The use of conjugacy class and centralizer?

This is more or less for a conceptual and better-understanding question in group theory and in representation theory: (1) Why are conjugacy class and centralizer important concepts in the group / ...
17
votes
1answer
644 views

Why is a general formula for Kostka numbers “unlikely” to exist?

In reference to Stanley's Enumerative Combinatorics Vol. 2: right after he has defined Kostka numbers (section 7.10), he mentions that it is unlikely that a general formula for $K_{\lambda\mu}$ ...