generators of annihilator of an ideal of a polynomial ring

asked 2019-01-09 17:46:11 -0500

arpit gravatar image

updated 2019-01-09 18:41:57 -0500

I have an ideal in the polynomial ring $\mathbb{F}_2[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

$f_{xy}=\sum_{n,m\in \mathbb{Z}} x^n y^m$, $f_{xz}=\sum_{n,m\in \mathbb{Z}} x^n z^m$, $f_{zy}=\sum_{n,m\in \mathbb{Z}} z^n y^m$

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)$ and so on.

Can I find these generators in sage? More generally, given an ideal like the above in $\mathbb{F_2}[x,y,z]$ can I find the generators of its annihilator?

edit retag flag offensive close merge delete