The complexity of the embeddability relation between torsion-free abelian groups of uncountable size
Abstract: We prove that for every uncountable cardinal $\kappa$ such that $\kappa{<\kappa}=\kappa$, the quasi-order of embeddability on the $\kappa$-space of $\kappa$-sized graphs Borel reduces to the embeddability on the $\kappa$-space of $\kappa$-sized torsion-free abelian groups. Then we use the same techniques to prove that the former Borel reduces to the embeddability on the $\kappa$-space of $\kappa$-sized $R$-modules, for every $\mathbb{S}$-cotorsion-free ring $R$ of cardinality less than the continuum. As a consequence we get that all the previous are complete $\boldsymbol{\Sigma}1_1$ quasi-orders.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.