English

The complexity of the embeddability relation between torsion-free abelian groups of uncountable size

Logic 2019-01-03 v3

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 RR-modules, for every S\mathbb{S}-cotorsion-free ring RR of cardinality less than the continuum. As a consequence we get that all the previous are complete Σ11\boldsymbol{\Sigma}^1_1 quasi-orders.

Keywords

Cite

@article{arxiv.1704.03392,
  title  = {The complexity of the embeddability relation between torsion-free abelian groups of uncountable size},
  author = {Filippo Calderoni},
  journal= {arXiv preprint arXiv:1704.03392},
  year   = {2019}
}

Comments

14 pages, final version