I know they are both UFDS, but not Euclidean domains nor PIDS. The argument that I have seen showing that they are not isomorphic goes along the lines of saying the number of invertible elements in each ring is different. If this valid, then I still have trouble seeing why the order of the invertible subset should be preserved under ring isomorphisms.
Prove that $\mathbb{Z} [x] $ is not isomorphic to $\mathbb{Q}[x,y]$.
-
0@Chris That's not much different. The proposed proof works by showing that \rm\:|\mathbb Q^{\times}| > |\mathbb Z^{\times}| whereas you propose to show it by essentially explicitly exhibiting an element $\rm\:1/2\in |\mathbb Q^{\times}|$ but not $\rm\in |\mathbb Z^{\times}|.\ \ \ $ – 2012-04-10
2 Answers
Suppose that $R$ and $S$ are rings, and that $f:R\to S$ is an isomorphism. Let $R^\times\subset R$ and $S^\times \subset S$ be the respective subsets of invertible elements.
Your goal is to show that $f(R^\times)=S^\times$, which (because $f$ is a bijection) demonstrates that $|R^\times|=|S^\times|$. A good way to proceed would be to show that $f(R^\times)\subseteq S^\times$ and that $S^\times\subseteq f(R^\times)$. Hint: Use the fact that $f$ and $f^{-1}$ are homomorphisms.
If $\phi:\mathbb{Z}[x]\rightarrow \mathbb{Q}[x,y]$ is a ring homomorphism, then $\phi(1)=1$. It then follows that for all $n\in \mathbb{Z}$, $\phi(n)=n$ (if you're not convinced of this, it would be worth sitting down and writing out a proof).
Assume that $\phi$ is injective. Pick $n\in \mathbb{N}$, and suppose that $\frac{1}{n}\in im(\phi)$. Then there exists $f(x)\in \mathbb{Z}[x]$ with $\phi(f)=\frac{1}{n}$. Then $\phi(nf)=1=\phi(1)$, implying that $nf(x)\equiv 1$ and hence $n=\pm 1$. Thus, $\frac{1}{n}\notin im(\phi)$ for any $n\geq 2$.
Therefore no injective homomorphism from $\mathbb{Z}[x]$ to $\mathbb{Q}[x,y]$ can be onto, and hence $\mathbb{Z}[x] \ncong \mathbb{Q}[x,y]$.
Alternatively: Suppose again that $\phi:\mathbb{Z}[x]\rightarrow \mathbb{Q}[x,y]$ is injective, and let $\phi(x)=g(x,y)$. So, for any $f(x)=a_0+a_1x+a_2 x^2 + \cdots + a_m x^m\in \mathbb{Z}[x],$ we have $\phi(f)=a_0+a_1g(x,y)+a_2(g(x,y))^2 + \cdots + a_m (g(x,y))^m\in \mathbb{Q}[x,y].$
Now, consider $g(x,y)$. If $g(x,y)$ is a constant, then $\phi$ is certainly not onto (and hence not an isomorphism), so assume that $deg(g)=k>0$. Let $qx^ay^b$ (with $q\in \mathbb{Q}$ and $a,b\in \mathbb{N}$ with $a+b=k$) be a term of $g$ having maximal degree. Then $g(x,y)-qx^ay^b\notin im(\phi)$ (it would be a good exercise to write down a short proof explaining why). Therefore once again, $\phi$ cannot be onto.