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)

2
votes
0answers
14 views

Simple groups and irreducible characters of degree 3

The only simple finite groups admitting an irreducible character of degree 3 are $\mathfrak{A}_5$ and $PSL(2,7)$. That seems to be a result coming from Blichfelt's work on $GL(3,\mathbb{C})$, which I ...
0
votes
0answers
19 views

Irreducible complex continuous unitary finite dimensional representations of SO(2)

I have to find all continuous finite dimensional complex Irreducible and unitary representations of $SO(2)$. I know that every element of $SO (2)$ can be written as $exp(J \theta ) $, where $\theta$ ...
1
vote
0answers
41 views

Determinant of a character

let two characters $\chi$ and $\vartheta$ of a finite group $G$ (assumed to be non-null). Let $\mathfrak{X}$ and $\mathfrak{Y}$ be representations of $G$ affording respectively $\chi$ and $\vartheta$ ...
2
votes
0answers
26 views

Permutations associated to a transversal and Cayley theorem

Let $G$ be a finite group with $H\le G$ and $T$ a right transversal of $H$ in $G$. $G$ acts on itself by left multiplication and so we can consider $G\le \mathfrak{S}_G$. Let $g\in G$. The permutation ...
1
vote
0answers
11 views

How to show that Yetter-Drinfeld condition is equivalent to the condition of $H$-action commutes with braiding?

Let $H$ be a bialgebra and ${}_H^H YD$ the category of Yetter-Drinfeld modules over $H$. It is said that Yetter-Drinfeld condition is equivalent to the condition of $H$-action commutes with braiding. ...
0
votes
0answers
16 views

Let $G=AB$ where $(|A|,|B|)=1$ and $V$ be an $\mathbb{F}[G]$ module.

Under these assumptions it is a well-known fact that if $V_A$ and $V_B$ are faithful ($V_A$ denotes $V$ as an $\mathbb{F}[A]$-module) then $V$ is also faithful. Clearly if $V_A$ and $V_B$ is ...
1
vote
0answers
15 views

Intersection of the kernel of the irreducible characters determinants

Let $G$ be a finite group. It is easy to show that $G'\le \bigcap_{\chi\in Irr(G)}Kerdet\chi$. Is there equality ? This question arises from the remarkable equalities $\bigcap_{\chi\in Irr(G)}Ker\...
2
votes
0answers
77 views
+50

representation of a group and its center

Let $G$ be a finite group and let $Z(G)$ be its center. Let $C=\mathrm{Rep}(G)$ be the category of finite dimensional representation of $G$. Let $D$ be the fusion subcategory of $C$ generated by $V \...
5
votes
2answers
296 views

Why is this paragraph so short?

$G$ is a connected, reductive linear algebraic group.The reference is Springer, Linear Algebraic Groups. I am having trouble making sense out of anything in this paragraph. Proposition 7.31(ii) ...
2
votes
0answers
35 views

Orbits of the permutation action of a subgroup on its cosets

Consider a finite group $G$ and a subgroup $H \subseteq G$. There is a transitive group action of $G$ on the set of left cosets $gH$ by left multiplication, and the stabilizer of $gH$ is $gHg^{-1}$. ...
1
vote
1answer
24 views

Finite group representation on endomorphism ring

Let $\rho:G\to\mbox{GL}(V)$ be a finite dimensional representation of a finite group $G$. We can assume the base field is $\mathbb{Q}$, but it doesn't really matter. Then we also obtain a ...
1
vote
0answers
13 views

Auslander-Reiten theory: exercise $23.b$ of 'Elements of the Representation Theory of Associative Algebras'

I am solving exercise $23.b$ of chapter IV of 'Elements of the representation theory of associative algebras' by Assem, Simson and Skowronski. The question is the following: Consider the following ...
1
vote
0answers
31 views

The relation between Weyl character formula and Frobenius characteristic map

