具有稠密值群的Prüfer域上模理论的可判定性
逻辑
2024-12-17 v1
摘要
我们给出确保有效给出的Prüfer（特别地，Bézout）域上模理论可判定性的代数条件，这些域在极大理想处的局部化具有稠密值群。对于Bézout域，这些条件也是必要的。
引用
@article{arxiv.1906.03902,
title = {Decidability of the theory of modules over Pr\"ufer domains with dense value groups},
author = {Lorna Gregory and Sonia L'Innocente and Carlo Toffalori},
journal= {arXiv preprint arXiv:1906.03902},
year = {2024}
}
备注
29 pages