Divisibility Properties of Power Lcm Matrices by Power Gcd Matrices on Gcd-Closed Sets

Jianrong Zhao,Shaofang Hong,Qunying Liao,K. P. Shum
DOI: https://doi.org/10.1016/j.disc.2008.06.014
2013-01-01
Abstract:Let S = {x 1, ..., x n } be a set of n distinct positive integers and e ⩾ 1 an integer. Denote the n × n power GCD (resp. power LCM) matrix on S having the e-th power of the greatest common divisor (x i , x j ) (resp. the e-th power of the least common multiple [x i , x j ]) as the (i, j)-entry of the matrix by ((x i , x j ) e ) (resp. ([x i , x j ] e )). We call the set S an odd gcd closed (resp. odd lcm closed) set if every element in S is an odd number and (x i , x j ) ∈ S (resp. [x i , x j ] ∈ S) for all 1 ⩽ i, j ⩽ n. In studying the divisibility of the power LCM and power GCD matrices, Hong conjectured in 2004 that for any integer e ⩾ 1, the n × n power GCD matrix ((x i , x j ) e ) defined on an odd-gcd-closed (resp. odd-lcm-closed) set S divides the n × n power LCM matrix ([x i , x j ] e ) defined on S in the ring M n (ℤ) of n × n matrices over integers. In this paper, we use Hong’s method developed in his previous papers [J. Algebra 218 (1999) 216–228; 281 (2004) 1–14, Acta Arith. 111 (2004), 165–177 and J. Number Theory 113 (2005), 1–9] to investigate Hong’s conjectures. We show that the conjectures of Hong are true for n ⩽ 3 but they are both not true for n ⩾ 4.
What problem does this paper attempt to address?