 Solution

The printed domain assertion is false. For example, take $K=\mathbb{Q}$ and $I=(4)$. Then ${\mathcal{O}}_K/I=\mathbb{Z}/4\mathbb{Z}$ has the nonzero zero divisor $2+(4)$, so it is not an integral domain and cannot be a principal ideal domain. The valid conclusion is that ${\mathcal{O}}_K/I$ is a principal ideal ring. This error is present in the original PDF, not just its transcription.

To prove the corrected conclusion, factorinto powers of distinct nonzero prime ideals. These powers are pairwise comaximal ideals. Indeed, a maximal ideal containing two such powers would contain both underlying prime ideals, forcing them to be equal. The Chinese remainder theorem givesEvery factor is a principal ideal ring by the preceding part. Every ideal $H$ in a finite direct product of rings is a product $H_1\times \cdots \times H_s$ of ideals in the factors: multiplication by the coordinate idempotent elements separates the coordinates of every element of $H$. Write $H_j=(h_j)$. Thenso $R/I$ is a principal ideal ring. This proves the principal ideal property of quotients of a Dedekind domain in the present setting. In fact, this finite quotient ring is an integral domain precisely when $I$ is a prime ideal, in which case it is a field.

For the final deduction, choose any $0\ne a\in I$ and apply the result to the nonzero proper ideal $(a)$. The ideal $I/(a)$ of $R/(a)$ is generated by one residue class $b+(a)$, which can be represented by $b\in I$. For each $x\in I$, some $r\in R$ satisfies $x-rb\in (a)$. HenceThis proves two generators for an ideal in a Dedekind domain; moreover, its first generator can be any prescribed nonzero element of $I$.