Über Spurfunktionen bei vollständigen Durchschnitten.
Dado un polinomio f perteneciente a K[x], determinar si existen otros dos g y h de grado mayor que uno tales que f(x) = g(h(x)) = g o h, y, en caso de que existan, encontrarlos, es conocido como problema de descomposición para polinomios. Cuando dicha descomposición existe, problemas como la evaluación de f en un punto o la resolución de la ecuación f = 0 se pueden resolver de manera más simple. La generalización del problema de la descomposición al caso de funciones racionales es sin duda un problema...
Let be the ring of integer valued polynomials over . This ring is known to be a Prüfer domain. But it seems there does not exist an algorithm for inverting a nonzero finitely generated ideal of . In this note we show how to obtain such an algorithm by deciphering a classical abstract proof that uses localisations of at all prime ideals of . This confirms a general program of deciphering abstract classical proofs in order to obtain algorithmic proofs.
Soit le localisé de l’anneau des polynômes à trois variables sur le corps de caractéristique nulle. Nous construisons une valuation divisorielle de , nous calculons un système minimal de générateurs de la -algèbre associée à la filtration -adique. Ce système est infini : n’est pas noethérien.
À l’aide du Nullstellensatz effectif, on trouve des bornes inférieure et supérieure explicites des valeurs critiques non nulles d’un polynôme, en termes des coefficients de celui-ci.