Prescribing endomorphism algebras of ${\aleph }_n$-free modules

Göbel, Rüdiger, Herden, Daniel, and Shelah, Saharon. "Prescribing endomorphism algebras of $\aleph _n$-free modules." Journal of the European Mathematical Society 016.9 (2014): 1775-1816. <http://eudml.org/doc/277307>.

@article{Göbel2014,
abstract = {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 consider almost-free abelian groups and assume the existence of large canonical, free subgroups. Nevertheless, there exist $\aleph _1$-separable torsion-free groups $G$ of size $\aleph _1$ with a basic subgroup $B$ of rank $\aleph _1$ such that all subgroups of $G$ disjoint from $B$ are also free, but the groups $G$ are still not free. What else can we say about $G$? The other paper deals with Kaplansky’s test problems (which are excellent indicators that the objects defy classification). The authors are able to construct very free abelian groups and verify the test problems for them by a careful choice of $\emph \{particular\}$ elements of their endomorphism rings. Accordingly, we want to investigate and construct $\aleph _n$-free $R$-modules $M$ (with $n$ an arbitrary, but fixed natural number) over a domain $R$ with End$_RM=R$ for the first time more systematically and uniformly. Recall that $M$ is $\aleph _n$-free, if every subset of size $<\aleph _n$ is contained in a pure, free submodule of $M$. The requirement End$_RM=R$ implies that $M$ is indecomposable, hence complicated. (We will also allow that End$_RM$ is a prescribed $R$-algebra, as in the title of this paper.) By now it is folklore to construct such modules $M$ using additional set theoretic axioms, most notably Jensen’s $\diamondsuit $-principle. In this case the freeness-condition can even be strengthened, see [6] and many examples in [9]. However, if we insist on proving this result in ordinary ZFC, then the known arguments fail: The classical constructions from the fundamental paper by Corner [2] do not apply because they are based on pure submodules of $p$-adic completions of free $A$-modules, which are never even $\aleph _1$-free. If we use Shelah’s Black Box instead of Jensen’s $\diamondsuit $-principle, then the constructed modules $M$ are still $\aleph _1$-free, but always fail to be even $\aleph _2$-free, see [4]. Thus we must develop new methods, which are presented for the first time in Sections 2 to 6, to achieve the desired result (Main Theorem 7.6). With these methods we provide a useful tool for a wide range of problems concerning $\aleph _n$-free structures which can then be attacked.},
author = {Göbel, Rüdiger, Herden, Daniel, Shelah, Saharon},
journal = {Journal of the European Mathematical Society},
keywords = {prediction principles; almost free abelian groups; endomorphism rings; realizations of algebras as endomorphism algebras; Black Box; $\aleph _n$-free modules; prediction principles; almost free Abelian groups; endomorphism rings; realizations of algebras as endomorphism algebras; Black Box; -free modules},
language = {eng},
number = {9},
pages = {1775-1816},
publisher = {European Mathematical Society Publishing House},
title = {Prescribing endomorphism algebras of $\aleph _n$-free modules},
url = {http://eudml.org/doc/277307},
volume = {016},
year = {2014},
}

TY - JOUR
AU - Göbel, Rüdiger
AU - Herden, Daniel
AU - Shelah, Saharon
TI - Prescribing endomorphism algebras of $\aleph _n$-free modules
JO - Journal of the European Mathematical Society
PY - 2014
PB - European Mathematical Society Publishing House
VL - 016
IS - 9
SP - 1775
EP - 1816
AB - 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 consider almost-free abelian groups and assume the existence of large canonical, free subgroups. Nevertheless, there exist $\aleph _1$-separable torsion-free groups $G$ of size $\aleph _1$ with a basic subgroup $B$ of rank $\aleph _1$ such that all subgroups of $G$ disjoint from $B$ are also free, but the groups $G$ are still not free. What else can we say about $G$? The other paper deals with Kaplansky’s test problems (which are excellent indicators that the objects defy classification). The authors are able to construct very free abelian groups and verify the test problems for them by a careful choice of $\emph {particular}$ elements of their endomorphism rings. Accordingly, we want to investigate and construct $\aleph _n$-free $R$-modules $M$ (with $n$ an arbitrary, but fixed natural number) over a domain $R$ with End$_RM=R$ for the first time more systematically and uniformly. Recall that $M$ is $\aleph _n$-free, if every subset of size $<\aleph _n$ is contained in a pure, free submodule of $M$. The requirement End$_RM=R$ implies that $M$ is indecomposable, hence complicated. (We will also allow that End$_RM$ is a prescribed $R$-algebra, as in the title of this paper.) By now it is folklore to construct such modules $M$ using additional set theoretic axioms, most notably Jensen’s $\diamondsuit $-principle. In this case the freeness-condition can even be strengthened, see [6] and many examples in [9]. However, if we insist on proving this result in ordinary ZFC, then the known arguments fail: The classical constructions from the fundamental paper by Corner [2] do not apply because they are based on pure submodules of $p$-adic completions of free $A$-modules, which are never even $\aleph _1$-free. If we use Shelah’s Black Box instead of Jensen’s $\diamondsuit $-principle, then the constructed modules $M$ are still $\aleph _1$-free, but always fail to be even $\aleph _2$-free, see [4]. Thus we must develop new methods, which are presented for the first time in Sections 2 to 6, to achieve the desired result (Main Theorem 7.6). With these methods we provide a useful tool for a wide range of problems concerning $\aleph _n$-free structures which can then be attacked.
LA - eng
KW - prediction principles; almost free abelian groups; endomorphism rings; realizations of algebras as endomorphism algebras; Black Box; $\aleph _n$-free modules; prediction principles; almost free Abelian groups; endomorphism rings; realizations of algebras as endomorphism algebras; Black Box; -free modules
UR - http://eudml.org/doc/277307
ER -