MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $R$ be a non zero ring with identity. Clearly $R[x]$ embeds in $R[[x]]$. Is it true that for any $n$, one can embed $R[x_1,...,x_n]$ in $R[[x]]$ ?

share|cite|improve this question

Yes. Take algebraically independent power series $a_1(x),\dots, a_n(x)$ and map $x_i$ to $a_i$. For example, one can take $a_1(x) = x$, $a_2(x) = \exp(x)$, $a_3(x) = \exp(\exp(x))$, ...

share|cite|improve this answer
If there is some objection that coefficients $1/n!$ might not exist in $R$, one can always modify by considering things like $\sum_n x^{10^n}$ as giving nonalgebraic functions, a la Liouville. – Todd Trimble Dec 29 '12 at 20:20
Alternatively: since the natural map $M \otimes_{\mathbf{Z}} \mathbf{Z}[\![x]\!] \rightarrow M[\![x]\!]$ is injective for any $\mathbf{Z}$-module $M$ (use direct limit considerations), it suffices to treat $R = \mathbf{Z}$ (then tensor against any $\mathbf{Z}$-algebra $R$ and compose with the injection $R \otimes_{\mathbf{Z}} \mathbf{Z}[\![x]\!] \rightarrow R[\![x]\!]$). Thus, we just have to check ${\rm{Frac}}(\mathbf{Z}[\![x]\!])$ has infinite transcendence degree over $\mathbf{Q}$ (then chase "denominators", etc.), and this is immediate by uncountability. – user30180 Dec 29 '12 at 22:42

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.