Is there a field extension $E$ of $\mathbb R$ such that every formal power series with coefficients in $\mathbb R$ has a root in $E$?

179 Views Asked by At

Is there a field extension $E$ of $\mathbb R$ such that every formal power series with coefficients in $\mathbb R$ has a root in $E$? If so, can we describe its elements explicitly?

The set of complex numbers $\mathbb C$ can be thought of as a field extension $F$ of $\mathbb R$ such that every polynomial with coefficients in $\mathbb R$ has a root in $F$. A formal power series generalizes a polynomial in that the number of nonzero coefficients is allowed to be infinite–put another way, a polynomial is a special case of a formal power series in which only finitely many of the coefficients can be nonzero. Thus, it seems natural to ask if there are any field extensions of $\mathbb R$ such that all elements of $\mathbb R[[x]]$–the ring of formal power series with coefficients in $\mathbb R$–have roots in the extension.

We can see that if such a field $E$ exists, it will contain the complex numbers as a subfield for the same reasons as before. It is also evident that $\exp(X):=\sum_{n=0}^\infty\frac{X^n}{n!}$ has a root in this field, which I find somewhat interesting.

Important: in this context, we say that $r$ is a root of $f(x)\in\mathbb R[[x]]$ if and only if $x-r$ divides $f(x)$. This avoids the troubles of having to define statements like $a_0+a_1r+a_2r^2+\cdots=0$.

1

There are 1 best solutions below

4
On BEST ANSWER

As Ravi points out in the comments, your definition of roots does not work. We can avoid this by working with a topology so that we can discuss convergence of convergent power series. A nice general setting is to work in a Banach algebra over $\mathbb{R}$: convergent power series behave very nicely in this setting (see the holomorphic functional calculus for details). Banach algebras are almost never fields but we can just drop the field requirement and consider general Banach algebras.

Unfortunately there are convergent power series which do not have roots in any Banach algebra, and $\exp(x)$ is itself an example: this is because it is always invertible, since its inverse is $\exp(-x)$.

Generally, using the holomorphic functional calculus (specifically, using the spectral mapping theorem) we can show that a convergent power series over $\mathbb{R}$ has a root in some Banach algebra over $\mathbb{R}$ if and only if it has a root in $\mathbb{C}$. So $\mathbb{C}$ is already as "algebraically closed" with respect to convergent power series as possible.