指数为n/spl /2的环的交换性的z模推理和证明

Proceedings of the IEEE SoutheastCon 2000. 'Preparing for The New Millennium' (Cat. No.00CH37105) Pub Date : 2000-04-09 DOI:10.1109/SECON.2000.845585

B. Sawyer, A. Esterline

{"title":"指数为n/spl /2的环的交换性的z模推理和证明","authors":"B. Sawyer, A. Esterline","doi":"10.1109/SECON.2000.845585","DOIUrl":null,"url":null,"abstract":"We address a well-known problem in the field of automated reasoning that has been used to test the effectiveness of reasoning systems. The problem is the following: for a given integer e greater than two, if a ring R has exponent e, then must R be commutative?.","PeriodicalId":206022,"journal":{"name":"Proceedings of the IEEE SoutheastCon 2000. 'Preparing for The New Millennium' (Cat. No.00CH37105)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Z-module reasoning and proving the commutativity of rings of exponent n/spl ges/2\",\"authors\":\"B. Sawyer, A. Esterline\",\"doi\":\"10.1109/SECON.2000.845585\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We address a well-known problem in the field of automated reasoning that has been used to test the effectiveness of reasoning systems. The problem is the following: for a given integer e greater than two, if a ring R has exponent e, then must R be commutative?.\",\"PeriodicalId\":206022,\"journal\":{\"name\":\"Proceedings of the IEEE SoutheastCon 2000. 'Preparing for The New Millennium' (Cat. No.00CH37105)\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-04-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the IEEE SoutheastCon 2000. 'Preparing for The New Millennium' (Cat. No.00CH37105)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SECON.2000.845585\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the IEEE SoutheastCon 2000. 'Preparing for The New Millennium' (Cat. No.00CH37105)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SECON.2000.845585","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们解决了自动推理领域中一个众所周知的问题，该问题已被用于测试推理系统的有效性。问题是这样的:对于一个给定的大于2的整数e，如果一个环R有指数e，那么R一定是可交换的?

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Z-module reasoning and proving the commutativity of rings of exponent n/spl ges/2

We address a well-known problem in the field of automated reasoning that has been used to test the effectiveness of reasoning systems. The problem is the following: for a given integer e greater than two, if a ring R has exponent e, then must R be commutative?.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the IEEE SoutheastCon 2000. 'Preparing for The New Millennium' (Cat. No.00CH37105)

自引率

0.00%

发文量