DECIDABILITY OF MODULES OVER A BéZOUT DOMAIN D + XQ[X] WITH D A PRINCIPAL IDEAL DOMAIN AND Q ITS FIELD OF FRACTIONS

GENA PUNINSKI; CARLO TOFFALORI

首页> 外文期刊>Journal of Symbolic Logic >DECIDABILITY OF MODULES OVER A BéZOUT DOMAIN D + XQ[X] WITH D A PRINCIPAL IDEAL DOMAIN AND Q ITS FIELD OF FRACTIONS

【24h】

DECIDABILITY OF MODULES OVER A BéZOUT DOMAIN D + XQ[X] WITH D A PRINCIPAL IDEAL DOMAIN AND Q ITS FIELD OF FRACTIONS

机译：Bézout域D + XQ [X]上具有D主理想域和Q的分数场的模块的判定性

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We describe the Ziegler spectrum of a Bézout domain B = D + XQ[X] where D is a principal ideal domain and Q is its field of fractions; in particular we compute the Cantor-Bendixson rank of this space. Using this, we prove the decidability of the theory of B-modules when D is "sufficiently" recursive.

机译：我们描述Bézout域B = D + XQ [X]的齐格勒谱，其中D是主要的理想域，Q是其分数域;特别是，我们计算了该空间的Cantor-Bendixson等级。利用这一点，我们证明了D是“足够”递归时B-模理论的可判定性。

著录项

来源
《Journal of Symbolic Logic》 |2014年第1期|共10页
作者
GENA PUNINSKI; CARLO TOFFALORI;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类概率论与数理统计;
关键词
Bézout domain; decidability; Ziegler spectrum; Cantor-Bendixson rank; Krull-Gabriel dimension;

机译：Bézout域;可判定性;Ziegler谱;Cantor-Bendixson秩;Krull-Gabriel维数;

相似文献

外文文献
中文文献
专利

1. DECIDABILITY OF MODULES OVER A BéZOUT DOMAIN D + XQ[X] WITH D A PRINCIPAL IDEAL DOMAIN AND Q ITS FIELD OF FRACTIONS [J] . GENA PUNINSKI, CARLO TOFFALORI Journal of Symbolic Logic . 2014,第1期

机译：Bézout域D + XQ [X]上具有D主理想域和Q的分数场的模块的判定性
2. A category equivalence between homogeneous completely decomposable abelian groups and modules over principal ideal domains [J] . Strungmann L. Journal of pure and applied algebra . 2001,第2a3期

机译：主要理想域上的齐次完全可分解的阿贝尔群和模块之间的类别等价
3. (C, A)-invariance of modules over principal ideal domains [J] . Ito N., Wimmer HK., Schmale W. SIAM Journal on Control and Optimization . 2000,第6期

机译：（C，A）-主理想域上模块的不变性
4. A note on reachability submodules for linear systems over principal ideal domains [C] . Ito, N., Inaba, . 1996

机译：关于主要理想域上的线性系统的可达性子模块的说明
5. Injective modules over a principal left and right ideal domain, with applications. [D] . Duca, Alina N. 2007

机译：左右主理想域中的内射模块，及其应用。
6. Big Domains Are Novel Ca2+-Binding Modules: Evidences from Big Domains of Leptospira Immunoglobulin-Like (Lig) Proteins [O] . Rajeev Raman, V. Rajanikanth, Raghavan U. M. Palaniappan, 2010

机译：大域是新型的Ca 2+结合模块：钩端螺旋体免疫球蛋白样（Lig）蛋白的大域的证据。
7. A BAER-KAPLANSKY THEOREM FOR MODULES OVER PRINCIPAL IDEAL DOMAINS [O] . Simion Breaz 2016

机译：一个BaER-KapLaNsKY定理，用于主要理想领域的模块化

DECIDABILITY OF MODULES OVER A BéZOUT DOMAIN D + XQ[X] WITH D A PRINCIPAL IDEAL DOMAIN AND Q ITS FIELD OF FRACTIONS

摘要

著录项

相似文献

相关主题

期刊订阅