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
1answer
38 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
88 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 ...
2
votes
1answer
40 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$ ...
2
votes
1answer
48 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
28 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 ...
0
votes
0answers
20 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 ...
2
votes
1answer
35 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
0answers
27 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 ...
1
vote
0answers
45 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 ...
1
vote
1answer
123 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 ...
2
votes
0answers
37 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 ...
4
votes
1answer
127 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 ...
1
vote
0answers
51 views

Positively graded k-algebra

Suppose we have a positively graded $k$-algebra $A=\bigoplus_{i\ge 0}A_i$, such that $A_0$ has finite global dimension. Furthermore, all $A_i$ are finite dimensional and $A$ is generated in degree $0$ ...
0
votes
1answer
43 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 ...
4
votes
0answers
43 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
94 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 ...
0
votes
1answer
30 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
1answer
34 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 ...
1
vote
1answer
49 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 ...
3
votes
2answers
140 views

The definition of the right regular representation

I'm having difficulties understanding the definition of the right regular representation as it appears in Dummit & Foote's Abstract Algebra text. On page 132 it says Let $\pi:G \to S_G$ be the ...
0
votes
0answers
22 views

Trace functionals as invariant elements of $R[\mathfrak{g}]$ under $G$

Let $\mathfrak{g}$ be a semisimple Lie algebra over $\mathbb{C}$ and let $G$ be its inner automorphism group. Then $G$ acts on $R[\mathfrak{g}]\cong S(\mathfrak{g}^*)$ via $(\sigma\cdot f)(x) = ...
1
vote
1answer
25 views

Question in Fulton and Harris regarding induced representation.

I'm confused by the following paragraph: I don't see why $g\cdot W$ depends only on the left coset $gH$. What does he mean precisely by that? Why is it true that $gh\cdot W = g\cdot(h\cdot W) = ...
3
votes
1answer
67 views

Associated idempotents

Let $e$ and $f$ be elements of an associative algebra $A$. We say $e$ and $f$ are associated if there exist elements $x, y \in A$ such that: $$e = xy, f = yx.$$ My teacher said it is an easy exercise ...
2
votes
0answers
30 views

Angles between adjacent roots in a reduced root system.

Let $R$ be a reduced root system. ($R$ is a finite set spanning $V$, $\alpha \in R \rightarrow -k\alpha \in R$ iff $k=1$, $s_{\alpha}(R)=R$, $s_{\alpha}(\beta)-\beta=k\alpha$ whit $k$ integer). ...
1
vote
1answer
35 views

Confusion regarding PBW theorem

I was reading up Humphrey's Introduction to Lie Algebras and Representation Theory and have a confusion regarding a consequence of PBW. First some notations: Let $L$ be a Lie algebra over ...
0
votes
1answer
36 views

In a semi-simple module, any submodule is a direct factor?

I need help understanding the following : In a semi-simple module, any submodule is a direct factor (this is sometimes taken as the definition of semi-simple) (i) How is this equivalent to the ...
3
votes
1answer
59 views

A representation of $G$ over $V$ gives $V$ the structure of a $G$-module?

In Fulton and Harris's book Representation Theory: A First Course, they define a representation of a finite group on $V$ in Lecture 1. Then they say that the representation gives $V$ the structure of ...
1
vote
1answer
40 views

Character Theory Exercise

I am having trouble with the following exercise in character theory: If $\chi, \psi, \zeta$ are irreducible characters of a finite group then $\langle \chi\psi, \zeta \rangle \leq \zeta(1)$. I can ...
0
votes
1answer
22 views

Uniqueness of a map.

