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)

7
votes
3answers
684 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}.$$ ...
1
vote
1answer
833 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 ...
12
votes
2answers
1k 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. ...
79
votes
8answers
5k 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 ...
8
votes
3answers
513 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 ...
2
votes
1answer
65 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 ...
6
votes
3answers
2k 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.
14
votes
1answer
415 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 ...
8
votes
2answers
230 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
396 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
75 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
278 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
201 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
65 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$, ...
6
votes
1answer
273 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 ...
4
votes
3answers
878 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 ...
3
votes
1answer
207 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 ...
23
votes
10answers
3k 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 ...
46
votes
3answers
929 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 ...
10
votes
2answers
1k 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 ...
7
votes
2answers
243 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 ...
17
votes
3answers
943 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 ...
5
votes
0answers
94 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
365 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
201 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 ...
4
votes
2answers
304 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
4answers
706 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 ...
8
votes
2answers
330 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 ...
4
votes
0answers
67 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
402 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 ...
10
votes
2answers
592 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 ...
6
votes
2answers
626 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
159 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
286 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
172 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 ...
4
votes
2answers
332 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
31 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
144 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 ...
3
votes
2answers
171 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
316 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
136 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
400 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
754 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 = ...
2
votes
2answers
586 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
191 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
227 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 ...
34
votes
4answers
5k 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 ...
30
votes
5answers
2k views

Can every group be represented by a group of matrices?

Can every group be represented by a group of matrices? Or are there any counterexamples? Is it possible to prove this from the group axioms?
18
votes
2answers
583 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 ...
25
votes
2answers
565 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 ...