Past exam of the rings and modules course of the University of Oxford / 2023 / 1 / b

Since the irreducible element $x$ is not a unit, the principal ideal $(x)$ is proper. Suppose $(x)\subseteq J\subseteq R$. As $R$ is a principal ideal domain, write $J=(d)$. Then $x=dr$ for some $r\in R$. The definition of an irreducible element says that $d$ or $r$ is a unit.

If $d$ is a unit, then $J=R$. If $r$ is a unit, then $d$ and $x$ are associate elements, so $J=(x)$. Thus $(x)$ is a maximal ideal. By the permitted criterion that a quotient ring by a maximal ideal is a field,

Every multiple of $x_1\cdots x_r$ is a multiple of each $x_j$, giving one inclusion. For the reverse inclusion, a principal ideal domain is a unique factorization domain, so each irreducible element $x_j$ is a prime element.

Let $a\in {\bigcap }_{j=1}^r(x_j)$. The case $a=0$ is immediate. Otherwise, write $a=x_{1}b$. Since $x_2\mid a$ and the prime element $x_2$ cannot divide the non-associate irreducible element $x_1$, it divides $b$. Write $a=x_1{x}_2{b}_2$, and repeat. At stage $j$, the prime element $x_j$ divides none of $x_1,\dots ,x_{j-1}$, so it divides the remaining factor. Hence $x_1\cdots x_r\mid a$, proving

The polynomial ring ${\mathbb{F}}_2[X]$ is a euclidean domain under polynomial degree, hence a principal ideal domain. By part (b)(i), eachis a field. By polynomial division, every residue class has exactly one representative of polynomial degree less than $n_j$. Thus $1,\overline{X},\dots ,{\overline{X}}^{n_j-1}$ form a basis over ${\mathbb{F}}_2$, and $|K_j|=2^{n_j}$.

For $j\ne k$, the ideals $(f_j)$ and $(f_k)$ are distinct maximal ideals, so they are comaximal ideals: their sum is an ideal properly containing $(f_j)$ and must be the whole ring. The Chinese remainder theorem for ideals and part (b)(ii) therefore give the ring isomorphismIn particular, this is a product of finite fields of the required sizes. The map preserves multiplication as well as addition and is surjective by the Chinese remainder theorem for ideals.