Polynôme symétrique

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.

Sommaire

1 Définition
2 Polynômes symétriques élémentaires
- 2.1 Définition
- 2.2 Théorème
3 Référence

Définition

Soit A un anneau commutatif unifère. Un polynôme Q(T₁,...,T_n) 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)}).$

Pour n = 1, tout polynôme est symétrique. Pour n = 2, le polynôme T₁+T₂ est symétrique alors que le polynôme T₁+T₂² ne l'est pas.

Polynômes symétriques élémentaires

Les polynômes symétriques forment une sous-A-algèbre associative unifère 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 1 ≤ k ≤ n, le k^e polynôme symétrique élémentaire σ_k(T₁, ...,T_n) est défini par :

$\prod_{i=1}^n (X-T_i)=X^n+\sum_{k=1}^n(-1)^k\sigma_k(T_1,\dots,T_n)X^{n-k}.$

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_kX^{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\sigma_k(z_1,\dots,z_n).$

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

$\sigma_k(T_1, \cdots, T_n)=\sum_{1\le i_1<i_2<\cdots <i_k\le n}T_{i_1}\times T_{i_2}\times \cdots \times T_{i_k}.$

Ou plus formellement, en désignant par $S k$ l'ensemble des applications strictement croissantes de l'ensemble {1,2,...,k} dans l'ensemble {1,2,...,n} :

$\sigma_k(T_1, \cdots, T_n)=\sum_{s\in S_k}\prod_{i=1}^kT_{s(i)}.$

En particulier,

$\sigma_1(T_1,\dots,T_n)=T_1+\dots+T_n$

$\sigma_n(T_1,\dots,T_n)=T_1\times\dots\times T_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,\ldots,T_n)=P(\sigma_1(T_1,\ldots,T_n),\ldots,\sigma_n(T_1,\ldots,T_n)).$

Plus formellement : le morphisme d'algèbres

$A[X_1,\ldots,X_n]\to A[T_1,\ldots,T_n]$

$P(X_1,\ldots,X_n)\mapsto P(\sigma_1(T_1,\ldots,T_n),\ldots,\sigma_n(T_1,\ldots,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 engendrent la sous-algèbre unifère des polynômes symétriques, et sont algébriquement indépendants sur A.

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

Serge Lang, Algèbre [détail des éditions], chapitre V, § 9

Portail des mathématiques

Catégories :

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Polynôme symétrique de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

Polynôme symétrique élémentaire — Polynôme symétrique 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… … Wikipédia en Français
Polynôme en plusieurs indéterminées — En algèbre, un polynôme en plusieurs indéterminées à coefficients dans un anneau A commutatif unitaire (et souvent intègre) est un élément d une structure d algèbre, qui est une extension de l algèbre des polynômes en une indéterminée. Il existe… … Wikipédia en Français
Polynôme caractéristique — En algèbre linéaire, à toute matrice carrée à coefficients dans un anneau commutatif ou à tout endomorphisme d un espace vectoriel de dimension finie est associé un polynôme appelé polynôme caractéristique. Il renferme d importantes informations… … Wikipédia en Français
Polynome homogene — Polynôme homogène En mathématiques, un polynôme homogène est un polynôme dont les termes sont des monômes dont le degré est le même, ou bien ses éléments ont la même dimension. Sommaire 1 Exemples 2 Formes 2.1 Quadratique … Wikipédia en Français
Fonction Symétrique — Polynôme symétrique 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… … Wikipédia en Français
Fonction symetrique — Polynôme symétrique 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… … Wikipédia en Français
Fonction symétrique — Polynôme symétrique 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… … Wikipédia en Français
Polynôme formel — En algèbre, le terme de polynôme formel, ou simplement polynôme, est le nom générique donné aux éléments d une structure construite à partir d un ensemble de nombres. On considère un ensemble A de nombres, qui peut être celui des entiers ou des… … Wikipédia en Français
Polynôme d'Alexander — En mathématiques, et plus précisément en théorie des nœuds, le polynôme d Alexander est un invariant de nœuds qui associe un polynôme à coefficients entiers à chaque type de nœud. C est le premier polynôme de nœud (en) découvert ; il l… … Wikipédia en Français
Symétrique — Symétrie Vue de dalles hexagonales toutes symétriques. De manière générale le terme symétrie renvoie à l existence, dans une figure quelconque, d une opération géométrique qui ne modifie pas cette figure. On peut faire correspondre à chaque point … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Polynôme symétrique

Sommaire

Définition