Existence of a top element for every module AEC lattice

Determine whether the lattice \(\mathscr{L}_{R}\) of abstract elementary classes of \(R\)-modules has a top element for every ring \(R\), and, if not, characterize the rings for which \(\mathscr{L}_{R}\) has a top element.

Background

The paper defines LR\mathscr{L}_{R} as the lattice of strong submodel relations on all RR-modules that yield an abstract elementary class and refine the direct-summand relation. It proves that when the direct-summand relation itself belongs to LR\mathscr{L}_{R}—equivalently, when RR is left pure semisimple—the lattice has a top element.

The unresolved issue is whether every ring admits some strongest relation in LR\mathscr{L}_{R}. If not, the authors ask for an algebraic characterization of precisely those rings whose lattices possess a top element.

References

This leaves open the following natural question. Does the lattice \mathscr{L}{R} have a top element for every ring R? If the answer is negative, characterize the rings for which \mathscr{L}{R} has a top element.

The lattice of abstract elementary classes of modules  (2608.19548 - Hyttinen et al., 20 Aug 2026) in Section 3, subsection “When is \(\preccurlyeq_\oplus\in\mathscr{L}_R\)?”; Question \ref{top-question}