A test for identities satisfied in lattices of submodules
From MaRDI portal
Publication:1248533
DOI10.1007/BF02485400zbMath0384.06009MaRDI QIDQ1248533
Publication date: 1978
Published in: Algebra Universalis (Search for Journal in Brave)
Equational logic, Mal'tsev conditions (08B05) Varieties of lattices (06B20) Complemented modular lattices, continuous geometries (06C20) Theory of modules and ideals in commutative rings (13C99) Lattices of subspaces and geometric closure systems (51D25) Software, source code, etc. for problems pertaining to ordered structures (06-04) Word problems (aspects of algebraic structures) (08A50) Continuous geometries, geometric closure systems and related topics (51D30) Representation theory of associative rings and algebras (16Gxx)
Related Items
A geometric description of modular lattices, Some lattice Horn sentences for submodules of prime power characteristic, Finitely based modular congruence varietes are distributive, Gelfand-Ponomarev and Herrmann constructions for quadruples and sextuples, Frames and rings in congruence modular varieties, Free Modular Lattices, Free word problems for additive relation algebras of modules, Alan Day's early work: Congruence identities, Submodule lattice quasivarieties and exact embedding functors for rings with prime power characteristic, A review of some of Bjarni Jónsson's results on representation of Arguesian lattices, The ring of an outer von Neumann frame in modular lattices, Unnamed Item, Finitely based congruence varieties, Varieties of lattices with geometric descriptions, Atoms and coatoms in three-generated lattices, Projective geometries as cover-preserving sublattices, Exact embedding functors between categories of modules, Equations implying congruence \(n\)-permutability and semidistributivity., Endomorphism rings of modules and lattices of submodules, Congruence varieties associated with reducts of Abelian group varieties, How are diamond identities implied in congruence varieties?, The shape of congruence lattices, On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices, On perfect pairs for quadruples in complemented modular lattices and concepts of perfect elements, A note on the compactness of the consequence relation for congruence varieties, On congruence n-distributivity of ordered algebras, Mal'cev conditions for Horn sentences with congruence permutability, Universal definability of Mal'tsev classes, Exact embedding functors for module categories and submodule lattice quasivarieties, On congruence distributivity and modularity, Horn sentences with (W) and weak Mal'cev conditions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Recursively unsolvable word problems of modular lattices and diagram- chasing
- Zum Begriff der Charakteristik modularer Verbände
- Zum Wortproblem für freie Untermodulverbände
- Congruence modularity implies the Arguesian identity
- A duality principle for lattices and categories of modules
- Embedding and unsolvability theorems for modular lattices
- Universal Horn axiom systems for lattices of submodules
- Primitive Länge und primitive Weite bei modularen Verbänden
- On the Representation of Lattices by Modules
- The Undecidability of the Word Problems for Projective Geometries and Modular Lattices
