The Unapologetic Mathematician

Mathematics for the interested outsider

Permutation Representations from Partitions

Now that we have an action of S_n on the Young tabloids of shape \lambda\vdash n, we can consider the permutation representation M^\lambda that corresponds to it. Let’s consider a few examples.

First, let \lambda=(n). This is a pretty trivial “partition”, consisting of one piece of length n. The Ferrers diagram of \lambda looks like


Any Young tableau thus contains all n numbers on the single row, so they’re all row-equivalent. There is only one Young tabloid:


We conclude that M^{(n)} is a one-dimensional vector space with the trivial action of S_n.

Next, let \lambda=(1^n) — another simple partition with n parts of length 1 each. The Ferrers diagram looks like


Now in every Young tableau each number is on a different line, so no two tableaux are row-equivalent. They each give rise to their own Young tabloid, such as


These tabloids correspond to permutations; a generic one looks like


The action of S_n on these tabloids is basically the same as left-multiplication on the underlying set S_n. And so we find the left regular representation.

Finally, consider the partition \lambda=(n-1,1). This time the Ferrers diagram looks like


and a sample Young tabloid looks like


Any Young tabloid of shape \lambda is uniquely specified by the single entry on the second row. Any permutation shuffles them around exactly like it does these entries, and so M^{(n-1,1)} is isomorphic to the defining representation.

December 14, 2010 - Posted by | Algebra, Representation Theory, Representations of Symmetric Groups


  1. […] try to calculate the characters of the Young tabloid modules we’ve constructed. Since these come from actions of on various sets, we have our usual […]

    Pingback by Characters of Young Tabloid Modules (first pass) « The Unapologetic Mathematician | December 15, 2010 | Reply

  2. […] we’re interested in. For any partition , the Specht module is the submodule of the Young tabloid module spanned by the polytabloids where runs over the Young tableaux of shape […]

    Pingback by Specht Modules « The Unapologetic Mathematician | December 27, 2010 | Reply

  3. […] space with the trivial group action. This is the only possibility anyway, since , and we’ve seen that is itself a one-dimensional vector space with the trivial action of […]

    Pingback by Examples of Specht Modules « The Unapologetic Mathematician | December 28, 2010 | Reply

  4. […] be a submodule of one of the Young tabloid modules. Then I say that either contains the Specht module , or it is contained in the orthogonal […]

    Pingback by The Submodule Theorem « The Unapologetic Mathematician | January 4, 2011 | Reply

  5. […] in the case we care about the space is the Young tabloid module , with the basis of Young tabloids having the dominance ordering. In particular, we consider for […]

    Pingback by Standard Polytabloids are Independent « The Unapologetic Mathematician | January 13, 2011 | Reply

  6. […] defined the Specht module as the subspace of the Young tabloid module spanned by polytabloids of shape . But these polytabloids are not independent. We’ve seen […]

    Pingback by Standard Polytabloids Span Specht Modules « The Unapologetic Mathematician | January 21, 2011 | Reply

  7. […] of generalized tableaux of the vector space is in bijection with the basis of -tabloids of the vector space . And this space carries an action of — the linear extension of the action on tabloids. We […]

    Pingback by Modules of Generalized Young Tableaux « The Unapologetic Mathematician | February 3, 2011 | Reply

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: