When \((D[[X]])p_{[[X]]}\) is a valuation ring. (English) Zbl 0252.13008
MSC:
13J05 | Power series rings |
13A15 | Ideals and multiplicative ideal theory in commutative rings |
13H99 | Local rings and semilocal rings |
13J05 | Power series rings |
13A15 | Ideals and multiplicative ideal theory in commutative rings |
13H99 | Local rings and semilocal rings |