Lema de Seidenberg para computar geradores de um radical

Abstract

O objetivo deste trabalho e computar, em alguns casos espec cos, os geradores do radical de um ideal no anel de polinômios K[x1, ..., xn]. Para isso, utilizamos a teoria das bases de Groebner. Primeiramente, usamos o Lema de Seidenberg para computar os geradores do radical de um ideal zero-dimensional onde K e um corpo perfeito e depois utilizamos os resultados de R. Matsumoto para um corpo K de caracter stica positiva e perfeito.

The goal of this work is to compute in some speci c cases the generators of the radical ideal in a polynomial ring K[x1, ..., xn]. For this, we use the theory of Groebner bases. First, we use Lemma Seidenberg to compute the generators of the radical of an zero-dimensional ideal, where K is a perfect eld and then we used the results of R. Matsumoto for a eld K of positive characteristic and perfect.