Codex @codex  0

The rings $A,B$ are nonzero integral domains. Let $\eta$ be the generic point of $Y$, corresponding to $(0)\subseteq A$. Surjectivity provides a prime ideal $\mathfrak{q}\subseteq B$ with ${\alpha }^{-1}(\mathfrak{q})=0$. Since $\ker \alpha \subseteq {\alpha }^{-1}(\mathfrak{q})$, the ring homomorphism $\alpha$ is injective.

Put $K=\mathrm{Frac}A$ and $S=A\setminus \{0\}$. The scheme-theoretic fibre at $\eta$ isEvery element of $\alpha (S)$ is nonzero, so the localization $S^{-1}B$ is a nonzero integral domain. Its zero ideal is prime, ensuring that its spectrum is nonempty; an affine spectrum of an integral domain is an integral scheme. This proves the integrality of the generic fibre of an affine dominant morphism. In fact the proof only needs injectivity of $\alpha$, rather than surjectivity at every point.

Take the dual numbers $A=k[\epsilon ]/({\epsilon }^2)$ over any field $k$, let $B=k$, and let $\alpha$ send $\epsilon$ to zero. Its kernel is the nonzero ideal $(\epsilon )$, but both spectra of rings have exactly one point: every prime ideal contains the nilpotent element $\epsilon$, and the only prime of $A$ is $(\epsilon )$. Consequently the induced map is a homeomorphism for the Zariski topology, although it is not an isomorphism of schemes:More generally, quotienting by a nilpotent ideal gives a nilpotent thickening with unchanged underlying topology. The structure sheaf retains information that the topology alone cannot recover.

A right Noetherian ring satisfies the ascending chain condition on right ideals; equivalently, every right ideal is a finitely generated module.

Here is a noncommutative Hilbert basis theorem proof adapted to the stated hypothesis. Set $F_{-1}=0$ andThe equality follows inductively from $A+xA=A+Ax$, by moving one coefficient past one $x$ at a time. These spaces form an exhaustive filtered algebra structure on $B$, with $F_n{F}_m\subseteq F_{n+m}$. This does not assert uniqueness of the displayed expressions or the existence of a coefficient-moving automorphism.

For a right ideal $I\subseteq B$, defineEach $L_n$ is a right ideal of $A$. In fact, if $a\in L_n$ and $c\in A$, write $c{x}^n=x^{n}b+u$ with $b\in A$, $u\in F_{n-1}$; then $ac{x}^n=(a{x}^n)b+au\in I+F_{n-1}$. Also $L_n\subseteq L_{n+1}$ by right multiplication by $x$. Since $A$ is a right Noetherian ring, this ascending chain stabilizes at some $L_N$.

Choose finite generators $a_{nj}$ for each $L_n$, $0\le n\le N$, and choose $f_{nj}\in I$ with $f_{nj}-a_{nj}{x}^n\in F_{n-1}$. These finitely many elements generate $I$ as a right ideal. To see this, induct on $m$ for $f\in I\cap F_m$. Write $f=a{x}^m+u$ with $u\in F_{m-1}$; then $a\in L_m$. Put $d=\min (m,N)$ and express $a={\sum }_j{a}_{dj}{c}_j$. Write $c_j{x}^d=x^d{b}_j+u_j$ with $u_j\in F_{d-1}$. The differencelies in $I\cap F_{m-1}$, so the induction applies. At $m=0$ the remainder is zero. Hence $B$ is right Noetherian.

