Ask Your Question

How to compute syzygy module of an ideal in a quotient ring?

asked 2017-04-18 11:34:27 +0200

KittyL gravatar image

updated 2017-04-18 11:35:09 +0200

I am trying to compute the syzygy module of an ideal generated by two polynomials <p,q> modulo I, where I is another ideal. This means to compute a generating set [(p1,q1),...,(ps,qs)] of the module {(g,h): gp+hq is in I}. I know that in Sage, we can use singular command to compute syzygy module:

R.<x,y> = PolynomialRing(QQ, order='lex')
M = I.syzygy_module();M
[       -2        -1         1]
[       -y 2*x^2 + y         0]

But this does not work with modulo I:

R.<x,y> = PolynomialRing(QQ, order='lex')
M = I.syzygy_module();M
Ideal (-b^2, b^2) of Quotient of Multivariate Polynomial Ring in x, y over Rational Field by the ideal (x^2 + y^2)
Error in lines 4-4
Traceback (most recent call last):

Is there a way to do that?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2017-04-19 07:43:36 +0200

nbruin gravatar image

If your generators for i are i1,...,is, you could just compute the syzygy module of <f,g,i1,...,is> and project on the first two coordinates. On the level of grobner basis computations, that's what you'd probably end up doing anyway.

edit flag offensive delete link more


That is a very smart solution. Thank you very much!

KittyL gravatar imageKittyL ( 2017-04-20 18:57:56 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2017-04-18 11:34:27 +0200

Seen: 652 times

Last updated: Apr 18 '17