Ask Your Question

Revision history [back]

Checking if Quotient Rings are Isomorphic

Hey all!

I was wondering if there was a way to check if two quotient polynomial rings were isomorphic to each other in SAGE. In particular I tried this

R.<x,y,z> = PolynomialRing(QQ)

I = R.ideal(x+y+z,x^2,y^2,z^2,x^3,y^3,z^3,x^2y,y^2x,xyz,y^2z,yz^2,xz^2,zx^2)

S = R.quotient_ring(I)

T.<w> = PolynomialRing(QQ)

J = T.ideal(w^3)

P = T.quotient_ring(J)

S.is_isomorphic(P)

But there is no is_isomorphic for Quotient Rings that I could find

Thanks!