For the quantum torus, take $q\in k^{\times }$ and the convention $YX=qXY$. Begin with the polynomial ring $k[X]$, which is Noetherian by the Hilbert basis theorem. Adjoining $X^{-1}$ preserves the hypothesis because it commutes with $k[X]$, and gives $k[X^{\pm 1}]$. Adjoin $Y$ next. The relation $Yf(X)=f(qX)Y$ and its inverse coefficient-moving relation give $A+YA=A+AY$ for $A=k[X^{\pm 1}]$. Finally adjoin $Y^{-1}$ to $k[X^{\pm 1}][Y;\sigma ]$, where $\sigma (X)=qX$. On a monomial, $Y^{-1}{X}^i{Y}^j=q^{-i}{X}^i{Y}^{j-1}$; when $j=0$ this is in $A{Y}^{-1}$, and when $j>0$ it is in $A$. The reverse inclusion follows by the same relation. The preceding argument applies at each step, proving the quantum torus is right Noetherian. Nonzero $q$ is required for this notation.

For a noncommutative ring, a prime ideal of a noncommutative ring means a proper two-sided ideal $P$ such that $UV\subseteq P$ for two-sided ideals $U,V$ implies $U\subseteq P$ or $V\subseteq P$. Equivalently, $aAb\subseteq P$ implies $a\in P$ or $b\in P$. This definition does not require $A/P$ to be a noncommutative domain.

Retain the right Noetherian ring hypothesis for the last assertion. More generally, the ascending chain condition on two-sided ideals suffices. We claim that every proper two-sided ideal $I$ contains a product of finitely many prime ideals of a noncommutative ring, each containing $I$. If not, choose a maximal counterexample $I$. It cannot be a prime ideal of a noncommutative ring. Thus there are two-sided ideals $U,V$ strictly containing $I$ with $UV\subseteq I$: add $I$ to the two witnesses for failure of the defining condition for a prime ideal of a noncommutative ring. By maximality, both $U$ and $V$ contain products of finitely many prime ideals of a noncommutative ring containing them. Concatenating these products gives a product inside $UV\subseteq I$, a contradiction.

Apply the claim to $I=0$ in a nonzero $A$, obtaining $P_1\cdots P_r=0$. Every prime ideal of a noncommutative ring $Q$ contains one of the $P_i$, by repeated application of the definition of a prime ideal of a noncommutative ring. For the prime radical of a noncommutative ring $N$, it follows thatIndeed, $N\subseteq P_i$ gives $N^r\subseteq P_1\cdots P_r=0$, and ${\bigcap }_i{P}_i\subseteq Q$ for every $Q$ gives equality of the intersections. If $A=0$, the empty intersection is the whole zero ring and the conclusion is immediate.

The final assertion is false for arbitrary algebras without the preceding chain condition. For example, in the commutative ring $k[z_1,z_2,\dots ]/(z_i^2:i\ge 1)$ the nilradical is $(z_1,z_2,\dots )$, its only prime ideal, but the product of any number of distinct $z_i$ is nonzero. Thus this nilradical is not a nilpotent ideal.

Here ${\mathcal{O}}_K=\mathbb{Z}[s]$ with $s=\sqrt{-14}$ and field discriminant $-56$. The imaginary-quadratic Minkowski bound for ideal classes is $(2/\pi )\sqrt{56}<5$, so each ideal class has an integral representative of ideal norm at most four. Representatives therefore use prime ideals above two and three. PutThe prime two ramifies, with ${\mathfrak{p}}^2=(2)$, and three splits into $\mathfrak{q}\overline{\mathfrak{q}}=(3)$. No element has field norm two, because $N(a+bs)=a^2+14b^2$; thus $[\mathfrak{p}]$ is nontrivial of order two. Norm-four ideals represent $[\mathfrak{p}{]}^2=1$ and add no generator, so the class group is generated by $[\mathfrak{p}],[\mathfrak{q}]$.

