幂GCD矩阵与幂LCM矩阵的行列式的整除性

设S={x_1,x_2,…,x_n}是由n个不同的正整数组成的集合,并设整数a≥1,如果n阶矩阵的第i行j列元素是S中元素x_i和x_j的最大公因子的a次幂(x_i,x_j)~a,则称该矩阵是定义在S上的a次幂GCD矩阵,用(S^a)表示.类似定义幂LCM矩阵[S^a].本文证明了:设S是由n个不同的正整数组成的一个最大公因子封闭集,且正整数a|b.如果n≤3,那么det(S^a)|det[S^b];如果,那么det(S^a)|det[S^b].

关于最大公因子封闭集上的幂LCM矩阵的注记

设S={x1,…,xn}是由n个不同正整数组成的集合,e是一个实数.如果对所有的1≤i,j≤n,有(xi,xj)∈S,则称S是最大公因子封闭的(GCD-closed).第i行j列元素由xi和xj的最小公倍数的e次幂[xi,xj]e构成的n×n阶矩阵([xi,xj]e)称为定义在S上的e次幂LCM矩阵.作者证明了如果e≥1并且n≤7,那么定义在最大公因子封闭集S上的幂LCM矩阵([xi,xj]e)是非奇异的,从而证明了洪绍方教授2004年提出的一个猜想当n≤7,e≥1时是正确的.

GCD封闭集上的幂矩阵行列式间的整除性

设a,b,n为正整数,S={x_(1),…,x_(n)}是由n个不同正整数x_(1),…,x_(n)构成的集合.以(S^(a))([S^(a)])表示n×n矩阵,其中第i行j列元为x_(i)和x_(j)的最大公因子(x_(i),x_(j))(最小公倍数[x_(i),x_(j)])的a次幂.本文给出以下结果:若a|b,n≤3,则det(S^(a))|det(S^(b)),det[S^(a)]|det[S^(b)],det(S^(a))|det[S^(b)];若a|b,n≥4,S是n个不同正整数构成的n-3重最大公因子闭集,则det(S^(a))|det(S^(b)),det[S^(a)]|det[S^(b)],det(S^(a))|det[S^(b)];对任意正整数n≥4,存在n-4重最大公因子闭集S,使得det(S)■det(S^2),det[S]■det[S^2],det(S)■det[S^2].所得结果加强和推广了Hong在2003年及Chen和Hong在2020年得到的结果.

对洪关于幂LCM矩阵的一个猜想的注记(英文)

一个含有n个不同正整数的集合S={x1,…,xn}称为是gcd闭的,如果S中任两个整数的最大公因子也在S中.洪绍方在2002年猜想:对于给定的一个正整数t,存在一个仅由t决定的正整数k(t),使得当n≤k(t)时,定义在任意gcd闭集S={x1,…,xn}上的幂LCM矩阵([xi,xj]t)是非奇异的;而当n≥k(t)+1,则存在一个gcd闭集S={x1,…,xn},使得定义在其上的幂LCM矩阵([xi,xj]t)奇异.洪于1999年证明了k(1)=7.在本文中,作者证明了若t≥2,则有k(t)≥8.

两个互素因子链上的幂GCD矩阵的行列式与幂LCM矩阵的行列式的整除性

设S={X_1,X_2,…,X_n}是由n个不同的正整数组成的集合,并设整数a≥1.如果n阶矩阵的第i行j列元素是S中元素X_i和X_j的最大公因子的a次幂(X_i,x_j)~a,则称该矩阵是定义在S上的a次幂最大公因子(GCD)矩阵,用(S^a)表示.类似可定义a次幂LCM矩阵[S^a].作者证明了:设S由两个互素的因子链构成并且1∈S.若a|d,则det(S^a)|det(S^a),det[S^a]|det[S^b]和det(S^b)|det[S^b].若S由两个不互素的因子链构成,则如此分解定理不成立.

有限个互素因子链上幂GCD矩阵与幂LCM矩阵的行列式的整除性

设S={x1,x2,...,xn}是由n个不同的正整数组成的集合,并设a为正整数.如果一个n阶矩阵的第i行j列元素是S中元素xi和xj的最大公因子的a次幂(xi,xj)a,则称该矩阵为定义在S上的a次幂最大公因子(GCD)矩阵,用(Sa)表示;类似定义a次幂LCM矩阵[Sa].如果存在{1,2,...,n}上的一个置换σ使得xσ(1)|xσ(2)|···|xσ(n),则称S为一个因子链.如果存在正整数k,使得S=S1∪S2∪···∪Sk,其中每一个Si(1ik)均为一个因子链,并且对所有的1i=jk,Si中的每个元素与Sj中的每个元素互素,则称S由有限个互素因子链构成.本文中,设S由有限个互素的因子链构成,并且1∈S.我们首先给出幂GCD矩阵与幂LCM矩阵的行列式的公式,然后证明:如果a|b,则det(Sa)|det(Sb),det[Sa]|det[Sb],det(Sa)|det[Sb].最后我们指出:如果构成S的有限个因子链不互素,则此结论一般不成立.

