论文部分内容阅读
在本文中我们证明了整系数线性方程组a11x1+…+a1lx1b1,a21x2+'…+a2lx1= b2,ak1x1+…+sk1x1,有整数解当且仅当对任何1≤i1<…<ih≤k及1≤ji<…<jh.≤l诸行列式(j= 1, …,l )的最大公因数整除我们还证明了,k>l时含未知数x1,…,x1的k个线性同余式有公解当且仅当其中任何l+1个同余式有公解.