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)

22
votes
2answers
737 views

Surprising but simple group theory result on conjugacy classes

I have read that for any group $G$ of order $2m+1$ (odd) with $n$ conjugacy classes, it is always the case that $16$ divides the value $(2m+1)-n = |G|-n$. This seems to me like an astonishing ...
-1
votes
1answer
30 views

Order of center of character

I am working on a course in representation theory and I've got completely stuck on some exercises regarding $|G:Z(\chi)|$ where $G$ is a finite group with an irreducible representation $\theta : ...
1
vote
0answers
33 views

Show that isotropic function S(A) and A have same eigenvectors

Given $\boldsymbol{A}$ is a positive definite, symmetric second order tensor and $\boldsymbol{Q}\boldsymbol{S}(\boldsymbol{A})\boldsymbol{Q}^T = \boldsymbol{S}(\boldsymbol{QAQ}^T)$ $\forall ...
2
votes
0answers
25 views

Why do we have $\{s\} = \pi\{t\}$ for some $\pi \in C_t$?

I am currently working on Bruce Sagan's The Symmetric Group. In the proof of Corollary 2.4.2, the book says Let $t = t^\lambda$ be a $\lambda$-tableau and $s = s^{\mu}$ be a $\mu$-tableau, where ...
1
vote
1answer
18 views

Can any $\theta \in \text{Hom}(S^\lambda,M^\mu)$ be written as $\theta = \kappa_t$?

I am currently working on Bruce Sagan's The Symmetric Group. I am struggling to understand why the following proposition should be true. Suppose that the field of scalars is $\mathbb{C}$ and ...
1
vote
0answers
20 views

Positive definite functions generated by irreducible representations — what do people call them?

