Polynôme symétrique

Modèle:Ébauche Modèle:Confusion En mathématiques, un polynôme symétrique est un polynôme en plusieurs indéterminées, invariant par permutation de ses indéterminées. Ils jouent notamment un rôle dans les relations entre coefficients et racines.

Définition

Soit A un anneau commutatif unitaire. Un polynôme Q(TModèle:Ind, …, TModèle:Ind) en n indéterminées à coefficients dans A est dit symétrique si pour toute permutation s de l'ensemble d'indices {1, …, n}, l'égalité suivante est vérifiée :

Q (T_{1}, \dots, T_{n}) = Q (T_{s (1)}, \dots, T_{s (n)}) .

Exemples

Pour n = 1, tout polynôme est symétrique.
Pour n = 2, le polynôme TModèle:Ind + TModèle:Ind est symétrique alors que le polynôme TModèle:Ind + TModèle:Ind Modèle:2 ne l'est pas.
Pour n = 3, le polynôme (TModèle:Ind – TModèle:Ind)Modèle:2(TModèle:Ind – TModèle:Ind)Modèle:2(TModèle:Ind – TModèle:Ind)Modèle:2 est symétrique ;
Une classe importante de polynômes symétriques est constituée par les sommes de Newton, définies par pModèle:Ind(T₁, …, T_n) = $Σ_{i = 1}^{n}$ TModèle:Ind Modèle:Exp.

Polynômes symétriques élémentaires

Les polynômes symétriques forment une sous-A-algèbre associative unitaire de A[T₁, …, T_n]. Une famille génératrice est donnée par les polynômes symétriques élémentaires comme on verra ci-après.

Définition

Pour 0 ≤ k ≤ n, le k-ième polynôme symétrique élémentaire en n variables, σModèle:Ind(TModèle:Ind, …, TModèle:Ind), que nous noterons plus simplement σModèle:Ind(TModèle:Ind, …, TModèle:Ind) est la somme de tous les produits de k d'entre ces variables, c'est-à-dire, en notant $𝒫_{k} ({1, \dots, n})$ l'ensemble des combinaisons de k nombres pris dans l'ensemble {1, 2, …, n} :

σ_{k} (T_{1}, \dots, T_{n}) = \sum_{I \in 𝒫_{k} ({1, \dots, n})} \prod_{i \in I} T_{i} = \sum_{1 \leq i_{1} < i_{2} < \dots < i_{k} \leq n} T_{i_{1}} T_{i_{2}} \dots T_{i_{k}} .

Ce polynôme est bien symétrique, puisqu'une permutation du groupe symétrique SModèle:Ind envoie bijectivement une telle combinaison sur une autre.

Exemples

$σ_{0} (T_{1}, \dots, T_{n}) = 1$ ;
$σ_{n} (T_{1}, \dots, T_{n}) = T_{1} \dots T_{n}$ ;
$σ_{k} (T_{1}, \dots, T_{n}) = 0$ si $k > n$ ;
$σ_{1} (T_{1}, \dots, T_{n}) = T_{1} + \dots + T_{n} = \sum_{1 \leq i \leq n} T_{i}$ ;
σ2(T1,…,Tn)=∑1≤i<j≤nTiTj,
- Cas n = 3 : $σ_{2} (T_{1}, T_{2}, T_{3}) = T_{1} T_{2} + T_{1} T_{3} + T_{2} T_{3}$ ,
- Cas n = 4 : $σ_{2} (T_{1}, T_{2}, T_{3}, T_{4}) = T_{1} T_{2} + T_{1} T_{3} + T_{1} T_{4} + T_{2} T_{3} + T_{2} T_{4} + T_{3} T_{4}$ ;
σ3(T1,…,Tn)=∑1≤i<j<l≤nTiTjTl,
- Cas n = 4 : $σ_{3} (T_{1}, T_{2}, T_{3}, T_{4}) = T_{1} T_{2} T_{3} + T_{1} T_{2} T_{4} + T_{1} T_{3} T_{4} + T_{2} T_{3} T_{4}$ .

Une définition équivalente des polynômes symétriques élémentaires est :

\prod_{i = 1}^{n} (X + T_{i}) = \sum_{k = 0}^{n} σ_{k} (T_{1}, \dots, T_{n}) X^{n - k} .

Exemples

n = 1 : $X + T = X + \underset{σ_{1} (T)}{\underset{⏟}{T}}$ ;
n = 2 : $(X + T_{1}) (X + T_{2}) = X^{2} + \underset{σ_{1} (T_{1}, T_{2})}{\underset{⏟}{(T_{1} + T_{2})}} X + \underset{σ_{2} (T_{1}, T_{2})}{\underset{⏟}{T_{1} T_{2}}}$ ;
n = 3 : $(X + T_{1}) (X + T_{2}) (X + T_{3}) = X^{3} + \underset{σ_{1} (T_{1}, T_{2}, T_{3})}{\underset{⏟}{(T_{1} + T_{2} + T_{3})}} X^{2} + \underset{σ_{2} (T_{1}, T_{2}, T_{3})}{\underset{⏟}{(T_{1} T_{2} + T_{1} T_{3} + T_{2} T_{3})}} X + \underset{σ_{3} (T_{1}, T_{2}, T_{3})}{\underset{⏟}{T_{1} T_{2} T_{3}}}$ .

D'après cette définition, si un polynôme unitaire R(X) de degré n en une indéterminée admet une factorisation

R (X) = X^{n} + \sum_{k = 1}^{n} a_{k} X^{n - k} = \prod_{i = 1}^{n} (X - z_{i})

en facteurs de degré 1, alors les coefficients du polynôme R sont donnés comme fonctions symétriques des racines z_i, c'est-à-dire :

a_{k} = (- 1)^{k} σ_{k} (z_{1}, \dots, z_{n}) .

Théorème

Pour tout polynôme symétrique Q(T₁, …, T_n) à coefficients dans A, il existe un unique polynôme P en n indéterminées à coefficients dans A tel que

Q (T_{1}, \dots, T_{n}) = P (σ_{1} (T_{1}, \dots, T_{n}), \dots, σ_{n} (T_{1}, \dots, T_{n})) .

Plus formellement : le morphisme d'algèbres

A [X_{1}, \dots, X_{n}] \to A [T_{1}, \dots, T_{n}]

P (X_{1}, \dots, X_{n}) \mapsto P (σ_{1} (T_{1}, \dots, T_{n}), \dots, σ_{n} (T_{1}, \dots, T_{n}))

est injectif, et a pour image la sous-algèbre des polynômes symétriques.

Ou encore : les polynômes symétriques élémentaires d'indices > 0 engendrent la sous-algèbre unifère des polynômes symétriques, et sont algébriquement indépendants sur A. Ce résultat est parfois appelé le théorème fondamental des polynômes symétriques.

Un autre système de générateurs célèbre, lié au précédent, est constitué des sommes de Newton si A contient le corps des nombres rationnels.

Référence

Modèle:Lang1, chapitre V, § 9

Article connexe

Modèle:Lien

Modèle:Portail

Polynôme symétrique

Sommaire

Définition

Polynômes symétriques élémentaires

Définition

Théorème

Référence

Article connexe

Menu de navigation

Polynôme symétrique

Définition

Polynômes symétriques élémentaires

Définition

Théorème

Référence

Article connexe

Menu de navigation

Rechercher