关于改进以素数幂为模的一次同余方程组转换定理的一个注记

设P~l伪任一素数幂,a_(ij)(1≤i≤t,1≤j≤s)为st个整数,记X=max(1,|x|),定义(a)p~l为满足(a)_(P~l)=a(mod_(p~l)),—P/2<(a)_(P~l)≤P/2的整数。考察两组对偶的一次同余方程组sum from j=1 to s a_(ij)x_j+X_(1+i)≡0 (modp') (1≤i≤t)(1)与sum from i=1 to t e_(ij)y_i +y(j+t)≡0 (modp') (1≤j≤s)(2)及其适合条件—p~l/2