Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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: One may assume that $f_1, ..., f_m$ form a Gröbner basis for $I$. (Given any set of generators for an ideal in $k[x_1,..., x_n]$ it is always possible to find a Gröbner basis, so this assumption is without loss of generality.)

share|cite|improve this question
up vote 2 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 Connor only gives a subset of a generating set.

share|cite|improve this answer
I won't say "a subset of a generating set", and my example under his answer shows why. – user26857 Dec 15 '15 at 11:05

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|cite|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
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
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

one way to solve the problem ( of finding generating set for radical ideal ,having the generator set of ideal ) is either to reduce it into principal ideal (by means of finding its reduced groebner basis) or factorizing it into power monomials). Then for example: if having I=< xy, x^2+xy> , applying the routine leads to G={xy} as the reduced groebner basis for I. (x^2+xy is eliminated since it's monomial xy € LT (xy) ) Now we use the theorem that says : Radical(f)= f/ GCD(f,df/d x1,d x2,...) So: Radical(I)=xy/y=x considering Lex ordering x>y Thus Radical(xy,x^2+xy)=x

share|cite|improve this answer
Please take a minute to learn a bit of TeX. If you're familiar with it, please use it. Regards, – Pedro Tamaroff Jan 31 '15 at 13:55

Your Answer


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.