Calcul et factorisation interactive de resolvantes de lagrange en theorie de galois effective

par FREDERIC LEHOBEY

Thèse de doctorat en Mathématiques et application

Sous la direction de Marie-Françoise Coste-Roy.

Soutenue en 1999

à Rennes 1 .

    mots clés mots clés


  • Résumé

    La theorie de galois effective cherche a determiner, a conjugaison pres, le groupe de galois d'un polynome f. Cette recherche peut se faire a partir de la factorisation de polynomes deduits du polynome f, les resolvantes de lagrange, qui ont meme corps des coefficients que le polynome f. Les degres des facteurs de resolvantes bien choisies (ainsi que les proprietes des groupes de galois de ces facteurs) permettent de toujours determiner le groupe de galois du polynome f parmi les groupes possibles (ils sont connus par une classification des sous-groupes du groupe symetrique qui, a ce jour, a ete effectuee jusqu'a l'ordre 15). Le calcul efficace de resolvantes de lagrange interessantes et la factorisation de ces resolvantes constituent les points clefs de la recherche du groupe de galois par les resolvantes. Les methodes de calcul de resolvantes de lagrange par l'elimination (le resultant), engendrent des facteurs et des puissances parasites. La theorie des groupes fournit des informations sur les degres possibles (qui ne sont donc pas quelconques) des facteurs des resolvantes. Notre travail ameliore deux methodes de calcul symbolique des resolvantes basees sur le resultant qui suppriment facteurs et puissances parasites. Nous montrons aussi comment adapter les algorithmes de la factorisation des polynomes pour utiliser les informations connues a priori sur les resolvantes. La factorisation etant pour nous un moyen et non un but, nous introduisons le concept de factorisation interactive pour rendre immediatement accessibles les nouvelles informations sur la factorisation des resolvantes trouvees au cours du processus de factorisation. Ce concept n'est pas specifique a la factorisation de resolvantes en theorie de galois effective. Il peut etre utilise pour toute factorisation de polynomes lorsque l'information cherchee ne demande pas forcement une factorisation complete.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 188 p.
  • Annexes : 114 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1999/82
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.