The Ideal Membership Problem and Abelian Groups

Andrei A. Bulatov, Akbar Rafiey

Given polynomials $f_0,\dots ,f_k$ the Ideal Membership Problem, IMP for short, asks if $f_0$ belongs to the ideal generated by $f_1,\dots ,f_k$. In the search version of this prob…