MathOverflow Asked on November 9, 2021
Let $R$ be a commutative ring with $1$, $R[[x]]$ be the power series ring over $R$ and $A$ be an (prime) ideal of $R[[x]]$ with $xnotin A$ and ${f_i}_{i=1}^infty$ be a sequence of element of $A$. Now I have two questions:
Is $fmathrel{:=}f_1+xf_2+x^2f_3+dotsb+x^nf_{n+1}+dotsb$ a well defined element of $R[[x]]$?
(Since we can find the coefficient of $x^n$ in $f$ for each $n$, it seems that $f$ is well defined.)
If (1) is true is $fin A$? (If (1) is true and (2) is not true, under what conditions is (2) true?)
Get help from others!
Recent Answers
Recent Questions
© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP