Abstract | ||
---|---|---|
We present a computer assisted algorithm which establishes whether or not a proposed identity is a consequence of the defining identities of a variety of nonassociative algebras. When the nonassociative polynomial is not an identity, the algorithm produces a proof called a characteristic function. Like an ordinary counterexample, the characteristic function can be used to convince a verifier that the polynomial is not identically zero. However the characteristic function appears to be computationally easier to verify. Also, it reduces or eliminates problems with characteristic. We used this method to obtain and verify a new result in the theory of nonassociative algebras. Namely, in a free right alternative algebra (a,a,b)30. |
Year | DOI | Venue |
---|---|---|
1988 | 10.1007/3-540-51084-2_48 | ISSAC |
Keywords | Field | DocType |
characteristic function | Discrete mathematics,Algebra,Polynomial,Characteristic function (probability theory),Computer science,Alternative algebra,Counterexample,Nest algebra | Conference |
Volume | ISSN | ISBN |
358 | 0302-9743 | 3-540-51084-2 |
Citations | PageRank | References |
1 | 0.47 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
IRVIN ROY HENTZEL | 1 | 15 | 6.11 |
David Pokrass Jacobs | 2 | 269 | 34.30 |