A new characterization of GCD domains of formal power series

Abstract:

By using the $v$-operation, a new characterization of the property for a power series ring to be a GCD domain is discussed. It is shown that if $D$ is a $\operatorname {UFD}$, then $D\lBrack X\rBrack$ is a GCD domain if and only if for any two integral $v$-invertible $v$-ideals $I$ and $J$ of $D\lBrack X\rBrack$ such that $(IJ)_{0}\neq (0),$ we have $((IJ)_{0})_{v}$ $= ((IJ)_{v})_{0},$ where $I_0=\{f(0) \mid f\in I\}$. This shows that if $D$ is a GCD domain such that $D\lBrack X\rBrack$ is a $\pi$-domain, then $D\lBrack X\rBrack$ is a GCD domain.