Théorème fondamental des fonctions symétriques

De testwiki
Aller à la navigation Aller à la recherche

Modèle:Voir homonymes En mathématiques, et plus particulièrement en algèbre commutative, le théorème fondamental des fonctions symétriques, souvent appelé « théorème fondamental des polynômes symétriques » ou « théorème de Newton », stipule que tout polynôme symétrique en n indéterminées à coefficients dans un anneau (commutatif) A s'exprime de façon unique par une fonction polynomiale des n polynômes symétriques élémentaires. Autrement dit, les n polynômes symétriques élémentaires forment une partie génératrice de l'algèbre des polynômes symétriques en n indéterminées sur A et sont algébriquement indépendants sur A.

Définitions et remarques préliminaires

Modèle:Voir

  • Soit A un anneau, et B = Modèle:Nobr l'algèbre des polynômes en n indéterminées à coefficients dans A. On dénote par SModèle:Ind le groupe des [[Groupe symétrique|permutations de Modèle:Nobr]]. Si Modèle:Nobr est un élément de B, et σ un élément de SModèle:Ind, on note PModèle:Exp le polynôme Modèle:Nobr Un polynôme de B est dit symétrique s'il est invariant sous l'action de SModèle:Ind, c'est-à-dire s'il reste identique à lui-même lorsqu'on permute entre elles de n'importe quelle façon les variables qui le composent.
  • Cette action de SModèle:Ind sur B respecte la structure de A-algèbre de B (lemme 2, section « Démonstrations du théorème »), si bien que les polynômes symétriques forment une sous-algèbre. En d'autres termes, la somme et le produit de polynômes symétriques, et le produit d'un polynôme symétrique par un élément de A, sont symétriques.
  • De même, si K est un corps, une fraction rationnelle à n variables est dite symétrique si elle est invariante sous l'action du groupe SModèle:Ind (celle-ci étant définie comme pour les polynômes), et les fractions rationnelles symétriques forment un sous-corps du corps des fractions rationnelles en n indéterminées sur K.
  • Les polynômes symétriques élémentaires sModèle:Ind, pour n et k entiers naturels, sont les polynômes symétriques en n indéterminées définis par
    sn,k(X1,…,Xn)=∑1≤j1<j2<…<jk≤nXj1⋯Xjk,
    ou encore par
    (X−X1)(X−X2)⋯(X−Xn)=∑k∈ℕ(−1)kXn−ksn,k(X1,…,Xn).
    On ne s'intéresse qu'aux sModèle:Ind pour 1 ≤ k ≤ n, car sModèle:Ind est nul si k > n, et est constant (égal à 1) si k = 0.

Le théorème fondamental des fonctions symétriques

Modèle:Énoncé

Le corollaire suivant justifie l'appellation usuelle du théorème :

Modèle:Énoncé

En effet, toute fraction rationnelle symétrique est un quotient de deux polynômes symétriques.

Remarque
L'unicité de la représentation est équivalente au fait qu'il n'existe pas de polynôme T non nul vérifiant Modèle:Nobr Si l'anneau A est un corps, cela signifie, dans le langage de la théorie des corps, que les polynômes symétriques élémentaires sont algébriquement indépendants. Ils forment donc une base de transcendance des fractions rationnelles symétriques en n indéterminées sur K.

Démonstrations du théorème

Il existe beaucoup de démonstrations du théorème des fonctions symétriques[1]. Les plus courtes se servent de l'ordre lexicographique sur les monômes unitaires, puis d'une astuce pour abaisser le « degré lexicographique » d'un polynôme symétrique, ce qui fournit l'étape nécessaire à une démonstration par induction sur ce bon ordre. L'idée de cet algorithme remonte à Edward Waring en 1700[2]Modèle:,[3]Modèle:,[4]Modèle:,[5]. La démonstration a été formalisée par Gauss en 1815[6] et Modèle:Citation[7].

