Irreducible Representations of the Symmetric Group

Irreducible Representations of the Symmetric Group

The symmetric group Representation Theory James, Mathas, and Fayers Irreducible representations of the symmetric group J.P. Cossey University of Arizona November 12, 2007 J.P. Cossey University of Arizona Irreducible representations of the symmetric group I ...but combinatorics is fun and is accessible to everyone. I Somewhere between the two lies the representation theory of the symmetric group. The symmetric group The basics Representation Theory Conjugacy classes and partitions James, Mathas, and Fayers The big picture: I I'm interested in representations of finite groups... J.P. Cossey University of Arizona Irreducible representations of the symmetric group I Somewhere between the two lies the representation theory of the symmetric group. The symmetric group The basics Representation Theory Conjugacy classes and partitions James, Mathas, and Fayers The big picture: I I'm interested in representations of finite groups... I ...but combinatorics is fun and is accessible to everyone. J.P. Cossey University of Arizona Irreducible representations of the symmetric group The symmetric group The basics Representation Theory Conjugacy classes and partitions James, Mathas, and Fayers The big picture: I I'm interested in representations of finite groups... I ...but combinatorics is fun and is accessible to everyone. I Somewhere between the two lies the representation theory of the symmetric group. J.P. Cossey University of Arizona Irreducible representations of the symmetric group We will use the standard cycle notation: the function π defined by π(1) = 5; π(5) = 2; π(2) = 7; π(7) = 1; π(4) = 6; and π(6) = 4 is denoted by the element π = (1527)(46) 2 S7: Note that 3 is fixed under this permutation, and we omit 3 when we write π. The symmetric group The basics Representation Theory Conjugacy classes and partitions James, Mathas, and Fayers Recall that the symmetric group Sn is the group of bijections from the set f1; 2;:::; ng to itself. J.P. Cossey University of Arizona Irreducible representations of the symmetric group The symmetric group The basics Representation Theory Conjugacy classes and partitions James, Mathas, and Fayers Recall that the symmetric group Sn is the group of bijections from the set f1; 2;:::; ng to itself. We will use the standard cycle notation: the function π defined by π(1) = 5; π(5) = 2; π(2) = 7; π(7) = 1; π(4) = 6; and π(6) = 4 is denoted by the element π = (1527)(46) 2 S7: Note that 3 is fixed under this permutation, and we omit 3 when we write π. J.P. Cossey University of Arizona Irreducible representations of the symmetric group Recall that if g is an element of a group G, then the conjugacy class cl(g) of g is defined by cl(g) = fx−1gxjx 2 Gg: The conjugacy classes of Sn will be of great interest to us, so we point out that in Sn, two elements π and ρ are conjugate if and only if they have the same cycle type - that is, if for each positive integer k, there are the same number of cycles of length k in π and of length k in ρ. The symmetric group The basics Representation Theory Conjugacy classes and partitions James, Mathas, and Fayers We compose functions from left to right, so that if π = (1527)(46) and ρ = (134)(256), then πρ = (1527)(46)(134)(256) = (16)(2734): J.P. Cossey University of Arizona Irreducible representations of the symmetric group The conjugacy classes of Sn will be of great interest to us, so we point out that in Sn, two elements π and ρ are conjugate if and only if they have the same cycle type - that is, if for each positive integer k, there are the same number of cycles of length k in π and of length k in ρ. The symmetric group The basics Representation Theory Conjugacy classes and partitions James, Mathas, and Fayers We compose functions from left to right, so that if π = (1527)(46) and ρ = (134)(256), then πρ = (1527)(46)(134)(256) = (16)(2734): Recall that if g is an element of a group G, then the conjugacy class cl(g) of g is defined by cl(g) = fx−1gxjx 2 Gg: J.P. Cossey University of Arizona Irreducible representations of the symmetric group The symmetric group The basics Representation Theory Conjugacy classes and partitions James, Mathas, and Fayers We compose functions from left to right, so that if π = (1527)(46) and ρ = (134)(256), then πρ = (1527)(46)(134)(256) = (16)(2734): Recall that if g is an element of a group G, then the conjugacy class cl(g) of g is defined by cl(g) = fx−1gxjx 2 Gg: The conjugacy classes of Sn will be of great interest to us, so we point out that in Sn, two elements π and ρ are conjugate if and only if they have the same cycle type - that is, if for each positive integer k, there are the same number of cycles of length k in π and of length k in ρ. J.P. Cossey University of Arizona Irreducible representations of the symmetric group Thus (1345)(678) corresponds to the partition f4; 3; 1; 1g of 9 (note that 2 and 9 are fixed). The symmetric group The basics Representation Theory Conjugacy classes and partitions James, Mathas, and Fayers Thus, for instance, the elements (1345)(678) and (1923)(457) are conjugate in S9. If we insist on ordering our cycles from largest to smallest, then we can associate to each conjugacy class of Sn a partition λ of n, which is a nonincreasing sequence λ = fλ1; λ2; : : : ; λk g of nonnegative integers such that λ1 + λ2 + ··· + λk = n: J.P. Cossey University of Arizona Irreducible representations of the symmetric group The symmetric group The basics Representation Theory Conjugacy classes and partitions James, Mathas, and Fayers Thus, for instance, the elements (1345)(678) and (1923)(457) are conjugate in S9. If we insist on ordering our cycles from largest to smallest, then we can associate to each conjugacy class of Sn a partition λ of n, which is a nonincreasing sequence λ = fλ1; λ2; : : : ; λk g of nonnegative integers such that λ1 + λ2 + ··· + λk = n: Thus (1345)(678) corresponds to the partition f4; 3; 1; 1g of 9 (note that 2 and 9 are fixed). J.P. Cossey University of Arizona Irreducible representations of the symmetric group The symmetric group The basics Representation Theory Conjugacy classes and partitions James, Mathas, and Fayers We can associate a Young diagram to each partition of n - for example, the partition λ = (5; 3; 2; 1; 1) of 12 has the associated Young diagram Tλ = Thus we have the following natural correspondence: fConjugacy classes of Sng ! fYoung diagrams of size ng J.P. Cossey University of Arizona Irreducible representations of the symmetric group The symmetric group Definitions and examples Representation Theory Back to partitions James, Mathas, and Fayers Irreducibility and integer values We are interested in the representations of the symmetric group. For now, G is any finite group, and F is any field. All of our vector spaces will be assumed to be finite dimensional. Definition A representation X of G of degree n over F is a homomorphism X : G ! GLn(F): In this case, we say that n is the degree of the representation. J.P. Cossey University of Arizona Irreducible representations of the symmetric group The symmetric group Definitions and examples Representation Theory Back to partitions James, Mathas, and Fayers Irreducibility and integer values Note, then, that any representation of G over a field F naturally n induces an action of G on F . We then have the following useful equivalent definition: Definition If G is a group and V is a vector space, then we say that V is a G-module, or a representation of G, if G acts on V . (Recall that this just means that 1 2 G acts trivially, and for v 2 V and g; h 2 G, we have (v · g) · h = v · (gh)). J.P. Cossey University of Arizona Irreducible representations of the symmetric group I Representations are interesting in their own right (McKay conjecture, Alperin weight conjecture). I Representations tell us interesting things about groups (Odd-order theorem, classification of simple groups). I Representations tell us interesting things about lots of other topics (wireless network design, probabilities of card-shuffling). The symmetric group Definitions and examples Representation Theory Back to partitions James, Mathas, and Fayers Irreducibility and integer values Why should we care about representations? J.P. Cossey University of Arizona Irreducible representations of the symmetric group I Representations tell us interesting things about groups (Odd-order theorem, classification of simple groups). I Representations tell us interesting things about lots of other topics (wireless network design, probabilities of card-shuffling). The symmetric group Definitions and examples Representation Theory Back to partitions James, Mathas, and Fayers Irreducibility and integer values Why should we care about representations? I Representations are interesting in their own right (McKay conjecture, Alperin weight conjecture). J.P. Cossey University of Arizona Irreducible representations of the symmetric group I Representations tell us interesting things about lots of other topics (wireless network design, probabilities of card-shuffling). The symmetric group Definitions and examples Representation Theory Back to partitions James, Mathas, and Fayers Irreducibility and integer values Why should we care about representations? I Representations are interesting in their own right (McKay conjecture, Alperin weight conjecture). I Representations tell us interesting things about groups (Odd-order theorem, classification of simple groups). J.P. Cossey University of Arizona Irreducible representations of the symmetric group The symmetric group Definitions and examples Representation Theory Back to partitions James, Mathas, and Fayers Irreducibility and integer values Why should we care about representations? I Representations are interesting in their own right (McKay conjecture, Alperin weight conjecture).

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    98 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us