A GCD and LCM-like inequality for multiplicative lattices

Abstract

Let $A_1,\ldots,A_n$ $(n\ge 2)$ be elements of an commutative multiplicative lattice. Let $G(k)$ (resp., $L(k)$) denote the product of all the joins (resp., meets) of $k$ of the elements. Then we show that $$L(n)G(2)G(4)\cdots G(2\lfloor n/2 \rfloor ) \leq G(1)G(3)\cdots G(2\lceil n/2 \rceil -1).$$ In particular this holds for the lattice of ideals of a commutative ring. We also consider the relationship between $$G(n)L(2)L(4)\cdots L(2\lfloor n/2 \rfloor ) \text{ and } L(1)L(3)\cdots L(2\lceil n/2 \rceil -1)$$
and show that any inequality relationships are possible.