**3**

votes

**2**answers

267 views

### Minimal *-idempotents for the group algebra of the symmetric group

There is a well-known construction of minimal idempotents in the group algebra of the symmetric group $\mathbb C[S_n]$ using row symmetrizers and column antisymmetrizers. But these idempotents are ...

**11**

votes

**1**answer

407 views

### The Simultaneous Conjugacy Problem in the symmetric group $S_N$

We are interested in the following notions in the case $G=S_N$, the symmetric group on
$\{1,\dots,N\}$.
Fix a group $G$ and a number $d$. For $(g_1,\dots,g_d)\in G^d$ and $x\in G$, define
...

**18**

votes

**6**answers

773 views

### Why is the right permutohedron order (aka weak order) on $S_n$ a lattice?

This is one of those things I never expected to be hard until I tried to prove it. Why is the right permutohedron order (a.k.a. weak Bruhat order, a.k.a. weak order -- not to be confused with the ...

**10**

votes

**0**answers

416 views

### A $q$-analogue of Foulkes' character related to alternating permutations

My paper "Alternating permutations and symmetric functions" at
http://math.mit.edu/~rstan/papers/altenum.pdf enumerates certain
classes of alternating permutations, such as those whose inverse is
...

**6**

votes

**3**answers

395 views

### Representations of S_n induced from centralizers of elements

Does anyone have a reference for a good description of representations of $S_{n}$ obtained by inducing up from $C_{S_{n}}(\pi)$, for some element $\pi$ of $S_{n}$? (I'd prefer an efficient ...

**5**

votes

**4**answers

754 views

### Structure of the adjoint representation of a (finite) group (Hopf algebra) ?

Every group acts on itself by conjugation $h \mapsto g h g^{-1}$. Respectively considering functions on a group we obtain a linear representation.
Question 1: what is known about this representation ...

**2**

votes

**0**answers

47 views

### What groups of symmetry are most suited for filling uniformely a spherical 3D space, whilst possessing the lowest possible surface-to-volume ratio?

I am looking for the closest known approximate solution to Kelvin foams problem that would obey a spherical symmetry.
One alternative way of formulating it: I am looking for an equivalent of ...

**9**

votes

**3**answers

827 views

### How do most people write permutations?

I'd like to know how people prefer to write permutations, or elements of the symmetric group $S_n$ for $n\ge0$.
The most natural way to define a permutation in $S_n$ is as a bijection on the set ...

**5**

votes

**2**answers

284 views

### How many ways can a given permutation be obtained as a product of k 2-cycles?

Let $\sigma_1, \ldots, \sigma_b$ be all the 2-cycles in $S_n$. (So, $b = \binom{n}{2}$.) Given $\pi \in S_n$, what is known about how many ways $\pi$ can be obtained as a product of $k$ (not ...

**6**

votes

**2**answers

755 views

### Word length in the symmetric group

Let $n \geq 1$ and let $H_n$ be a 2-Sylow subgroup of the symmetric group $\mathrm{Sym}(2^n)$. Let also consider the cycle $\gamma_n = (1, \ldots, 2^n)$ of order $2^n$.
If we assume moreover that ...

**9**

votes

**4**answers

896 views

### Number of Permutations?

Edit: This is a modest rephrasing of the question as originally stated below the fold: for $n \geq 3$, let $\sigma \in S_n$ be a fixed-point-free permutation. How many fixed-point-free permutations ...

**-2**

votes

**1**answer

228 views

### A generalization of an old group problem [closed]

Here is an old exercise in group theory: (1) If $G$ is a group of order $2n$ with $n$ odd then $G$ is not simple and in fact $G$ has a normal subgroup of order $n$. I am going for one straight ...

**16**

votes

**2**answers

1k views

### Has Reifegerste's Theorem on RSK and Knuth relations received a slick proof by now?

For the notations I am using, I refer to the Appendix at the end of this post.
Here is what, for the sake of this post, I consider to be Reifegerste's theorem:
Theorem 1. Let $n\in\mathbb N$ and ...

**37**

votes

**3**answers

3k views

### What to do now that Lusztig's and James' conjectures have been shown to be false?

Lusztig and James provided conjectures for dimensions of simple modules (or decomposition numbers) for algebraic groups and symmetric groups in characteristic $p$. These conjectures have been ...

**18**

votes

**1**answer

833 views

### Conjectural identities for Young symmetrizers and Young-Jucys-Murphy elements

The following questions I have found in my own notes from about 3 years ago. Unfortunately, I lost much of the context; I believe I made these conjectures reading Okounkov-Vershik, arXiv:0503040v3, ...

**7**

votes

**1**answer

768 views

### On Applications of Murnaghan Nakayama Rule

This question is crossposted at math.stackexchange here and may be beyond the usual scope of the site. The question is located below. In short, I am looking for an accessible explanation of the ...

**4**

votes

**1**answer

210 views

### Combinatorics of index sets multiplicities in characters of symmetric groups

Hi everyone.
I'm pondering the following question: I have a Coxeter group $(W,S)$ of type $A_{n-1}$, i.e. the symmetric group $W=Sym(n)$ with the neighbour transpositions as generating set $S=\lbrace ...

**2**

votes

**2**answers

303 views

### The Jantzen-Schaper theorem

Does anybody have an electronic copy of Schaper's PhD thesis:
K.D. SCHAPER, ‘Charakterformeln fur Weyl-Moduln und Specht-Moduln in Primcharacteristik’,
Diplomarbeit, Bonn, 1981.
I would like to ...

**4**

votes

**1**answer

235 views

### Expression of basis vectors of permutation modules in different bases.

This is a cross-post from math.se, because I did not get any answer there:
Write $[n]:=\{1,\ldots,n\}$. For a partition $\lambda\vdash n$, I will write $[\lambda]$ for the Specht module that ...

**1**

vote

**0**answers

88 views

### On generalization of Wigner semi circle

I want to analyse noise model for a matrix M whose entries are not real numbers. The matrix is a collection of N permutation matrices of size nxn i.e, M is NnxNn. Because its a collection of ...

**17**

votes

**1**answer

518 views

### What is the length of the shortest law of $S_n$?

What is the length of the shortest word $w\in F_2$ such that $w(x,y)$ is trivial for every $x,y\in S_n$?
There is a simple argument showing that we must have $\ell(w)\geq n$. See here for instance. ...

**4**

votes

**1**answer

205 views

### Representations of Sym(n) and SL_d

Irreducible representations of the symmetric group Sym$(n)$, and degree-$n$ algebraic representations of SL$_d(\mathbb C)$ for $d\ge n$, can both be classified by Young diagrams with $n$ boxes.
...

**7**

votes

**1**answer

596 views

### Permutation character of the symmetric group on subsets of certain size

The symmetric group $S_n$ acts on $[n]:=\{1,\ldots,n\}$, thereby inducing an action on the set $$\wp_k(n)=\{\: A\subseteq[n] \::\: \#A=k \:\}$$ of subsets of cardinality $k$, simply by $$(g,A)\mapsto ...

**1**

vote

**0**answers

99 views

### Next smallest dimension of Specht Module after $(n)$, $(1^n)$, $(n-1,1)$ and $(2,1^{n-2})$

In representation theory of $S_n$, we know that for $n \geq 9$, the only Specht modules $S^\alpha$ of dimension $f^\alpha < {n-1 \choose 2} - 1$ are:
$S^{(n)}$ and $S^{(1^n)}$ with dimension $1$, ...

**5**

votes

**1**answer

317 views

### Dimension of Specht Modules $S^\lambda$

In the study of representation theory of $S_n$, we know that the irreducible characters of $\chi_\lambda$ of $S_n$ are indexed by partitions $\lambda \vdash n$. There are several methods in ...

**6**

votes

**1**answer

282 views

### Decomposition of $\mathrm{End}(V)$ as $S_n\times S_n$-module

Let $V$ be a finite-dimensional, complex vector space and set $\newcommand{\Gl}{\mathrm{Gl}}G:=\Gl(V)\times\Gl(V)$. Let $E:=\mathrm{End}(V)$ and consider its coordinate ring $\mathbb C[E]$, the space ...

**4**

votes

**2**answers

391 views

### A basis for Schur functors

Suppose $V$ is a finite-dimensional vector space (over $\mathbb{C}$) and $\lambda$ is a partition of $n$ (not necessarily the dimension). Let $S^\lambda(V)=(V^{\otimes n})_\lambda$ be the $\lambda$'th ...

**14**

votes

**4**answers

664 views

### Largest permutation group without 2-cycles or 3-cycles

The largest permutation group without 2-cycles is $A_n$, which has size $n!/2$. I think the largest permutation group without 2-cycles or 3-cycles is much smaller, but I can't figure out if it should ...

**7**

votes

**1**answer

500 views

### Littlewood Richardson rule and seminormal basis of Specht modules

Background
Seminormal Basis of Specht modules of $\mathfrak{S}_n$
Let $\lambda$ be a partition of $n$. A $\lambda$-tableau is a
bijection $\mathfrak{t}:\lambda \to \{1,2,...,n\}$. We say a ...

**1**

vote

**1**answer

931 views

### Cyclic Subgroups of the Symmetric Group

If we write a partition $n=k_1+...+k_r$, then we can create a $(k_1,...,k_r)$-cycle in $S_n$ with order equal to the least common multiple of the $k_i$'s. It is clear that every cyclic subgroup will ...

**1**

vote

**1**answer

659 views

### How to solve a system of equations over permutations?

Imagine you have a $n\times n$ matrix filled in with permutations over $n$ elements. Now you pick one permutation from each row randomly starting from the first row and by multiplying them get a ...

**4**

votes

**1**answer

241 views

### Identity involving partitions coming from representations of alternating groups

It is not difficult to show that the number of conjugacy classes in the alternating group $A_n$ is given by
classes in the alternating group = no. of even partitions + no. of self-transpose ...

**6**

votes

**2**answers

663 views

### Algorithm for reducing words in a Coxeter group

Let $W$ be a Coxeter group with set of simple reflections $S$. Suppose that I have chosen a preferred reduced decomposition for every element of $W$. Given an arbitrary word in the alphabet $S$, is ...

**3**

votes

**1**answer

399 views

### 2 Possible Generalizations of Cayley's Theorem?

I'm wondering about the following 2 generalizations of Cayley's Theorem (every group embeds in a symmetric group). If these are known to be true/false, references would be appreciated.
1) (Weak ...

**3**

votes

**1**answer

296 views

### Distances on generalizations of the symmetric group

I'm a computer vision student, and I'm looking for some symmetric group literature guidance. I'm going to provide some context, and finally ask two questions.
The Cayley distance and other distances ...

**2**

votes

**0**answers

691 views

### Necklaces and the generating function for inversions

The problem of Necklaces is well-known, i.e "The number of fixed necklaces of length $n$ composed of $a$ types of beads $N(n,a)$" can be calculated:
http://mathworld.wolfram.com/Necklace.html
Let us ...

**6**

votes

**1**answer

338 views

### Dual of a Specht module

For a partition $\mu$ of $n$, let $S^{\mu}$ be the associated Specht module, defined over $\mathbb{Z}$. For any field $k$, we can tensor $S^{\mu}$ with $k$ to get a representation $S^{\mu}_k$ of the ...

**5**

votes

**2**answers

435 views

### A product identity for partitions

For a partition $\lambda=(\lambda_1\ge \lambda_2\ge \dots)$, let
$m_\lambda=\prod_i (\lambda_i-\lambda_{i+1})!$ be the product of factorials of consecutive differences and let $v_\lambda=\prod_{i | ...

**1**

vote

**1**answer

405 views

### Schur Weyl duality for sl_n representations

Consider a finite dimensional vector space $V$ and the general linear group $GL(V)$ acting on it. Both $GL(V)$ and the symmetric group $S_d$ act on the tensor product of $d$ copies of $V$, and by Weyl ...

**7**

votes

**1**answer

724 views

### Derived functors of symmetric powers

What do the derived functors of the symmetric powers look like? I understand that this is related to the homology of the symmetric groups, but I don't know a reference for that.
Namely, I'm ...

**2**

votes

**3**answers

754 views

### The Weyl group of $SL(2, F)$

Let $G= SL(2, F)$, given a torus $T$, the Weyl group with respect to $T$ is defined to be $W=N(T)/Z(T)$, the quotient of the normalizer $N(T)$ of the torus by the centralizer $Z(T)$ of the torus.
My ...

**2**

votes

**0**answers

134 views

### Partitions limit shape and LDP

Hello!
I am trying to understand the paper of Dembo-Vershik-Zeitouni, Large deviations for integer partitions. I am only interested in Theorem 2, which deals with the case of the uniform ...

**6**

votes

**0**answers

182 views

### Finding a maximal tableau for a sum of Jucys-Murphy Elements

Let $X \in \mathbb{C}[S_n]$ be an element of the group algebra of $S_n$ expressible as the sum of some Jucys-Murphy elements. Then let $\lambda$ be any irreducible representation of $S_n$, with the ...

**5**

votes

**0**answers

348 views

### What are the relation between Rep(G) and Rep(S_n)?

Let G be a finite group. We know it can be written as a subgroup of S_n. On the other hand, people sometimes say Rep(G) --- the category of all finite dimensional representations, are more interesting ...

**1**

vote

**1**answer

251 views

### $\lambda$-rings and hopf-rings

The direct sum of complex representation rings $R_*\oplus R\Sigma_n$, for $\Sigma_n$ the $n$th symmetric group is also the free $\lambda$-ring on one generator. Here, we take a product obtained from ...

**4**

votes

**0**answers

406 views

### Partial order on partitions and symmetric group algebra

Let $n$ be a natural number. Consider a set $\Lambda_n$ of partitions of $n$ into a sum of natural numbers, like $n = \lambda_1 + \cdots +\lambda_k$ (A set of small lambdas representing a partition is ...

**7**

votes

**2**answers

639 views

### Generalizing the Fundamental Theorem of Symmetric Polynomials

The fundamental theorem of symmetric polynomials tells us that the ring $\mathbb{Z}[x_1,\ldots,x_n]^{S_n}$ of symmetric polynomials in $n$ variables is generated (without relations) by the elementary ...

**5**

votes

**1**answer

346 views

### Faithful transitive actions by large groups on small sets

How large is the largest transitive subgroup of $S_n$ other than itself and $A_n$? In particular, does its size grow at least exponentially in $n$?

**17**

votes

**4**answers

1k views

### An n!xn! determinant.

Let us consider the matrix $A$ with its rows and columns enumerated by the elements of $S_n$ with $A_{\sigma\tau}=x^{c(\sigma\tau^{-1})}$ where $c()$ is the number of cycles in a permutation's ...

**6**

votes

**3**answers

644 views

### universality of Macdonald polynomials

I have been recently learning a lot about Macdonald polynomials, which have been shown to have probabilistic interpretations, more precisely the eigenfunctions of certain Markov chains on the ...