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

Convolution and Characters

I am confused about the purpose of the Formal Character, character functions, and the convolution in representation theory of Lie algebras. Is the Character function different than just the Character? ...
2
votes
1answer
33 views

Show that if $V$ is an irreducible finite dim. representation of $A$, then $z \in Z(A)$ acts in $V$ by multiplication by some scalar $\chi_V(v)$.

Let $A$ be an algebra over a field $k$. The center $Z(A)$ of $A$ is the set of all elements $z \in A$ which commute with all elements of $A$. For example, if $A$ is commutative, then $Z(A)=A$. ...
1
vote
1answer
43 views

Endomorphism ring of finite-dimensional representation

If $G$ is any group and $V$ is a finite-dimensional representation of $G$, then we can form the endomorphism ring $E = End_G(V)$. Suppose that $V$ is indecomposable, i.e. not a direct sum of ...
4
votes
0answers
34 views

Is there anywhere some explicit Bruhat decompositions are written down?

Question in title: most places I see Bruhat decompositions treated they're only briefly mentioned and no examples are given. Also, I calculated the following regarding the Bruhat decomposition of ...
0
votes
0answers
22 views

Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book

This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course. Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...
1
vote
2answers
43 views

Show that the homomorphism $\lambda: k[X] \to End_k(V) : p \mapsto p(A)$ corresponding to the $k[X]$-module strucutre of $V$ has a nontrivial kernel.

$\DeclareMathOperator{\End}{End}$ I'm trying to show that: Show that the homomorphism $\lambda: k[X] \to \End_k(V) : p \mapsto p(A)$ corresponding to the $k[X]$-module strucutre of $V$ as in (see ...
0
votes
1answer
27 views

Quaternionic representation

Let $V$ be $G$-representation over quaternions $\mathbb{H}$. How to show that $$ \mathbb{H} \otimes_\mathbb{C} V $$ is canonically isomorphic to $V \oplus V$ as representation over $\mathbb{H}$? In ...
1
vote
1answer
40 views

Show that a simple ring is always an algebra over some field

Show that a simple ring $R$ is always an algebra over some field. So I need to show that there exist a field $k$ such that there exists a ring homomorphism $\phi : k \to Z(R) $. In an earlier ...
1
vote
1answer
40 views

Computing Path Algebra of a Quiver

Let $Q$ be a quiver over defined as follows Then $KQ\cong$ $\begin{pmatrix}K&K&K\\0&K&K\\0&0&K\end{pmatrix}$, where $KQ$ is just the path algebra. What the professor did was ...
2
votes
0answers
93 views

Tensor product of algebras which is Frobenius.

Let $A$ and $B$ be two finite dimensional algebras over a field $k$. Let us suppose that the $k$-algebra $A\otimes_{k} B$ is Frobenius (or symmetric). Is it true that $A$ and $B$ are two Frobenius ...
1
vote
0answers
24 views

How do I map Df(w) to it's [lie] group/algebra representation?

E.G. For $p,w\in(\mathbb{R}^3,+,\times_\vartheta)$ with $(\mathbb{R}^3,+)$ a vector space and with $p=(r,s,t)$, $w=(x,y,z)$ where we have $p\times_\vartheta ...
3
votes
1answer
58 views

Easy Introduction to Representation Theory

I have a student that is interested in reading up on representation theory in her own time. She knows a small amount of linear algebra, what you would expect in a simple sophomore linear algebra ...
2
votes
1answer
47 views

Confusion in Lie algebra notes

I'm self-studying through these notes, and I ran into a roadblock on the page 38, chapter $sl(2)$ and its irreducible representations. Right after defining $U(sl(2)) \otimes_{U(b^+)} \mathbb C$ ...
1
vote
1answer
39 views

“Powers” of injective representations “contain” all irreducibles

Let $G$ be a finite group and let $\rho : G \to GL(V)$ be an injective representation. I need to prove that each irreducible representation of $G$ is contained in $\otimes_{i=1}^{n} \rho$ for some $n ...
2
votes
1answer
50 views

isomorphism classes of representations of a quiver

Classify all isomorphism classes of representations of dimension vector 1 and 2 of the following quiver The professor briefly did the solution, but I could not understand what was going on. What he ...
0
votes
1answer
30 views

Irreducible Representations and Direct Sums

I am learning about representation theory, and my professor stated the following as a remark: Let $A$ be a $k$-algebra. Every finite dimensional representation of $A$ is a direct sum of ...
1
vote
1answer
53 views

Question for recommending a good textbook in representation of quivers

I am taking representation of quivers, and the lecture notes seems not enough. So could you recommend a good textbook for this course. There is a new book "Quiver Representations, by Ralf Schiffler" ...
0
votes
0answers
23 views

