期刊文章详细信息
有限可换主理想环上模理论可判定性及其复杂性
The Decidability and Complexity for Theories of Modules on Finitely PI Rings
文献类型：期刊文章
机构地区：[1]山西师范大学计算中心
出 处：《Journal of Mathematical Research and Exposition》
基 金：山西省自然科学基金
年 份：1997
卷 号：17
期 号：3
起止页码：437-440
语 种：中文
收录情况：AJ、CSCD、CSCD2011_2012、ZMATH、普通刊
摘 要：本文利用初等等价的工具，引用ＥｈｅｎｆｅｕｃｈｔＧａｍｅ理论，证明了有限可换主理想环上模的理论是可判定的，并且判定过程的计算复杂性上界为２ｃｎ２．
关 键 词：可逆定性 复杂性 交换环 模论 有限环 主理想环
分 类 号：O153.3[数学类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
