Specht module

In mathematics, a Specht module is one of the representations of symmetric groups studied by Wilhelm Specht (1935). They are indexed by partitions, and in characteristic 0 the Specht modules of partitions of n form a complete set of irreducible representations of the symmetric group on n points.

Definition

Fix a partition λ of n. A tabloid is an equivalence class of labellings of the Young diagram of shape λ, where two labellings are equivalent if one is obtained from the other by permuting the entries of each row. Denote by $\{T\}$ the equivalence class of a tableau $T$ . The symmetric group on n points acts on the set of tableaux of shape λ (i.e., on the set of labellings of the Young diagram). Consequently, it acts on tabloids, and on the module V with the tabloids as basis. For each Young tableau T of shape λ, form the element

E_{T}=\sum _{\sigma \in Q_{T}}\epsilon (\sigma )\{\sigma (T)\}\in V

where Q_T is the subgroup of permutations, preserving (as sets) all columns of T and $\epsilon (\sigma )$ is the sign of the permutation σ . The Specht module of the partition λ is the module generated by the elements E_T as T runs through all tableaux of shape λ.

The Specht module has a basis of elements E_T for T a standard Young tableau.

A gentle introduction to the construction of the Specht module may be found in Section 1 of "Specht Polytopes and Specht Matroids".[1]

Structure

Over fields of characteristic 0 the Specht modules are irreducible, and form a complete set of irreducible representations of the symmetric group.

A partition is called p-regular if it does not have p parts of the same (positive) size. Over fields of characteristic p>0 the Specht modules can be reducible. For p-regular partitions they have a unique irreducible quotient, and these irreducible quotients form a complete set of irreducible representations.

gollark: Anyway², I'll switch over my backup stuff and use the existing incremental tar thing for smallish compressible directories and rsync for large-scale apiary data.

gollark: Wow, my server just got an "out of disk space" warning for /tmp.

gollark: Actually, no, some malware started using Go a while ago I heard.

gollark: It's a great endorsement when your technology is practical enough for malware to use it.

gollark: SQlite: trusted even by malware authors!

References

Wiltshire-Gordon, John D.; Woo, Alexander; Zajaczkowska, Magdalena (2017). "Specht Polytopes and Specht Matroids". arXiv:1701.05277 [math.CO].

Andersen, Henning Haahr (2001) [1994], "Specht module", Encyclopedia of Mathematics, EMS Press
James, G. D. (1978), "Chapter 4: Specht modules", The representation theory of the symmetric groups, Lecture Notes in Mathematics, 682, Berlin, New York: Springer-Verlag, p. 13, doi:10.1007/BFb0067712, ISBN 978-3-540-08948-3, MR 0513828
James, Gordon; Kerber, Adalbert (1981), The representation theory of the symmetric group, Encyclopedia of Mathematics and its Applications, 16, Addison-Wesley Publishing Co., Reading, Mass., ISBN 978-0-201-13515-2, MR 0644144
Specht, W. (1935), "Die irreduziblen Darstellungen der symmetrischen Gruppe", Mathematische Zeitschrift, 39 (1): 696–711, doi:10.1007/BF01201387, ISSN 0025-5874

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Wiltshire-Gordon, John D.; Woo, Alexander; Zajaczkowska, Magdalena (2017). "Specht Polytopes and Specht Matroids". arXiv:1701.05277 [math.CO].