Intereting Posts

The Adjacency Matrix of Symmetric Differences of any Subset of Faces has an Eigenvalue of $2$…?
(Ito lemma proof): convergence of $\sum_{i=0}^{n-1}f(W(t_{i}))(W(t_{i+1})-W(t_{i}))^{2}.$
If $a=\langle12,5\rangle$ and $b=\langle6,8\rangle$, give orthogonal vectors $u_1$ and $u_2$ that $u_1$ lies on a and $u_1+u_2=b$
How many limit points in $\{\sin(2^n)\}$? How many can there be in a general sequence?
Example of Artinian module that is not Noetherian
Alternative analytic continuation to zeta, not giving $-\frac{1}{12}$ for sum of integers
Integrable – martingale
Heisenberg uncertainty principle in $d$ dimensions.
How common is the use of the term “primitive” to mean “antiderivative”?
Find third vector to build a base of $\mathbb{R}^3$
Lost in terminology: What is the meaning of the words “Constraint” and “Parameter” in a goodness of fit?
Permutation with Duplicates
Will computers one day start creating and proving math for us?
How do I show that every group of order 90 is not simple?
Binomial random variable with number of trials being a Poisson random variable

Prove that $\mathbb{C}[x,y] \ncong \mathbb{C}[x]\oplus\mathbb{C}[y]$

$\mathbb{C}[x,y]$ is the polynomial ring of two variables over $\mathbb{C}$. I guess that we can consider images of $xy$ and $x+y$, but can’t complete my argument. Can you help please?

- Drawing subgroup diagram of Dihedral group $D4$
- Order of orthogonal groups over finite field
- “Vector spaces” over a skew-field are free?
- Nonabelian semidirect products of order $pq$?
- What's an Isomorphism?
- How to write permutations as product of disjoint cycles and transpositions

- Under what conditions does a ring R have the property that every zero divisor is a nilpotent element?
- On Conjugacy Classes of Alternating Group $A_n$
- Can we ascertain that there exists an epimorphism $G\rightarrow H$?
- Ideals-algebraic set
- Exhibiting an isomorphism between two finite fields
- “Abstract nonsense” proof of the splitting lemma
- How can we show that an abelian group of order <1024 has a set of generators of cardinality <10
- Minimum polynomial of $\sqrt{2} + \sqrt{5}$ above $\mathbb{Q}$ (and a generalization)
- Methods to check if an ideal of a polynomial ring is prime or at least radical
- Field extensions and monomorphisms

As rings they cannot be isomorphic. The left hand side is an integral domain because:

$\Bbb{C}$ is an integral domain, hence the polynomial ring over it $\Bbb{C}[x]$. Since this is an integral domain, the polynomial ring over it in $y$ is an integral domain, viz. $\big(\Bbb{C}[x]\big)[y] \cong \Bbb{C}[x,y]$ is an integral domain. But for the right hand side we have

$$(x,0) \cdot(0,y) =(0,0)$$

so it cannot be an integral domain.

However if you view $\Bbb{C}[x,y]$ as a $\Bbb{C}$ – module, then we have the following $\Bbb{C}$ – module isomorphism:

$$\Bbb{C}[x,y] \cong \Bbb{C}[x] \otimes_\Bbb{C} \Bbb{C}[y]$$

To see this, note that $\Bbb{C}[x,y]$ is a free $\Bbb{C}$ – module with basis $x^iy^j$. Now for the right hand side $\Bbb{C}[x]$ is a free $\Bbb{C}$ – module with basis $x^i$ and for the left $\Bbb{C}[y]$ is a free $\Bbb{C}$ – module as well with basis $y^j$. Therefore (exercise) their tensor product has basis $x^i \otimes y^j$.

You can now do it as an exercise to prove that $\Bbb{C}[x,y]$ is isomorphic to $\Bbb{C}[x] \otimes_\Bbb{C} \Bbb{C}[y]$ via the $\Bbb{C}$ – module isomorphism that sends $x^iy^j$ to the elementary tensor $x^i \otimes y^j$.

$\textbf{Edit:}$ In fact let me prove to you directly that we have such an isomorphism. Now consider the map

$$B : \Bbb{C}[x] \times \Bbb{C}[y] \longrightarrow \Bbb{C}[x,y]$$ that sends $(p(x),q(y))$ to $p(x)q(y)$. It is easily checked that $B$ is well defined and bilinear. Therefore by the universal property of the tensor product, there exists a unique $\Bbb{C}$ – module homomorphism

