薛锐.有限可换主理想环上模理论可判定性及其复杂性[J].数学研究及应用,1997,17(3):437~440
有限可换主理想环上模理论可判定性及其复杂性
The Decidability and Complexity for Theories of Modules on Finitely PI Rings
投稿时间:1994-06-20  
DOI:10.3770/j.issn:1000-341X.1997.03.022
中文关键词:  n-初等等价  Ehrenfeucht Game  可判定性  复杂性
英文关键词:n-elementary equivalent  Ehrenfeucht Game  decidability  computational complexity.
基金项目:山西省自然科学基金资助.
作者单位
薛锐 山西师范大学计算中心 
摘要点击次数: 999
全文下载次数: 1328
中文摘要:
      本文利用初等等价的工具,引用Ehenfeucht Game理论,证明了有限可换主理想环上模的理论是可判定的,并且判定过程的计算复杂性上界为2cn
英文摘要:
      By making use of Ehrenfeucht Game theory, we give a successful procedure to decide the theories of modules on finitely principal ideal (PI) rings, and also the decision process upper bounds 2cn.
查看全文  查看/发表评论  下载PDF阅读器