Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
In the present paper by an algebraic system (algebra) A we shall mean a system with a set F of operations fλ: (x1,…, xn) ∈ A × · · · × A → fλ(x1,…, xn) ∈ A. A polynomial p(x1, …, xr) is a function of variables x1,…, xr which is either one of the xi, or (recursively) a result of some operation fλ(p1,…, pn) performed on other polynomials pi. An algebra A may satisfy a set R of identities p(x1,…, xr) = q(x1,…, xs), and then A shall be called an (F, R)-algebra.