Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Alternating polynomial
Résumé
In algebra, an alternating polynomial is a polynomial such that if one switches any two of the variables, the polynomial changes sign:
Equivalently, if one permutes the variables, the polynomial changes in value by the sign of the permutation:
More generally, a polynomial is said to be alternating in if it changes sign if one switches any two of the , leaving the fixed.
Products of symmetric and alternating polynomials (in the same variables ) behave thus:
the product of two symmetric polynomials is symmetric,
the product of a symmetric polynomial and an alternating polynomial is alternating, and
the product of two alternating polynomials is symmetric.
This is exactly the addition table for parity, with "symmetric" corresponding to "even" and "alternating" corresponding to "odd". Thus, the direct sum of the spaces of symmetric and alternating polynomials forms a superalgebra (a -graded algebra), where the symmetric polynomials are the even part, and the alternating polynomials are the odd part.
This grading is unrelated to the grading of polynomials by degree.
In particular, alternating polynomials form a module over the algebra of symmetric polynomials (the odd part of a superalgebra is a module over the even part); in fact it is a free module of rank 1, with the Vandermonde polynomial in n variables as generator.
If the characteristic of the coefficient ring is 2, there is no difference between the two concepts: the alternating polynomials are precisely the symmetric polynomials.
Vandermonde polynomial
The basic alternating polynomial is the Vandermonde polynomial:
This is clearly alternating, as switching two variables changes the sign of one term and does not change the others.
The alternating polynomials are exactly the Vandermonde polynomial times a symmetric polynomial: where is symmetric.
This is because:
is a factor of every alternating polynomial: is a factor of every alternating polynomial, as if , the polynomial is zero (since switching them does not change the polynomial, we get
so is a factor), and thus is a factor.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.