有限呈现的和连贯的有序模和环
摘要：对于环上的模，我们将通常的连贯性定义扩展到部分有序的右模上，这些右模属于一个被称为po-ring的大类部分有序环。在这种情况下，连贯性等价于说有限不等式系统的解集是有限生成的半模。对于有序环和模的连贯性，我们称为po-连贯性，具有以下特点：（i）Q的每个子环和每个全序除环都是po-连贯的。（ii）对于一个部分有序环R上的部分有序右模A，当且仅当A是一个有限表示的R模且A^+是一个有限生成的R^+半模时，A才是po-连贯的。（iii）对于一个右po-连贯的po-ring上的有限po-表示的部分有序右模是po-连贯的。（iv）每个有限表示的阿贝尔格子有序群都是po-连贯的。
作者：Friedrich Wehrung (LMNO)
论文ID：math/0501433
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23