GCD matrix

In mathematics, a greatest common divisor matrix (sometimes abbreviated as GCD matrix) is a matrix.

Definition

1	1	1	1	1	1	1	1	1	1
1	2	1	2	1	2	1	2	1	2
1	1	3	1	1	3	1	1	3	1
1	2	1	4	1	2	1	4	1	2
1	1	1	1	5	1	1	1	1	5
1	2	3	2	1	6	1	2	3	2
1	1	1	1	1	1	7	1	1	1
1	2	1	4	1	2	1	8	1	2
1	1	3	1	1	3	1	1	9	1
1	2	1	2	5	2	1	2	1	10
GCD matrix of (1,2,3,...,10)

Let $S=(x_1,x_2,\dots ,x_n)$ be a list of positive integers. Then the $n\times n$ matrix $(S)$ having the greatest common divisor $\gcd (x_i,x_j)$ as its $ij$ entry is referred to as the GCD matrix on $S$.The LCM matrix $[S]$ is defined analogously.

The study of GCD type matrices originates from (Smith 1875) who evaluated the determinant of certain GCD and LCM matrices. Smith showed among others that the determinant of the $n\times n$ matrix $(\gcd (i,j))$ is $\varphi (1)\varphi (2)\cdots \varphi (n)$, where $\varphi$ is Euler's totient function.

Bourque–Ligh conjecture

(Bourque Ligh) conjectured that the LCM matrix on a GCD-closed set $S$ is nonsingular. This conjecture was shown to be false by (Haukkanen Wang) and subsequently by (Hong 1999). A lattice-theoretic approach is provided by (Korkee Mattila).