MathOverflow is a question and answer site for professional mathematicians. 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

M -> ann(x)

i can find the grobner basis of kernel of ann(x) and need the final step to recover this basis to ideal

as i know, eliminate is not for all cases, what is the general practice to treat this case? i do not have a real example of this. Hope an example.

which book teach this to convert basis back to ideals, if have maple code will be more understandable

share|cite|improve this question
Crossposted:… – Qiaochu Yuan Apr 21 '13 at 9:46

Okay, I just assume that your notation is meanful as in common com. algebra.

An easy ref. may be founded in J.B. Fraleigh's First course in Abstract Algebra. Sec 28(I do not remeber the number for sure) And as for algebraic geometry, I really know nothing.

A thorough ref. is W.W. Adams and Loustaunnau's An Introduction to Grobner Bases, personal favorite.

About Elimination method, I remember there is a section about it in Waerden's moder algebra...I don't know what is a general method, maybe you can search for some papers.

share|cite|improve this answer

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.