Let $f: \mathbb{Z}^n \to \mathbb{C}^*$ be a homomorphism. Where $(\mathbb{Z}^n,+)$ is considered as an additive group and $(\mathbb{C}^*$ is considered as an multiplicative group. Fix $b_1,\ldots, b_n ...
2
votes
1answer
34 views

Understanding the structure of a module over a group algebra

Suppose one has a permutation group $G$ acting on the set $[n] = \{1, 2, \ldots, n\}$, which extends naturally for any field $F$ to a $FG$-module structure on the set $F[n]^k$ of formal $F$-linear ...
5
votes
1answer
62 views

What is known about the representation theory of the symmetric group over $\mathbb{F}_2$

There is a lot of material available about the representation theory of the symmetric group over $\mathbb{C}$ and fields of characteristic $0$. In particular, there is the decomposition of the group ...
2
votes
1answer
51 views

Differentiating a representation

I'm reading the paper Presenting Schur algebras as quotients of the universal enveloping algebra of $\mathfrak{gl_2}$. It describes a representation of the group algebra ...
3
votes
0answers
65 views

invariants of group action by algebra automorphism

I am trying to prove the following statement, but I'm having a lot of trouble with it: Let $k$ be an infinite field. Let $A$ be a commutative $k$-algebra. Let $G$, a group, act on $A$ by algebra ...
3
votes
1answer
41 views

Representation of a subgroup

I'm trying to solve the following problem. Suppose there is a $V$, representation of $G$, and a subgroup $H\leq G$ with index $|G:H|=3$. Given that $V$ seen as a representation of $H$ is a direct sum ...
3
votes
1answer
60 views

Irreducible representation of $\mathcal{S}_5$ over $\mathbb{C}$ of degree 4

I have come to a point where I need an irreducible representation of $\mathcal{S}_5$ over $\mathbb{C}$ of degree 4. Can somebody help me to find one and explain how to obtain one?
2
votes
1answer
47 views

The only irrep of a group of order p over a field of characteristic p is trivial

I found an answer to my bigger question here, but I'm curious about my attempted proof in the case where $|G|=p$. I'm nearly certain this does not work, but I can still learn something from it. Do I ...
1
vote
1answer
77 views

Representation of $GL(V)$ on exterior algebra

I have a couple ideas for the following problem and would like verification, since I am still shaky with representation theory. Let $V$ be a $n$-dimensional vector space over a field $k$ and let ...
2
votes
0answers
43 views

Divided powers in the context of elements of the Schur algebra

I am currently reading through the paper Presenting Schur algebras as quotients of the universal enveloping algebra of $\mathfrak{gl}_2$. Here it defines the following matrices $e := ...
1
vote
2answers
43 views

Representation of dense Subset

let $\mathcal B \subset \mathcal A$ a dense subset of a C*-algebra $\mathcal A$. I have a representation for $\mathcal B$. Can I then conclude that this is somehow also a representation for ...
0
votes
1answer
45 views

Generalized Clifford's Theorem

A typical statement of Clifford's theorem is the following: Let V be a finite dimensional irreducible representation of a group G, and let N be a normal subgroup of finite index in G. Then the ...
0
votes
0answers
39 views

Representation theory& module

$V$ is a left $R$ module, how do you understand the ring homomorphism $$\rho_{V}:R \to End_Z(V)$$ I know that it is like a group acting on sets, but it is very easy to understand like a group $S_n$ ...
0
votes
1answer
42 views

The sign representation of the Symmetric Group

I am currently trying to learn some of the basics of Representation Theory through Sagan's The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions. On page 11, after ...
0
votes
0answers
29 views

Subring of $\mathbb{C}[S_4]$

I'm doing a question from an old exam paper and I'm stuck on the following: Does $\mathbb{C}[S_4]$ contain a subring isomorphic to $M_2(\mathbb{C})$? Here subring doesnt need to contain the unit 1. I ...
1
vote
1answer
67 views

Intertwining map in Schur's Lemma

I am learning Schur's Lemma from page 4 here. It says Schur's Lemma 1. If $(\rho_1, V_1)$ and $(\rho_2, V_2)$ are irreducible representations of a group $G$, then any nonzero homomorphism $\phi : ...
2
votes
1answer
52 views

$\mathbb{C} [G] \longrightarrow \prod_{\rho} \text{End}(V_{\rho})$ an intertwining isomorphism

Consider the vector space $\mathbb C[G]$ of functions $f: G \longrightarrow \mathbb{C}$ where $G$ is a finite group, or equivalently a vector space of all formal linear combinations of elements of $G$ ...
2
votes
1answer
60 views

Conjugacy classes and centralizers of a SmallGroup

What is the complete lists of conjugacy classes and centralizers of SmallGroup(64,138)? Would someone be willing to provide the complete lists of conjugacy classes and centralizers of ...
2
votes
1answer
72 views

Which non-Abelian finite groups contain the two specific centralizers? - part II

This is a question requiring the good knowledge of group theory: (Q1) Which finite groups $G$ contains some specific centralizers isomorphic to both of these two groups (but may contain other ...
2
votes
0answers
60 views

Which finite groups contain the two specific centralizers?

This is a question requiring the good knowledge of group theory: (Q1) Which finite groups $G$ contains some specific centralizers both of these two groups: i. the elementary group $Z_2^4$, ...
1
vote
1answer
35 views

Obtaining representations of $G$ from $\mathrm{Lie}(G)$.

Suppose $\mathfrak{g}$ is a semisimple Lie algebra over $\mathbb{C}$, and $\tilde{G}$ is the unique connected, simply connected Lie group whose Lie algebra is $\mathfrak{g}$. Let $C$ be any discrete ...