On the divisibility of meet and join matrices (Q947657)

Let \((P,\leqslant)=(P,\wedge,\vee)\) be a lattice, let \(S=\{x_1,x_2,\ldots,x_n)\) be a subset of \(P\) and let \(f:P\rightarrow \mathbb{C}\) be a function. The meet matrix \((S)_f\) and the join matrix \([S]_f\) on \(S\) with respect to \(f\) are defined by \(((S)_f)_{ij}=f(x_i\wedge x_j)\) and \(([S]_f)_{ij}=f(x_i\vee x_j)\), respectively. The authors present a characterization for the divisibility of the join matrix by the meet matrix in the ring \(\mathbb{Z}^{n\times n}\) in terms of the usual divisibility in \(\mathbb{Z}\), where \(S\) is a meet-closed set and \(f\) is an integer-valued function on \(P\). They find, for all meet-closed sets \(S\) with at most five elements, a necessary and a sufficient condition on \(f\) in order that divisibility property holds. Some applications of the results are applied to the divisor lattice, namely that Conjecture 3.1 by \textit{S. Hong} [Linear Algebra Appl. 416, No. 1, 124--134 (2006; Zbl 1131.11018)] holds.