文摘

某些情况下相当于一个强大quasi-divisor财产(SQDP)部分命令组 G 是派生的。这是证明,如果 G 被定义为一个家庭 t 估值的有限字符 G 承认一个SQDP当且仅当它承认quasi-divisor属性和任何有限生成 t 理想是由两个元素。一个拓扑密度拓扑群有限生成的条件 t 理想和/或元素被证明是相当于SQDP兼容。