Formally Integrally Closed Domains and the RingsR((X)) andR{{X}} Original Research Article

LetRbe an integral domain. Forf set membership, variant R [ X ] letAfbe the ideal ofRgenerated by the coefficients off. We defineRto be formally integrally closed left right double arrow (Afg)t = (AfAg)tfor all nonzerof, g set membership, variant R [ X ] . Examples of formally integrally closed domains include locally finite intersections of one-dimensional Prüfer domains (e.g., Krull domains and one-dimensional Prüfer domains). We study the ringsR((X)) = R [ X ] NandR{{X}} = R [ X ] NtwhereN = {f set membership, variant R [ X ] Af = R} andNt = {f set membership, variant R [ X ] (Af)t = R}. We show thatRis a Krull domain (resp., Dedekind domain) left right double arrowR{{X}} (resp.,R((X))) is a Krull domain (resp., Dedekind domain) left right double arrowR{{X}} (resp.,R((X))) is a Euclidean domain left right double arrow every (principal) ideal ofR{{X}} (resp.,R((X))) is extended fromRleft right double arrowRis formally integrally closed and every prime ideal ofR{{X}} (resp.,R((X))) is extended fromR.