$$L : \Bbb{C}[x] \otimes_\Bbb{C} \Bbb{C}[y] \longrightarrow \Bbb{C}[x,y]$$ such that $B = L \circ \pi $ (in other words $B$ factors through the tensor product) and on elementary tensors $L(x^i \otimes y^j) = B(x^i,y^j) = x^iy^j$. As usual $\pi$ is the canonical projection from $\Bbb{C}[x] \times \Bbb{C}[y]$ to the tensor product that is not necessarily surjective. We only need to define $L$ on elementary tensors because we can just extend additively. Now it is easy to see that $L$ is surjective. To see that $L$ is injective, suppose wlog that we have an element

$$\sum_{i,j} p_i(x) \otimes q_j(y)$$

in the kernel of $L$. Then by using the additivity of $L$ and the fact that $L$ is completely determined by the action of $B$ on a pair $(x^i,y^j)$ it is easy to see that this means that $\sum_{i,j} p_i(x)q_j(y)$ in $\Bbb{C}[x,y]$ must be $0$. This means that fixing an $\bar{i}$ and $\bar{j}$ that the coefficients of $p_{\bar{i}}q_{\bar{j}}$ are all zero, since we have noted that $\Bbb{C}[x,y]$ is a free $\Bbb{C}$ – module with basis as stated.

Now to show that $\sum_{i,j} p_i(x) \otimes q_j(y) = 0$ in the tensor product, it suffices to show that fixing some $\bar{i}$ and $\bar{j}$ that $p_{\bar{i}} \otimes q_{\bar{j}} = 0$.

Write $p_{\bar{i}} = p_0 + p_1x + \ldots p_nx^n$ and $q_{\bar{j}} = q_0 + q_1y + \ldots q_mx^m$. Then

$$\begin{eqnarray*} p_{\bar{i}} \otimes q_{\bar{j}} &=& (p_0 + p_1x + \ldots p_nx^n) \otimes (q_0 + \ldots + q_my^m) \\

&=& p_0 \otimes q_0 + \ldots + p_nx^n \otimes q_my^m \\

&=& p_0q_0 (1 \otimes 1) + \ldots + p_nq_m (x^n \otimes y^m).

\end{eqnarray*}$$

But then as noted before, $p_0q_0 = 0$, $(p_1q_0 + q_1p_0) = 0, \ldots, p_nq_m =0$ so that $p_{\bar{i}} \otimes q_{\bar{j}}$ is zero. Since $\bar{i}$ and $\bar{j}$ were arbitrary, it follows that $p_i \otimes q_j$ is zero for all $i,j$ that appear in the sum

$$\sum_{i,j} p_i(x) \otimes q_j(y)$$

so that the sum itself is zero. It follows that $\ker L =\{0\}$ proving injectivity. Hence $L$ is a $\Bbb{C}$ – module isomorphism.

$\hspace{6.5in} \square$

- Prove that $\int_0^1 \frac{{\rm{Li}}_2(x)\ln(1-x)\ln^2(x)}{x} \,dx=-\frac{\zeta(6)}{3}$
- Why is Monotone Convergence Theorem restricted to a nonnegative function sequence?
- How to show that the set of all Lipschitz functions on a compact set X is dense in C(X)?
- If $p\equiv1\mod{4}$, then $p=a^{2}+b^{2}$ where a and b are uniquely determined
- Expanding and understanding the poison pills riddle
- If $a,b,c$ are integers such that $4a^3+2b^3+c^3=6abc$, is $a=b=c=0$?
- Prove that $\sum_{d|n}\phi(d)=n$ where $\phi$ is the Euler's phi function, $n,c\in\mathbb{N}$
- explicitly constructing a certain flat family
- If every subsequence ${a_{sn}}$ where $s>1$ is an integer converges , Then will $a_{n} $ converge?
- A function which is continuous in one variable and measurable in other is jointly measurable
- Is there a bijective continuous function $f: \Bbb R \to \Bbb R$ whose inverse $f^{-1}$ is not continuous?
- Probability a coin comes up heads more often than tails
- Prove there exists $m > 2010$ such that $f(m)$ is not prime
- To show that group G is abelian if $(ab)^3 = a^3 b^3$ and the order of $G$ is not divisible by 3
- If $\dfrac{a}{b-c}+\dfrac{b}{c-a}+\dfrac{c}{a-b}=0$ with unequal $a,b,c$, Prove that $\dfrac{a}{(b-c)^2}+\dfrac{b}{(c-a)^2}+\dfrac{c}{(a-b)^2}=0$