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
692 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
604 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
904 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
215 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
1answer
363 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$?
2
votes
1answer
60 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 ...
3
votes
2answers
234 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 ...
2
votes
0answers
50 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$, ...
1
vote
1answer
38 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 ...
4
votes
3answers
726 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
182 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
903 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 ...
7
votes
2answers
212 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 ...
5
votes
0answers
84 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 ...
12
votes
3answers
331 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
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
836 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 ...
4
votes
2answers
274 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 ...
10
votes
4answers
576 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
304 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
870 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
65 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
329 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
507 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 ...
2
votes
1answer
167 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 ...
1
vote
2answers
595 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
27 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
123 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
141 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
228 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
2answers
360 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
561 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
164 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
206 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
484 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
538 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
883 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
179 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
347 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
317 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 ...