J Austral Math Soc Ser A 52 pp154--174, 1992.

Conjugate Polynomials Over Quadratic Algebras

Timothy Stokes

Abstract

This paper gives variants of results from classical algebraic geometry and commutative algebra for quadratic algebras with conjugation. Quadratic algebras are essentially two-dimensional algebras with identity over commutative rings with identity, on which a natural operation of conjugation may be defined. We define the ring of conjugate polynomials over a quadratic algebra, and define c-varieties. In certain cases a close correspondence between standard varieties and c-varieties is demonstrated, and we establish a correspondence between conjugate and standard polynomials, which leads to variants of the Hilbert Nullstellensatz if the commutative ring is an algebraiclly closed field. These results may be applied to automated Euclidean geometry theorem proving.

1991 AMS Subject Classification: primary 17A45; secondary 16A28, 13F20

Browse the article

Authors

Timothy Stokes

University of Tasmania, Box 252C Hobart, Tasmania 7001, Australia.