Modèle:Démonstration/début L'ensemble des multi-degrés (αModèle:Ind, …, αModèle:Ind) des monômes unitaires Modèle:Nobr est égal à NModèle:Exp, qu'on peut ordonner par l'ordre lexicographique : par définition,

XModèle:IndModèle:Exp…XModèle:IndModèle:Exp > XModèle:IndModèle:Exp…XModèle:IndModèle:Exp

si, arrivé au premier i tel que Modèle:Nobr, on a Modèle:Nobr

Existence
Soient P un polynôme symétrique non nul et Modèle:Nobr son monôme unitaire maximum. Supposons inductivement que tout polynôme symétrique non nul de monôme unitaire maximum strictement inférieur à celui de P soit exprimable en fonction polynomiale des polynômes symétriques élémentaires, et montrons qu'il en est de même pour P.
Puisque P est symétrique, il contient, affectés d'un même coefficient non nul a ∈ A, tous les monômes obtenus en permutant les exposants dans le monôme Modèle:Nobr. Par maximalité de ce dernier, on a donc Modèle:Nobr
Posons tModèle:Ind = Modèle:Nobr pour 1 ≤ i < n, et tModèle:Ind = αModèle:Ind. Les tModèle:Ind sont donc tous positifs ou nuls. Considérons le polynôme symétrique
Q = a sModèle:IndModèle:Exp sModèle:IndModèle:Exp … sModèle:IndModèle:Exp.
Son monôme unitaire maximum est le même que celui de P :
XModèle:IndModèle:Exp (XModèle:IndXModèle:Ind)Modèle:Exp (XModèle:IndXModèle:IndXModèle:Ind)Modèle:Exp … (XModèle:Ind…XModèle:Ind)Modèle:Exp = XModèle:IndModèle:Exp XModèle:IndModèle:Exp … XModèle:IndModèle:Exp
donc le polynôme symétrique P – Q est nul ou a un monôme unitaire maximum strictement inférieur à celui de P. Par hypothèse d'induction, il existe donc un polynôme W tel que Modèle:Nobr. Par suite,
P = P – Q + Q = T(sModèle:Ind, …, sModèle:Ind),    où    T(SModèle:Ind, …, SModèle:Ind) = W(SModèle:Ind, …, SModèle:Ind) + a SModèle:IndModèle:Exp SModèle:IndModèle:Exp … SModèle:IndModèle:Exp.
Unicité
Soit T(SModèle:Ind, …, SModèle:Ind) un polynôme non nul. Considérons dans T le monôme a SModèle:IndModèle:Exp SModèle:IndModèle:Exp … SModèle:IndModèle:Exp pour lequel le monôme unitaire XModèle:IndModèle:Exp XModèle:IndModèle:Exp … XModèle:IndModèle:Exp est maximum pour l'ordre lexicographique ci-dessus. Alors, ce monôme unitaire est le plus grand qui apparaît (affecté du coefficient a ≠ 0) dans le polynôme P = T(sModèle:Ind, …, sModèle:Ind), donc ce polynôme P est non nul.

Modèle:Démonstration/fin

RemarqueModèle:Refsou
Cette preuve montre de plus que le degré total de T est au plus égal au maximum des degrés de P en chaque variable.

La démonstration suivante[8], à peine plus longue[9], peut sembler plus naturelle, et fournit des instruments théoriques qui préludent à la théorie de Galois.

Avec les notations précisées dans la section « Définition et remarques préliminaires », elle repose sur trois lemmes :

Modèle:Théorème

C'est un cas particulier de la propriété universelle des anneaux de polynômes.

Modèle:Théorème

Puisque A est un sous anneau de B, c'est une simple application du lemme 1, avec Modèle:Nobr = Modèle:Nobr. L'application inverse de ( )Modèle:Exp est évidemment ( )Modèle:Exp.

Modèle:Théorème

C'est encore une simple application du lemme 1, avec Modèle:Nobr = Modèle:Nobr

