Ring of symmetric functions: Difference between revisions

Revision as of 11:42, 6 October 2016

Revision as of 21:23, 6 October 2016

Line 58:

* The '''monomial symmetric functions''' ''m''_α. Suppose α = (α₁,α₂,…) is a sequence of non-negative integers, only finitely many of which are non-zero. Then we can consider the [[monomial]] defined by α: ''X''^α=''X''₁^α₁''X''₂^α₂''X''₃^α₃…. Then ''m''_α is the symmetric function determined by ''X''^α, i.e. the sum of all monomials obtained from ''X''^α by symmetry. For a formal definition, define β~α to mean that the sequence β is a permutation of the sequence α and set

::<math>m_\alpha=\sum\nolimits_{\beta\sim\alpha}X^\beta.</math>

:This symmetric function corresponds to the [[monomial symmetric polynomial]] ''m''_&alpha;(''X''₁,&hellip;,''X''_''n'') for any ''n'' large enough to have the monomial ''X''^&alpha;. The distinct monomial symmetric functions are parametrized by the [[integer partition]]s (each ''m''_&alpha; has a unique representative monomial ''X''^&lambda; with the parts </sup>&lambda;_''i'' in weakly decreasing order). Since any symmetric function containing any of the monomials of some ''m''_&alpha; must contain all of them with the same coefficient, each symmetric function can be written as an ''R''-linear combination of monomial symmetric functions, and the distinct monomial symmetric functions therefore form a basis of &Lambda;_''R'' as ''R''-[[module (mathematics)|module]].

* The '''elementary symmetric functions''' ''e''_''k'', for any natural number ''k''; one has ''e''_''k''&nbsp;=&nbsp;''m''_&alpha; where <math>X^\alpha=\Pi_{i=1}^kX_i</math>. As a power series, this is the sum of all distinct products of ''k'' distinct indeterminates. This symmetric function corresponds to the [[elementary symmetric polynomial]] ''e''_''k''(''X''₁,&hellip;,''X''_''n'') for any ''n''&nbsp;&ge;&nbsp;''k''.

* The '''power sum symmetric functions''' ''p''_''k'', for any positive integer ''k''; one has ''p''_''k''&nbsp;=&nbsp;''m''_(''k''), the monomial symmetric function for the monomial ''X''₁^''k''. This symmetric function corresponds to the [[power sum symmetric polynomial]] ''p''_''k''(''X''₁,&hellip;,''X''_''n'')&nbsp;=&nbsp;''X''₁^''k''+&hellip;+''X''_''n''^''k'' for any ''n''&nbsp;&ge;&nbsp;1.