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 $R$-modules we show, among other things, that the free module of infinite rank $R^{(\kappa)}$ embeds every $\kappa$-generated flat left $R$-module iff $R$ is left perfect. Using a Bass module corresponding to a descending chain of principal right ideals, we construct a model of the theory $T$ of $R^{(\kappa)}$ whose projectivity is equivalent to left perfectness, which allows to add a "stronger" equivalent condition: $R^{(\kappa)}$ embeds every $\kappa$-generated flat left $R$-module which is a model of $T$. In addition, we extend the model-theoretic construction of this Bass module to arbitrary descending chains of pp formulas, resulting in a `Bass theory' of pure-projective modules. We put this new theory to use by reproving an old result of Daniel Simson about pure-semisimple rings and Mittag-Leffler modules.

Sub-Bassian properties on Abelian groups

Co-Bassian and generalized co-Bassian abelian groups

Generalizations of the Bassian and co-Bassian Properties for Abelian Groups

Supper Bassian and Nearly Generalized Bassian Abelian Groups

Semi-Generalized co-Bassian Groups

Generalized Bassian and other Mixed Abelian Groups with Bounded p-Torsion

Bass' triangulability problem

Positive positive-definite functions and measures on locally compact abelian groups

From acyclic groups to the bass conjecture for amenable groups

Two Generalizations of Hopfian Abelian Groupa

Perfect kernel of generalized Baumslag-Solitar groups

Dual Canonical Bases for the Quantum General Linear Supergroup

Free algebras, universal models and Bass modules

A note on Bass' conjecture

Classifying spaces for families of abelian subgroups of braid groups, RAAGs and graphs of abelian groups

Writing units of integral group rings of finite abelian groups as a product of Bass units

Sumset phenomenon in countable amenable groups

Subalgebras, subgroups, and singularity

Developments on the congruence subgroup problem after the work of Bass, Milnor and Serre

Extension realizing affine datum: low-dimensional cohomology

On perspective Abelian groups