On the Representation of Lattices by Modules
George A. Hutchinson · Transactions of the American Mathematical Society · 1975
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.