设整数 m>1,m=P …P 是 m 的标准分解式,1≤k≤n,f_1,…,f_k 是 k 个 n 元整系数线性型.本文证明了:(i)f_i,…,f_k 是模 m 的正交组当且仅当,f_1,…,f_k 是模 P_j~ 的正交组:j=1,…,t;(ii)f_1,…,f_k 是模 P^l 的正交组当且仅当 f_1,...设整数 m>1,m=P …P 是 m 的标准分解式,1≤k≤n,f_1,…,f_k 是 k 个 n 元整系数线性型.本文证明了:(i)f_i,…,f_k 是模 m 的正交组当且仅当,f_1,…,f_k 是模 P_j~ 的正交组:j=1,…,t;(ii)f_1,…,f_k 是模 P^l 的正交组当且仅当 f_1,…,f_k 的系数矩阵中存在 k 阶子式 A_k,使得(|A_k|,p)=1,这里 p 是素数.展开更多
In the present remark we prove that the Mahler's and Gelfond's transference theorems of linear forms are equivalent essentially, i .e. they are implied eachother except varying some unessential constants.
设a_1,a_2,…,a_s均为正整数,(a_l,a_2, …,a_s)=1,线性型f_i=a_1x_1+a_2x_2+…+a_ix_i,x_i≥0,i=1,2,…,s,所不能表出的最大整数记为M_i。本文证明了,M_s可以表示为 sum from i=2 to s(a_ik_i)-sum from j=1 to s(h_ja_j), h_j≥1.其中...设a_1,a_2,…,a_s均为正整数,(a_l,a_2, …,a_s)=1,线性型f_i=a_1x_1+a_2x_2+…+a_ix_i,x_i≥0,i=1,2,…,s,所不能表出的最大整数记为M_i。本文证明了,M_s可以表示为 sum from i=2 to s(a_ik_i)-sum from j=1 to s(h_ja_j), h_j≥1.其中k_i(i=1,2,…,s)是使等式 a_ik_i=a_1x_(1i)+…a_(i-1)x_((i-1),i)i+a_(i+1)x_((i+1),i)+…+a_sx_(si),x_(1i)≥0,…,x_((i-1),i)≥0,x_((i+1),i)≥0,…,x_(si)≥0成立的最小正整数。并通过h_i的确定,给出M_s的一个算法。展开更多
文摘设整数 m>1,m=P …P 是 m 的标准分解式,1≤k≤n,f_1,…,f_k 是 k 个 n 元整系数线性型.本文证明了:(i)f_i,…,f_k 是模 m 的正交组当且仅当,f_1,…,f_k 是模 P_j~ 的正交组:j=1,…,t;(ii)f_1,…,f_k 是模 P^l 的正交组当且仅当 f_1,…,f_k 的系数矩阵中存在 k 阶子式 A_k,使得(|A_k|,p)=1,这里 p 是素数.
文摘In the present remark we prove that the Mahler's and Gelfond's transference theorems of linear forms are equivalent essentially, i .e. they are implied eachother except varying some unessential constants.
文摘设a_1,a_2,…,a_s均为正整数,(a_l,a_2, …,a_s)=1,线性型f_i=a_1x_1+a_2x_2+…+a_ix_i,x_i≥0,i=1,2,…,s,所不能表出的最大整数记为M_i。本文证明了,M_s可以表示为 sum from i=2 to s(a_ik_i)-sum from j=1 to s(h_ja_j), h_j≥1.其中k_i(i=1,2,…,s)是使等式 a_ik_i=a_1x_(1i)+…a_(i-1)x_((i-1),i)i+a_(i+1)x_((i+1),i)+…+a_sx_(si),x_(1i)≥0,…,x_((i-1),i)≥0,x_((i+1),i)≥0,…,x_(si)≥0成立的最小正整数。并通过h_i的确定,给出M_s的一个算法。