Reference request for properties of harmonic polynomials

I am reading this paper, and on page $4$ it takes a non-degenerate quadratic form $q$ on a finite dimensional complex vector space $V$, defines the laplacian assosciated to $q$, $\Delta$, acting on ...
0
votes
1answer
39 views

Complex conjugation of positive roots

I have a simple question about root systems. Suppose that $G$ is a connected reductive group over the reals $\mathbb{R}$, and $T\subset G$ is a maximal torus (by this I mean that $T_{\mathbb{C}}$ is a ...
2
votes
1answer
42 views

left regular representation of a group thru group action

Let G be a group and let $g\cdot:G\to G$(i.e.$g\cdot g'=gg'$) . This induces a permutation representation of the group. I was trying to walk thru the problems in dummite and foote. One of the problem ...
1
vote
1answer
61 views

Failure of the Krull-Schmidt Theorem?

Theorem 1.19 of Representation Theory of Finite Groups: Algebra and Arithmetic is the Krull-Schmidt theorem, which I screenshotted and uploaded it here, I don't have any problem with this theorem and ...
0
votes
0answers
21 views

Lattices in Lie Algebras

I am having a little confusion with the different types of lattices involved with Lie algebras. Root system: represented as euclidian vector arrows. However I have seen the same arrangement with ...
1
vote
0answers
30 views

regular representation of algebras

Let suppose we have universal enveloping algebra, what is the meaning of the notion of the right regular representation of that? How can we determine the right regular representation of universal ...
3
votes
1answer
37 views

Prove that if $\rho,\phi$ are irreducible representations then so is this representation

Let $G_1$ and $G_2$ be finite groups and let $G = G_1 \times G_2$. Suppose $\rho: G_1 \to GL_m(\mathbb{C})$ and $\phi: G_2 \to GL_n(\mathbb{C})$ are representations. Let $V =M_{mn}(\mathbb{C})$. ...
1
vote
0answers
35 views

Intuition behind PBW

The PBW theorem states: $\omega:\mathfrak {S} \mapsto \mathfrak {E} $ is an isomorphism of algebras. Where $\mathfrak {S} $ is the symmetric tensor algebra of a Lie algebra $ L $. Where $\mathfrak ...
1
vote
1answer
40 views

Sum of an irreducible character over all $G$

Let $\phi: G\to GL_n(\mathbb C)$ be an irreducible representation of a finite group $G$. Let $\chi: G\to \mathbb C$ be the character of $G$. Prove that: $$\displaystyle \sum_{g\in G}{\chi(g)}=0 $$ I ...
3
votes
0answers
48 views

The Heisenberg group over $\mathbb{Z}/2\mathbb{Z}$

This is inspired by a problem from from Dummit and Foote. It asked me to calculate the order of every element in the Heisenberg group over $\mathbb{Z}_2 = \mathbb{Z}/2\mathbb{Z}$, which is defined as ...
1
vote
0answers
46 views

Soluble group algebras and centralizers

Let $K$ be field with $\mathrm{char}(K) = p > 0$ and $G$ a finite group such that $KG$ is soluble. Then the $p$-Sylow-subgroup of $G$ is normal and contains the derived group of $G$ and let $H$ be ...
2
votes
1answer
80 views

Sum of degrees of irreducible complex characters for certain groups

The sum of the degrees of the irreducible complex characters (not the square sum which is the group order) is relevant do determine the dimension of a maximal torus in the group algebra. I have ...
2
votes
1answer
146 views

Verify that two linear representations are equivalent

I've a problem in verifying that two linear representations are equivalent. First of all, I have two permutation representations of the group $G=\langle\alpha ,\beta ,\gamma\rangle$ on the set ...
3
votes
0answers
46 views

Matrix representation associated to a permutation representation

I have just begun studying group representation theory. I don't understand how I can find the matrix representation associated to a permutation representation. Should I identify each permutation ...
5
votes
1answer
195 views

Why do we study representations of groups but not fields?

Groups are great objects to work with as we all know. With surprisingly little structure, we can say fairly general things. However groups can be difficult to manage and so we look to representations ...
1
vote
0answers
36 views

Representation of a group, and finite index subspaces

Been working on this for a while and haven't gotten anywhere. I would really appreciate some hints. Let $G$ be a group, not necessarily finite. $V=\mathbb C [G] $ a vector space with basis $(e_g, ...
0
votes
0answers
26 views

Semi-simple Irreducible Representations

I am studying the Representation Theory of Lie Algebras and came across this dilema. When can the representations of semi-simple Lie algebras be irreducible? I thought Weyl's theorem said this ...
4
votes
1answer
129 views

Reduced Group algebras

Take a finite group and a field of characteristic zero. The group algebra is due to Maschke's theorem semisimple so that its a finite direct sum of matrix algebras over division algebras. I like to ...
0
votes
0answers
35 views

Orbits of $Sp(n,R)$ under action of $Gl(2n,R)$ by conjugation

These questions arose from a question related to K-theory, I am hoping for (big) results from the theory of linear algebraic groups to be helpful. Maybe somebody with a better background there can ...
0
votes
1answer
24 views

The comultiplication on $\mathbb{C} Q $ for a matrix basis?

Let $G$ be a finite group and let $\mathcal{A} = \mathbb{C} G$ be the group Hopf algebra. The comultiplication on $\mathcal{A}$ is well-known to be given by $\Delta(g) = g \otimes g$. For $G=Q$ the ...
3
votes
0answers
42 views

Jacobson radical of the integral group ring

I am trying to prove that the Jacobson radical of the integral group ring $\mathbb{Z}G$ for a finite group is zero. Most of what I find on semisimplicity, Jacobson semisimplicity, has to do with ...
0
votes
0answers
18 views

PBW proof proposal

One version of the PBW theorem states: $\omega $:$\mathfrak {S} \mapsto \mathfrak {E} $ is an isomorphism of algebras. I am curious if this is a possible proof for the PBW theorem, part is taken ...
0
votes
0answers
16 views

Is the Transpose of a Representation an Equivalent Representation?

Suppose we are working over $\mathbf{Z}[G]$ where $G$ is finite. Suppose further we have two representations $\rho$ and $\rho^\prime$ such that $\rho^\prime=(\rho)^T$. Can we say that these two ...
2
votes
1answer
24 views

Explicit formula for invariant inner product of the standard representation of $S_3$

Let $V$ be a representation of a group $G$ over $\mathbb{C}$. Given the standard Hermmitian inner product $\langle\cdot,\cdot\rangle$ on $V$ we can always define a $G$-invariant inner product by ...
2
votes
1answer
83 views

The comultiplication on $\mathbb{C} S_3$ for a matrix basis?

Let $G$ be a finite group and let $\mathcal{A} = \mathbb{C} G$ be the group Hopf algebra. The comultiplication on $\mathcal{A}$ is well-known to be given by $\Delta(g) = g \otimes g$. For $G=S_3$, ...
0
votes
1answer
24 views

Compute the isotropy representation

Suppose $SU(1,1)$ acts on the open unit disc $\mathbb{D}$ in the natural way, by linear fractional transformations. The isotropy group is $U(1),$ since it stabilizes the point $0.$ I am trying to ...
3
votes
1answer
28 views

One-dimensional representations of S5

The only one-dimensional representations of $S_5$ are the trivial representation and the sign representation. Why are these the only ones? Here's what I've got so far: the image of any ...
1
vote
0answers
33 views

Why does $\rho_{\mathbf{Z}^t\otimes P}=\rho_R$ imply the isomorphsim of $\mathbf{Z}^t\otimes P\cong R$?

so I have happened upon a thesis regarding the calculations of various $\mathbf{Z}D_6$ modules and their isomorphisms and came across a technique which is bothering me. Let me give an example. Let ...
2
votes
0answers
25 views

Is $B(w_1 w_2)B = (Bw_1B)(Bw_2B)$?

Let $B$ be a Borel subgroup of $GL_n$ and $W$ the Weyl group of $GL_n$. Let $w_1, w_2 \in W$. Is $B(w_1 w_2)B = (Bw_1B)(Bw_2B)$? If this is true. How to prove it? Thank you very much. Edit: If $l(w_1 ...
2
votes
2answers
62 views

Consider $\mathbf{Z}G$, $G$ finite. If the characters of two $\mathbf{Z}G$-modules are equal, does it follow that the modules are isomorphic?

So I have recently started to delve into integral representation theory and I was wondering if a particularly useful theorem survives the transition to integral rep theory. Basically, suppose we have ...
1
vote
0answers
17 views

Examples of the local Langlands correspondence

I'm trying to compile some examples of the local Langlands correspondence, with the aim of motivating the statement and also just giving some concrete traction on how it works. I would especially like ...
1
vote
0answers
38 views

matrix of the dual representation: inverse of the transpose

I have a doubt concerning the dual representation. Can someone check that what I wrote is correct please? Let $A: V \longrightarrow V$ be linear, the dual map $A^T : V^* \longrightarrow V^*$ is ...
0
votes
1answer
72 views

Multiplicity of irreducible $\mathbb{C}S_n$-modules

A known result in the representation theory of the symmetric group $S_n$ says: "Let $T_{\lambda}$ be a Young tableaux corresponding to a $\lambda \vdash n$, and let $M=M_{1} \oplus M_{2} \oplus ...