Modèle:Démonstration/début Pour faire jouer la récurrence, on a besoin d'affiner l'énoncé du théorème, en précisant que dans celui-ci, le polynôme T(SModèle:Ind, …, SModèle:Ind) tel que Modèle:Nobr est de « poids » inférieur ou égal au degré total de P, le « poids » d'un polynôme étant défini à partir de celui des monômes de la même façon que le degré total, mais en pondérant par les indices des indéterminées : le poids du monôme SModèle:IndModèle:Exp…SModèle:IndModèle:Exp est par définition tModèle:Ind + 2tModèle:Ind + … + ntModèle:Ind.

Le théorème (dans sa version précisée) est évident dans le cas des polynômes en 0 indéterminée et dans celui des polynômes en n indéterminées de degré total inférieur ou égal à 0 (dans les deux cas, ce sont les polynômes constants). Supposons donc le théorème vérifié inductivement pour tout polynôme en n – 1 indéterminées et pour tout polynôme en n indéterminées de degré total strictement inférieur à m (n, m ∈ N*), et considérons dans B un polynôme symétrique P, de degré total égal à m.

Soit AModèle:' = Modèle:Nobr, et φ : B → AModèle:' le morphisme de substitution (cf. lemme 1) qui fixe XModèle:Ind, …, XModèle:Ind et envoie XModèle:Ind sur 0.

