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

13
votes
0answers
725 views

Diagonalizing some matrices arising from Fourier transform on $S_n$.

Consider the function $f$ on $S_n$ which equals $1/n$ on all adjacent transpositions $(i,i+1)$, where we let $n+1 = 1$, and $0$ otherwise, and its Fourier transform $\hat{f}(\rho)$ evaluated at the ...
4
votes
1answer
692 views

some confusion about the explicit construction of irreducible representations of $S_n$

In this book chapter, the irreducible representations of the symmetric group $S_n$ is given in terms of polytabloids of a Ferrer's diagram $\lambda$, defined as $e_t = \sum_{\pi \in C_t} ...
12
votes
4answers
2k views

Making the branching rule for the symmetric group concrete

This question concerns the characteristic $0$ representation theory of the symmetric group $S_n$. I'm a topologist, not a representation theorist, so I apologize if I state it in an odd way. First, ...
11
votes
2answers
1k views

How ugly is the isomorphism R[GxH] = R[G] (X) R[H] for groups G, H?

Clearly, when $G$ and $H$ are two finite groups, and $V$ and $W$ are two representations of $G$ and $H$, respectively, then $V\otimes W$ is a representation of the group $G\times H$. It is a ...
2
votes
0answers
254 views

Function recursion relation over symmetric group

Hi! Let P be a permutation in the symmetric group SN and let π=πj, j+1 be a transposition of elements j and j+1 of the permutation. Let A(P) be a function in dependence of the permutation P. ...
1
vote
1answer
541 views

Hankel determinants of symmetric functions

The starting point is that it is known that the Hankel determinants for the Catalan sequence give the number of nested sequences of Dyck paths. I would like to promote this to symmetric functions. ...
6
votes
1answer
932 views

schur Weyl duality in positive characteristic

Let $S_k$ be the symmetric group. Let $F$ be an algebraically closed field. Let $Rep(S_k)$ be the category of representations of $S_k$ over $F$. Let $Rep(GL_n(F))$ be the category of algebraic ...
3
votes
1answer
476 views

What is a concomitant (and other questions on D.E. Littlewood's “Products and plethysms of characters with orthogonal, symplectic, and symmetric groups” )?

I'm trying to understand the paper "Products and plethysms of characters with orthogonal, symplectic, and symmetric groups" by D.E. Littlewood (link), but I'm having trouble overcoming the language ...
13
votes
0answers
453 views

Where do stable Kronecker coefficients live “in nature”?

Background: For a partition $\lambda$, let $\lambda[N] = (N - |\lambda|, \lambda_1, \lambda_2, \lambda_3, \dots)$, also let $\chi_\lambda$ be the corresponding irreducible character of the symmetric ...
6
votes
3answers
2k views

Sarrus determinant rule: references, extensions

SEEKING REFERENCES FOR SARRUS' RULE AND EXTENSIONS An undergraduate came to me with an identity for 4x4 determinants that is actually correct: $\det(A)=h(A)+h(RA)+h(R^{2}A)$ where R cyclically ...
2
votes
2answers
150 views

Algebraic structures at hypernatural parameters

Let's start with some family of algebraic structures of the same type indexed by the natural numbers, say the symmetric group $S_n$. Suppose that the axioms of this algebraic structure (in this case, ...
10
votes
1answer
360 views

Reference request: The stable Kronecker ring is isomorphic to the ring of symmetric polynomials

Background For $\lambda$ any partition and $n$ a positive integer, write $\lambda[n]$ for the sequence $(n - |\lambda|, \lambda_1, \lambda_2, \ldots, \lambda_r)$. For $n$ large enough, this is a ...
7
votes
1answer
537 views

Explicit computation of induced modules of semidirect products with the symmetric group

I've gotten stuck in a project I have been working on, essentially on the following combinatorial question about the symmetric group. One can obtain a 1-dimensional representation $M^n_c$ of the ...
59
votes
4answers
3k views

Is ${\rm S}_6$ the automorphism group of a group?

The automorphism group of the symmetric group $S_n$ is $S_n$ when $n$ is not $2$ or $6$, in which cases it is respectively $1$ and the semidirect product of $S_6$ with the (cyclic) group of order $2$. ...