Title :
Z-module reasoning and proving the commutativity of rings of exponent n/spl ges/2
Author :
Sawyer, Blackwell ; Esterline, Albert C.
Author_Institution :
Dept. of Comput. Sci., North Carolina A&T State Univ., Greensboro, NC, USA
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?.
Keywords :
group theory; inference mechanisms; Z-module reasoning; abelian group; addition; automated reasoning; exponent; multiplication; reasoning systems; rings commutativity; Additives; Automatic testing; Computer languages; Computer science; Equations; Laboratories; Modules (abstract algebra); Polynomials; Prototypes; System testing;
Conference_Titel :
Southeastcon 2000. Proceedings of the IEEE
Conference_Location :
Nashville, TN, USA
Print_ISBN :
0-7803-6312-4
DOI :
10.1109/SECON.2000.845585