Puisque φ(P) est symétrique et de degré total inférieur ou égal à m, il existe (par hypothèse de récurrence) un polynôme V(SModèle:Ind, …, SModèle:Ind) de poids inférieur ou égal à m tel que (dans AModèle:' )

φ(P) = V(sModèle:Ind, …, sModèle:Ind).

Posons (dans B)

P Modèle:' = V(sModèle:Ind, …, sModèle:Ind).

Alors, φ(P Modèle:' ) = φ(P) — puisque le morphisme φ envoie sModèle:Ind sur sModèle:Ind pour tout i < n — et le degré total de P Modèle:'  est inférieur ou égal au poids de V donc à m.

Le polynôme P Modèle:' est symétrique et vérifie Modèle:Nobr = 0, Modèle:C.-à-d. que le polynôme P – P Modèle:'  est symétrique et multiple de XModèle:Ind, donc multiple de XModèle:Ind pour tout i, et par conséquent multiple de Modèle:Nobr = sModèle:Ind (Modèle:Nobr). On peut donc écrire

P – P Modèle:' = Q sModèle:Ind,

où Q est un élément de B, symétrique et de degré total inférieur ou égal à m – n < m. L'hypothèse de récurrence implique alors qu'il existe un unique polynôme W tel que Q = Modèle:Nobr, et que ce polynôme W est de poids inférieur ou égal à m – n. Ainsi,

P = P ' + Q sModèle:Ind = T(sModèle:Ind, …, sModèle:Ind),     où     T = V + W XModèle:Ind, de poids inférieur ou égal à m,

ce qui montre l'existence de la représentation souhaitée.

Si T Modèle:'  est un autre polynôme tel que Modèle:Nobr = P, alors Modèle:Nobr, puisque la représentation par W de Modèle:Nobr est unique (hypothèse de récurrence). Donc Modèle:Nobr, et l'unicité de la représentation est assurée. Modèle:Démonstration/fin

On peut aussi utiliser la théorie de Galois pour démontrer directement la partie « existence » du corollaire du théorème, c'est-à-dire montrer que toute fraction rationnelle symétrique sur un corps K est une fonction rationnelle des polynômes symétriques élémentaires.

Modèle:Démonstration/début Considérons la suite d'extensions C ⊂ M ⊂ L, où L = K(XModèle:Ind, …, XModèle:Ind), M = LModèle:Exp (le sous-corps des fractions rationnelles symétriques) et C = K(sModèle:Ind, …, sModèle:Ind). Il s'agit de démontrer que l'inclusion de C dans M est en fait une égalité.

L'extension L/C est finie et galoisienne car L est un corps de décomposition du polynôme séparable Modèle:Nobr, dont les coefficients (–1)Modèle:ExpsModèle:Ind appartiennent à C.

Le sous-groupe Gal(L/M) est égal au groupe Gal(L/C) tout entier, car tout C-automorphisme de L fixe les coefficients de P, donc permute ses racines XModèle:Ind, …, XModèle:Ind, donc est égal à un ( )Modèle:Exp (lemme 2 étendu aux fractions), qui fixe tous les éléments de M par définition.

D'après le théorème fondamental de la théorie de Galois, on a donc : M ⊂ LModèle:Exp = LModèle:Exp = C. Modèle:Démonstration/fin

On en déduit alors la partie « existence » du théorème (tout polynôme symétrique sur A est une fonction polynomiale des polynômes symétriques élémentaires) pour A = Z puis, par généricité, pour tout anneau commutatif A.

Modèle:Démonstration/début Il s'agit de démontrer que l'anneau A[XModèle:Ind, …, XModèle:Ind]Modèle:Exp, qui est entier sur le sous-anneau A[sModèle:Ind, …, sModèle:Ind], lui est en fait égal.

  • Supposons d'abord A = Z. On sait alors (partie « existence » du corollaire) que ces deux anneaux ont même corps des fractions, puisque Q(XModèle:Ind, …, XModèle:Ind)Modèle:Exp = Q(sModèle:Ind, …, sModèle:Ind). On conclut en utilisant que le sous-anneau Modèle:Nobr est intégralement clos (car — en admettant la partie « unicité » du théorème — c'est un anneau de polynômes à coefficients dans Z).
  • Soit maintenant A un anneau commutatif quelconque. Tout élément P de A[XModèle:Ind, …, XModèle:Ind]Modèle:Exp est combinaison linéaire (à coefficients dans A) de polynômes symétriques à coefficients égaux à 1 (sommes de tous les monômes d'une [[Action de groupe (mathématiques)|orbite sous SModèle:Ind]]). Ces derniers étant eux-mêmes (d'après le premier point) combinaisons linéaires des sModèle:Ind, P l'est aussi.

Modèle:Démonstration/fin

Procédures de calcul

Avant d'appliquer toute procédure de calcul, puis éventuellement à chaque étape, il est parfois préférable, pour alléger les calculs, de séparer le polynôme symétrique P en somme de polynômes égaux aux orbites des monômes Modèle:Nobr apparaissant dans P sous l'action de SModèle:Ind. L'expression de P en termes des polynômes symétriques élémentaires sera alors la somme des expressions des polynômes orbites respectifs.

Il existe ensuite différentes méthodes pour le calcul effectif de l'expression du polynôme T apparaissant dans le théorème fondamental ci-dessus. On peut par exemple baser une procédure récursive de calcul de T sur l'une des deux démonstrations précédentes :

Exemple

On se propose d'illustrer les deux procédures précédentes en déterminant la représentation en termes des polynômes symétriques élémentaires de la troisième somme de Newton en trois variables, constituée d'une seule orbite :

P = pModèle:Ind(XModèle:Ind, XModèle:Ind, XModèle:Ind) = Modèle:Nobr.

Usage et applications du théorème fondamental des fonctions symétriques

Le but de cette section est d'illustrer, par un certain nombre d'applications et d'exemples, l'usage du théorème fondamental des fonctions symétriques. Il se trouve qu'il est principalement utilisé par l'intermédiaire d'un corollaire, qu'on invoque d'ailleurs souvent par le même nom. Ce corollaire ne fait que dire qu'une expression algébrique polynomiale à coefficients dans un anneau commutatif intègre A, mettant en jeu les racines d'un certain nombre de polynômes unitaires à coefficients dans A, et symétrique en chaque groupe de racines, appartient en fait à A. Il s'applique en particulier si A est un corps K (dans ce cas, tous les éléments algébriques sur K sont entiers sur K).

On rappelle que pour tout anneau commutatif A, un élément d'une A-algèbre est entier sur A s'il est racine d'un polynôme unitaire à coefficients dans A. Un tel élément α est racine d'une infinité de polynômes unitaires ; nous supposerons donc un tel polynôme PModèle:Ind fixé pour chaque élément entier α.

Notons que si A est intègre, les coefficients du polynôme PModèle:Ind sont (au signe près) les fonctions symétriques élémentaires des racines de PModèle:Ind, dans une clôture algébrique du corps Fr(A) des fractions de A. En effet, PModèle:Ind étant unitaire, on a

PModèle:Ind = (X – α)(X – αModèle:' )(X – α" )…

où Modèle:Nobr sont toutes les racines de PModèle:Ind, et cette expression est l'image de Modèle:Nobr par le morphisme de substitution (lemme 2 de la section précédente) qui envoie XModèle:Ind, XModèle:Ind, … sur α, αModèle:', ….

Modèle:Théorème

Modèle:Démonstration/début On raisonne par récurrence sur le nombre m de groupes de variables. Si m = 0, l'assertion est triviale. Supposons m > 0 et l'assertion vraie pour m – 1 variables et considérons le polynôme

Q(X, XModèle:', …, XModèle:Exp) := P(αModèle:Ind, …, αModèle:IndModèle:Exp, …, αModèle:Ind, …, αModèle:IndModèle:Exp, X, XModèle:', …, XModèle:Exp).

Il est symétrique et (par hypothèse de récurrence) à coefficients dans A. D'après le théorème des fonctions symétriques, il est donc égal à une expression polynomiale Modèle:Nobr à coefficients dans A des polynômes symétriques élémentaires Modèle:Nobr. Comme les Modèle:Nobr appartiennent à A (car ce sont, au signe près, les coefficients du polynôme PModèle:Ind), on en déduit que Modèle:Nobr appartient à A. Modèle:Démonstration/fin

Note
L'anneau A peut être lui-même un anneau de polynômes en un certain nombre de variables « statiques » YModèle:Ind, par opposition aux « variables actives » XModèle:IndModèle:Exp.

Applications historiques du théorème fondamental des fonctions symétriques

Jusqu'à l'avènement de la théorie de Galois, le théorème des fonctions symétriques était le seul outil qui permettait de pénétrer dans la structure des équations algébriques. Il fut utilisé par la plupart des grands algébristes tel que Newton, Lagrange, Abel, Kummer ou Galois et même plus tard, il n'est pas jusqu'à Hilbert qui n'en ait usé[10]. Le corollaire cité dans la section précédente autorise en effet une attitude active face aux problèmes ; plutôt que d'attendre que la solution s'impose d'elle même, on peut former a priori des expressions symétriques et en déduire les propriétés désirées.

Toute l'œuvre algébrique d'Abel est remplie de ces expressions « symétrisées », et c'est aussi par ce moyen que Galois a établi sa théorie, à travers le théorème de l'élément primitif[11]. De nos jours, la théorie de Galois, établie de façon indépendante, a très largement supplanté l'usage du théorème des fonctions symétriques. Néanmoins, il possède quelques avantages sur la théorie de Galois qui en font encore un instrument utile : il est d'abord insensible à la nature de l'anneau des coefficients, qui peut même ne pas être intègre. La théorie de Galois, elle, ne s'applique (classiquement) que dans les corps. Mais même dans les corps, la théorie de Galois ne s'applique que pour les extensions séparables (il est vrai que la mécanique galoisienne a été étendue au-delà des extensions de corps galoisiennes. Néanmoins, dans de nombreuses circonstances, utiliser ces théories reviendrait à écraser une mouche avec un gros pavé). C'est dans ces cas que le théorème des fonctions symétriques reprend ses droits.

Ce théorème est fréquemment utilisé comme outil en algèbre commutative moderne, comme par exemple dans la démonstration des [[Élément entier#Applications à la géométrie algébrique|théorèmes de Modèle:Citation étrangère et Modèle:Citation étrangère]] de Cohen-Modèle:Lien[12].

Exemples

Une partie des exemples suivants reprennent la démonstration de résultats bien connus. Ce genre de démonstrations ont généralement été abandonnées au profit de démonstrations plus théoriques (c'est une tendance constante des mathématiques modernes que celle de rechercher les concepts intrinsèques, plutôt que d'utiliser des arguments astucieux mais artificiels). Néanmoins, ces démonstrations « à l'ancienne » ont un certain charme, et illustrent le parti qu'on peut tirer du théorème fondamental des fonctions symétriques.

Exemple 1

Soient B une A-algèbre commutative et α, βModèle:Ind, …, βModèle:Ind ∈ B. Modèle:Énoncé Ainsi, en notant C la fermeture intégrale de A dans B, Modèle:C.-à-d. l'ensemble des éléments de B entiers sur A :

  • C est une sous-algèbre de B ;
  • si α est entier sur C alors α ∈ C.

Démonstration : On se ramène sans peine par récurrence au cas n = 1 (on peut même supposer que chaque βModèle:Ind n'est entier que sur A[βModèle:Ind, …, βModèle:Ind]).

Soient donc P ∈ A[X, Y], unitaire par rapport à X, tel que Modèle:Nobr et Q ∈ A[Y], unitaire, tel que Q(β) = 0.

Écrivons Q sous la forme Modèle:Surligner(aModèle:Ind, …, aModèle:Ind, Y) où aModèle:Ind, …, aModèle:Ind ∈ A et Modèle:Surligner est le polynôme unitaire de degré m en Y universel :

Modèle:Surligner = YModèle:Exp – SModèle:IndYModèle:Exp + … + (–1)Modèle:ExpSModèle:Ind ∈ Z[SModèle:Ind, …, SModèle:Ind, Y].

Le morphisme de substitution, de Z[SModèle:Ind, …, SModèle:Ind] dans Z[XModèle:Ind, …, XModèle:Ind], qui envoie (SModèle:Ind, …, SModèle:Ind) sur (sModèle:Ind, …, sModèle:Ind), étant injectif, on peut l'assimiler à une inclusion et considérer les SModèle:Ind comme égaux aux polynômes symétriques élémentaires en les XModèle:Ind. Via cette identification, on a :

Modèle:Surligner = (Y – XModèle:Ind)…(Y – XModèle:Ind).

Notons Modèle:Surligner ∈ A[X, SModèle:Ind, …, SModèle:Ind] le produit des P(X, XModèle:Ind), puis R ∈ A[X] le polynôme Modèle:Surligner(X, aModèle:Ind, …, aModèle:Ind), unitaire par construction.

Le produit des P(X, XModèle:Ind) – P est à la fois de la forme Modèle:Surligner Modèle:Surligner et de la forme Modèle:Surligner + P Modèle:Surligner, avec Modèle:Surligner, Modèle:Surligner ∈ A[X, Y, SModèle:Ind, …, SModèle:Ind]. Par substitution, on en déduit :

R(α) = Q(β) Modèle:Surligner(α, β, aModèle:Ind, …, aModèle:Ind) – P(α, β) Modèle:Surligner(α, β, aModèle:Ind, …, aModèle:Ind) = 0,

ce qui prouve que α est entier sur A.

Exemple 2

Modèle:Énoncé

Démonstration : Par hypothèse, L = K(βModèle:Ind, …, βModèle:Ind), où les βModèle:Ind sont les racines d'un polynôme Q ∈ K[X].

Si α ∈ L, il existe donc une fraction rationnelle f telle que α = Modèle:Nobr. Soit Π ∈ L[X] le produit de tous les monômes Modèle:Nobr, le produit s'étendant à l'ensemble des permutations σ de SModèle:Ind.

Le polynôme Π est symétrique en les βModèle:Ind, donc ses coefficients appartiennent en fait à K. Comme Modèle:Nobr = 0, le polynôme minimal P de α sur K divise Π. Mais Π est scindé sur L par construction, donc P aussi.

Exemple 3

En utilisant le théorème des fonctions symétriques dans la construction de van der Waerden d'un élément primitif, on peut facilement démontrer que toute extension L d'un corps K engendré par une famille finie d'éléments séparables sur K admet un élément primitif séparable. Par ce moyen, on obtient facilement qu'une telle extension L/K est séparable (voyez « Construction de van der Waerden », démonstration et remarque).

Exemple 4

Quel est le polynôme minimal de Modèle:Nobr ? Plus généralement, on peut se poser le problème de déterminer le polynôme minimal d'une fonction rationnelle quelconque d'éléments algébriques Modèle:Nobr sur un corps K, dont on connaît les polynômes minimaux PModèle:Ind (ou même seulement des polynômes annulateurs).

Lorsque les degrés des équations en jeu sont suffisamment petits pour permettre des calculs de tailles raisonnables, on peut envisager l'algorithme suivant, autrement beaucoup trop lourd. Il devient vite impraticable, même pour des degrés relativement faibles, mais a le mérite d'exister.

Soit Modèle:Nobr l'élément dont on recherche le polynôme minimal. On forme le polynôme Modèle:Nobr, en multipliant formellement de toutes les façons possibles les monômes Modèle:Nobr, où αModèle:'Modèle:Ind désigne un conjugué quelconque de αModèle:Ind.

Puisque l'expression formelle obtenue est symétrique en chacun des groupes de conjugués, elle est fonction des fonctions symétriques élémentaires de ces conjugués, et peut être effectivement déterminée par un algorithme de décomposition en termes des fonctions symétriques élémentaires.

En remplaçant les fonctions symétriques des conjugués de αModèle:Ind par le coefficient correspondant du polynôme minimal de αModèle:Ind (affecté du signe convenable), on obtient un polynôme de Modèle:Nobr qui s'annule nécessairement en α, et qu'on note encore Π.

Il s'agit ensuite de réduire Π en facteurs irréductibles sur K, ce qui nécessite un algorithme de factorisation.

Enfin, il faut déterminer lequel des facteurs irréductibles est le polynôme minimal de α ; dans le cas où K est un corps de nombres, cela peut se faire à l'aide d'approximations numériques des racines de Π.

Notes et références

Modèle:Références

Modèle:Portail

  1. ↑ Voir par exemple les références de Modèle:Article.
  2. ↑ Modèle:Ouvrage (problème 3, § 3).
  3. ↑ Modèle:Ouvrage.
  4. ↑ Modèle:Ouvrage.
  5. ↑ Modèle:Ouvrage.
  6. ↑ Modèle:Article (présenté le Modèle:Date-). Modèle:Lang, vol. 3, Modèle:P. : voir Modèle:P..
  7. ↑ Par exemple Modèle:Ouvrage (mentionné par Modèle:Harvsp), Modèle:Ouvrage (mentionné par Modèle:Harvsp) ou encore Modèle:Harvsp.
  8. ↑ Cette démonstration est extraite de Modèle:Ouvrage, 1965, Modèle:P..
  9. ↑ Lorsqu'on omet, comme Modèle:Harvsp, le luxe de détails (les trois lemmes).
  10. ↑ Modèle:Ouvrage (§2, th. 2).
  11. ↑ L'article « Théorème de l'élément primitif » explique en détail la démonstration de Galois de ce théorème.
  12. ↑ Modèle:Article
Récupérée de "https://fr.wiki.beta.math.wmflabs.org/w/index.php?title=Théorème_fondamental_des_fonctions_symétriques&oldid=14891"