Finite free modular lattices \(FM(\{a\}+(Q\oplus H))\) (Q2640629)

Let P be a partially ordered set. FM(P) denotes the modular lattice freely generated by P. \textit{R. Wille} [Math. Z. 131, 241-249 (1973; Zbl 0245.06004)] has shown that FM(P) is finite if and only if P does not contain \(1+1+1+1\) (i.e. the four-element antichain) or \(1+2+2\) as subsets. The author studies finite lattices FM(P) such that P has the form \(1+(Q\oplus H)\) (\(\oplus\) means the ordinal sum). He shows that there exists an element \(u\in FM(P)\) such that \(FM(P)=[0,u]\cup [u,1]\cup [u\wedge a,u\vee a],\) where \(a\in P\) is the element incomparable with all \(b\in Q\oplus H\). In addition, \([0,u]\cong FM(1+Q)\), \([u,1]\cong FM(1+H)\) and there is a recursive formula describing [u\(\wedge a,u\vee a]\).