  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 problem the task is to find a proof of this fact. The
IMP is a well-known fundamental problem with numerous applications, for
instance, it underlies many proof systems based on polynomials such as
Nullstellensatz, Polynomial Calculus, and Sum-of-Squares. Although the IMP is
in general intractable, in many important cases it can be efficiently solved.
  Mastrolilli [SODA'19] initiated a systematic study of IMPs for ideals arising
from Constraint Satisfaction Problems (CSPs), parameterized by constraint
languages, denoted IMP($\Gamma$). The ultimate goal of this line of research is
to classify all such IMPs accordingly to their complexity. Mastrolilli achieved
this goal for IMPs arising from CSP($\Gamma$) where $\Gamma$ is a Boolean
constraint language, while Bulatov and Rafiey [ArXiv'21] advanced these results
to several cases of CSPs over finite domains. In this paper we consider IMPs
arising from CSPs over `affine' constraint languages, in which constraints are
subgroups (or their cosets) of direct products of Abelian groups. This kind of
CSPs include systems of linear equations and are considered one of the most
important types of tractable CSPs. Some special cases of the problem have been
considered before by Bharathi and Mastrolilli [MFCS'21] for linear equation
modulo 2, and by Bulatov and Rafiey [ArXiv'21] to systems of linear equations
over $GF(p)$, $p$ prime. Here we prove that if $\Gamma$ is an affine constraint
language then IMP($\Gamma$) is solvable in polynomial time assuming the input
polynomial has bounded degree.
