Computing the Radical of an Ideal in Positive Characteristic

摘要

We propose a method for computing the radical of an arbitrary ideal in the polynomial ring in n variables over a perfect field of characteristic P > 0. In our method Buchberger' s algorithm is performed once in n variables and a Crobner basis conversion algorithm is performed at most [n log_p d] times in 2n variables, where d is the maximum of total degrees of generators of the ideal and 3.