An intermediate ring between a polynomial ring and a power series ring

Volume 130 / 2013

M. Tamer Koşan, Tsiu-Kwen Lee, Yiqiang Zhou Colloquium Mathematicum 130 (2013), 1-17 MSC: 16E50, 16P40, 16S34, 16S36, 16W60. DOI: 10.4064/cm130-1-1


Let $R[x]$ and $R[[x]]$ respectively denote the ring of polynomials and the ring of power series in one indeterminate $x$ over a ring $R$. For an ideal $I$ of $R$, denote by $[R;I][x]$ the following subring of $R[[x]]$: $$[R;I][x]:=\Big\{\sum_{i\ge 0}r_ix^i\in R[[x]]: \exists 0\le n\in {\mathbb Z}\ \text {such that}\ r_i\in I,\, \forall i\ge n\Big\}.$$ The polynomial and power series rings over $R$ are extreme cases where $I=0$ or $R$, but there are ideals $I$ such that neither $R[x]$ nor $R[[x]]$ is isomorphic to $[R;I][x]$. The results characterizing polynomial rings or power series rings with a certain ring property suggest a similar study to be carried out for the ring $[R;I][x]$. In this paper, we characterize when the ring $[R;I][x]$ is semipotent, left Noetherian, left quasi-duo, principal left ideal, quasi-Baer, or left p.q.-Baer. New examples of these rings can be given by specializing to some particular ideals $I$, and some known results on polynomial rings and power series rings are corollaries of our formulations upon letting $I=0$ or $R$.


  • M. Tamer KoşanDepartment of Mathematics
    Gebze Institute of Technology
    Gebze, Kocaeli, Turkey
  • Tsiu-Kwen LeeDepartment of Mathematics
    National Taiwan University
    Taipei 106, Taiwan
    Member of Mathematics Division (Taipei Office)
    National Center for Theoretical Sciences
  • Yiqiang ZhouDepartment of Mathematics and Statistics
    Memorial University of Newfoundland
    St. John's, NL A1C 5S7, Canada

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image