0
$\begingroup$

Let $A=H(D(0,1))$ the ring of holomorphic functions on the open unity disc.

I consider the function $f$:

$$f (t)=\sum f_{i}t^{i} \in A[[t]]$$

I suppose that the $t$-adic valuation of it is less or equal than $r$, so the first $r$ functions, $f_{1},f_{2},...,f_{r}$ do not simultaneously vanish.

Do I have that $t^{r}$ belongs to the ideal generated by $f$ in $A[[t]]$?

The question is also valid if I dont take holomorphic functions, but polynomial functions.

$\endgroup$

1 Answer 1

0
$\begingroup$

The answer is no. Let $r=2$, $f_0,f_1$ never simultaneously vanish. You want $(f_0+f_1t+...)(g_0+g_1t+...)=t^2$. For this we need $g_0=g_1=0$ and $f_0g_2=1$, which is impossible if $f_0$ vanish somewhere.

Can you use TeX in your writing?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.