7
$\begingroup$

Let $k$ be a field (alg closed if you want). Now let $I_{i}$ be an ideal of $k[x_{i}]$ for every $i \in \{1,2,\ldots,n\}$. Is it always true that:

$$k[x_1,x_2,\ldots,x_n]/ \langle I_1,I_2,\ldots,I_n \rangle \cong k[x_1]/I_1 \otimes_k k[x_2]/I_2 \otimes_k \cdots \otimes_k k[x_n]/I_n$$

  • 1
    Yes. The two sides represent the same functor. You can even replace the $k[x_i]$ with polynomial rings in any number of variables.2012-06-17
  • 0
    Is this still true over integral domain?2014-07-14

1 Answers 1

7

Seems like it?

Compose the natural inclusion $k[x_i] \rightarrow k[x_1, ..., x_n]$ with the quotient map; the kernel is just $I_1$. So the universal property of tensor products induces a map from the RHS to the LHS.

The map in the other direction takes a monomial to the corresponding tensor product, and extends linearly. It is simple to check that these are inverses.