Let $G$ be a group and $\pi:G\to B(H)$ be its irreducible unitary representation (one can endow $G$ with topology and claim that $\pi$ is continuous in some sense, this doesn't matter). For a given ...
2
votes
0answers
26 views

What does it mean for a representation to contain a character?

I'm trying to understand the statement "The representation $\pi$ contains the trivial character of $N$ if and only if it contains an irreducible representation $\sigma$ of $B$ containing the trivial ...
1
vote
1answer
26 views

Reference request: what is the relation between classical r-matrices and quantum R-matrices?

I learned from a professor that $$ R=Id+(q-1)r+ o(q-1), $$ where $R$ is a quantum $R$-matrix and $r$ is the corresponding classical $r$-matrix. Here $o(q-1)$ denotes a term of the form $A(q-1)^2$, ...
0
votes
0answers
19 views

Irreducible representations of group

I'm basically interested in $C^*$-algebras $A$, where the following conditions for a $^*$-representation $\pi$ on Hilbert space $H$ are all equivalent: 1. $\pi$ is irreducible i.e. there are no ...
2
votes
1answer
40 views

Is the coefficient ring $R$ of a group ring $RG$ necessarily projective as an $RG$-module?

So this may be a trivial question but I am new to the idea of group rings. Suppose we have a ring $R$ and a group $G$, I was wondering if the trivial $RG$-module $R$ is projective? In which case, how ...
0
votes
1answer
39 views

Irreducible module

I've met the following definition of irreducible module: an $R$ module $M$ is said to be irreducible if it contains no proper submodules: in other words, if $N \subset M$ is a submodule than either ...
1
vote
0answers
19 views

Is a representation of a Lie group determined by its weight diagram?

I am reading about representations of $\mathfrak{su}(3)$. The author claims that $\mathbf{3}\otimes\bar{\mathbf{3}} = \mathbf{8}\oplus\mathbf{1}$, where $\mathbf{3}$ is the fundamental ...
6
votes
1answer
85 views

Representations of $\mathfrak{su}(3)$

I am confused about the notation for representations of $\mathfrak{su}(3)$. Often a bold number is used to denote a particular representation e.g. $\mathbf{3}$ is used to denote the fundamental ...
0
votes
1answer
45 views

Group Theory- S3 table

$\begin{matrix} & e& a& b& c& d&f \\ e& e& a & b& c& d&f \\ a& a& b& e& d& f&c \\ b& b& e& ...
10
votes
2answers
159 views

Applications of Algebra in Physics

Often I have heard about the link between Algebra (in particular Representations of Groups and Algebras) and some "indefinite" field of Physics. I have a good preparation in Algebra and ...
1
vote
0answers
42 views

Family of equivalent unitary representations is not a set.

I have recently come across a statement in the book: Kazhdan's property (T) by B. Bekka, P. de la Harpe, A. Valette at the beginning Appendix F.2. Fell topology on sets of unitary representations. ...
1
vote
0answers
25 views

Dimension of the Image of Young Projectors corresponding to Tensor factors.

Suppose I define the action of the symmetric group on abstract tensors as shuffling indices. I know this is very naive. I apologise, I am a physicist and working on a problem that involves tensors ...
3
votes
0answers
41 views

When does $n$-dimensional algebra have $m$-dimensional faithful representation?

Suppose we have an $n$-dimensional associative unital algebra $A$ over a field $k$ (assume $\operatorname{char}(k)=0$ and maybe even $k$ is closed). I would like to know what is the minimal ...
4
votes
2answers
89 views

Identifying the algebra

In order to solve an obscure (physics) problem I have been considering whose details are not important, I am looking for elements (I am thinking in terms of matrices and their products but this may ...
3
votes
2answers
194 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 ...
1
vote
0answers
20 views

I want to decompose a tensor product using Littlewood-Richardson rule, How do I find the component of this in each irreducible space?

Let me set up the notation I am using. $(abc,de)$ denotes the standard Young tableau where the first row is $abc$ and the second row is $de$. Each young tableau corresponds to the young symmetriser, ...
0
votes
0answers
25 views

About First Orthogonality theorem

Let $G$ be a finite group, $(U,\theta_1)$ and $(V,\theta_2)$ be irreducible $k$-representations, $m=\dim_k U$ and $n=\dim_kV$. By the way, $K$ is an algebraically closed field. Let ...
0
votes
1answer
28 views

Repeated Irreducible Representations in a representation

I'm reading through Serre's - Linear representations of finite groups. He has the following theorem (theorem 4 of chapter 2): Let $V$ be a linear representation of $G$, with character $\phi$ and ...
1
vote
0answers
37 views

Finding a lie group structure on $\mathbb R^n\setminus\{0\}$

I want to find all maps $g: \mathbb R^n\setminus \{0\} \rightarrow GL_n(\mathbb R)$ which satisfy the properties $g$ is differentiable and injective $g(g(a)b) = g(a)g(b)$ for all $a,b\in\mathbb ...
1
vote
0answers
20 views

Presentation for Kernel of Induction map from $\oplus R(H)$ to $R(G)$

This is an exercise in Serre's representation theory book: Suppose that $X$ is a family of subgroups of $G$ stable under conjugation and taking subgroups Let $N$ be the kernel of map $\mathbb{Q} ...
1
vote
0answers
20 views

Signed column sum for Young tableau $t$

I am currently working on the book The Symmetric Group by Bruce Sagan. The following passage comes before introducing Specht Modules: Suppose that the tableau $t$ has rows $R_1, R_2, ..., R_l$ ...
1
vote
1answer
32 views

Irreducible Representations of $<X,Y>/\{[X,Y]=Y\}$

I was doing exercises from Etingof's Introduction to Representation Theory and came across this problem. $2.16.2$ Find all irreducible representations of the Lie algebra $L$ with generators $X$ and ...
0
votes
0answers
23 views

Dimension of a weight space which is of weight $0$.

Let $V$ be a module of a Lie algebra $\mathfrak{g}$ and $V_{0}$ be the weight space of $V$ of weight $0$. $$ V_0 = \{ v\in V: h.v = 0, h \in \mathfrak{h} \}, $$ $\mathfrak{h}$ is a Cartan subalgebra ...
0
votes
0answers
130 views

Symmetry adapted basis function to make the Hamiltonian matrix Block Diagonal.

Can anybody give me a tip to solve this problem? I have large quantum mechanical Hamiltonian, to solve it numerically I have to decompose it into the block diagonal form. To convert the hamiltonian ...
1
vote
1answer
31 views

Basic Manipulation of Adams operations in R(G)

This is part of an exercise in Serre's representation theory book I am self-studying, but mostly it is about manipulation of symmetric polynomials. Let $\rho$ be a representation of a finite group ...
0
votes
0answers
21 views

How to compute $\lambda(h_i)$?

Let $\lambda$ be a weight and $h_i = h_{\alpha_i} \in \mathfrak{h}$, $\alpha_i$ is a simple root. $\mathfrak{h}$ is a Cartan subalgebra of a Lie algebra $\mathfrak{g}$. How to compute $\lambda(h_i)$? ...
2
votes
2answers
257 views

Describing all $\rho$-invariant inner products

Let $z$ satisfying the equation $z^3=1$ be a generator of the cyclic group $\mathbb{Z}_3= \{ 1 , z,z^2 \}$. You are given that $\rho : \mathbb{Z}_3 \to GL(\mathbb{C}^2)$ defined by $$\rho(z) = ...
0
votes
0answers
16 views

Matrix representation of Boolean algebra?

Is there such a thing as matrix representations of Boolean algebra? Give a boolean algebra with finite elements {a,b,c...} and operations $\cap, \neg$, we can regard $\cap$ as matrix multiplication ...
2
votes
1answer
71 views

Noncommutative Fourier Transform

The theory of Fourier transform for Euclidean spaces has analogues for locally compact abelian groups. In the noncommutative setting, representations can be used to define analogous transforms. My ...
1
vote
1answer
40 views

Classification of separable algebras up to Morita equivalence

Is there a simple classification of separable algebras up to Morita equivalence, working over a particular field $k$? For example, over $\mathbb{C}$, every separable algebra is Morita equivalent to ...
-1
votes
0answers
36 views

Representations of group algebra and its centre

Are the irreducible representations of the algebra $Z(\mathbb{C}G)$ for a finite group G all irreducible representations of the algebra $\mathbb{C}G$, i.e. are the representations of the group algebra ...
3
votes
2answers
72 views

Is the tensor product of two representations a representation?

I am a little bit uncertain about an argumentation showing that a given map of a topological group is somehow obviously continuous. In the following I will rely on the book of Anthony W. Knapp „Lie ...
3
votes
1answer
36 views

Question on unitary representation of non-compact simple Lie groups

The following is an exercise appearing page 148 in Knapp's book, representation theory of semisimple groups. Let $G$ be a connected linear non-compact Lie group with simple Lie algebra $\mathfrak g$. ...
0
votes
0answers
25 views

Measure in dual group - Kirillov theory

Let $G$ be a nilpotent connected, simply connected lie group. With the orbit method Kirillov describes the classes of equivalence of all irreducible unitary representations. Hence one identifies the ...
5
votes
1answer
76 views

Decomposing a matrix representation

I am currently working on the following problem: Assume that $X$ is a reducible matrix representation of the form \begin{equation} X(g)=\left( \begin{array}{c|c} A(g) & B(g)\\ \hline ...
-1
votes
1answer
81 views

Elements whose orders are multiple of $p$ [closed]

Let $G$ be a non-solvable group, $N$ an abelian minimal normal $p$-subgroup of order $p^r$ with $p\notin \pi(G/N)$, $N=C_G(N)$ and $K=G/N\cong A_5$. By these assumption we can conclude that $G$ has ...
3
votes
1answer
96 views

Computing values of centralizers in a non-solvable group with a given property

A finite group G satisfies property $P_n$ if for every prime integer $p$, $G$ has at most $(n−1)$ non-central conjugacy classes the order of the representative element of which is a multiple of $p$. ...
2
votes
1answer
19 views

precise definition of “irreducible representation” (of associative algebras with unit)

Let $K$ be a field and $A$ an associative $K$-Algebra with unit. By a representation of $A$ I mean a homomorphism of $K$-Algebras with unit $f\colon V\rightarrow{End}_K(V)$ where $V$ is a finite ...
3
votes
3answers
118 views

Does representation theory exists without Groups?

I need to know: is representation theory all about Groups? Is it necessary to be a finite group? Does representation theory exists without Groups? For example is there sample where representation is ...
4
votes
5answers
112 views

Getting an intuitive feel for induced representations

I'm reading about induced representations for research. Particularly, I'm trying to get a firm grasp on the finite group case before venturing on to the locally compact case. I've been looking at ...
7
votes
3answers
449 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 ...
3
votes
1answer
35 views

Simultaneous diagonalisable matrices

I am well aware that there are already several questions and posts regarding the following topic. However, I could not find any answer to the following problem in Bruce Sagan's book The Symmetric ...
9
votes
6answers
2k views

Best books on Representation theory

What are some of the best books on Representation theory for a beginner? I would prefer a book which gives motivation behind definitions and theory.
0
votes
1answer
28 views

Unitary matrix for matrix representation

In the book The Symmetric Group the author says: Let $\chi$ and $\psi$ be characters of the $G$-module $V$. By picking an orthonormal basis for $V$, we obtain a matrix representation $Y$ for ...
3
votes
0answers
68 views

The order of the representative elements of conjugacy classes

Suppose $A$ is an arbitrary subset of group $G$ and $K_G(A)$ be the number of $G$-conjugacy classes contained in $A$. A finite group $G$ satisfies property $P_n$ if for every prime integer $p$, $G$ ...