 If we used a ring, say, "A" as a base ring instead of Z, then the resulting ring will be over "A".For example, if formula_216, then the resulting ring will be the usual polynomial ring with coefficients in "A" in variables that are elements of "X" (It is also the same thing as the symmetric algebra over "A" with symbols "X".