We will consider unital rings A with free additive group, and want to construct (in ZFC) for each natural number k a family of -free A-modules G which are separable as abelian groups with special decompositions. Recall that an A-module G is -free if every subset of size is contained in a free submodule (we will refine this in Definition 3.2); and it is separable as an abelian group if any finite subset of G is contained in a free direct summand of G. Despite the fact that such a module G is...
It is a well-known fact that modules over a commutative ring in general cannot be classified, and it is also well-known that we have to impose severe restrictions on either the ring or on the class of modules to solve this problem. One of the restrictions on the modules comes from freeness assumptions which have been intensively studied in recent decades. Two interesting, distinct but typical examples are the papers by Blass [1] and Eklof [8], both jointly with Shelah. In the first case the authors...
An -module has an almost trivial dual if there are no epimorphisms from to the free -module of countable infinite rank . For every natural number , we construct arbitrarily large separable -free -modules with almost trivial dual by means of Shelah’s Easy Black Box, which is a combinatorial principle provable in ZFC.
Download Results (CSV)