An '''algebraic variety''' ''V'' over a [[ring (mathematics)|ring]] ''K'' is defined as the set of all points in ''K'' satisfying a system of polynomial equations with coefficients in ''K''. | An '''algebraic variety''' ''V'' over a [[ring (mathematics)|ring]] ''K'' is defined as the set of all points in ''K'' satisfying a system of polynomial equations with coefficients in ''K''. |