定义在三个互素因子链上的交错幂GCD和交错幂LCM矩阵的整除性

设S={x_1,x_2,…,x_n}是由n个不同的正整数组成的集合,并且设a为正整数.如果一个n阶矩阵的第i行j列元素定义为(-1)^(i+j)(x_i,x_j)~a,其中(x_i,x_j)_a表示S中的元素x_i与x_j的最大公因子的a次幂,则称这个矩阵((-1)^(i+j)(x_i,x_j)~a)是定义在S上的a次幂最大公因子(GCD)交错矩阵,简记为(AS^a).类似可定义a次幂最小公倍数(LCM)交错矩阵((-1)^(i+j)[x_i,x_j]~a),简记为[AS^a].在本文中,设S由三个互素的因子链构成,且1∈S.作者证明了如下结果成立:(1)若a|b,则det(AS^a)| det(AS^b),det[AS^a]| det[AS^b],det(AS^a)| det[AS^b];(2)在n阶整数矩阵环M_n(Z)中,若a|b,则(AS^a)|(AS^b),[AS^a]|[AS^b],(AS^a)|[AS^b];若ab,则(AS^a)(AS^b),[AS^a][AS^b],(AS^a)[AS^b].

定义在两个互素因子链上的交错Smith矩阵的整除性

设S={x_1,x_1,…,x_n}是n个正整数组成的集合,a是正整数.如果一个n阶矩阵的第i行第j列的元素定义为(-1)^(i+j)(x_i,x_j)~a,其中(x_i,x_j)~a表示S中的元素x_i与x_j的最大公因数的a次幂,则称这个矩阵是定义在S上的a次交错幂GCD矩阵,用(AS^a)表示.类似可定义a次交错幂LCM矩阵[AS^a].作者证明了:设S由两个互素的因子链构成且1∈S时,则(i)若a|b,则det(AS^a)|det(AS^b),det[AS^a]|det[AS^b],det(AS^a)|det[AS^b];(ii)在n阶整数矩阵环M_n(z)中,若a|b,则(AS^a)|(AS^b),[AS^a]|[AS^b],(AS^a)|[AS^b];若a■b,则(AS^a)(?)(AS^b),[AS^a]■[AS^b],(AS^a)■[AS^b].