Indecomposable Butler groups of large cardinalities (Q2277582): Difference between revisions

A Butler group of finite rank is a torsion-free abelian group which is a pure subgroup (or a torsion-free epic image) of a finite rank completely decomposable group. A Butler group of infinite rank is the union of a continuous well-ordered ascending chain of pure subgroups, \(O=B_ 0<B_ 1<...<B_{\alpha}<..\). such that \(B_{\alpha +1}=B_{\alpha}+C_{\alpha}\) for a finite rank Butler group \(C_{\alpha}\). It is shown that for every infinite cardinal \(\lambda\) there exist \(2^{\lambda}\) Butler groups, each of cardinality \(\lambda\), whose endomorphism rings are isomorphic to \({\mathbb{Z}}\) (so they are indecomposable) and have no non-trivial homomorphisms into each other. In addition, the existence of countable Butler groups is established which do not have any indecomposable summands \(\neq 0\).