Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am interested in finding a generating set of the radical of an ideal given a set of generators for the ideal itself, but after a lot of thought I cannot figure out a good way to do it. Specifically:

Let $k$ be an algebraically closed field, and $I \subset k[x_1, ..., x_n]$ an ideal. If $I = (f_1, ..., f_m)$, is there any good way to find a set of generators for $\text{rad}(I)$?

Edit: Lets assume that $f_1, ..., f_m$ form a grobner basis for $I$. Given any set of generators for an ideal in $k[x_1,..., x_n]$ it is always possible to find a grobner basis, so this assumption is without loss of generality.

share|improve this question
add comment

2 Answers 2

up vote 1 down vote accepted

There are algorithms that find the generators for the radical of an ideal, e.g.: Gianni, P.; Trager, B.; Zacharias, G.: Gröbner Bases and. Primary Decomposition of Polynomial Ideals. J. Symb. Comp. 6, 149–167 (1988).

Note though that these methods are non-trivial; as far as I know, there is no simple characterization of the generators of a radical ideal. The construction by acoustician only gives a subset of a generating set.

share|improve this answer
add comment

If each $f_i$ is a product of powers of irreducibles, I think the generator for rad$(f_i)$ will be the product of the irreducibles for $f_i$ raised only to the first power. Do this for each $f_i$ and you have a generating set for rad$(I)$.

share|improve this answer
    
I see what you're saying, that sounds like a good idea. Do you know of any good way to factor the $f_i$ into irreducibles? –  Eric Haengel May 17 '12 at 2:18
    
That's always tough... I don't know a straightforward method for an arbitrary polynomial, especially in multiple variables. Eisenstein's criterion can be very helpful in some cases for determining if a given factor is irreducible. –  Connor May 17 '12 at 2:24
6  
I think acoustician's method is wrong. Consider $I = (x + y^2, x + 2 y^2)$, its generators are irreducible, but $I$ is not radical: $y \notin I$ and $y^2 \in I$. However acoustician's method works for monomial ideals. –  Andrea May 18 '12 at 7:56
1  
You're definitely right, Andrea. Can you think of a description for non-monomial ideals? I'm stumped. –  Connor May 19 '12 at 1:03
    
@Andrea: Right, that is an important example, but I think the problem is that while $x+y^2$ and $x+2y^2$ generate $I$, they are not a grobner basis. Instead we can write $I = <x, y^2>$, where $x$ and $y^2$ do form a grobner basis, and it is true that $\text{rad}(I) = <x, y>$ is generated by the square-free part of each generator. So, I think what acoustician was saying works if we start with a grobner basis for $I$. –  Eric Haengel May 24 '12 at 17:14
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.