包含-除法环与 Dedekind 整环的新刻画
交换代数
2017-08-03 v1
摘要
我们引入了一类新的含幺交换环，即包含-除法环（CDR-s）。我们表明该概念具有非常特殊的起源，因为它本质上是在计算机程序（即异构工具集（HETS））的定性辅助下共同发现的。此外，我们证明了在 Noetherian 环境下，CDR-s 只是描述 Dedekind 整环的另一种方式。同时，我们看到对于 CDR-s，Noetherian 条件可以被更弱的除子链条件所替代。
引用
@article{arxiv.1708.00532,
title = {Containment-Division Rings and New Characterizations of Dedekind Domains},
author = {Danny A. J. Gomez-Ramirez and Juan D. Velez and Edisson Gallego},
journal= {arXiv preprint arXiv:1708.00532},
year = {2017}
}