可算個の変数Xi (i=1,2,3,....)に対して体k上の多項式環k[Xi]を考えたときに、
Xi (i=1,2,3,....)全てで生成されるイデアル(X1,…,Xn,…)は
元の多項式環になってしまう気がするのですが、違うのですか?