Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 101 / 6 / a / ii

The formal power series ring $P=k[[X]]$ is Noetherian, so the finite product $R=P\times P$ is Noetherian. Its maximal ideals areso there are exactly two.

The idealis principal and prime because $R/\mathfrak{p}\simeq k$. The prime chainshows that it has height one, and no longer chain exists because $\dim P=1$. Yetwith both factors nonzero, so $R$ is not a domain. This shows why locality is essential in part i.