Counterexamples in Nonassociative Algebra
Is Version Of
We present a method of constructing counterexamples in nonassociative algebra. The heart of the computation is constructing a matrix of identities and reducing this matrix (usually very sparse) to row canonical form. The example is constructed from the entries in one column of this row canonical form. While this procedure is not polynomial in the degree of the identity, several shortcuts are listed which shorten calculations. Several examples are given.