  In 1876 H. J. S. Smith defined an LCM matrix as follows: let S = {x_1, x_2,
..., x_n} be a set of positive integers. The LCM matrix [S] is the n $\times$ n
matrix with lcm(x_i , x_j) as its ij entry. During the last 30 years
singularity of LCM matrices has interested many authors. In 1992 Bourque and
Ligh ended up conjecturing that if the GCD closedness of the set S (which means
that gcd(x_i, x_j) $\in$ S for all i, j $\in$ {1, 2, . . . , n}), suffices to
guarantee the invertibility of the matrix [S]. However, a few years later this
conjecture was proven false first by Haukkanen et al. and then by Hong. It
turned out that the conjecture holds only on GCD closed sets with at most 7
elements but not in general for larger sets. However, the given counterexamples
did not give much insight on why does the conjecture fail exactly in the case
when n=8. This situation was later improved in a couple of articles, where a
new lattice theoretic approach was introduced (the method is based on the fact
that because the set S is assumed to be GCD closed, the structure (S, |)
actually forms a meet semilattice). For example, it has been shown that in the
case when the set S has 8 elements and the matrix [S] is singular, there is
only one option for the semilattice structure of (S, |), namely the cube
structure.
  Since the cases up to n=8 have been thoroughly studied in various articles,
the next natural step is to apply the methods to the case n=9. This was done by
Altinisik and Altintaa as they consider the different lattice structures of (S,
|) with nine elements that can result in a singular LCM matrix [S]. However,
their investigation leaves two open questions, and the main purpose of this
presentation is to provide solutions to them. We shall also give a new lattice
theoretic proof for a result referred to as Sun's conjecture, which was
originally proven by Hong via number theoretic approach.
