LIP6 1998/004

• Rapports de recherche
  Calcul de polynômes caractéristiques associés à certains anneaux quotients
• Ph. Aubry, A. Valibouze
• 18 pages - 11/02/1998- document en - http://www.lip6.fr/lip6/reports/1998/lip6.1998.004.ps.gz - 84 Ko
• Contact : Philippe.Aubry (at) nulllip6.fr, Annick.Valibouze (at) nulllip6.fr
• Ancien Thème : CALFOR
Soit $k$ un corps parfait. Ce papier présente un algorithme efficace pour calculer le polynôme caractéristique d'endomorphismes d'anneaux quotients définis à partir de l'anneau polynomial $k[x_1,ldots ,x_n]$ par un idéal engendé par un ensemble triangulaire de polynômes. Nous établissons que certains idéaux qui interviennent en théorie de Galois constructive satisfont la condition ci-dessus. Ces résultats sont exploités pour calculer efficacement les résolvantes relatives qui sont un outil fondamental en théorie de Galois constructive.
• Mots clés : calcul formel, ensemble triangulaire, résolvante, théorie de Galois, polynôme caractéristique
• Directeur de la publication : Annick.Valibouze (at) nulllip6.fr