Free algebras, universal models and Bass modules
Anand Pillay, Philipp Rothmaler

TL;DR
This paper explores the model-theoretic properties of free modules of infinite rank over rings, establishing conditions for universality and saturation, and introduces a Bass theory for pure-projective modules with applications to classical results.
Contribution
It introduces a Bass theory of pure-projective modules and links model-theoretic properties of free modules to ring-theoretic conditions like left perfectness.
Findings
Free modules of infinite rank embed all flat modules iff the ring is left perfect.
Constructs models where projectivity aligns with ring properties.
Reproves classical results on pure-semisimple rings using Bass modules.
Abstract
We investigate the question of when free structures of infinite rank (in a variety) possess model-theoretic properties like categoricity in higher power, saturation, or universality. Concentrating on left -modules we show, among other things, that the free module of infinite rank purely embeds every -generated flat left -module iff is left perfect. Using a Bass module corresponding to a descending chain of principal right ideals, we construct a model of the theory of whose projectivity is equivalent to left perfectness, which allows to add a "stronger" equivalent condition: purely (equivalently, elementarily) embeds every -generated flat left -module which is a model of . In addition, we extend the model-theoretic construction of this Bass module to arbitrary descending chains of pp formulas, resulting in…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
