Universal Horn axiom systems for lattices of submodules
From MaRDI portal
Publication:1245984
DOI10.1007/BF02485415zbMath0375.06003OpenAlexW1994637112WikidataQ114693502 ScholiaQ114693502MaRDI QIDQ1245984
Michael Makkai, George F. McNulty
Publication date: 1977
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02485415
Model-theoretic algebra (03C60) Structure theory of lattices (06B05) Representation theory of associative rings and algebras (16Gxx)
Related Items (12)
Some lattice Horn sentences for submodules of prime power characteristic ⋮ Finitely based modular congruence varietes are distributive ⋮ General geometric lattices and projective geometry of modules ⋮ Submodule lattice quasivarieties and exact embedding functors for rings with prime power characteristic ⋮ Finitely based congruence varieties ⋮ Exact embedding functors between categories of modules ⋮ Endomorphism rings of modules and lattices of submodules ⋮ Embedding and unsolvability theorems for modular lattices ⋮ A test for identities satisfied in lattices of submodules ⋮ On the Representation of Lattices by Modules ⋮ Exact embedding functors for module categories and submodule lattice quasivarieties ⋮ First-order theories of abstract dependence relations
Cites Work
This page was built for publication: Universal Horn axiom systems for lattices of submodules