ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 09 Jan 2019 17:46:11 -0600generators of annihilator of an ideal of a polynomial ringhttp://ask.sagemath.org/question/44975/generators-of-annihilator-of-an-ideal-of-a-polynomial-ring/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?Wed, 09 Jan 2019 17:46:11 -0600http://ask.sagemath.org/question/44975/generators-of-annihilator-of-an-ideal-of-a-polynomial-ring/