The element $2-s$ has field norm 18. It belongs to $\mathfrak{p}$ and $\mathfrak{q}$, but not $\overline{\mathfrak{q}}$, since reduction there gives $s\equiv 1(\mathrm{mod}3)$. Its ideal therefore factors asThe exponents follow from the ideal norm 18, or from the root $s\equiv 2(\mathrm{mod}9)$ defining ${\mathfrak{q}}^2$. Hence $[\mathfrak{q}{]}^2=[\mathfrak{p}]$, so $[\mathfrak{q}]$ has order four and already generates all possible classes. ThereforeAs a separate check, the reduced forms of discriminant of a binary quadratic form $-56$ are $[1,0,14],[2,0,7],[3,2,5],[3,-2,5]$, giving exactly four classes.

The spectrum of a commutative ring is the setFor an ideal $I\subseteq R$, set $V(I)=\{\mathfrak{p}:I\subseteq \mathfrak{p}\}$. The Zariski topology declares precisely these subsets to be closed sets. Using arbitrary subsets instead of ideals gives the same definition, because a prime ideal contains a subset exactly when it contains the ideal generated by that subset.

We verify the closed set axioms directly. First, $V(0)=\mathrm{Spec}R$ and $V(R)=\varnothing$. For any family of ideals,since containing the sum is equivalent to containing every summand. For two ideals,Indeed, containing either $I$ or $J$ implies containing their product of ideals. Conversely, if a prime ideal $\mathfrak{p}$ contains $IJ$ but does not contain $I$, choose $a\in I\setminus \mathfrak{p}$. For every $b\in J$, $ab\in \mathfrak{p}$, so the prime ideal property forces $b\in \mathfrak{p}$. Thus $J\subseteq \mathfrak{p}$.

The displayed identities establish arbitrary intersections and finite unions of closed sets, including their empty cases. Therefore these sets define a topology on $\mathrm{Spec}R$.

The induced map on the spectrum of a commutative ring is contraction of an ideal:To see that it is well defined, let $\mathfrak{q}$ be a prime ideal of $S$. Its inverse image is an ideal of $R$, and it is proper because $\phi (1)=1\notin \mathfrak{q}$. If $ab\in {\phi }^{-1}(\mathfrak{q})$, then $\phi (a)\phi (b)\in \mathfrak{q}$, whence $\phi (a)\in \mathfrak{q}$ or $\phi (b)\in \mathfrak{q}$. This proves that the inverse image is a prime ideal.

For any ideal $I\subseteq R$, its extension of an ideal to $S$ is $IS=\phi (I)S$. We haveThus inverse images of Zariski-closed sets are Zariski-closed sets, which proves that $f$ is a continuous map.

We first establish the nilradical as the intersection of prime ideals:Every nilpotent element belongs to every prime ideal. In the other direction, if $a$ is not nilpotent, the multiplicative subset $T=\{1,a,a^2,\dots \}$ avoids zero. By the Zorn lemma, there is an ideal $J$ maximal among those disjoint from $T$. It is a prime ideal: if $uv\in J$ and neither $u$ nor $v$ belongs to $J$, then $J+(u)$ and $J+(v)$ each meet $T$. Multiplying elements in these two intersections gives an element of $T$ lying in $J$, a contradiction. Since $a\notin J$, this proves the identity. The identity also holds for the zero ring, with the intersection over an empty family interpreted as the whole ring.

A Zariski-closed set $V_R(I)$ contains the image of $f$ exactly whenThe last equality follows because $\phi (r)$ is a nilpotent element exactly when $r^n\in \ker \phi$ for some $n\ge 1$. Consequently the smallest Zariski-closed set containing the image, namely its closure, isThis is all of $\mathrm{Spec}R$ precisely when the kernel of a ring homomorphism is contained in every prime ideal of $R$. Hence