Let $\mathfrak{gl}(n)$ be the general linear Lie algebra of rank $n$, and $\mathfrak{S}_d$ be the symmetric group of rank $d$. It is well-known that the Schur-Weyl duality provide a equivalence ...
0
votes
0answers
8 views

Irreducible tensor for fundamental representation of SU(N=3)

I am trying to calculate the singlets of the tensor product $N_c \otimes N_c^* \otimes N_c \otimes N_c^* \otimes N_c \otimes N_c^* \otimes N_c \otimes N_c^*$. I know that $N_c \otimes N_c^*=1\oplus (...
12
votes
5answers
446 views

Applications of Character Theory

Some of the applications of character theory are the proofs of Burnside $p^aq^b$ theorem, Frobenius theorem and factorization of the group determinant (the problem which led Frobenius to character ...
2
votes
2answers
46 views

what does $\ltimes$ in the context of representation theory mean?

I am considering the following sentence wich is part of a theorem: '' Let $V$ be a finite dimensional unitary representation of $H=\mathbb{Z}^{2} \ltimes $ SL$_2(\mathbb{Z})$." I have no background ...
3
votes
0answers
32 views

What are the units of $U(\mathfrak{sl}_2)$?

Let $U(\mathfrak{sl}_2)$ be the Universal Enveloping Algebra of $\mathfrak{sl_2}$ over a field $K$, i.e. the (non-commutative) algebra generated by three generators $E,F,H$ subject to the commutator ...
1
vote
1answer
40 views

The inverse of the braiding $c: V \otimes W \to W \otimes V$.

In the article. It is said that the inverse of the map $$ {\displaystyle c_{V,W}:V\otimes W\to W\otimes V}, \\ {\displaystyle c(v\otimes w):=v_{(-1)}{\boldsymbol {.}}w\otimes v_{(0)},} $$ is $$ {\...
1
vote
1answer
70 views

Show that $V=\mathbb KG\oplus\cdots\oplus \mathbb KG$.

Let $V$ a $\mathbb KG$-module such that the character of $V$ is such that $\chi_V(g)=0$ for all $g\in G\setminus \{1\}$. Show that there is an $m$ s.t. $$V=\underbrace{\mathbb KG\oplus\cdots\oplus \...
2
votes
1answer
44 views

Exactness of Hom functor for torus representations?

Given a reductive algebraic group $G$ and a maximal torus $T$. Is it true that the functors $$ Hom_T(-,\lambda) $$ are exact, where $\lambda$ denotes one of the the simple one-dimensional ...
0
votes
0answers
37 views

Character group and lattices

Let $\Lambda$ be the complex n-th dimensional lattice over Eisenstein integers ($\mathbb{Z}[\omega]$)). The map $R: \mathbb{C} \mapsto \mathbb{R}$ is defined as following: $R(z)=R(z_{a}+\omega z_b)=...
0
votes
0answers
24 views

Basis of weight lattice in terms of root lattice

Let $\Lambda_R = \bigoplus_{i \in I} \mathbb{Z} \cdot \alpha_i$ be the root lattice of a root system $\Phi$ with simple roots $\alpha_i$ and let $\Lambda_W$ denote the corresponding weight lattice. ...
0
votes
0answers
30 views

Symmetric power bunde of half spinor representation

Can anyone give me a reference for understanding $$\Lambda^2_{+c}\cong S^2V_+$$ where $\Lambda^2_{+c}$ is the complexified bundle of self-dual two forms and $S^2V_+$ is the symmetric power bundle of ...
1
vote
1answer
25 views

Faithful monomial representation induced from faithful character

Let $\rho: G \rightarrow GL_n(\mathbb{C})$ be a faithful irreducible representation such that $\rho = Ind_N^G \phi$ for some 1-dimensional representation $\phi$ and normal subgroup $N$. Does $\phi$ ...
1
vote
2answers
27 views

If a finite group has only 1D irreducible representations, is it abelian? [duplicate]

I know abelian groups have only 1D representations. Is the converse proposition true? i.e. If a finite group has only 1D irreducible representations, is it abelian?
0
votes
0answers
24 views

Any theory that relates a group's representation to its subgroup's representation?

I have encountered a problem concerning a finite group $G$ and its subgroup $H$. $G$ has one more generator than $H$. I calculated dimensions of irreducible representations of $G$ and $H$ and want to ...
3
votes
1answer
50 views

Symmetric decompositions of $SU(2)$ representations.

Let us consider the representation theory of $SU(2)$. There is a unique irreducible representation of dimension $n$ for each $n \ge 1$, which we will denote $\mathbf{n}$, with the defining $2$-...
1
vote
1answer
39 views

Irreps of products between dihedral group and any finite group

Let $D_n$ be the dihedral group with order $2 n$. The total number of irreducible representations for $D_n$ is as follows. When $n$ is even, the total number is $\frac{n-2}{2} + 4 = \frac{n}{2} + 3$. ...
1
vote
1answer
55 views

Irreducible representations of Heisenberg group

Lately, I've been struggling with the following problem. Let $H$ be the 3 dimensional Heisenberg group and let $\rho:H\to\text{GL}(n,\mathbb{C})$ be a irreducible representation. Show that $n=1$. I ...
2
votes
0answers
59 views

Involutions and Representation of Lie Algebras

In what follows I'm going to use $V_{\theta_s}$ for the little adjoint representation af a Lie algebra i.e. the representation associated with the highest short rooth $\theta_s$. Is easy to see that ...
2
votes
1answer
22 views

Representation of diedral group $D_8$, why $\rho(a)^2=1$ if $a$ is the rotation?

I recall that $D_8=<a,b\mid a^4=b^2=1, bab=a^3>$. I have to determine all representation $\rho:D_8\longrightarrow \mathbb C^*$ of degree 1 of $D_8$. In my course it's written that since $\rho(a)^...
20
votes
5answers
359 views

Show that : $\sum\limits_{\sigma \in S_n} (\mbox{number of fixed points of } \sigma)^2= 2 n!$

I came across this result while doing some representation theory of the permutation group $S_n$ $$ \sum\limits_{\sigma \in S_n} (\mbox{number of fixed points of } \sigma)^2 = 2 n!$$ This can be ...
2
votes
1answer
58 views

A question on Auslander-Bridger transpose

I am learning Auslander-Reiten Theory. When I read the book Frobenius Algebras I. Basic Representation Theory, I have some problems. On page 236-237, there is the following Proposition 4.5. Let $...
1
vote
1answer
41 views

Expressing $\mathbb{C}^3$ as a direct sum

$S_3$ acts on $\lbrace 1,2,3 \rbrace$, so this affords a homomorphism $S_3\to GL_3(\mathbb{C})$ (acting on $\mathbb{C}^3$). I showed the only vector fixed by the action of $S_3$ is zero. Find two ...
2
votes
0answers
32 views

Properties of non-abelian characters

I'm looking for some (short of) non-abelian generalization of the following result: Let $G$ be a finite abelian group and let $f$ be a function on $G$ with values in some field of characteristic ...
0
votes
0answers
17 views

Looking for examples of groups with complex representations realizable over $\mathbb{Q}$

I'm looking for examples of finite groups $G$ such that all the complex irreducible representations of $G$ are realizable over i.e the representing matrices can be chosen to have rational entries. One ...
1
vote
0answers
14 views

Finite dimensional irreducible representations of Sp(2).

I am looking for an explicit description of the finite dimensional irreducible representations of the classical Lie group $\text{Sp}(2) = \{A\in M_2(\mathbb{H})\,|\,A\overline{A}^T = I\}$. I can ...
1
vote
1answer
31 views

Schur test and it's relation to representation theory

I was told by analyst who doesn't know about such things that Schur's test relating to boundedness of integral operators is somehow a version of Schur's lemma on irreducible representations, the group ...
3
votes
1answer
33 views

Which groups have only real representations?

An irreducible representation $\rho$ (with character $\chi$) of a finite group is called a "real" representation if its Frobenius-Schur indicator is 1: $$\frac{1}{\lvert G \rvert} \sum_{g \in G} \chi\...
0
votes
0answers
20 views

Correlation among a given representation of a finite group and a representation given by the composition with an automorphism

Assume that $G$ is a finite group, and $p : G \rightarrow GL_n(\mathbb{F})$ is a linear represenation. Furthermore assume that the image of $G$ lies inside a subgroup of $GL_n(\mathbb{F})$, say for ...
0
votes
0answers
19 views

Tensor invariants constructed from identity tensor

It is evident that tensors constructed from copies of the identity tensor (and scalars) eg $t^{ij}_{kl} = 2 \delta^i_k \delta^j_l - \delta^i_l \delta^j_k$ are invariant under any matrix group, and ...
2
votes
1answer
53 views

The relation between quasi-permutation matrix and permutation matrix? [closed]

We know that a quasi-permutation matrix is a square matrix over the complex numbers with non-negative integral trace. Can anyone tell me why it is called "quasi-permutation matrix"? Is there any ...
1
vote
1answer
98 views

Basic Algebras: Definition

A $k$-algebra $A$ is called basic if for every set of primitive orthogonal idempotents $\left\{e_1, \dots , e_n\right\}$ such that $1=\sum_{i=1}^ne_i$ we have that $$e_iA\cong e_jA\Leftrightarrow i=j.$...
2
votes
1answer
48 views

Showing a rep of $sl(2,\mathbb{K})$ is irreducible

Let $V$ be a $m+1$-dim $K$-vector space with char$K=0$. Let $(v_0,v_1,\dots,v_m)$ be a basis of $V(m)$. Now suppose I construct a representation of $sl(2,K)$ on this representation. How do I show ...
0
votes
1answer
17 views

Restricted linear representations of abelian groups

If $G$ is a group (say finite for simplicity though the question applies to infinite groups as well), what can one say about the subgroup $G^*_n = \text{Hom}(G, \mu_n)$ of the group of all linear ...
2
votes
0answers
46 views

Proving Schur's lemma

Schur's Lemma: Let $(\Pi_i,V_i)$, $i=1, 2$ be two irreducible representations of a group $G$, and let $\phi : V_1 \to V_2$ be an intertwiner. Then either $\phi = 0$ or $\phi$ is a vector space ...
2
votes
1answer
36 views

Socles and factors

Let $A$ be a finite dimensional algebra over a field $K$ and let $M$, $M'$ and $N$ be $A$-modules. Suppose that $M'\subseteq M$ and assume that $N$ has simple socle. Let $f: M \longrightarrow N$ be ...
0
votes
0answers
10 views

Inner product of Induced permutation representation and an irrep $\langle {\chi \uparrow^{S_n}_{D_n}}_{\mathbf{ 1}_{D_n}} , \chi_\rho \rangle_{S_n}$

I am trying to compute the inner product of the characters of the induced permutation representation from the trivial representation of a dihedral group $D_n$ of order $2 n$ to $S_n$ and an irrep $\...
0
votes
0answers
21 views

Odd order subgroups of $PSL(2.q)$

Let q be an odd prime power. Is it true that every odd order subgroup of $PSL(2,q)$ is abelian ? If yes, how can it be proven ?
1
vote
1answer
34 views

Centralizer of a Sylow $2-$subgroup of $PSL(2,q)$

Let q be an odd prime power. By a classic result, a Sylow 2−subgroup $P$ of $SL(2,q) $ is generalized quaternion. It is an irreducible subgroup of $GL(2,q)$ (since otherwise its natural ...