I sometimes see both notations and I am led (maybe misled) to believe that they are the same thing. What is the formal difference between both of them? Or there isn't any?
$\begingroup$ $\endgroup$
Add a comment |
1 Answer
$\begingroup$ $\endgroup$
2 $\mathbb{C}\{x,y\}$ is the ring of convergent power series in $x,y$; $\mathbb{C}[x,y]$ is the ring of polynomials in $x,y$. The third related object you often see is $\mathbb{C}[[x,y]]$; this is the ring of formal power series in $x,y$.
- $\begingroup$ This makes things cleares than I hoped :) I was having this doubt, since the material I'm reading said $dim_{\mathbb{C}}\frac{\mathcal{O}}{a\mathcal{O}+b\mathcal{O}}$ is finite under some conditions, where $a,b\in\mathcal{O}=\mathbb{C}\{ x,y\}$, $\mathcal{O}$ the ring of function germs at a singularity. $\endgroup$Marra– Marra2013-05-07 12:59:03 +00:00Commented May 7, 2013 at 12:59
- 1$\begingroup$ I'm glad it's helpful! Yes, you could also call $\mathbb{C}\{x,y\}$ the ring of (analytic) function germs at the origin. $\endgroup$Rhys– Rhys2013-05-07 13:42:43 +00:00Commented May 7, 2013 at 13:42