quotient ring A closer look into a well-known quotient ring The ring $$Z[i]={a+ib: a,b in Z, i^{2}=-1}$$ is quite a well- known ring in Algebra. Further, being a principal ideal domain, every ideal of $$Z[i]$$ is generated by a single element say $$a+ib in Z[i]$$ and so can be taken in