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.