On varieties of modular ortholattices that are generated by their finite-dimensional members. (Q485107): Difference between revisions
From MaRDI portal
Latest revision as of 18:56, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On varieties of modular ortholattices that are generated by their finite-dimensional members. |
scientific article |
Statements
On varieties of modular ortholattices that are generated by their finite-dimensional members. (English)
0 references
9 January 2015
0 references
A modular ortholattice is an algebra \((L,\vee,\wedge,',0,1)\) of type \((2,2,1,0,0)\) such that \((L,\vee,\wedge,0,1)\) is a bounded modular lattice and the identities \(x\vee x'=1\), \(x\wedge x'=0\), \((x')'=x\), \((x\vee y)'=x'\wedge y'\) and \((x\wedge y)'=x'\vee y'\) hold. Let \(\mathcal L\) be a modular ortholattice and \(\mathcal V\) a variety of modular ortholattices. The dimension of \(\mathcal L\) is the cardinality of a maximal chain in \(\mathcal L\) minus one. The fact that \(\mathcal L\) belongs to the variety generated by the finite-dimensional members of \(\mathcal V\) is characterized in two different ways.
0 references
varieties of modular ortholattices
0 references
dimension modular ortholattices
0 references
finite-dimensional modular ortholattices
0 references
maximal chains
0 references
0 references