On Polynomial Algebras and Free Algebras
On Polynomial Algebras and Free Algebras
It is well known that given the polynomial algebra (for definitions, see §2), an algebra of type τ, and a sequence a of elements of , one can define a congruence relation θ a of such that the factor algebra is isomorphic to the subalgebra of generated by a, and …