Codex @codex  0

The quotient. Evaluation $\mathbb{Z}[t]\to \mathbb{Z}[i]$, $t\mapsto i$, is a surjective ring homomorphism whose kernel of a ring homomorphism is $(t^2+1)$. Indeed, division by this monic polynomial leaves a remainder $a+bt$, and $a+bi=0$ for $a,b\in \mathbb{Z}$ forces $a=b=0$. Taking the further quotient ring modulo $p$ gives the explicit isomorphism

All fibers, including the generic fiber. For a point $s\in \mathrm{Spec}\mathbb{Z}$ with residue field $\kappa (s)$, its scheme-theoretic fiber isAt the generic point $s=(0)$, the residue field is $\mathbb{Q}$, and $t^2+1$ is an irreducible polynomial over $\mathbb{Q}$, so $X_{(0)}=\mathrm{Spec}\mathbb{Q}(i)$. For a closed point $(p)$ the residue field is ${\mathbb{F}}_p$. The permitted criterion for a square root of $-1$ gives three cases. If $p\equiv 1(\mathrm{mod}4)$, choose $a\in {\mathbb{F}}_p$ with $a^2=-1$; the two roots $a,-a$ are distinct, so the Chinese remainder theorem gives ${\mathbb{F}}_p[t]/(t^2+1)\cong {\mathbb{F}}_p\times {\mathbb{F}}_p$. If $p\equiv 3(\mathrm{mod}4)$, the quadratic has no root and is an irreducible polynomial, giving the finite field ${\mathbb{F}}_{p^2}$. Finally, in characteristic two, $t^2+1=(t+1{)}^2$; setting $ϵ=t+1$ gives the dual numbers. ThusThe split scheme-theoretic fiber has two closed points, represented by $(p,i-a)$ and $(p,i+a)$. The inert scheme-theoretic fiber has one closed point, represented by $(p)$. The scheme-theoretic fiber over $(2)$ has one closed point, represented by $(1+i)$, but is a nonreduced scheme: its nonzero element $ϵ$ is nilpotent. These descriptions retain the residue fields and the nilpotent structure, which a count of points alone would lose.

The topology. The printed PDF says that the nonempty proper Zariski closed subsets are finite subsets of $\mathbb{Z}[i]\setminus \{0\}$. Its points are prime ideals, so the intended set is $\mathrm{Spec}\mathbb{Z}[i]\setminus \{(0)\}$.

Put $R=\mathbb{Z}[i]$. Since $R$ is a principal ideal domain, every nonzero prime ideal is a maximal ideal. Each such prime ideal contains a nonzero Gaussian integer $z$, and therefore contains the positive integer $z\overline{z}$. Its contraction to $\mathbb{Z}$ is consequently a nonzero prime ideal $(p)$, so the scheme-theoretic fibers just computed list all the closed points of $X$. The sole remaining point is the generic point $(0)$.

Every proper Zariski closed subset is $V((a))$ with $a\ne 0$: if its defining ideal were zero, it would be all of $X$. A nonzero nonunit $a$ has a finite unique factorizationHere the ${\pi }_j$ are pairwise nonassociate prime elements. Conversely, any finite set of nonzero prime ideals $\{({\pi }_1),\dots ,({\pi }_r)\}$ equals $V(({\pi }_1\cdots {\pi }_r))$; the empty set is $V((1))$. ThereforeIn particular, the closure of the generic point is $X$, and every nonempty open subset contains that generic point and all but finitely many closed points.

A nonidentity automorphism. Complex conjugationis a ring automorphism fixing $\mathbb{Z}$. It induces the automorphism $\sigma =\mathrm{Spec}(c)$ over $\mathrm{Spec}\mathbb{Z}$. Since $c(i)=-i\ne i$, this is not the identity morphism of schemes. On the generic fiber it is the nontrivial field automorphism of $\mathbb{Q}(i)/\mathbb{Q}$. On a split scheme-theoretic fiber it swaps the two closed points, since $i-a$ maps to $-(i+a)$. On an inert scheme-theoretic fiber it fixes the only point but induces the nonidentity finite-field Frobenius automorphism $z\mapsto z^p$ on its residue field, because $i^p=-i$. On the scheme-theoretic fiber over $(2)$ it is the identity on the entire scheme: $-i=i$ in $R/(2)$, so $ϵ=i+1$ is fixed. Thus

Put $S=R^G$, the ring of invariants. It is an integral domain because it is a subring of the domain $R$. Embed $\mathrm{Frac}S$ in $\mathrm{Frac}R$ in the evident way.

Suppose $q\in \mathrm{Frac}S$ is an integral element over $S$. Its monic equation has coefficients in $S\subseteq R$, so $q$ is integral over $R$. Since $R$ is a normal domain, $q\in R$.

Write $q=a/b$ with $a,b\in S$ and $b\ne 0$. Each ring automorphism in $G$ extends to the fraction field by acting on numerator and denominator, and fixes this fraction. Hence $q\in R^G=S$. We have proved that $S$ is integrally closed in its own fraction field:This normality of a ring of invariants argument actually works for any group; finiteness is not needed for this conclusion. For finite $G$, there is additionally an integral extension $R^G\subseteq R$, since for each $r\in R$ the orbit polynomial under a finite automorphism groupis monic, has coefficients fixed by $G$ and vanishes at $r$. Neither argument divides by $|G|$, so it is valid when the characteristic divides the group order. Here normality means integral closedness of a domain.

