Jump to content

Specht module: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
BG19bot (talk | contribs)
m WP:CHECKWIKI error fix for #03. Missing Reflist. Do general fixes if a problem exists. -
Citation bot (talk | contribs)
m Alter: template type, authorlink. Add: year, class, title, eprint, author pars. 1-3. Removed URL that duplicated unique identifier. Converted bare reference to cite template. | You can use this bot yourself. Report bugs here.| Activated by User:Headbomb
Line 14: Line 14:
The Specht module has a basis of elements ''E''<sub>''T''</sub> for ''T'' a [[standard Young tableau]].
The Specht module has a basis of elements ''E''<sub>''T''</sub> 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".<ref>https://arxiv.org/abs/1701.05277</ref>
A gentle introduction to the construction of the Specht module may be found in Section 1 of "Specht Polytopes and Specht Matroids".<ref>{{Cite arXiv |eprint = 1701.05277|last1 = Wiltshire-Gordon|first1 = John D.|title = Specht Polytopes and Specht Matroids|last2 = Woo|first2 = Alexander|last3 = Zajaczkowska|first3 = Magdalena|class = math.CO|year = 2017}}</ref>


==Structure==
==Structure==
Line 27: Line 27:
*{{Citation | last1=James | first1=G. D. | chapter=Chapter 4: Specht modules|title=The representation theory of the symmetric groups | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics | isbn=978-3-540-08948-3 |mr=513828 | year=1978 | volume=682|doi=10.1007/BFb0067712 | pages=13}}
*{{Citation | last1=James | first1=G. D. | chapter=Chapter 4: Specht modules|title=The representation theory of the symmetric groups | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics | isbn=978-3-540-08948-3 |mr=513828 | year=1978 | volume=682|doi=10.1007/BFb0067712 | pages=13}}
*{{Citation | last1=James | first1=Gordon | last2=Kerber | first2=Adalbert | title=The representation theory of the symmetric group | url=http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521104128 | publisher=Addison-Wesley Publishing Co., Reading, Mass. | series=Encyclopedia of Mathematics and its Applications | isbn=978-0-201-13515-2 |mr=644144 | year=1981 | volume=16}}
*{{Citation | last1=James | first1=Gordon | last2=Kerber | first2=Adalbert | title=The representation theory of the symmetric group | url=http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521104128 | publisher=Addison-Wesley Publishing Co., Reading, Mass. | series=Encyclopedia of Mathematics and its Applications | isbn=978-0-201-13515-2 |mr=644144 | year=1981 | volume=16}}
*{{Citation | authorlink=Wilhelm Specht | last1=Specht | first1=W. | title=Die irreduziblen Darstellungen der symmetrischen Gruppe | doi=10.1007/BF01201387 | year=1935 | journal=[[Mathematische Zeitschrift]] | issn=0025-5874 | volume=39 | issue=1 | pages=696–711}}
*{{Citation | authorlink=Wilhelm Specht | last1=Specht | first1=W. | title=Die irreduziblen Darstellungen der symmetrischen Gruppe | doi=10.1007/BF01201387 | year=1935 | journal=[[Mathematische Zeitschrift]] | issn=0025-5874 | volume=39 | issue=1 | pages=696–711}}


[[Category:Representation theory of finite groups]]
[[Category:Representation theory of finite groups]]

Revision as of 22:03, 2 July 2019

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 the equivalence class of a tableau . 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

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

The Specht module has a basis of elements ET 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.

References

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