|
|
| Line 1: |
Line 1: |
| In mathematics, a '''Specht module''' is one of the representations of [[symmetric group]]s studied by {{harvs|txt|authorlink=Wilhelm Specht|first=Wilhelm|last=Specht|year=1935}}.
| | Golda is what's written on my beginning certificate even though it is not the name on my birth certificate. For many years she's been operating as a journey agent. My spouse and I reside in Kentucky. I am truly fond of handwriting but I can't make it my occupation truly.<br><br>Here is my web page; online psychics [[http://srncomm.com/blog/2014/08/25/relieve-that-stress-find-a-new-hobby/ srncomm.com]] |
| They are indexed by partitions, and in characteristic 0 the Specht modules of partitions of ''n'' form a complete set of [[irreducible representation]]s of the symmetric group on ''n'' points.
| |
| | |
| ==Definition==
| |
| Fix a partition λ of ''n''.
| |
| A '''tabloid''' is an equivalence class of labelings of the [[Young diagram]] of shape λ, where two labelings are equivalent if one is obtained from the other by permuting the entries of each row. The symmetric group on ''n'' points acts on the set of tabloids, and therefore on the module ''V'' with the tabloids as basis. For each [[Young tableau]] ''T'' of shape λ, form the element
| |
| :<math>E_T=\sum_{\sigma\in Q_T}\epsilon(\sigma)\sigma(T)</math>
| |
| where ''Q''<sub>''T''</sub> is the subgroup fixing all columns of ''T'', and ε is the sign of a permutation.
| |
| The elements ''E''<sub>''T''</sub> can be considered as elements of the module ''V'', by mapping each tableau to the tabloid it generates. The Specht module of the partition λ is the module generated by the elements ''E''<sub>''T''</sub> as ''T'' runs through all tableaux of shape λ.
| |
| | |
| The Specht module has a basis of elements ''E''<sub>''T''</sub> for ''T'' a [[standard Young tableau]].
| |
| | |
| ==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==
| |
| *{{eom|id=s/s120200|first=Henning Haahr |last=Andersen}}
| |
| *{{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 | id={{MathSciNet | id = 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 | id={{MathSciNet | id = 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}}
| |
| [[Category:Representation theory of finite groups]]
| |
Golda is what's written on my beginning certificate even though it is not the name on my birth certificate. For many years she's been operating as a journey agent. My spouse and I reside in Kentucky. I am truly fond of handwriting but I can't make it my occupation truly.
Here is my web page; online psychics [srncomm.com]