0
votes
0answers
28 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
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 ...
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 ...
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
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 ...
1
vote
1answer
41 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
129 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
19 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) = ...
2
votes
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) = ...
4
votes
1answer
62 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
29 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
33 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
33 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
56 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
36 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
33 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
58 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
48 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
45 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
67 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
42 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
39 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
62 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
57 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
70 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
57 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
31 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 ...
2
votes
0answers
41 views

A construction of $\mathfrak{e}_8$ in Fulton and Harris

In section $22.4$ of "Representation Theory: A First Course" by Fulton and Harris, the exceptional Lie algebra $\mathfrak{e}_8$ is constructed using a method of Freudenthal. For background, I will ...
3
votes
2answers
99 views

What are the finite groups with 8 or 16 conjugacy classes?

What are the list of finite groups with 8 or 16 conjugacy classes? I learned that dihedral groups $D_{10}$ and $D_{13}$ have 8 conjugacy classes. (Here the order of these groups are $|D_{10}|=20$, ...
1
vote
1answer
26 views

Showing that a subrepresentation generated by an element is actually a subrepresentation.

Let $G$ be a group and $V$ be a representation of $G$. For $v_0 \in V$, the subrepresentation of $V$ generated by $v_0$ is constructed as $\{g \cdot v_0 | g \in G\}$. However, I don't immediately ...
1
vote
0answers
27 views

Schur-Weyl duality from Double Commutant Theory

Let $V$ be a finite dim complex vector space. Then $V^{\otimes n}$ carries an action by $S_n$ by permuting factors $\sigma(\pi)(v_1\otimes...\otimes v_n)=v_{\pi^{-1}(1)}\otimes...\otimes ...
4
votes
0answers
46 views

~ The important use of Frobenius–Schur indicators and Frobenius-Schur exponents ~

I had asked a question on the uses of conjugacy class and centralizer. I had receive various helpful feedback. I appreciate them. Here I like to get some feedback on the Frobenius–Schur indicator. ...
2
votes
0answers
28 views

Jucys-Murphy elements confusion

I am taking a class called "Harmonic Analysis on Finite Groups" and am studying for an exam. We have recently been talking about the representation theory of the symmetric group (over $\mathbb C$). ...
2
votes
1answer
117 views

Definition/existence/uniqueness of a minimal projective resolution

I'm reading Dave Benson's book "Representations and Cohomology," Volume I, and I'm trying to understand the following discussion on page $32$ in which he introduces the notion of a minimal projective ...
2
votes
0answers
38 views

Question concerning Morita equivalence and an algebra over a field which is not algebraically closed

I would like to know, whether there are a quiver $Q$ and an admissible ideal $I$ such that the quiver algebra $\mathbb{F}_3Q/I$ and the group algebra $\mathbb{F}_3 (C_3\times C_3)$ are Morita ...
7
votes
6answers
306 views

The use of conjugacy class and centralizer?

This is more or less for a conceptual and better-understanding question in group theory and in representation theory: (1) Why are conjugacy class and centralizer important concepts in the group / ...
5
votes
1answer
159 views

How to show a representation is irreducible?

I have a professor who says that I should be able to show a representation is irreducible simply by looking at its trace (with other possible conditions), but after researching this for a while, I ...
4
votes
1answer
105 views

Recognition of positive integral projections in a group algebra

Let $G$ be any finite Group and $e \in \mathbb{C}G$ be a central idempotent element which decomposes $\mathbb{C}G = R \times S$ into a direct product of rings $R = \mathbb{C}Ge$ and $S = ...
4
votes
1answer
65 views

Exercise from Etingof's notes on Representation Theory

I am reading through these notes of Etingof on Representation theory and I am stuck with one exercise (it's problem 4.69 in the notes). The problem is the following. Consider the space ...
0
votes
0answers
53 views

Definition of a splitting field of a finite group

This is a basic question from the journal 'Mathematische Zeitschrift' 208 (1991) page 243. Let $K/F$ be a finite Galois extension of number fields and $G={\rm Gal}(K/F)$. Also let $L$ be any number ...