The symmetric group $S_n$ is the group of permutations of the set of integers $\{1,\dots,n\}$. This has $n!$ elements and is generated by the $n-1$ involutions exchanging consecutive integers. The symmetric groups form the simplest family of Coxeter groups.

learn more… | top users | synonyms

7
votes
1answer
731 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 ...
3
votes
1answer
206 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
2answers
299 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
1answer
229 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
0answers
84 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
1answer
506 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
1answer
200 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
1answer
565 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
0answers
95 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
1answer
300 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
1answer
279 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
2answers
380 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 ...
13
votes
4answers
652 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
1answer
490 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
1answer
758 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
1answer
627 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
1answer
240 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
2answers
617 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
1answer
395 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
1answer
288 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
0answers
679 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
1answer
325 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
2answers
430 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
1answer
396 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
1answer
702 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
3answers
728 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
0answers
131 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
0answers
180 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
0answers
346 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
1answer
249 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
0answers
397 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
2answers
615 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
1answer
344 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
4answers
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
3answers
637 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 ...
17
votes
2answers
715 views

An n!-dimensional representation of the symmetric group S_{n+2}

I have come across a sequence of representations $V_n$ of the symmetric group $S_{n+2}$ which has the property that restricting the action $S_n \subset S_{n+2}$ gives the regular representation: $$ ...
18
votes
5answers
1k views

Why are Jucys-Murphy elements' eigenvalues whole numbers?

The Jucys-Murphy elements of the group algebra of a finite symmetric group (here's the definition in Wikipedia) are known to correspond to operators diagonal in the Young basis of an irreducible ...
1
vote
1answer
198 views

Formula for the “integral form” action of Iwahori-Hecke algebra on the standard basis for Specht modules

Is there a formula somewhere in the literature for the action of the generators $T_1,\ldots,T_{n-1}$ of the Iwahori-Hecke algebra on the standard basis of its Specht modules? It is well-known that the ...
8
votes
1answer
292 views

Restriction of characters of hyperoctahedral groups.

The hyperoctahedral group $H_n$ has several descriptions; as a wreath product; as signed permutation matrices; as the Weyl group of type $B_n$ or $C_n$. In all these descriptions it is apparent that ...
15
votes
3answers
1k views

Rhombus tilings with more than three directions

The point of this question is to construct a list of references on the following subject: Fix vectors $v_1$, $v_2$, ..., $v_g$ in $\mathbb{R}^2$, all lying in a half plane in that cyclic order. I am ...
81
votes
4answers
3k views

What do the stable homotopy groups of spheres say about the combinatorics of finite sets?

The Barratt-Priddy-Quillen(-Segal) theorem says that the following spaces are homotopy equivalent in an (essentially) canonical way: $\Omega^\infty S^\infty:=\varinjlim~ \Omega^nS^n$ ...
7
votes
1answer
310 views

Two ways of generalizing factorials via symmetric groups

By the Bruhat decomposition of $GL(n, \mathbb{F}_q) / B_n$ we know that $$[n]! = \sum_{ \sigma \in S(n)} q^{l(\sigma)}$$ where $[n]! = \prod_{j=1}^n (1+q + \cdots + q^{j-1})$ and $l(\sigma)$ is the ...
20
votes
1answer
611 views

Is there an easy description of the structure of this infinite group?

Let $S_\infty$ denote the full symmetric group on countably many points and index the points by $\mathbb{N}$. For any weight (for lack of a better name) function $w:\mathbb{N}\rightarrow\mathbb R^+$, ...
5
votes
1answer
619 views

Tensor products of permutation representations of symmetric groups.

I am looking for a reference for the following fact which must be classical (which makes it harder, for me, to track a reference down). I am interested because there are similar (more complicated) ...
1
vote
2answers
491 views

Difference between orthogonal form and seminormal form

Frequently in the literature on Hecke algebras for the symmetric group and their generalisations, one encounters references to Young's seminormal form and Young's orthogonal form. I have a good ...
3
votes
2answers
524 views

What is known about the centraliser of the Hecke algebra in the affine Hecke algebra?

This question is a sequel to 66602 The Hecke algebra is the quotient of the group algebra of the braid group of type $A_n$ by quadratic relations and the affine Hecke algebra is the quotient of the ...
7
votes
1answer
526 views

Interpreting the Garnir relations in terms of the Yang-Baxter equation

One possible construction of the Specht modules goes as follows. Given a partition $\lambda$ of $n$, we can write down Young's seminormal form for the representation of $S_n$ corresponding to ...
2
votes
0answers
212 views

Picking $n$ so that certain Schur functors of the standard representation of $S_n$ are linearly independent

Let $V_n$ be the standard permutation representation of the symmetric group $S_n$, and let $\mathbb{S}_{\lambda}$ denote the Schur functor associated to the partition $\lambda$. Let $\lambda$ range ...
21
votes
4answers
1k views

What are the applications of immanants?

Definitions of determinant: $det(A) = \sum_{\sigma \in S_n}(-1)^{\operatorname{sgn} \sigma}\prod_{i}a_{i, \sigma(i)}$ and permanent: $perm(A) = \sum_{\sigma \in S_n}\prod_{i}a_{i, \sigma(i)}$ ...
6
votes
1answer
834 views

Irreducible decomposition of tensor product of irreducible $S_n$ representations

Are there well known results on the irreducibles in the decomposition of tensor products of irreducible $S_n$ representations? I would also like to know of some references where I can find formulas ...