Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



On the representation of lattices by modules

Author: George Hutchinson
Journal: Trans. Amer. Math. Soc. 209 (1975), 311-351
MSC: Primary 06A20
MathSciNet review: 0376462
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: For a commutative ring $ R$ with unit, a lattice $ L$ is ``representable by $ R$-modules'' if $ L$ is embeddable in the lattice of submodules of some unitary left $ R$-module. A procedure is given for generating an infinite first-order axiomatization of the class of all lattices representable by $ R$-modules. Each axiom is a universal Horn formula for lattices. The procedure for generating the axioms is closely related to the ring structure, and is ``effective'' in the sense that many nontrivial axioms can be obtained by moderate amounts of computation.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 06A20

Retrieve articles in all journals with MSC: 06A20

Additional Information

Article copyright: © Copyright 1975 American Mathematical Society

American Mathematical Society