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
0answers
21 views

Expression of the Laplacian of the reduced Heisenberg group?

Let $\mathbb C^n$ be the n-dimensional complex field endowed with a positive definite hermitian form $H(z,w)$. The corresponding symplectic form is $E(z,w)= \Im (H(z,w))$, where $\Im $ denotes the ...
0
votes
0answers
29 views

Is G isomorphic to a Subgroup of $GL(2,\mathbb C)$

I'm stuck on a question on a past exam paper that asks if a group $G$ is isomorphic to a subgroup $GL(2,\mathbb C)$. We are given the character table for $G$ which I've attached below. It's the last ...
2
votes
0answers
19 views

Compatibility of Yetter-Drinfeld modules.

Let $H$ be a Hopf algebra. A Yetter-Drinfeld module over $H$ is a triple $(V, \cdot, \delta)$, where $\cdot : H \otimes V \to V$ , $\delta : V \to H \otimes V$ are actions and coactions respectively, $...
2
votes
0answers
30 views

Holomorph of Cyclic $p$-groups

Assume that $G$ is a cyclic $p$-group (or up to isomorphism more explicitly $\mathbb{Z}_{p^r}$). Do you know if there does exist any explicit way to describe the holomorph of the above group? Moreover,...
1
vote
1answer
12 views

Infinite-Representation Type Group Algebras

Assume that $G$ is a $p$-group, $N$ a normal subroup and $k$ a field (infinite or finite) of $char(k)=p \gneq 0$. What can we say about the representations of $G$ if we already known about the ...
1
vote
0answers
27 views

Representations of $SL_2(\mathbb{F}_3)$

I am trying to determine all the irreducible representations of the group $SL_2(\mathbb{F}_3)$.I have determined its character table and I have seen that there is a unique $2$-dimensional ...
1
vote
1answer
115 views

An example of a discontinuous “$\ell$-adic Galois representation”

Let $\mathbb{F}_p$ be a finite filed with $p$ elements, and $G=\mathop{\mathrm{Gal}(\mathbb{F}_p^s/\mathbb{F}_p)}$ be its absolute Galois group. $G$ is a pro-finite group, with the Krull topology, see ...
0
votes
0answers
14 views

Decomposition irreducible representations $\mathbb{{SL}_2(R)}$ and $\mathbb{{SL}_2(C)}$

Let $V$ be the standard representation of $\mathbb{{SL}_2(C)}$ I decomposed $V \otimes Sym^2(V)$ into irreducible representations through analysis of highest weights and dimensions to get: $V \...
0
votes
0answers
17 views

Modular Representations of unitriangular matrices