幂GCD矩阵及幂LCM矩阵的行列式的非整除性

当S是任一因子链,且|S|≥2时,给出了幂GCD矩阵及幂LCM矩阵的行列式的计算公式,并且得到了一个关于其行列式的非整除性的结果.

定义在三个互素因子链上的交错幂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].

使得幂GCD阵(S^e)整除幂LCM矩阵[S^e]的四元gcd封闭集S的一个刻画(英文)

Hong在2002年证明了如下结果:若S为gcd封闭集且|S|3,则在|S|阶整数矩阵环M|S|(Z)中,GCD矩阵(S)整除LCM矩阵[S].设e 1为给定的整数.在本文中,我们给出了关于四元gcd封闭集S的充分必要条件,使得在环M4(Z)中,定义在S上的e次幂GCD矩阵(Se)整除e次幂LCM矩阵[Se].这部分解决了Hong在2002年提出的一个公开问题.

有限个互素因子链上的倒数幂GCD矩阵与倒数幂LCM矩阵的非奇异性

设S={x1,x2,…,xn}是一个正整数组成的集合,a是一个正实数.如果一个n阶矩阵的第i行第j列的元素为1(xi,xj)a,称它是定义在集合S上的倒数幂GCD矩阵,用(1Sa)表示.类似可定义倒数幂LCM矩阵[1Sa].作者得到定义在有限个互素因子链上的倒数幂最大公因子矩阵与倒数幂最小公倍数矩阵的行列式计算公式,并得出它们均是非奇异的.

两个拟互素因子链上倒数幂GCD与倒数幂LCM矩阵的非奇异性

设S={x_1,x_2,…,x_n}是一个正整数的集合,a是一个正实数.如果一个n阶矩阵的第i行第j列的元素定义为1/(x_i,x_j)~a,其中(x_i,x_j)~a表示S中的元素x_1与x_j的最大公因数的a次幂,则称这个矩阵是定义在S上的倒数幂GCD矩阵,用(1/S^a)表示.类似可定义倒数幂LCM矩阵[1/S^a].作者得到了定义在两个拟互素因子链上的倒数幂GCD矩阵与倒数幂LCM矩阵的行列式公式,并由此证明了定义在两个拟互素因子链上的倒数幂GCD矩阵与倒数幂LCM矩阵均是非奇异的.

定义在三个拟互素因子链上的倒数幂矩阵的非奇异性(英文)

首先给出定义在三个拟互素因子链上的倒数幂GCD矩阵和倒数幂LCM矩阵的行列式的计算公式,由此证明定义在三个拟互素因子链S上且S的最大公因子属于S时的倒数幂GCD矩阵和倒数幂LCM矩阵是非奇异的.但当构成S的三个因子链不素时,如此的结果不成立.

因子链上的最大公因数幂矩阵与最小公倍数幂矩阵

设S={x1,…,xn}是由n个不同正整数组成的集合,ε∈Z+.本文研究了对ε∈Z+定义在任意因子链S上的幂矩阵(S)εn间的整除性.n与det[S]εn和[S]εn的奇异性及它们的行列式det(S)

因子链上幂矩阵行列式的整除性

设S={x1,……,xn}是由n个不同正整数组成的集合,ε∈Z+,如果n阶矩阵的第i行j列元素是S中元xi,xj的最大公因数(xi,xj)的ε次幂(xi,xj)ε,就称这个矩阵是定义在S上的最大公因数的ε次幂矩阵,简记为(S)εn;如果n阶矩阵的第i行j列元素是S中元xi,xj的最小公因倍数[xi,xj]的ε次幂[xi,xj]ε,就称这个矩阵是定义在S上的最小公倍数的ε次幂矩阵,简记[S]εn为。如果S中元素满足1≤i≤j≤n有xi|xj,就称S是一个因子链。研究了对ε∈Z+,定义在任意因子链S上的幂矩阵(S)εnn和[S]ε的行列式det(S)εn间的整除性。

关于幂LCM矩阵非奇异性的洪猜想的注记(英文)

作者研究了关于幂LCM矩阵非奇异性的两个洪绍方猜想,得到了几个非奇异性定理.

最大公因子封闭集上幂矩阵行列式的整除性

设S={x_1,x_2,…,x_n}是由n个不同的正整数组成的集合,并设整数a≥1.如果n阶矩阵的第i行j列元素是S中元素x_i和x_j的最大公因数的a次幂(x_i,x_j)~a,则称该矩阵是定义在S上的a次幂GCD矩阵,用(S^a)表示.类似可定义幂LCM矩阵[S^a].作者证明了:若S是由n个不同的正整数组成的一个最大公因子封闭集,且a|b,如果n≤3,那么det(S^a)|det(S^b),det[S^a]|det[S^b];如果max{x_i}(?)<12,那么det(S^a)|det(S^b),det[S^a]|det[S^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].