• Corpus ID: 119289472

Proatomic modular ortholattices: representation and equational theory

  title={Proatomic modular ortholattices: representation and equational theory},
  author={Christian Herrmann and Michael S. Roddy},
  journal={arXiv: Rings and Algebras},
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. 
Linear representations of regular rings and complemented modular lattices with involution
Faithful representations of regular $\ast$-rings and modular complemented lattices with involution within orthosymmetric sesquilinear spaces are studied within the framework of Universal Algebra. In
On geometric representations of modular ortholattices
A pre-orthogonality on a projective geometry is a symmetric binary relation, ⊥, such that for each point $${p, p^{\perp} = \{q | p \perp q \}}$$p,p⊥={q|p⊥q} is a subspace. An orthogonality is a
On linear representation of $\ast$-regular rings having representable ortholattice of projections.
This paper aims at the following results: \begin{enumerate} \item The class of all $*$-regular rings forms a variety. \item A subdirectly irreducible $*$-regular ring $R$ is faithfully
On varieties of modular ortholattices that are generated by their finite-dimensional members
AbstractWe prove that the following three conditions on a modular ortholattice L with respect to a given variety of modular ortholattices, $${\mathcal{V}}$$V, are equivalent: L is in the variety of
A Note on the "Third Life of Quantum Logic"
The purpose of this note is to discuss some of the questions raised by Dunn, J. Michael; Moss, Lawrence S.; Wang, Zhenghan in Editors' introduction: the third life of quantum logic: quantum logic


A note on the equational theory of modular ortholattices
Abstract. We prove that every atomic modular ortholattice is in the variety generated by its finite dimensional members.
A Finitely Generated Modular Ortholattice
Abstract We discuss [2] of the same title and offer an alternative example. This example is a subalgebra of the ortholattice of closed subspaces of separable real Hilbert space.
Varieties of modular ortholattices
The bottom of the lattice of varieties of modular ortholattices is described. The theorem that is proved is;THEOREM. Every variety of modular ortholattices which is different from all theMOn, 0≤n≤ω,
On the Word Problem for Orthocomplemented Modular Lattices
  • M. Roddy
  • Mathematics
    Canadian Journal of Mathematics
  • 1989
In [16] Freese showed that the word problem for the free modular lattice on 5 generators is unsolvable. His proof makes essential use of Mclntyre's construction of a finitely presented field with
Complemented Modular Lattices
1.1 This paper gives a lattice theoretic investigation of “finiteness“ and “continuity of the lattice operations” in a complemented modular lattice. Although we usually assume that the lattice is
Complemented modular lattices and projective spaces of infinite dimension
Garrett Birkhoff [1](1) has shown that every complemented modular lattice of finite dimension is the direct union of lattices associated with projective geometries of finite dimension. The present
The dimension monoid of a lattice
Abstract. We introduce the dimension monoid of a lattice L, denoted by Dim L. The monoid Dim L is commutative and conical, the latter meaning that the sum of any two nonzero elements is nonzero.
Representations of complemented modular lattices
Introduction. It was proved by von Neuman [10, vol. II] that a ring R is regular if and only if the set L(R) of all principal left ideals of R is a complemented modular lattice under the usual
Tolerance relations on lattices
  • H. Bandelt
  • Mathematics
    Bulletin of the Australian Mathematical Society
  • 1981
The lattice of all tolerance relations (that is, reflexive, symmetric compatible relations) on a lattice is investigated. For modular lattices some examples are given which show that such relations
A uniform refinement property for congruence lattices
The Congruence Lattice Problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of a lattice. It was hoped that a positive solution would follow from E. T.