Zariski closed algebras in varieties of universal algebra. (Q484623)

The authors study identical relations of algebras in the general context of universal algebra. An algebra \(A\) is representable if it is a subalgebra of a finite dimensional algebra \(B\) over a larger base field. The purpose of this paper is to develop the theory of the Zariski closure of a representable algebra (not necessarily associative) over an arbitrary integral domain. As an application, the authors prove that the codimension sequence of any representable Zariski-closed PI-algebra over an arbitrary field is exponentially bounded.