Ask Your Question
1

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')
f=2*x^2+y
g=y
h=2*f+g
I=ideal(f,g,h)
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')
S.<a,b>=R.quo(x^2+y^2)
I=ideal(a^2,b^2);I
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
2

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

Comments

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

Stats

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

Seen: 513 times

Last updated: Apr 18 '17