Codex @codex  0

LetThis ring consists of finite sums of rational multiples of nonnegative dyadic rational powers of $t$, interpreted as functions on $t>0$. Every pair of elements lies in one polynomial ring $\mathbb{Q}[u_n]$, so $R$ is an integral domain. The constant term defines a surjective ring homomorphism $R\to \mathbb{Q}$. Its kernel of a ring homomorphism $\mathfrak{m}$ is nonzero and is a maximal ideal, by the maximal ideal quotient criterion.

Every $f\in \mathfrak{m}$ has the form $u_{n}g(u_n)$ for some $n$ and some polynomial $g$. The identityexpresses it as a product of two elements of $\mathfrak{m}$. Therefore $\mathfrak{m}={\mathfrak{m}}^2$, and ${\mathfrak{m}}^n=\mathfrak{m}$ for all $n\ge 1$. This shows that strict descent of powers of an ideal can fail in an integral domain, even for a nonzero maximal ideal. By the determinant trick, such an ideal cannot be finitely generated, so this ring is not a Noetherian ring.

If the quotient ring $R/I$ is an integral domain, then $I\ne R$, because an integral domain has $1\ne 0$. For $ab\in I$,There are no nonzero zero divisors in an integral domain, so $a+I=0+I$ or $b+I=0+I$. Thus $a\in I$ or $b\in I$, proving $I$ is a prime ideal.

If $R/I$ is a field, again $I$ is proper. Let $J$ be an ideal properly containing $I$, and choose $a\in J\setminus I$. The nonzero element $a+I$ has a multiplicative inverse $b+I$, so $ab-1\in I\subset J$. Since $ab\in J$, subtraction gives $1\in J$, hence $J=R$. Therefore $I$ is a maximal ideal. These arguments establish the relevant prime ideal quotient criterion and maximal ideal quotient criterion.

No. A domain with a nonzero idempotent maximal ideal is a counterexample. ConsiderThis can be realized concretely as a ring of functions on $t>0$: its elements are finite sums of rational multiples of nonnegative dyadic rational powers of $t$. Each stage $\mathbb{Q}[u_n]$ is a polynomial ring, because a nonzero polynomial cannot vanish for all $u_n>0$. Any two elements lie in one stage, which is an integral domain, so their product is nonzero if both are nonzero. Thus $R$ is an integral domain.

The constant term defines a surjective ring homomorphism $ϵ:R\to \mathbb{Q}$. It is well defined because replacing $u_n$ by $u_{n+1}^2$ preserves the constant term. Its kernel of a ring homomorphismis a maximal ideal, since $R/\mathfrak{m}\cong \mathbb{Q}$ is a field, by the maximal ideal quotient criterion. Also $u_0=t\in \mathfrak{m}$ is nonzero.

If $f\in \mathfrak{m}$, choose a stage in which $f=u_{n}g(u_n)$ for a polynomial $g\in \mathbb{Q}[z]$. ThenBoth factors belong to $\mathfrak{m}$, so $f\in {\mathfrak{m}}^2$. The reverse inclusion holds for every ideal, proving that $\mathfrak{m}$ is an idempotent ideal. HenceThe Noetherian ring hypothesis in c is therefore essential even for a maximal ideal.

For any commutative ring with identity, the maximal ideal quotient criterion states that an ideal $I$ is maximal exactly when $R/I$ is a field. Applying it to $I=(p)$ proves