The ring of an outer von Neumann frame in modular lattices (Q616135): Difference between revisions

The following theorem is proved: (a) Let \(L\) be a bounded lattice and let \(m,n\) be positive integers with \(n\geq 2\). Assume that \(L\) is modular and \(m\geq 4\), and let \( (a_{1},\dots,a_{m},c_{12},\dots,c_{1m})\) be a spanning von Neumann \(m\)-frame of \( L\) and \((u_{1},\dots,u_{n},v_{12},\dots,v_{1n})\) be a spanning \(n\)-frame of the interval \([0,a_{1}]\). Let \(R^{\ast }\) denote the coordinate ring of \( (a_{1},\dots,a_{m},c_{12},\dots,c_{1m})\). Then there is a ring \(S^{\ast }\) such that \(R^{\ast }\) is isomorphic to the ring of all \(n\times n\) matrices over \( S^{\ast }\). If \(n\geq 4\), then we can choose \(S^{\ast }\) as the coordinate ring of \((u_{1},\dots,u_{n},v_{12},\dots,v_{1n})\). (b) Replacing the previous hypothesis by ``\(L\) is Arguesian and \(m,n\geq 3\)'', (a) remains valid.