Campus Units

Mathematics

Document Type

Article

Publication Version

Accepted Manuscript

Publication Date

1993

Journal or Book Title

International Journal of Computer Mathematics

Volume

49

Issue

1-2

First Page

19

Last Page

27

DOI

10.1080/00207169308804211

Abstract

Albert is an interactive computer system for building nonassociative algebras [2]. 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 [7].

Comments

This is an Accepted Manuscript of an article published by Taylor & Francis as Hentzel, Irvin Roy, 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 49, no. 1-2 (1993): 19-27. doi: 10.1080/00207169308804211. Posted with permission.

Copyright Owner

Taylor & Francis

Language

en

File Format

application/pdf

Published Version

Included in

Algebra Commons

Share

COinS