有界正则秩有序阿贝尔群中的虚元消去
逻辑
2022-05-10 v3
摘要
本文研究若干类纯有序阿贝尔群中的虚元消去。对于有界正则秩（等价地，具有有限脊柱）的有序阿贝尔群类，在添加每个可定义凸子群 Δ 的商群 Γ/Δ 的排序，以及形如 Γ/Δ+lΓ（其中 Δ 为可定义凸子群且 l∈N_{≥2}）的商群排序后，我们得到弱虚元消去。我们将这些排序称为商排序。对于 dp-极小情形，若再添加常数以区分每个 ℓ∈N 对应的有限群 Γ/ℓΓ 中的元素，则可获得完全的虚元消去。
引用
@article{arxiv.2106.01500,
title = {Elimination of imaginaries in Ordered Abelian groups with bounded regular rank},
author = {Mariana Vicaria},
journal= {arXiv preprint arXiv:2106.01500},
year = {2022}
}