Assume that $U_3(\mathbb{F}_p)$ is the group of unitriangular matrices with entries from the field $\mathbb{F}_p$ of $p$ elements. Do you have any idea how can we compute the indecomposable (modular, ...
0
votes
0answers
24 views

Solvability and Representation of a finite group

assume that $K$ is an algebraically closed field of characteristic $p$ and $G$ a solvable finite group (for instance a $p$-group). Can you tell me please, if there does exist any correlation among the ...
0
votes
0answers
10 views

Only two central extensions of $A_5$

Let $\bar A_5$ be central extension of $A_5$ with a faithful representation $\rho$ in $C^2$. Show that in fact there are exactly two such representations. Describe the decomposition of the third ...
2
votes
1answer
44 views

Connecting the regular representation of $\mathfrak{so}(3)$ and the exterior algebra of $\mathbb{R}^3$

It is well known that the regular representation of $\mathfrak{so}(3)$ is the so-called "cross product" matrix $A(x)$ which follows $A(x)y = x\times y$, and $x,y\in\mathbb{R}^3$, while the cross ...
3
votes
1answer
67 views

How to study for ring theory?

I want to study the theory of rings because it is used when I study representation theory. Here, a ring is not necessarily commutative and doesn't necessarily has unity. I know that there are a few ...
1
vote
1answer
55 views

Fulton and Harris exercise 5.7

I would like to know if I'm on the right track: We're trying to derive the character table for $PGL(2,q=p^k)$ from $GL(2,q)$. The table for $GL$ is given in the text. It gives the hint that the ...
1
vote
1answer
61 views

Almost-invariant polynomials under dihedral group action

Think about the dihedral group $D_4$ acting on the polynomial algebra $\mathbb C[x_1, \cdots, x_4]$ via generating permutations $(x_1\ x_2)$, $(x_3\ x_4)$, and $(x_1\ x_3)(x_2\ x_4)$. I'd like to ...
1
vote
1answer
25 views

Applying the divided difference operator

This question is about divided difference operators. How do I perform $\partial _2$ or $\partial_3$ on $x_1^2x_2$? $\partial_i$ is defined as $\frac{p-r_i.p}{x_i-x_{i+1}}$, where $r_i$ is the ...
1
vote
0answers
62 views

How to show a group is infinite group by constructing epimorphism?

Consider a group G with representation $$\langle a,b|abab^{-1}a^{-1}b^{-1}\rangle$$ Prove that this group is an infinite group There is similar question here (Finding the kernel of an epimorphism onto ...
0
votes
1answer
47 views

Ordering on the weight lattice

When given a finite dimensional complex Lie algebra $\mathfrak{g}$ that is also semisimple and a choice of Cartan subalgebra $\mathfrak{h}$ we may talk about its weight lattice $\Lambda_{W} $ in $\...
2
votes
0answers
47 views

Irreducible components of tensor product representations.

Let $(\rho,V)$ be an irreducible representation of a finite group $G$, and let $W$ be a vector space. Then clearly $(\rho\otimes\text{Id}_{W},V\otimes W)$ is also a representation of $G$. I would like ...
0
votes
1answer
15 views

Lowering a non-zero weight vector gives a non-zero vector (representation of $\mathfrak{sl}(2)$)

In Lie algebras we study $\mathfrak{sl}(2)$ (the complex span of the usual matrices $X,Y,H$ where $X$ and $Y$ are the raising and lowering operators respectively). The defining commutator relations ...
2
votes
0answers
33 views

Moduli Spaces in Representation Theory of finite Groups

Recently I did work on Representation Theory of Finite Groups, in particular $p$-groups and recently I had a problem with something and I was wondering if I can put some geometry on that. So I thought ...
2
votes
2answers
46 views

Find all the homomorphisms from $D_8 \to \mathbb{C}^\times$

Find all of the homomorphisms from $D_8$ to $\mathbb{C}^\times$. So far I have: $\phi : D_8 \rightarrow \mathbb{C}^\times$ $\phi(a)^4 = 1$ so $\phi(a) = \pm 1, \pm i$ $\phi(b)^2$ = 1 so $\phi(b) = ...
1
vote
1answer
21 views

Simplify $\langle \operatorname{Ind}^G_1 1, \operatorname{Ind}^G_H\phi\rangle_G$

Let $G$ be a finite group and $H$ a subgroup. Let $\phi$ be an irreducible character of $H$ and $\mathbb 1$ the trivial character of the trivial subgroup $1$. Let $\langle,\rangle_G$ be the usual ...
0
votes
1answer
28 views

Torus action and multigrading.

Let $G$ be an algebraic group and $T$ the maximal torus. Suppose that $T$ acts on $G$. Do we have a multigrading on $\mathbb{C}[G]$? How to define the multigrading corresponding to the $T$-action? ...
9
votes
0answers
81 views

Restricting irreps of $S_n$ to $D_n$ of order $2 n$

I would like to know how to restrict the irreps of the symmetric group $S_n$ to the dihedral group $D_n$ of order $2 n$. We know that $D_n < S_n$. Symmetric group $S_n$ Due to Hardy and Ramanujan ...
1
vote
2answers
83 views

Character of an $\mathbb{R}G$-module constructed from a $\mathbb{CG}$-module

I have been reading Representations and Characters of Groups by Gordon James and Martin Liebeck. I encountered the following construction of an $\mathbb{R}G$-module from a $\mathbb{C}G$-module. ...
1
vote
1answer
34 views

Why is Frobenius norm related to the inner product of characters?

This is a continuation of my question asked here. I am going through Normal Subgroup Reconstruction and Quantum Computation Using Group Representations. In Definition 2, the authors start with the ...
1
vote
1answer
20 views

Probability of measuring the label of representation in quantum Fourier transformaton

I am going through Normal Subgroup Reconstruction and Quantum Computation Using Group Representations. In Definition 2, the authors start with the following function. $$ f : G \to \mathbb{C} $$ Then ...
1
vote
1answer
36 views

Why is the sum of irreducible representations nonzero only when the irreducible representation is trivial?

I am going through Normal Subgroup Reconstruction and Quantum Computation Using Group Representations. In section 3, the authors discuss the probability of measuring the irreducible representation $\...
0
votes
1answer
27 views

Constructing representation of $G$

Say we are given an arbitrary group $G$ and an arbitrary vector space $V$ over some field. How can we construct a representation of $G$ on some vector space from this data? Initially I wanted to ...
2
votes
1answer
56 views

Center of a semisimple group and irreducible representations

Suppose that I am over an algebraically closed field of char $0$, and $G$ is a simply connected semisimple group. For a dominant weight $\lambda$, there is an irreducible representation $W_{\lambda}...
5
votes
1answer
63 views

Show that $\pi(Z)$ acts as a scalar over $\mathbb{g}$

Let $(\pi, V)$ be a finite dimensional irreducible representation of $\mathbb{g}$ $V$ is a vector space of homogeneous polynomials in 3 variables of degree d over $\mathbb{R}$ $\mathbb{g}=\begin{...
6
votes
2answers
84 views

Decompose $V \otimes V \otimes V$ into irreducible representations of $SL_2(\mathbb{R})$

Let $V=\mathbb{C^2}$ be the standard representation of $SL_2(\mathbb{R})$ Decompose $V \otimes V \otimes V$ into irreducible representations of $SL_2(\mathbb{R})$ I will just consider $SL_2(\...
0
votes
2answers
29 views

Decompose the representation $V$ of $SO_2$ into irreducible representations

Let $V=\mathbb{C^2}$ be the standard representation of $SO_2$ Decompose $V$ into irreducible representations The standard unit vectors of $\mathbb{C^2}$ are $e_1$ and $e_2$ I am not sure how ...
0
votes
1answer
33 views

Sextonion Cayley Table

I've been reading up on the sextonions and was wondering if it would be possible to construct a Cayley table for the split sextonions the same way as one would do so for the split quaternions and ...
1
vote
1answer
36 views

Fourier transformation of a group

At the beginning of the section 4 of Fast Quantum Fourier Transforms for a Class of Non-abelian Groups, it is said that, ... calculating a Fourier transform for a group $G$ is the same as decomposing ...
0
votes
1answer
30 views

characters in semi-direct product.

The character tables of the irreducible representations of $T_d$ and $C_{3v}$ are linked. In the notation on those pages, $A_1$ and $A_2$ are irreducible representations of degree 1, $E$ is degree 2 ...
0
votes
1answer
65 views

When is this cyclic representation irreducible?

Let $G$ be a finite group, and let $(\rho, W)$ be a representation of $G$ on $W$. We assume that $W = \bigoplus_i W_i$ is a direct sum of equivalent irreducible representations $W_i$. There are many ...
1
vote
0answers
17 views

Multiple reps if $g$ not conjugate to $g^{-1}$

If $g \in G$ is not conjugated to $g^{-1}$, how do I prove that $G$ has irreducible non-equivalent representations of the same order? I think the multiple representations are going to be in some way ...
1
vote
1answer
21 views

Representation/Character theory of $S_3$: What is the Vector space $V$?

This is a basic question that I may have a misunderstanding on. When we study the character table of a group, say $S_3$, what vector space are we looking at? I understand that a linear ...
0
votes
1answer
16 views

Is there a direct sum decomposition of the tensor product of two representations of two group elements?

I know that I can decompose $\rho_a(g) \otimes \rho_b(g)$ into $U^\dagger \left[ \rho_c(g) \oplus \rho_d(g) \right] U$. Is there a similar way to decompose $\rho_a(g_1) \otimes \rho_b(g_2)$ into $U^\...
0
votes
0answers
24 views

Composition series of a regular module.

Suppose $A$ is an $k$-algebra with basis ${1,e,s,t}$ and multiplication is given by $$ e^2 = e, es = s, te = t, s^2=t^2=se=et=st=ts=0. $$ I am trying to find the composition series for ...
0
votes
0answers
33 views

Finite dimensional algebraic representation of $SL_2(\mathbb{C})$

I heard that for each $n\in \mathbb{N}$, there is the unique algebraic irreducible representation of $SL_2(\mathbb{C})$ with dimension $n$ over $\mathbb{C}$. Would you let me know what is such ...
4
votes
2answers
86 views

Matrix representations of particular generators of the full octahedral group

I want to find matrix representations of the generators $a, b, c$ of the full octahedral group in the presentation $$\{a,b,c \mid a^2=1,b^3=1,(ab)^4=1,ac=ca,bc=cb\}.$$ Is there a recipe to write the ...
3
votes
1answer
69 views

Prove that the sum of all simple roots is a root

Let $\Delta$ be an indecomposable root system in a real inner product space $E$, and suppose that $\Phi$ is a simple system of roots in $\Delta$, with respect to an ordering of $E$. If $\Phi = \{\...
2
votes
1answer
30 views

Functoriality of the adjoint representation

Just a simply question. I came across the following statement which is used for deriving Weyl's integral formula: ''$\text{Ad}_G(h)|_{\mathfrak{h}} = \text{Ad}_H(h)$ due to functoriality in the Lie ...
0
votes
1answer
24 views

Irreducible representation restricted to index 2 subgroup

Suppose $G$ is a (not nec. finite) group with index 2 subgroup $H$ and $k$ is a field (possibly of positive characteristic). Suppose $$\rho:G\to\mathrm{GL}_2(k)$$ is an irreducible 2-dimensional ...
1
vote
0answers
35 views

About decompositions of induced characters

Suppose $G$ is a finite group, $H\leqslant G$ is a subgroup. $\chi_1,...,\chi_s$ are all the irreducible characters of $G$ and $\psi$ is an irreducible character of $H$. Prove that if $$\psi\uparrow G=...
2
votes
1answer
26 views

Every irreducible representation of $G_2$ appears in some tensor power of the standard representation

In the Book "Representation Theory" by Fulton and Harris, this fact ist stated on page 353 after looking at the weight diagrams of the complex Lie-Algebra $G_2$. The authors deduce that with $V=\...
0
votes
1answer
19 views

Modules generated by primitive idempotent elements

Assume that A is a finite dimensional k-algebra, and $e \in A$ is a primitive idempotent element. Is it true that the submodule of $A$ namely $<e>$ is simple $A$-module? If it is, how do we ...