Prove that the quotient ring $\mathbb{C}[x,y]/(x^2+y^2-1)$ is a unique factorization domain.
I am trying to prove first it is a principal ideal domain. However I am really stuck on this problem
Asked
Active
Viewed 446 times
5
user26857
- 52,094
Rutherford Mark
- 1,851
-
Have you tried writing $x=\cos x$, $y=\sin x$? It's only a suggestion, I don't know if it is the right way. – ajotatxe Apr 06 '14 at 18:35
-
@ajotatxe: I had not tried that but I am trying to use that substitution and still got nowhere. I am trying to use the idea of adjoining elements for this one – Rutherford Mark Apr 06 '14 at 19:08
-
1Solved here. – user26857 Apr 10 '14 at 21:07
1 Answers
4
Show that the ring is isomorphic to the ring of complex trigonometric polynomials $\mathbb{C}[e^{i\theta},e^{-i\theta}]$. This is a localization of $\mathbb{C}[t]$ so is a PID.
Pete L. Clark
- 97,892