2
$\begingroup$

Well, the elements of the ring $\mathbb{C}[x]$ are easy to understand for me. They can be thought of as polynomial functions from $\mathbb{C} \rightarrow \mathbb{C}$ and as a result they are infinitely differentiable and defined over the whole complex plane.

Coming to the field $\mathbb{C}(x)$, what can we say about the elements in the field $\mathbb{C}(x)$ ? They also are functions from $\mathbb{C} \rightarrow \mathbb{C}$ but with some singularities. What else ?

What about the elements that are algebraic over $\mathbb{C}(x)$? Are these elements precisely the fractional power series with coefficients in $\mathbb{C}$ since via Puiseux theorem,the field of Puiseux series is algebraically closed.

So,my question is :

If I have a formal power series with coefficients in $\mathbb{C}$ which converges within a radius of convergence $R$. Does this element belong to $\mathbb{C}(x)$ or is algebraic over $\mathbb{C}(x)$

$\endgroup$
0

2 Answers 2

3
$\begingroup$

It is not true, precisely, that elements of $\mathbb C[x]$ are infinitely differentiable functions "with coefficients in $\mathbb C$." They are polynomials with coefficients in $\mathbb C[x]$.

Elements of $\mathbb C(x)$ are of the form $$\frac{p(x)}{q(x)},$$ where $p,q\in \mathbb C[x]$.

I don't know a good description of elements algebraic over $\mathbb C(x)$. It seems these would be tricky to describe in general.

It seems false that every formal power series is in $\mathbb C(x)$. Consider the power series that defines $e^x$, for example.

$\endgroup$
1
  • $\begingroup$ I was looking for some alternative description of the elements with some properties to easily understand the elements of $\mathbb{C}(x)$.Thanks for helping anyways. $\endgroup$ Dec 9, 2015 at 6:48
2
$\begingroup$

Your question is much deeper than you seem to realize. A function $y$ that’s algebraic over $\Bbb C(x)$ comes from a polynomial of two variables $F(X,Y)\in\Bbb C[X,Y]$. That is, $(x,y)$ will be a zero of such a two-variable polynomial $F$. Thus this question takes in the whole subject of the complex algebraic geometry of curves.

As to formal power series, let’s leave aside for a moment all questions of convergence. Then you have the ring $\Bbb C[[x]]\supset\Bbb C[x]$, as you know. If you look at the fraction fields, conventionally written $\Bbb C((x))\supset\Bbb C(x)$, the small field has transcendence degree one over $\Bbb C$, while the big one has uncountable transcendence degree over $\Bbb C$. In other words, unimaginably bigger!

Now, even restricting to convergent series, as Patrick has pointed out, our good friend the exponential series is way beyond the field $\Bbb C(x)$: not in it, not algebraic over it.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .