A test-example of a quadratic lattice (Q5929967)

Modular lattices with additional structure (quadratic lattices) have been introduced into the theory of quadratic and sesquilinear forms in infinite dimensions by Kaplansky and Gross. The determination of the possible lattices is a crucial step in the classification of such forms. The work of Moresi is directed towards countable-dimensional spaces in characteristic 2. Here, the additional structure consists of a Galois-map \(x\mapsto x^\perp\) and a constant \(b\) containing all radicals. Besides, countability of dimension can be captured by additional axiomatic information in terms of a dimension function into the set of at most countable cardinals. The principal task of computing all possible such lattices with one generator (and their dimension functions) is approached by considering finitely presented lattices with one generator \(a\) and their subdirect factors. In the paper under review, this presentation is \(a\leq a^\perp\). It is shown that the lattice is non-distributive and infinite. Therefore, to get things started, distributivity is added to the axioms. The associated meet semilattice with operations \({^\perp}\) and \(b\) generated by \(a\) is computed and its subdirectly irreducible factors and associated distributive lattices are determined.