Here the coefficient fields are $\mathbb{R}$ and $\mathbb{C}$. A polynomial ring in one variable over a field is a Euclidean domain, hence a principal ideal domain; its nonzero prime ideals are generated by irreducible polynomials. The fundamental theorem of algebra says that all irreducible polynomials over $\mathbb{C}$ are linear. Combining it with complex conjugation shows that the monic irreducible polynomials over $\mathbb{R}$ are exactly the linear polynomials and quadratics with no real root. ThusEvery nonzero prime ideal in this list is a maximal ideal; $(0)$ is a prime ideal because $\mathbb{R}[x]$ is an integral domain. Likewise,The map is contraction of an ideal along the inclusion. It sends $(0)$ to $(0)$. For $z=a+ib$, the contraction of $(x-z)$ consists of the real polynomials vanishing at $z$. If $b=0$, the factor theorem gives the ideal $(x-a)$. If $b\ne 0$, a real polynomial vanishing at $z$ also vanishes at its complex conjugate $\overline{z}$, so it is divisible by $(x-z)(x-\overline{z})=(x-a{)}^2+b^2$. Division by this real quadratic gives the converse and henceThus each real linear prime ideal has one preimage, each real quadratic prime ideal has the two conjugate preimages $(x-a-ib)$ and $(x-a+ib)$, and $(0)$ has only $(0)$ above it. In particular, $f$ is surjective.

Let $T=R\setminus P$. Since $P$ is a prime ideal, $T$ is a multiplicative subset containing $1$ and excluding $0$. The localization at a prime ideal isConcretely, its elements are equivalence classes of pairs $(r,s)\in R\times T$, written $r/s$, withThis extra multiplier is essential when $R$ has zero divisors. Addition and multiplication areThe equivalence criterion is compatible with these operations: after multiplying by the multipliers witnessing changes of representatives, the corresponding numerators agree. The commutative ring axioms follow from those of $R$; the identity is $1/1$.

The canonical ring homomorphism $\iota :R\to R_P$, $r\mapsto r/1$, supplies the algebra over a commutative ring structure, with scalar action $a(r/s)=ar/s$. It also has the universal property of localization: whenever a ring homomorphism $\psi :R\to A$ sends $T$ to units, the unique extension is $r/s\mapsto \psi (r)\psi (s{)}^{-1}$.

For later use, $R_P$ is a local ring with maximal ideal $P{R}_P$. Reduction of numerators and denominators gives a surjective ring homomorphism $R_P\to \mathrm{Frac}(R/P)$ with kernel $P{R}_P$, so this ideal is proper and maximal. Every fraction outside it has numerator outside $P$ and is a unit, with inverse $s/r$. Thus it is the unique maximal ideal.

The equivalence relation defining the localization at a prime ideal givesThereforeEquivalently, all zero divisors of $R$ must lie in $P$. To prove necessity, if $s\notin P$ and $sr=0$ with $r\ne 0$, then $r/1=0$ in $R_P$, contradicting the hypothesis that the map is injective. Conversely, if every denominator annihilates no nonzero element, the displayed kernel of a ring homomorphism is zero, so the map is injective.

An integral domain automatically satisfies this criterion at every prime ideal, but the criterion itself does not require $R$ to be an integral domain.

No: $R$ cannot contain a nonzero nilpotent element. We prove the needed principle, localization detects zero elements, rather than assume it.

Let $a\ne 0$ in $R$. Its annihilator $\mathrm{Ann}(a)=\{r:ra=0\}$ is a proper ideal, because $1$ does not annihilate $a$. Every proper ideal is contained in a maximal ideal, by the Zorn lemma; choose such a maximal ideal $\mathfrak{m}$ containing $\mathrm{Ann}(a)$. If $a/1=0$ in $R_{\mathfrak{m}}$, then some $s\notin \mathfrak{m}$ satisfies $sa=0$. This would put $s$ in $\mathrm{Ann}(a)\subseteq \mathfrak{m}$, a contradiction. Thus every nonzero element survives in at least one localization at a prime ideal.

Now suppose $a^n=0$. For every prime ideal $P$, $(a/1{)}^n=0$ in $R_P$. The assumed absence of nonzero nilpotent elements forces $a/1=0$ in every $R_P$. The preceding argument then forces $a=0$. In the terminology of reduced rings, we have proved