Proatomic modular ortholattices: Representation and equational theory

Abstract

We study modular ortholattices in the variety generated by the finite dimensional ones from an equational and geometric point of view. We relate this to coordinatization results.