Processing math: 100%
Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

asked 6 years ago

arpit gravatar image

generators of annihilator of an ideal of a polynomial ring

I have an ideal in the polynomial ring F2[x,y,z] given by I=(1+x+y+xy;1+y+z+yz;1+x+z+xz). The annihilator of this ideal is generated by

fxy=n,mZxnym, fxz=n,mZxnzm, fzy=n,mZznym

because for example fxyI=((1+1+1+1)fxy,(1+1+z+z)fxy,(1+1+z+z)fxy)=(0,0,0).

Can I show this in sage? More generally, given an ideal like the above in F2[x,y,z] can I find the generators of its annihilator?

generators of annihilator of an ideal of a polynomial ring

I have an ideal in the polynomial ring F2[x,y,z] given by I=(1+x+y+xy;1+y+z+yz;1+x+z+xz). The annihilator of this ideal is generated by

fxy=n,mZxnym, fxz=n,mZxnzm, fzy=n,mZznym

because for example i.e. $f_{xy} I=((1+1+1+1)f_{xy},(1+1+z+z)f_{xy},(1+1+z+z)f_{xy})=(0,0,0)$. I=((1+1+1+1)f_{xy},(1+1+z+z)f_{xy},(1+1+z+z)f_{xy})=(0,0,0)$ and so on.

Can I show this find these generators in sage? More generally, given an ideal like the above in F2[x,y,z] can I find the generators of its annihilator?