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
40 views

Spanning $\mathbb{I}$ in $V$

I have the following definition, Definition If $\rho$ : $G \rightarrow GL(V)$ is a representation we call $v \in V$ $G$-invariant if $$g \cdot v =v \ \ \forall g \in G $$ Then I have the statement ...
0
votes
1answer
24 views

Using $\displaystyle \mathbb{C}[G]\cong \bigoplus_{irreducible \ \rho}\rho^{\dim \rho}$ for $S_3$

Let $G=S_3$. $$\chi_{\mathbb{C}[G]}=(6,0,0)=1 (1,1,1)+1(1,1,-1)+2(2,-1,0)=1\chi_{\mathbb{I}}+1 \chi_{\xi}+2\chi_{\triangle} $$ since $\displaystyle \mathbb{C}[G]\cong ...
2
votes
0answers
31 views

Irreducibility of a certain polynomial associated to an irreducible representation of a finite group

Let $k$ be an agebraically closed field of characteristic 0. Let $G$ be a finite group of order $n$. A representation of $G$ is a homomorphism $\psi: G \rightarrow GL(V)$ where $GL(V)$ is the general ...
0
votes
0answers
6 views

Question on Discrete series representations of semisiple Lie groups

I am reading Knapp's book, representation theory of semisiple Lie groups. I am confused with the statements in the following. In page 310, Theorem 9.20: Let $\lambda \in (i\mathfrak b)'$ is ...
0
votes
0answers
51 views

Question about Poincare duality and homology of a cylinder.

I am reading the paper. I have some questions about Poincare duality and homology of a cylinder. On page 9, example 2.6. Let $X = \mathbb{R} \times S^1$ be a cylinder and $Y = X/(0 \times S^1 )$, ...
3
votes
1answer
99 views

Centralizer of $\mathbb{C}[G]$ in $\mathbb{C}[H]$

I found this result, but can't understand how to prove. Let $H$ be a subgroup of $G$. Then prove $Z(\mathbb{C}[G],\mathbb{C}[H])$ is commutative iff every irreducible $G$ module when restricted to ...
0
votes
0answers
14 views

restriction of irreducible representation to an ideal is irreducible

Let $A$ be a C*-algebra and $I$ a closed left ideal of $A$. Show that if $\{\pi,H\}$ is an irreducible representation of $A$, then the restriction of $\pi$ to $I$ is either zero representation or ...
0
votes
0answers
11 views

Prime ideals in Iwahori-Hecke algebras

Results on the ideals (especially the prime, completely prime ones) of Iwahori-Hecke algebras (espcially the ones with finite order) is needed. Thank you very much.
0
votes
1answer
29 views

Dual of a matrix lie algebra

In fact I already calculate the dual space with a formula, but I did'd understand some steps of the formula. So, I want to calculate the dual space of The lie algebra of $SL(2,R)$. Knowing that ...
2
votes
1answer
49 views

Can two different characters of $S_n$ have the same _multiset_ of values?

As I was going through various representation-theory posts in the site, I stumbled upon this one: Characters of the symmetric group corresponding to partitions into two parts. Now, that question ...
0
votes
2answers
35 views

Semisimple implies complete reducibility

Why does a semisimple Lie algebra imply complete reducibility? I have that a semisimple Lie algebra is a Lie algebra with no non-zero solvable ideals. Complete reducibility means that every invariant ...
0
votes
0answers
26 views

References request: are there some references about simple modules of group algebras?

Are there some references about constructing the simples, determining the dimensions of simple modules and describing decompositions of tensor products of simple modules of group algebras? Thank you ...
1
vote
1answer
23 views

How to show that the ordinary quiver of a semisimple algebra is a quiver consisting of isolated points?

It is said that the ordinary quiver of a semisimple algebra is a quiver consisting of isolated points? How to prove this result? Thank you very much. Edit: the ordinary quiver is the quiver defined ...
0
votes
0answers
28 views

Irreducible representation of $G=\mathbb{R}$

How can one prove that the irreducible representation of $G=\mathbb{R}$ is $e^{kx}$? ($k\in\mathbb{C}$) Thank you.
2
votes
1answer
64 views

Bourbaki's proof of normal basis theorem Part 2

