A[x1,x2,...,xn]:多項式環
p:その多項式
B:環
とすると
{準同型:A[x1,x2,...,xn]/(p) → B}
と
{p(b1,b2,...,bn)=0を満たす(b1,b2,...,bn)∈B^n}
に一対一対応があることの証明を教えてください
またこれについて詳しく書いてある本があれば教えてください