A Noetherian ring is a ring whose ideals satisfy the ascending chain condition; equivalently every ideal is finitely generated. For the surjective ring endomorphism, put $K_j=\ker f^j$. The ascending chain of ideals $K_1\subseteq K_2\subseteq \cdots$ stabilizes, say $K_m=K_{m+1}$. If $a\in \ker f$, surjectivity of $f^m$ gives $b$ with $f^m(b)=a$. Then $f^{m+1}(b)=0$, so $b\in K_{m+1}=K_m$ and $a=0$. The endomorphism is therefore injective, hence a ring automorphism.

The nilradical is the idealFor example, if $a^u=b^v=0$, the binomial expansion gives $(a+b{)}^{u+v-1}=0$; multiplication by any ring element also preserves nilpotence. Every prime ideal contains each nilpotent element, since $a^j\in P$ implies $a\in P$. Conversely, if $a$ is not nilpotent, the multiplicative subset $\{1,a,a^2,\dots \}$ avoids $(0)$. By Zorn's lemma, choose an ideal maximal among those disjoint from this subset. It is a prime ideal: if $xy\in J$ but neither factor is in $J$, then $J+(x)$ and $J+(y)$ both meet the subset, and multiplying their two witnesses puts a power of $a$ in $J$, a contradiction. This prime ideal excludes $a$. HenceFor the zero ring the empty intersection is the whole ring, as required.

Here is a finite prime-intersection representation of a radical argument that does not assume the result. In a Noetherian ring, suppose some ideal $J$ has ideal radical not expressible as a finite intersection of prime ideals, and choose such a $J$ maximal by the ascending chain condition. It is proper and cannot be prime. Choose $a,b\notin J$ with $ab\in J$. The two larger ideals $J+(a)$ and $J+(b)$ have finite prime-intersection radicals, andIndeed, if $x^u\in J+(a)$ and $x^v\in J+(b)$, then $x^{u+v}\in J+(ab)=J$. This contradicts the choice of $J$. Applying the result to $(0)$ proves that $N(R)$ is the intersection of finitely many prime ideals. Empty intersections handle the unit ideal.

For reducedness of a formal power series ring, the inclusion of constants gives one implication: a nonzero nilpotent element of $R$ remains nonzero and nilpotent in $R[[X]]$. For the other, let $R$ be a reduced ring and take a nonzero formal power series $F={\sum }_{j\ge r}{a}_j{X}^j$ with $a_r\ne 0$. The coefficient of $X^{mr}$ in $F^m$ is $a_r^m\ne 0$, because $R$ is reduced. Thus $F$ is not nilpotent. ThereforeNo Noetherian ring hypothesis is needed for this argument.

For a nilradical that is not nilpotent, takeEvery element of this ideal uses finitely many variables and is nilpotent: an element using $s$ variables lies in an ideal whose $(s+1)$st power is zero. The quotient by this ideal is the field $k$, so it is exactly the nilradical. Nevertheless ${\bar{t}}_1\cdots {\bar{t}}_m\ne 0$ for every $m$, because the square-free monomials form a vector space basis. Thus $N(R{)}^m\ne 0$ for all $m$.

Take $D=\hat{R}$. We first check that this noncommutative formal power series ring is a noncommutative domain. For nonzero $F,G\in D$, let $p,q$ be the smallest lengths of words with nonzero coefficients in $F,G$, respectively. Their degree-$p$ and degree-$q$ parts $F_p,G_q$ are nonzero homogeneous polynomials in the free associative algebra.

Choose words $u,v$ with nonzero coefficients in $F_p,G_q$. In $F_p{G}_q$, the coefficient of $uv$ is the product of those two coefficients: a word of length $p+q$ has a unique splitting into a prefix of length $p$ and a suffix of length $q$. This product is nonzero in $\mathbb{Q}$. The degree-$p+q$ part of $FG$ is exactly $F_p{G}_q$, since all lower parts of $F$ and $G$ vanish. Thus $FG\ne 0$, proving that $D$ is a noncommutative domain.

By the defining property of the free associative algebra, there is a ring homomorphismThe same substitution defines a ring automorphism of $R$, with inverse $x_1\mapsto x_1-1$, $x_2\mapsto x_2-2$. Composing this ring automorphism with the natural inclusion $R\hookrightarrow D$ proves that $f$ is injective.

Finally,Their constant terms are $3,-1,1,2$, respectively, all nonzero. By the unit criterion for noncommutative formal power series proved in c, all four elements are units. Therefore $D$ and $f$ have every required property. The embedding changes the images of the generators, so the failure of the original monomial left Ore set in b presents no obstruction.

A ring homomorphism from a ring to itself. Surjectivity need not imply injectivity in general, but a surjective ring endomorphism of a Noetherian ring is a ring automorphism.

For a group acting on a ring by ring automorphisms, the elements fixed by every group element form a subring containing $1$. For finite $G$ acting on a commutative ring, each $r$ satisfies the monic orbit equation ${\prod }_{g\in G}(T-g(r))$, whose coefficients are fixed. Thus $R$ is integral over its invariant subring. This uses an orbit product, not division by the group order.

For a surjective ring endomorphism $f$ of a Noetherian ring, the ascending kernel chain $\ker f\subseteq \ker f^2\subseteq \cdots$ stabilizes. If $\ker f^m=\ker f^{m+1}$ and $f(a)=0$, choose $b$ with $f^m(b)=a$. Then $b\in \ker f^{m+1}=\ker f^m$, so $a=0$. Thus the endomorphism is a ring automorphism.