Assuming distributivity, the answer to the first part of Question 1 is simple:
Every finite distributive lattice $L$ admits a multiplication, namely the meet operation.
- Meet is commutative and associative.
- The top acts as the multiplicative identity: $1 \wedge a = a$ for all $a \in L$.
- For all $a \in L$ and $B \subseteq L$, the condition $a \wedge \left(\bigvee_{b \in B} b\right) = \bigvee_{b \in B} (a \wedge b)$ follows from distributivity and finiteness.
But there may be also other multiplications. For example, the three-element chain $0 < 1 < 2$ admits two multiplications, whose multiplication tables are:
[0 0 0] [0 0 0]
[0 0 1] [0 1 1]
[0 1 2], [0 1 2]
(the latter is the meet).
The four-element chain $0 < 1 < 2 < 3$ admits six lattice multiplications:
[0 0 0 0] [0 0 0 0] [0 0 0 0] [0 0 0 0] [0 0 0 0] [0 0 0 0]
[0 0 0 1] [0 0 0 1] [0 0 0 1] [0 0 1 1] [0 1 1 1] [0 1 1 1]
[0 0 0 2] [0 0 1 2] [0 0 2 2] [0 1 2 2] [0 1 1 2] [0 1 2 2]
[0 1 2 3], [0 1 2 3], [0 1 2 3], [0 1 2 3], [0 1 2 3], [0 1 2 3]
The four-element diamond $0 < 1,2 < 3$ admits only one lattice multiplication, namely the meet.
These were found with a relatively brute-force search. How to find all lattice multiplications efficiently, I do not know.
For chains of at most 14 elements, the number of different multiplications is in OEIS A030453 "Number of linearly ordered Abelian monoids of size n (semi-groups with greatest element of the corresponding chain as neutral element); triangular norms on an n-chain."
There are some nondistributive, even nonmodular lattices that admit a multiplication. The smallest examples have $6$ elements:
In fact, any lattice that has only one coatom admits at least one lattice multiplication, namely $a \cdot b = 0$ when $a,b<1$, and $a \cdot 1 = 1 \cdot a = a$ (where $0$ denotes bottom and $1$ denotes top).
So we have at least two categories of finite lattices that admit a multiplication:
- Distributive lattices
- One-coatom lattices