论文部分内容阅读
本文利用初等等价的工具，引用Ｅｈｅｎｆｅｕｃｈｔ Ｇａｍｅ理论，证明了有限可换主理想环上模的理论是可判定的，并且判定过程的计算复杂性上界为２＾ｃｎ＾２。
有限可换主理想环上模理论可判定性及其复杂性
【摘 要】
：
本文利用初等等价的工具，引用Ｅｈｅｎｆｅｕｃｈｔ Ｇａｍｅ理论，证明了有限可换主理想环上模的理论是可判定的，并且判定过程的计算复杂性上界为２＾ｃｎ＾２。
【机 构】
：
山西师范大学计算中心
【出 处】
：
数学研究与评论
【发表日期】
：
1997年3期
【基金项目】
：
山西省自然科学基金
其他文献
设ｍ是适合ｍ≠２（ｍｏｄ４）的正整数，ζｍ是ｍ次本原单位根，又设△ｋ，ｈｍ分别是分圆域Ｋ＝Ｑ（ζｍ）的判别式和类数，本文证明了：当ψ（ｍ）≥２２０时，ｈｍ〈４２３ｗｍＱｍ√△ｋ／（１９．４７）其中ψ（ｍ）是ｍ的Ｅｕｌｅｒ函数ｗｍ是Ｋ中单位根的人数，当ｍ是素数方幂时，Ｑｍ＝１否则Ｑｍ＝２由此可推知：当奇素数Ｐ≥
职场人生风云变幻，害人之心不可有，防人不心不可无。把自己的私域圈起来当成办公室话题的禁区，轻易不让人涉足，其实是非常明智的一招，是竞争压力下的自我保护。不要谈论薪水问题同
长沙镇，是开县南部首镇，素有开县＂南大门＂之称。是＂全国重点镇”之一。重庆市小城镇建设中心镇，市＂百个经济强镇＂、＂百个商贸小城镇＂之一。因盛产柑桔而享有＂桔乡＂之美誉，是全国柑桔生产样
令E为实光滑、一致凸Banach空间，E^＊为其对偶空间．令A，B包含E×E^＊为极大单调算子且A^-10∩B^-10≠0．本文将引入新的迭代格式，利用Lyapunov泛函与广义投影算子等技巧，证明迭代序
推进生态文明建设，关乎人民福祉，关乎未来发展。党的十八报告把生态文明建设纳入中国特色社会主义事业“五位一体”总体布局。体现了党治国理政的新境界，具有重大现实意义和深远