Let $K/k$ be a finite Galois extension of a field $k$, $G$ its Galois group. The normal basis theorem states as follows. There exists an element $\alpha$ of $K$ such that $\{\sigma(\alpha)\ |\ ...
2
votes
0answers
36 views

Projective representation of braid group

The representation theory of braid group $B_n$ is tough, not to mention the projective representation. But my problem is simpler: how to find out all the one-dimensional projective representations of ...
0
votes
2answers
49 views

Schurs Lemma for endomorphisms

Schur's lemma states that for an irrep $(\varphi,V)$ any endomorphism $\phi: V \mapsto V$ is given by a scalar mapping. Lets say we are in the complex case, then this would mean: $\phi = \lambda I$ ...
0
votes
1answer
26 views

Irreducible Representation of a $p$-group over field of characteristic $p$ is trivial (Dummit and Foote 18.1 #22)

I'm working on question 22 of Dummit and Foote 18.1. I know this question has been answered in other posts, but I'm confused about the method this text recommends using: Let $p$ be a prime, let $P$ ...
0
votes
0answers
13 views

Which representation of $ su(N) = A_l $ is $\Gamma(1,0,0,\dots,0,0,1)$?

I was wondering which representation of the Lie algebra $ su(N) $ is $\Gamma(1,0,0,\dots,0,0,1)$? where $ (1,0,\dots,0,1)$ are the Dynkin labels of the representation. My guess is that $ \Gamma $ is ...
2
votes
1answer
74 views

How to compute the pointwise stabilizer subgroup of a fixed-point subspace?

Definitions: Let $W$ be a representation of a group $G$, $K$ a subgroup of $G$, and $X$ a subspace of $W$. Let the fixed-point subspace $W^{K}:=\{w \in W \ \vert \ kw=w \ , \forall k \in K \}$. Let ...
0
votes
0answers
61 views

A question about a proof in Lang's $SL_2(\mathbb{R})$

The following is a lemma in Lang's book $SL_2(\mathbb{R})$. It's the last line of the proof that I don't understand. Let $G=SL_2(\mathbb{R})$ , $E$ a Banach space, and let $\pi$ be an irreducible ...
0
votes
0answers
25 views

Basic Representation Theorey: Bijective Correspondence Between Representations (Dummit and Foote 18.1 #3)

I am working on the following question from Dummit and Foote: Prove that the degree 1 representations of $G$ are in bijective correspondence with the degree 1 representations of $G/G'$ (where $G'$ is ...
1
vote
2answers
28 views

Basic Representation Theory: One Dimensional Representation (Dummit and Foote 18.1 #2)

I'm working on question 2 in 18.1 of Dummit and Foote. The question states: Let $\phi : G \to GL_n(F)$ be a matrix representation. Prove that the map $g \to det(\phi(g))$ is a degree 1 ...
4
votes
2answers
85 views

Prove that $Q_8 \not < \text{GL}_2(\mathbb{R})$

Problem 18.1.10 in Dummit and Foote's Abstract Algebra, third edition: Prove that $\text{GL}_2(\mathbb{R})$ has no subgroup isomorphic to $Q_8$. [EA: The quaternion group]. [This may be done by ...
0
votes
0answers
13 views

Checking the definition of absolutely irreducible representations

The definition of an irreducible representation $(\rho, V) $ is one with no subrepresentations. Am I correct in saying that a absolutely irreducible means "it is irreducible over the algebraic ...
1
vote
1answer
30 views

Show that $ (φ^G )_K = (φ_{H∩K})^K $ with Mackey's theorem

Suppose H,K ≤ G e θ $ ϵ $ Char(H). Show that Z(θ)≤H. Suppose H,K ≤ G and HK = G. Se $ φ $ ϵ Char(H) show that $ (φ^G )_K = (φ_{H∩K})^K $. For the proof I have to use the Mackey's theorem. How do I ...
2
votes
1answer
28 views

Differences between primitive central idempotents and primitive orthogonal idempotents

I asked this question in mathoverflow. But it was closed. So I ask it here. If we have a complete set of primitive orthogonal idempotents of an algebra $A$, then we can obtain simple modules, ...
-1
votes
0answers
34 views

Indecomposable Finite Abelian Groups are just Cyclic Groups of a Prime Power Order.

there is a structure theorem in group theory states that: indecomposable finite abelian groups are just cyclic groups of a prime power order. my question is about proving this theorem. how to prove? ...
1
vote
0answers
34 views

Counterexample to exactness of functor from group representations to fixed points

I recently asked this question. Now, the answer there claimed that the functor $()^G:Rep_G\to Vect_{\mathbb{C}}$, where $Rep_G$ are complex representations of a group $G$, and $V^G=\{v\in V: ...
1
vote
1answer
37 views

Functor from category of group representations to space of $G$ invariants

For a representation $(V,\rho)$ of a group $G$, define the subspace of $G$-invariants by $$ V^G=\{v\in V: \rho(g)v=v\quad \forall g\in G\} $$ and want to prove the following: $V\mapsto V^G$ ...
1
vote
1answer
29 views

Prove that $\mathrm{Ind}_{\mathbb{I}}^G \cong \mathbb{C}[G]$

Prove that $\mathrm{Ind}_{\mathbb{I}}^G \cong \mathbb{C}[G]$. Apparently: $$\langle \mathrm{Ind}_{\mathbb{I}}^G \mathbb{I}, \chi \rangle_G \overset{Frob.Rep.}= \langle \mathbb{I}, ...
1
vote
2answers
29 views

Action of universal R-matrix of U_q(sl_2)

My question is really simple but requires a few definitions. No special knowledge of quantum groups should be needed, it is more about tensor algebra. Let $q \in \mathbb{C}$ with $q \neq 0, \pm 1$. ...
0
votes
0answers
29 views

Representation theory and morphisms [closed]

how to find the morphisms between indecomposable injective and projective modules in this quiver $1\leftarrow 2 \leftarrow 3$. Thank you.
2
votes
0answers
28 views

Schur and Weyl modules.

Let $m$ be a non-negative integer and $\lambda=(\lambda_1, \cdots, \lambda_s)$ a partition of $m$. If $V$ is a vector space of dimension $n$ (over a field $\mathbb{K}$), we can consider the Schur ...
2
votes
2answers
49 views

Replacing entries of dice by average of it neighbours

I am interested in Representation Theory. I came across the following answer while reading this question on Mathoverflow. An example from Kirillov's book on representation theory: write numbers ...
1
vote
0answers
7 views

Inverting the the decomposition of tensor product representation into irreps

Suppose I have two unitary representations $U_V, U_W$ of a group $G$ on finite-dimensional vector spaces $V$ and $W$. I know that the tensor product representation $U_V\otimes U_W$ need not be ...
2
votes
0answers
27 views

Invariant subspace vs. irreducible subspace (terminology)

In a course in representation theory I was presented the following proposition: Let $(\pi,V)$ be a finite dimensional irreducible representation with a cyclic vector. $V$ has a unique max. proper ...
1
vote
1answer
25 views

explicit components of regular representation of $S_4$

Consider (left) regular complex representation of $S_4$. It has two 2-dimensional irreducible components. I need exact form of elements in those components (probably, having one element I may get ...
0
votes
1answer
11 views

Need definition of symmetric and antisymmetric tensor representations of a Lie algebra

I couldn't find a definitive answer online. Suppose we have a representation of a Lie algebra $(\pi,V)$. Consider the symmetric and antisymmetric vector subspaces of the $k$-th tensor product of ...
0
votes
0answers
8 views

Reordering indexed expressions (combinatorics)

To me, it appears always as a little 'magic' when people reorder expressions, indexed by highly complex combinations of permutations and I would like to know in deep and formally what really is going ...
1
vote
0answers
68 views

Why Jacobson, but not the left (right) maximals individually?

When we are working with Path Algebras, it does not need very sophisticated tools to prove that for a finite, connected, acyclic quiver $Q$, the Jacobson Radical of $KQ$ is nothing but the arrow ...
3
votes
0answers
77 views

Regge symmetry and outer automorphisms of Dynkin diagrams

Quantum $6j$-symbols are the coefficients of the change of basis matrix in the central extension of Temperley-Lieb algebra(see the book by Kauffman and Lins). It is my understanding that Ocneanu has ...
1
vote
2answers
43 views

The set of non-conjugate elements

I have $H \leq G$ where $G$ is a group. Now for any $t \notin H$ we have $H \cap tHt^{-1} = e$ Now $N$ is a set of all elements of $G$ which are not conjugate to any element of $H$ I want to ...
2
votes
2answers
37 views

Is the trivial representation a subrepresentation of a tensor power of any irreducible complex representation of a finite group?

Let $G$ be a finite group, $V$ an irreducible complex representation and $\mathbb{1}$ the trivial representation. Question: $\exists n >0$ such that $\mathbb{1} \le V^{\otimes n}$?
0
votes
0answers
31 views

Characters of Linear Algebraic Groups

Reading about the semi-invariants of quivers, I see a fact which is frequently referred to in the literature, and is assumed to be trivial. However, I don't see that very easily. So, I was wondering ...
2
votes
1answer
35 views

Characters of (distinct) irreducible finite-dimensional representations of $A$

I need help to understand the proof of this theorem. The theorem can be found in the book Introduction to representation theory by Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex ...
3
votes
1answer
125 views

Computing character of a representation and irreduciblity

for a finite field $k$ I have $G = SL_2(k)$ a group. $H \leq G $ and $H = \lbrace $ $\begin{bmatrix} a & b \\ 0 & d\\ \end{bmatrix} \vert a,b,d \in k \rbrace $ Now $\omega : k^{*} ...
3
votes
1answer
40 views

To show that $A_4$ is solvable

I need to show that $A_4$ is solvable. From what i know the definition of solvable expects to give some chain of subgroups such that each subgroup in the chain is normal to the one in which it is ...
1
vote
1answer
29 views

Irreducible representation of $S_3$ on $\mathbb C^3$

Does there exists an irreducible representation of the group $S_3$ on $\mathbb C^3$? The representations that I can think of all have a $1$ dimensional subspaces that are fixed.
2
votes
1answer
49 views

Product of chracter

From Isaac's character theory book; $3.12$ Let $x\in Irr(G)$ and $g,h\in G$. Show that $$\chi(g)\chi(h)=\dfrac{\chi(1)}{|G|}\sum_{z\in G}\chi(gh^z)$$ I had thought that it was related to $3.9)$; ...