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)

0
votes
1answer
14 views

Proof that $f:\mathbb CG \to S$ given by $f(a)=a\cdot s$ is surjective

I am going through a proof of the following result from my lecture notes: Suppose $\mathbb C G \cong \bigoplus_{i=1}^nU_i$ where the $U_i$ are simple $\mathbb CG $ modules. Then any simple $\mathbb ...
1
vote
0answers
42 views

Irreducible unitary representations of $ \Bbb{R}^{2} \rtimes_{\alpha} \Bbb{R} $.

Let $ \alpha $ be the action of $ \Bbb{R} $ on the group $ \Bbb{R}^{2} $ defined by $ \alpha_{t} \! \left( \begin{bmatrix} a \\ b \end{bmatrix} \right) = \exp \! \left( \begin{bmatrix} t & 0 \\ ...
1
vote
0answers
23 views

Irreducible unitary representation of a solvable lie group

Determine the equivalence classes of irreducible unitary representations of a solvable lie group. $$\begin{bmatrix}ae^t & 0\\ 0 & be^{-t}\end{bmatrix}$$ for $a,b\in \mathbb{R}, t\in ...
2
votes
0answers
22 views

What is the representation induced by $Z(G)$?

If $G$ is a finite group, and we have a representation of the center $\varphi\colon Z(G)\to GL(V)$, what is the induced representation on $G$? I've seen it mentioned in places, but not its definition. ...
2
votes
1answer
22 views

Character of action of permutations on a subset

I have a problem involving characters of a certain $\mathbb C$$G$-module, where $G = S_n$. The module is the vector-space $V$ with basis $\{v(I) | I\subset\{1,...,n\},|I| = k\}$, where $k\le n$. With ...
0
votes
0answers
16 views

scalar multiple of Young symmetriser

The following is a lemma on Fulton and Harris' book -Representation theory,a first course (page 53): Lemma: For all $x\in \mathbb{C}\mathfrak{S}_r$, $c_{\lambda}\cdot x\cdot c_{\lambda}= scalar ...
0
votes
0answers
38 views

What's the meaning of $d^{\times } a$?

In the lecture notes, the last line of on page 51, what is the meaning of $d^{\times } a$ in the integral? Thank you very much.
0
votes
1answer
39 views

How does GAP understand $SL_2(\mathbb{F}_3)$?

When one is asking for " IrreducibleRepresentations(SL(2,3))" it makes sense that the matrices it returns are over the complex field as thats the field on which the representations are. There GAP ...
0
votes
0answers
10 views

Relation between Jordan Normal Form and Irreducible Matrix Representations.

Ok so I have learned some very basic things about groups and matrix representations of groups. I have learned that it can be possible to find a "minimal basis" or "irreducible basis" for which a ...
2
votes
0answers
22 views

Representation of complex Clifford algebra on exterior algebras when quadratic form has odd index

Overview This problem entails the explicit construction of representation of Clifford algebra upon the exterior algebra, using orthogonal complex structure or polarization, namely, given a ...
1
vote
1answer
30 views

Projection matrix (C* algebra.. but linear algebra question) [closed]

The subject is $C^*$-algebra, but I think my question might be linear algebra related type. I have a question from the book Operator Algebras Theory of C*-Algebra by Blackadar. On page 351, in the ...
2
votes
2answers
52 views

Existence of projection in proof of Maschke's theorem

In a proof of Maschke's theorem, my lecturer writes "If $N$ is a $\mathbb C G$-module and $N\leq M $ is a submodule, let $\pi: M \to M$ be a projection (i.e. a map with $\pi^2=\pi$) with image $N$." I ...
0
votes
0answers
29 views

Proving $Ind_H^G1_H=\pi_X$

Lemma Let $\psi=1_H$ the principal character of $H$, then $Ind_H^G1_H=\pi_X$, the permutation character of $G$ on the set $X$ of left cosets of $H$ in $G$. Proof Let $\{t_i \}$ form a tranversal. ...
3
votes
1answer
33 views

Does there exist a non-quasi-split torus?

In a homework, I was asked to prove that any torus is isomorphic to a quotient of a finitely many product of Weil restrictions $Res_{L/k}\mathbb{G}_m$. While solving this, I got an impression that ...
2
votes
1answer
42 views

Prove that if G has a faithful complex irreducible representation

I am struggling with the proof that if G has a faithful complex irreducible representation then $Z(G)$ is cyclic: Let $\rho:G \rightarrow GL(V)$ be a faithful complex irreducible representation. ...
0
votes
0answers
19 views

Definition of a matrix by using coaction.

Let $V$ be a vector space with a basis $e_1, \ldots, e_n$. Let $C$ be a coalgebra and $V$ a $C$-comodule. Consider the coaction $\delta: V \to C \otimes V$ given by $\delta(e_i) = \sum_{j=1}^n c_{ij} ...
2
votes
2answers
44 views

What is the permutation representation of $SL_2(\mathbb{F}_p)$, $PSL_2(\mathbb{F}_p)$ and $GL_2(\mathbb{F}_p)$?

It seems that there is a action by which $SL_2(\mathbb{F}_p)$ and $GL_2(\mathbb{F}_p)$ permute the $p^2$ ordered tuples in $\mathbb{F}_p^2$. What is the map from the $2 \times 2$ matrices over ...
1
vote
0answers
25 views

How does $\mathrm{Res}_{\{I\}}\chi = \mathbb{I} \oplus \dots \oplus \mathbb{I}$?

My definition of restriction is: Let $H < G$, $\rho: G \rightarrow GL(V)$. The restriction of $\rho$ to $H$, $\rho: H \rightarrow GL(V)$. Its character is $$Res_H\chi(h)=\chi(h) \ \ \forall h \in ...
0
votes
1answer
77 views

How to read GAP's output on “IrreducibleRepresentations”?

For example for the group $SL_2(\mathbb{F}_3)$ I get the following, ...
0
votes
0answers
9 views

Is the tensor product of two semi-regular representations again semi-regular?

Given a finite group $G$ and two semi-regular representation $D_1$ on $V_1$ and $D_2$ on $V_2$, i.e. representations containing all irreducible representations of that group, is $D_1 \otimes D_2$ ...
1
vote
1answer
56 views

Find the conjugacy classes of $A_5$

I was trying to find the conjugacy classes of $A_5$. So I started by writing out all the conjugacy classes of $S_5$ in the hope that I could just restrict the set of them. The conjugacy class ...
0
votes
1answer
38 views

Permutation representation of $S_4$ acting on $\{1,2,3,4\}$

I am considering the permutation representation of $S_4$ acting on $\{1,2,3,4\}$ with character $\chi_{\pi}$. The answer is $\chi_{\pi}=(4,2,1,0,0)$ Now I know that for the permutation representation ...
1
vote
1answer
33 views

Any 1-dimensional character $\otimes$ irreducible character is irreducible

I would like to prove that any 1-dimensional character $\otimes$ irreducible character is again irreducible. (I think this is character but there is chance I have misinterpreted my notes and it may be ...
2
votes
0answers
26 views

Definition of Schur Functors on morphisms

I've been learning about Schur functors on nLab: http://ncatlab.org/nlab/show/Schur+functor A definition is given, for $R$ some finite dimensional representation of $S_n$, by the formula $S_R(-)=R ...
1
vote
0answers
17 views

Does every Young diagram have a unique minimal major index?

Given a Young diagram, $Y_\rho$, corresponding to an irreducible complex representation $\rho$ of the symmetric group $S_n$, we can associate a set of major indices $\{ ...
4
votes
0answers
25 views

Recipe to compute dimension and decompose product of $SO(N)$ group representations

As it is well known Young tableaux (YT) provide an efficient and very useful way to treat $SU(N)$ representation. This is principally based on these facts: There is a correspondence between irreps ...
1
vote
1answer
43 views

Lifting representations, kernels and invariant subspaces

Let $G$ be a group, $N \triangleleft G$, $G/N$ the corresponding quotient group. Suppose $\rho : G/N \longrightarrow GL(\mathbb{C})$ is a representation of $G/N$. Then the composition ...
0
votes
0answers
58 views

At what position do we insert the new coefficient in the weights for extended Dynkin Diagrams?

Given a set of weights of a representation and the corresponding extended Dynkin diagram for some Lie algebra, we can delete a node, which yields the maximal subalgebra. I know how to draw the ...
0
votes
0answers
14 views

Homomorphisms in $Q_8$ [duplicate]

Prove directly that the 2-dimensional irreducible representation $\rho$ of $Q_8$ is not realisable over $\mathbb{R}$. Suppose $\rho: Q_8 \rightarrow GL_2(\mathbb{R})$ is a representation with ...
2
votes
1answer
22 views

Adjoint representation and tangent vectors

Let $G$ be a Lie group, $\mathfrak{g}$ its Lie algebra, $\text{Ad}:G\rightarrow GL(\mathfrak{g})$ the adjoint representation of $G$. Then, for $X,Y\in \mathfrak{g}$, \begin{align*} ...
0
votes
0answers
10 views

Are derivatives of generic representations generic?

I am trying to learn about the Bernstein-Zelevinsky derivatives. If $\pi$ is a generic representation of $GL_{n}$, then will the $k$-th derivative $\pi^{(k)}$ be generic? Thanks.
0
votes
1answer
44 views

Considering transitive $G$-set

Question. Suppose that $X$ is a transitive $G$-set of size greater than $1$ and let $\pi$ be the associated permutation representation with the character $\chi$. Show that some element $g \in G$ ...
0
votes
0answers
21 views

Matrix representations and idempotent/nilpotent elements

A conceptual question: Let's say there's a linear matrix representation of a particular algebra. I'm wondering just how much this matrix representation can tell us about the 'outstanding' elements ...
3
votes
2answers
54 views

Prove that every non-abelian group of order $8$ has a $2$-dimensional irreducible character all of whose values are integers.

Prove that every non-abelian group of order $8$ has a $2$-dimensional irreducible character all of whose values are integers. I get that if $G$ is non abelian it must have an irreducible ...
0
votes
1answer
27 views

Does $\langle \Psi, \mathbb{I} \rangle_G=\langle Res_H\Psi, \mathbb{I} \rangle_H$ always hold?

Let $G$ be a group and $H < G$. Let $\Psi$ be a character. Let $\mathbb{I}$ be the trivial representation Does $\langle \Psi, \mathbb{I} \rangle_G=\langle Res_H\Psi, \mathbb{I} \rangle_H$ always ...
0
votes
0answers
21 views

Inducing $A_4$ from $\langle (123) \rangle$

Let $G=A_4$ and $H=\langle (123) \rangle < G$. Compute $Ind_{H}^G \chi$ for every irreducible $\chi$ of $H$. Choose the right transversal of $H$ in $G$ as $V_4=\{ 1, (12)(34),(13)(24),(14)(23) ...
3
votes
1answer
34 views

Choices of decompositions of a representation into irreducible components (Serre, Ex. 2.8)

The following is exercise 2.8 in Serre's Linear Representations of Finite Groups. If $V$ is a representation of a group $G$, recall it has a canonical decomposition $V=\oplus_1^n V_i$, where each ...
1
vote
1answer
17 views

1-loop quiver and the classification of quivers

Gabriel's theorem states that finite type quivers are exactly the ones whose underlying graphs are ADE type Dynkin diagrams. Furthermore, the quivers whose underlying diagrams are ADE type affine ...
7
votes
1answer
207 views

Symmetric kernel of tensor product

Let $V,W$ be two real vector spaces, and let $L_i:V\rightarrow W$, $i=1,\ldots,n$ be $n$ linear maps with distinct kernels $K_i$ of dimension $1$. Consider the tensor product of these maps ...
3
votes
0answers
33 views

Meaning of the term $X/H$ and orbits

I am trying to find representations of the group $G=GL_2(F(t)/t^2) = (M_2(F_p) , + ) \rtimes GL_n(F)$ So I was trying to do exactly what Serre has explained in this section. I am not quite able to ...
0
votes
1answer
32 views

Finite dimensional representations of semi-simple Lie algebras

I've been trying to understand the proof of the following statement: An injective map of $\mathfrak{g}$-representations of a semisimple Lie algebra splits. I'm supposed to show this considering the ...
3
votes
1answer
42 views

Why can we write the weights of a representation in terms of the simple roots?

I'm currently trying to get my head around the fact that we can write the weights of any representation in terms of the simple roots of the algebra. Is there any, not too-technical, explanation? I ...
0
votes
0answers
30 views

centralizers of $X= (M_2(F_p),+)$ in $H=GL_2(F_p)$

I need to find the centralizers of $X= (M_2(F_p),+)$ in $H=GL_2(F_p)$ in order to find the action of $H$ on $X$ which will help me find the orbits of $X$ I Know that the centralizers of $M_2(F_p)$ ...
1
vote
0answers
20 views

Complex irreducible representation of solvable lie algebra

How can one infer from the Lie's theorem (in terms of existence of a common eigenvector) that a complex irreducible representation of a solvable lie algebra has dimension 1? What I know is that one ...
2
votes
1answer
30 views

What the's contradiction in showing the regular representation is indecomposable in characteristic $p$?

Suppose $G$ is a nontrivial $p$ group, and $F$ is a field of characteristic $p$. The group ring $FG$ is a module over itself affording the regular representation $g\cdot g_i=gg_i$. Why is $FG$ ...
2
votes
0answers
26 views

Irreducible representation of $C^*(D_\infty)$

I have a question about an irreducible representation of the (full) group $C^*$-algebra of an infinite dihedral group $D_\infty$, denoted by $C^*(D_\infty)$ Ultimately, I'm interested in finding a ...
3
votes
1answer
47 views

Is there an “internal” definition of the tensor product?

We have the following "internal" definition of the direct sum: A vector space $V$ with subspaces $S,T$ is said to be the direct sum of $S$ and $T$ if $S + T = V$ and $S \cap T = \{0\}$. (Of course ...
1
vote
1answer
33 views

Is the unreduced Burau representation completely reducible?

To be specific, my question is about specializations $\beta \colon B_n \to GL_\text{n}\left( \mathbb C \right)$ of the unreduced Burau representation given by \begin{array}{cr} \beta \left( \sigma_{i} ...
1
vote
0answers
27 views

How can I find the Weights of a Subalgebra

I'm currently trying to understand how we can derive the weights of a subalgebra of a given representation of a Lie group. For example, if we start with the 16-dimensional representation of ...
0
votes
1answer
38 views

Representations of group $G=\mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z} $

I need to find all in-equivalent irreducible representation of a group $G \equiv \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z} $ I know that $\mathbb{Z}/p\mathbb{Z}$ is a cyclic finite group. ...