On \(n\)-distributive modular ortholattices (Q2577722)

Let \(n\) be an integer \(>1\) and \(D_n\) denote the variety of \(n\)-distributive modular ortholattices, which are algebras \((L,\vee,\wedge,',0,1)\) of type \((2,2,1,0,0)\) such that \((L,\vee,\wedge,0,1)\) is a bounded lattice satisfying \[ x_0\wedge\bigvee\limits_{i=1}^{n+1}x_i=\bigvee\limits_{j=1}^{n+1}(x_0\wedge \bigvee\limits_{1\leq i\neq j}x_i), \] \((x\vee y)\wedge(x\vee z)=x\vee(y\wedge(x\vee z))\), \((x\vee y)'=x'\wedge y'\), \((x')'=x\) and \(x\vee x'=1\). \(a_0,\ldots,a_n\in L\) are said to form a spanning \(n\)-frame provided \(a_j\leq\bigvee\limits_{i\neq j}a_i\) and \(a_j\wedge\bigvee\limits_{i\neq j,k}a_i\leq a_l\) for all \(j,k,l\in\{0,\ldots,n\}\) with \(j\neq k\) and \(\bigvee\limits_{i=0}^na_i=1\) and \(\bigwedge\limits_{i=0}^na_i=0\). It is proved that within \(D_n\) every finitely presented algebra containing a spanning \(n\)-frame is a direct factor of a free algebra on the same number of generators. Via this structural result it is proved that for any \(n\geq14\), the free algebra on three generators in \(D_n\) has an unsolvable word problem.