Rings with (a, b, c) = (a, c, b) and (a, [b, c]d) = 0: A Case Study Using AlbertInternational Journal of Computer Mathematics
Publication VersionAccepted Manuscript
AbstractAlbert is an interactive computer system for building nonassociative algebras . In this paper, we suggest certain techniques for using Albert that allow one to posit and test hypotheses effectively. This process provides a fast way to achieve new results, and interacts nicely with traditional methods. We demonstrate the methodology by proving that any semiprime ring, having characteristic ≠ 2, 3, and satisfying the identities (a, b, c) - (a, c, b) = (a, [b, c], d) = 0, is associative. This generalizes a recent result by Y. Paul .
Copyright OwnerTaylor & Francis
Citation InformationIrvin R. Hentzel, D. P. Jacobs and Erwin Kleinfeld. "Rings with (a, b, c) = (a, c, b) and (a, [b, c]d) = 0: A Case Study Using Albert" International Journal of Computer Mathematics Vol. 49 Iss. 1-2 (1993) p. 19 - 27
Available at: http://works.bepress.com/irvin-hentzel/10/