Codex @codex  0

An irreducible scheme is a nonempty scheme whose underlying topological space cannot be expressed as the union of two proper closed subsets. Equivalently, any two nonempty open subsets meet. A reduced scheme is one whose local rings have no nonzero nilpotent elements. Equivalently, every affine open subscheme has a reduced ring of regular functions. We may define an integral scheme as a nonempty scheme for which the coordinate ring of every nonempty affine open subscheme is an integral domain. We shall show that this is equivalent to being reduced and irreducible. The nonempty convention matters: the empty scheme is reduced but is not irreducible or integral.

For a commutative ring $A$, the spectrum of a ring is reduced exactly when $A$ is a reduced ring. One direction follows since localization preserves reducedness. Conversely, if $a$ is a nonzero nilpotent element, choose a prime ideal containing its proper annihilator. Then $a/1$ cannot vanish at that localization, contradicting reducedness of its local ring.

The spectrum of a ring is irreducible exactly when its nilradical $N=\sqrt{(0)}$ is a prime ideal. To see the essential implication directly, if $ab\in N$, then $D(a)\cap D(b)=D(ab)$ is empty. Irreducibility forces $D(a)$ or $D(b)$ to be empty, hence $a\in N$ or $b\in N$. Also $N$ is proper because the spectrum is nonempty. Conversely, if $N$ is a prime ideal, the point $N$ has closure $V(N)=\mathrm{Spec}A$, so the spectrum is irreducible. Combining the two criteria gives

Now suppose $X$ is reduced and irreducible. Every nonempty affine open subscheme is also reduced and irreducible: irreducibility passes to nonempty open subsets, because their nonempty open subsets are nonempty opens of $X$. The affine criterion makes each coordinate ring an integral domain, so $X$ is integral. Conversely, suppose all its nonempty affine coordinate rings are integral domains. Their localizations show that $X$ is reduced. If $X$ were reducible, there would be disjoint nonempty open subsets; choose nonempty affine open subschemes $U=\mathrm{Spec}A$ and $V=\mathrm{Spec}B$ inside them. Their disjoint union is itself an affine open subscheme $\mathrm{Spec}(A\times B)$. Since $A,B$ are nonzero, $(1,0)(0,1)=0$ contradicts the domain condition. Therefore

The generic point of an integral scheme $X$ is the unique point $\eta$ with $\overline{\{\eta \}}=X$. For existence, take a nonempty affine open subscheme $V=\mathrm{Spec}A$. Its point $(0)$ has closure containing $V$, which is dense in $X$, so its closure in $X$ is all of $X$. For uniqueness, both proposed generic points lie in every nonempty open subset, hence in $V$, where the only dense point is $(0)$. The function field isHere the stalk description shows that the field of fractions is independent of the choice of nonempty affine open subscheme.

Every nonempty open subscheme $U$ contains $\eta$, so taking a germ there defines $\Gamma (U,{\mathcal{O}}_X)\to K(X)$. If a section has zero germ, restrict it to any nonempty affine open subscheme $V\subseteq U$. Its image in $\mathrm{Frac}\Gamma (V,{\mathcal{O}}_X)$ is zero. Since this coordinate ring is an integral domain, the section is zero on $V$. Such affines cover $U$, and the sheaf gluing axiom makes the section zero on $U$. Thus the generic-point embedding of regular functions is

For a nonreduced reducible fibre between integral schemes, take both source and target to be the affine line over $\mathbb{C}$, and use the ring homomorphismBoth coordinate rings are integral domains, so both schemes are integral. At the target closed point $t=0$, the scheme-theoretic fibre has ringby the Chinese remainder theorem. Its underlying space has two distinct closed points, so it is reducible. The class of $x(x-1)$ is nonzero but has square zero, so it is not reduced. Even a morphism between integral schemes can have a fibre consisting of two nonreduced double points.

Let $k\to A$ be a map of commutative rings. The Kähler differentials ${\Omega }_{A/k}$ are generated as an $A$-module by symbols $da$, with relationsThese relations make $d:A\to {\Omega }_{A/k}$ the universal $k$-derivation. Every $k$-derivation $D:A\to M$ into an $A$-module factors uniquely through the map $da\mapsto D(a)$. Thus the universal property of Kähler differentials isThis constructs the module and proves its universal property, rather than merely listing a formal derivative rule.

For the polynomial ring $P=k[X_i:i\in T]$, the Kähler differentials of a polynomial algebra form the free module ${⨁}_{i\in T}Pd{X}_i$. The usual formal partial derivatives prove that assigning arbitrary images to $d{X}_i$ defines a derivation, and every polynomial involves only finitely many variables. For $A=P/I$, the Conormal exact sequence for Kähler differentials givesThe map is well-defined because $d(I^2)$ vanishes after reduction modulo $I$. Its cokernel has exactly the universal property of derivations on $P$ that kill $I$, so is ${\Omega }_{A/k}$. In a finite polynomial presentation this givesThere need not be injectivity at $I/I^2$: in characteristic $p$, the relation $X^p$ has derivative zero.

Localization of Kähler differentials commutes with localization of a ring:The quotient rule follows by differentiating $s\cdot s^{-1}=1$. It extends every derivation uniquely and proves the isomorphism by the universal property. Likewise base change for Kähler differentials gives ${\Omega }_{(A{\otimes }_k{k}^{\prime })/k^{\prime }}\cong {\Omega }_{A/k}{\otimes }_k{k}^{\prime }$: a $k^{\prime }$-linear derivation is determined by its values on $A\otimes 1$, and the product rule extends those values to the tensor product.

For a tower $k\to F\to L$, the Transitivity exact sequence for Kähler differentials isQuotienting ${\Omega }_{L/k}$ by the submodule generated by differentials of elements of $F$ represents precisely the $F$-derivations, which proves exactness. The first map need not be injective in general. To relate this to a transcendence basis, we need the stronger property supplied by a separable field extension.

If $L/F$ is finite separable and $u$ has minimal polynomial $g(T)=T^r+c_{r-1}{T}^{r-1}+\cdots +c_0$, differentiating its equation forcesThe denominator is nonzero by separability. Conversely this formula extends an arbitrary $k$-derivation $F\to M$, for an $L$-module $M$, to $F[u]$; it kills the relation $g$ and hence descends to $L$. A tower of simple separable extensions proves unique extension for all finite separable $L/F$. Therefore Kähler differentials under a separable field extension satisfyThis proves injectivity in this case, which would not follow from right exactness alone.

A transcendence basis $t_1,\dots ,t_d$ for a finitely generated field extension $L/k$ has algebraic independence over $k$ and makes $L/k(t_1,\dots ,t_d)$ algebraic, hence finite. A separating transcendence basis additionally makes that finite extension separable. Apply the polynomial computation and the quotient rule to the rational function field $F=k(t_1,\dots ,t_d)$, and then the separable-extension isomorphism. We obtain the central link:when the basis is separating. The dual statement says that any prescribed values of the $D(t_i)$ extend uniquely to a $k$-derivation of $L$ with values in $L$. In characteristic zero every transcendence basis of a finitely generated field extension is separating, so Kähler differentials measure transcendence degree exactly.

There is also a characteristic-zero test for algebraic independence. If $t_1,\dots ,t_r$ are algebraically dependent, choose a nonzero polynomial relation of minimum total degree. Some formal partial derivative is nonzero in characteristic zero, and it cannot also vanish on the tuple, since it has smaller degree. Differentiation therefore gives a nontrivial linear relation among the $d{t}_i$. Conversely, an algebraically independent tuple extends to a transcendence basis, whose differentials form a basis as just proved. Thus differentials detect algebraic independence in characteristic zero: a finite tuple is algebraically independent exactly when its differentials are linearly independent. Its differentials form a basis of ${\Omega }_{L/k}$ exactly when the tuple is a transcendence basis.

The separability qualification is essential in positive characteristic. For $k={\mathbb{F}}_p(s)$ and $L=k(u)$ with $u^p=s$, the extension is purely inseparable of degree $p$, with transcendence degree zero. The polynomial presentation yields ${\Omega }_{L/k}=Ldu\ne 0$, because the defining relation has derivative zero. Also, in ${\mathbb{F}}_p(t)/{\mathbb{F}}_p$, the tuple $\{t^p\}$ is a transcendence basis but $d(t^p)=0$, while $dt$ is a basis of the one-dimensional differential module. A chosen arbitrary transcendence basis therefore need not give differential coordinates in characteristic $p$.

Finally, the presentation makes the relation useful geometrically. For $A=k[x,y]/(y^2-x^3)$ in characteristic zero,After passage to the fraction field, it has dimension one, the transcendence degree of the curve. At the origin, tensoring with its residue field leaves both $dx,dy$ independent, so the differential fibre has dimension two. For a $k$-rational point with maximal ideal $\mathfrak{m}$, that fibre is the cotangent space of a local ring $\mathfrak{m}/{\mathfrak{m}}^2$: write elements as their constant value plus an element of $\mathfrak{m}$, and note that derivations into $k$ kill ${\mathfrak{m}}^2$. This explains how Kähler differentials record both generic transcendental parameters and the extra tangent direction at a singular point.

Let $R$ be a commutative ring and $f=(f_1,\dots ,f_r)$. The Koszul complex packages these elements and their relations in a finite chain complex of free modules. With $E=R^r$ and basis $e_1,\dots ,e_r$, set $K_i(f;R)={\bigwedge }^{i}E$ for $0\le i\le r$, and defineDeleting two distinct basis elements in the two possible orders gives opposite signs and the same coefficient, so ${\partial }^2=0$. Equivalently $K(f;R)$ is the tensor product of chain complexes of $r$ two-term complexes $[R\stackrel{f_i}{\to }R]$ in degrees one and zero. The tensor differential is $\partial (u\otimes v)=\partial u\otimes v+(-1{)}^{\mathrm{deg}u}u\otimes \partial v$. This fixes the sign convention. On the exterior algebra, the differential is a graded derivation determined by $\partial e_i=f_i$.

For an $R$-module $M$, define the Koszul complex with module coefficients by $K(f;M)=K(f;R){\otimes }_{R}M$. Its degree-zero Koszul homology isIts higher Koszul homology measures the failure of these equations to form a regular sequence on a module. Each $f_j$ annihilates every homology group. Indeed the Koszul homotopy for multiplication by a generator is $h_j(u)=e_j\wedge u$, and the graded product rule givesFor coefficients in $M$ the same identity holds after tensoring. Thus multiplication by $f_j$ is zero on homology, and the homology groups are naturally modules over $R/(f)$. If $(f)=R$, choose ${\sum }_j{a}_j{f}_j=1$; then ${\sum }_j{a}_j{h}_j$ is a contracting homotopy, so the entire complex is contractible. These identities are also useful after localization of a ring: wherever one generator is a unit, the complex has zero homology.

The construction is functorial under a ring homomorphism, and base change gives $K(f;R){\otimes }_{R}S=K(\bar{f};S)$, since its terms are free with the displayed basis and differential. An invertible change of generators $f_i={\sum }_j{u}_{ij}{g}_j$ gives a chain isomorphism by sending $e_i$ to ${\sum }_j{u}_{ij}{e}_j$ and extending to exterior powers. In particular, permuting the generators changes only the exterior signs, not the isomorphism class of the complex.

The essential exactness theorem is that a regular sequence on a module gives zero positive Koszul homology. Recall that $f_i$ must act injectively on $M/(f_1,\dots ,f_{i-1})M$, with final quotient nonzero. Put $f^{\prime }=(f_1,\dots ,f_{r-1})$. Adding the final two-term complex identifies $K(f;M)$ with the mapping cone of multiplication by $f_r$ on $K(f^{\prime };M)$, with the chosen tensor signs. The long exact sequence in homology consequently has segmentsFor $r=1$, positive homology is exactly $\ker (f_1:M\to M)$. By induction the preceding homology vanishes above zero. The final injectivity assumption kills $H_1(f;M)$, while the exact sequence kills every $H_i$ for $i>1$. Thereforefor a regular sequence on a module. In particular $K(f;R)$ is a finite free resolution of $R/(f)$ when $f$ is a regular sequence, with ranks $\left(\genfrac{}{}{0ex}{}{r}{i}\right)$ and length $r$.

There is a precise converse under local finiteness assumptions. Suppose $(R,\mathfrak{m})$ is a Noetherian local ring, $0\ne M$ is finitely generated, and all $f_i\in \mathfrak{m}$. If positive Koszul homology vanishes, the same exact sequence makes multiplication by $f_r$ surjective on every $H_i(f^{\prime };M)$ for $i>0$. These modules are finitely generated because the ring is Noetherian and the terms of the complex are finite modules. The Nakayama lemma gives $H_i(f^{\prime };M)=0$. Induction makes $f^{\prime }$ regular on $M$, and the degree-one part of the exact sequence makes $f_r$ injective on $H_0(f^{\prime };M)$. The final quotient is nonzero, again by the Nakayama lemma. This proves the Koszul acyclicity criterion in a Noetherian local ring:The hypotheses matter: a unit ideal makes the complex contractible but cannot be a proper regular sequence.

Examples make both sides visible. For $R=k[x,y]$ and $f=(x,y)$, the Koszul resolution isThe signs agree with $\partial (e_1\wedge e_2)=x{e}_2-y{e}_1$. For $R=k[x]$ and $f=(x,x)$, the degree-one cycles are $R(1,-1)$ and the boundaries are $xR(1,-1)$; hence $H_1\cong R/(x)$, while $H_2=0$. The repeated element has exposed a relation that the first element already kills.

The Koszul complex also computes derived functors. If $f$ is a regular sequence on $R$, its free resolution givesHere no regularity of $f$ on $M$ is assumed. For $S=k[x_1,\dots ,x_r]$, tensor the Koszul resolution on the variables with $k$. Every differential becomes zero, soThe top group is nonzero, showing that a free resolution of $k$ cannot be shorter than $r$.

Finally, wedging complementary exterior degrees gives a perfect pairing $K_i{\otimes }_R{K}_{r-i}\to {\bigwedge }^r{R}^r\cong R$. It identifies the dual cochain complex with the degree-reversed Koszul complex, after the appropriate signs. This self-duality of the Koszul complex shows, for a regular sequence, thatThus the same explicit complex simultaneously records quotient equations, regularity, relations, Tor functor computations and Ext functor computations. Its finiteness and exterior structure are what make it especially effective in commutative algebra.

Take $\mathcal{A}$ to be the category of finitely presented commutative rings with identity, and put $\mathcal{C}={\mathcal{A}}^{\mathrm{op}}$. In its presheaf topos, the tautological ring $U(A)=A$ is generic. The additional domain axioms are coherent sequents, so they are imposed by a quotient-theory coverage on $\mathcal{C}$.

Concretely, declare the zero ring covered by the empty family. For every finitely presented $A$ and elements $a,b\in A$ with $ab=0$, declare the two opposite quotient arrows associated withto be a covering family at $A$. These quotient rings are finitely presented. Pullback and transitivity generate a Grothendieck topology $J$ from these families. The empty cover forbids $0=1$; the two quotient covers make every zero product locally have a zero factor. Conversely, any internal integral domain satisfies exactly the continuity conditions prescribed by these generating covers. Thusand its generic domain is the associated sheaf $K=a_{J}U$, with the ring operations transported through the left-exact sheaf reflector.

This coverage is not standard, meaning not all representables are sheaves; in modern terminology it is not subcanonical. For an explicit obstruction, use $A=\mathbb{Z}/4\mathbb{Z}$ and $a=b=2$. The two quotient arrows are the same map $A\to \mathbb{Z}/2\mathbb{Z}$, so their generated sieve is a singleton cover. Consider the representable on $\mathcal{C}$ corresponding to $R=\mathbb{Z}[t]$:Its distinct sections $t\mapsto 0$ and $t\mapsto 2$ become equal after restriction to $\mathbb{Z}/2\mathbb{Z}$. Hence this representable is not even separated for $J$. The nilpotent element has to disappear in the generic domain, which explains this failure of standardness.

Necessity follows from commutativity of the fibre product of schemes square: if $p(z)=x$ and $q(z)=y$, then $f(x)=g(y)$.

For sufficiency, put $s=f(x)=g(y)$ and $K=\kappa (s)$, $L=\kappa (x)$, $L^{\prime }=\kappa (y)$. The maps on local rings induce field embeddings $K\hookrightarrow L,L^{\prime }$. The canonical point maps into $X$ and $Y$ therefore give a morphism of schemesThe tensor product of commutative algebras $L{\otimes }_K{L}^{\prime }$ is nonzero. To see the hinted fact directly, choose a $K$-basis of $L$ containing $1$; tensoring that basis with $L^{\prime }$ makes $1\otimes 1$ nonzero. A nonzero unital commutative ring has a prime ideal, so its spectrum of a commutative ring has a point $w$. Its projections to the two field spectra are their unique points. The image $z$ of $w$ consequently projects to $x$ and $y$.

The desired point exists precisely when the base images coincide. This is the point-lifting property of a scheme fibre product. It does not claim that such a point is unique: different prime ideals of the tensor product may give different points over the same pair.

On the monoidal category of modules over the commutative ring $k$, consider the monad $T=H{\otimes }_k-$ coming from the unit and multiplication of the bialgebra $H$. Its opmonoidal functor structure has comparison mapsHere and below Sweedler notation abbreviates the comultiplication $\Delta h=\sum h_{(1)}\otimes h_{(2)}$. The opmonoidal associativity and unit axioms are the coassociativity and counit laws of the coalgebra. The unit and multiplication of a monad are opmonoidal natural transformations because the bialgebra axioms sayThe Eilenberg-Moore category of this opmonoidal monad is the category of left $H$-modules: a monad-algebra map $H{\otimes }_{k}M\to M$ is exactly a unital associative action.

Applying the preceding construction gives the diagonal bialgebra action and the unit actionThe usual associators and unitors for the tensor product of modules are $H$-linear, and the underlying tensor product is exactly ${\otimes }_k$. The forgetful functor into $k$-modules is strict monoidal. The base need not be a field; the modules need be neither flat modules nor finitely generated modules.

We use the left internal-hom convention in which $[M,N]$ is right adjoint to $-{\otimes }_{k}M$, so its evaluation morphism has domain $[M,N]{\otimes }_{k}M$. For a Hopf algebra over the commutative ring $k$, take the full $k$-moduleand give it the internal hom for modules over a Hopf algebraThe antipode is an antihomomorphism, $S(hg)=S(g)S(h)$, soThe unit acts identically. Thus this is a left $H$-module.

The evaluation morphism is $H$-linear. Using the diagonal bialgebra action and the antipode identity,Now let $q:L{\otimes }_{k}M\to N$ be $H$-linear and define its ordinary curried map $\hat{q}(\ell )(u)=q(\ell \otimes u)$. To see that it too is $H$-linear, computeConversely, any $H$-linear map $L\to [M,N]$ uncurries to an $H$-linear map by the already established linearity of evaluation. The ordinary tensor–hom adjunction therefore restricts to a natural bijectionPostcomposition by an $H$-linear map makes $[M,-]$ a functor. This proves that the category of left $H$-modules is a left closed monoidal category. All modules are allowed; no inverse antipode or finite-dimensional dual is required. Stating the tensor–hom convention explicitly avoids confusing this construction with the closure on the opposite side.

For nilpotent elements $a,b$ of the commutative ring, choose positive integers $r,s$ with $a^r=b^s=0$. The binomial theorem giveseach term has either $j\ge r$ or $r+s-1-j\ge s$. Also $(-a{)}^r=0$, $0\in N$, and $(ta{)}^r=t^r{a}^r=0$ for every $t\in R$. Thus $N$ is an additive subgroup stable under multiplication by arbitrary ring elements:Commutativity is essential to the simple binomial argument; an arbitrary sum of nilpotent elements in a noncommutative ring need not be nilpotent.

The real tautological line bundle has total space $E=\{(\ell ,v):\ell \in {\mathbb{RP}}^n,v\in \ell \}$ and projection $(\ell ,v)\mapsto \ell$. On the open chart $U_i=\{[x]:x_i\ne 0\}$, the vector $s_i([x])=x/x_i$ is a continuous nowhere-zero section of a vector bundle, independent of the representative of $[x]$. The explicit local trivialization iswith inverse $([x],v)\mapsto ([x],v_i)$. Both maps are continuous and linear on each fiber. The charts cover the base, proving the existence of the required local trivializations.

Let $E\to B$ be a rank-$r$ vector bundle oriented over a commutative ring $R$, with $r\ge 1$. An $R$-orientation is a coherent choice of generator of each fiber's top relative cohomology, or equivalently a Thom class $u_E$. The Thom isomorphism theorem identifies $H^{q-r}(B;R)$ with $H^q(D(E),S(E);R)$ by $a\mapsto {\pi }^{\ast }a⌣u_E$. The disk bundle retracts to $B$, and the relative-to-absolute map becomes multiplication by the Euler class $e(E)$. The pair's long exact sequence therefore becomes the Gysin sequence of a sphere bundle:With real coefficients, the bundle must be oriented in the usual sense. For the computation here use $R={\mathbb{F}}_2$, over which every real vector bundle is oriented, including the nonorientable real tautological line bundle when $n\ge 1$.

The unit sphere bundle of ${\gamma }_n$ is $S^n$: a unit vector determines its line. Put $a=e_2({\gamma }_n)=w_1({\gamma }_n)\in H^1({\mathbb{RP}}^n;{\mathbb{F}}_2)$. For $n\ge 1$, the pullback $H^0({\mathbb{RP}}^n;{\mathbb{F}}_2)\to H^0(S^n;{\mathbb{F}}_2)$ is an isomorphism, so the next connecting homomorphism is zero and multiplication by $a$ is injective on $H^0$. Since the sphere's cohomology vanishes strictly between degrees zero and $n$, exactness makes multiplication by $a$ an isomorphism $H^{q-1}\to H^q$ for $1\le q<n$, and injective for $q=n$. For $q=1$ these assertions also use the just-noted vanishing of the connecting homomorphism from $H^0(S^n)$.

The standard $n$-dimensional CW complex structure of Real projective space gives $H^q=0$ for $q>n$. Consequently the segment $H^n(S^n;{\mathbb{F}}_2)\to H^n({\mathbb{RP}}^n;{\mathbb{F}}_2)\stackrel{⌣a}{\to }{H}^{n+1}({\mathbb{RP}}^n;{\mathbb{F}}_2)=0$ makes $H^n$ at most one-dimensional. The preceding injectivity makes it exactly one-dimensional, generated by $a^n$. This includes $n=1$; $n=0$ is a point separately. We have derived the multiplication, not just the dimensions:

An odd map between spheres descends to $\bar{f}:{\mathbb{RP}}^n\to {\mathbb{RP}}^m$. The odd maps pull back the real tautological line bundle argument gives ${\gamma }_n\cong {\bar{f}}^{\ast }{\gamma }_m$: with $x$ a unit vector the fiber map is $tx\mapsto tf(x)$, unchanged when $(x,t)$ is replaced by $(-x,-t)$. Naturality of the first Stiefel–Whitney class gives ${\bar{f}}^{\ast }b=a$. If $n>m$, the relation $b^{m+1}=0$ would imply $a^{m+1}=0$ in a ring where this power is nonzero. Hence $\boxed{n\le m}$. The case $n=0$ is immediate, and the same argument rules out $m=0<n$.

For the map with separate oddness, pass to $\bar{g}:{\mathbb{RP}}^n\times {\mathbb{RP}}^n\to {\mathbb{RP}}^n$. Let $a,b$ be the degree-one classes from its two domain factors and $c$ the target class. There is an isomorphismgiven on fibers by $(sx)\otimes (ty)\mapsto stg(x,y)$; flipping either unit representative leaves this map well defined. The First Stiefel–Whitney class of a tensor product of real line bundles gives ${\bar{g}}^{\ast }c=a+b$. By the Künneth theorem,Pulling back $c^{n+1}=0$ shows that $(a+b{)}^{n+1}=0$. The two end monomials already vanish, while every interior monomial $a^j{b}^{n+1-j}$, $1\le j\le n$, is a distinct nonzero basis element. Therefore all interior binomial coefficients in row $N=n+1$ are even. To identify such rows, write $N={\sum }_{i\in I}{2}^i$. In ${\mathbb{F}}_2[t]$ repeated squaring gives $(1+t{)}^N={\prod }_{i\in I}(1+t^{2^i})$. If $I$ has at least two elements, the coefficient of $t^{2^{\min I}}$ is one and its exponent is strictly between zero and $N$, a contradiction. Thus $N$ is a power of two, as in binomial coefficients with even interior terms, andThis is the necessary cohomological obstruction to separately odd sphere multiplication; it does not assert existence in every dimension of this form.

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 Krull dimension of a commutative ring $R$ isThe length counts strict inclusions, so a chain with $n+1$ prime ideals has length $n$. The supremum may be infinite. A field, for example, has just the prime ideal $(0)$ and therefore has Krull dimension zero. For the zero ring, the spectrum of a commutative ring is empty; under the convention $\sup \varnothing =-\infty$, its dimension is $-\infty$.

The modular representation ring $R_k(G)$ is the abelian group generated by isomorphism classes $[V]$ of finite-dimensional $kG$-modules, with relationsThe Jordan–Hölder theorem says that it is a free abelian group with basis the classes of the simple modules, and $[V]={\sum }_S[V:S][S]$. To see independence, composition multiplicity for each fixed simple $S$ is an additive map to $\mathbb{Z}$ and reads off its basis coefficient.

Define $[V][W]=[V{\otimes }_{k}W]$, using the diagonal action in the tensor product of group representations. Tensoring over a field is exact in either argument, so multiplication respects the defining relations. Associativity and the symmetry $v\otimes w\mapsto w\otimes v$ give a commutative ring with identity $[k]$, the trivial representation. Thus $\boxed{R_k(G)\text{ is a commutative ring, freely based on simple modules}}$.

Let $D:\mathcal{J}\to \mathbf{Fld}$ be connected and nonempty. The limit of the underlying diagram of commutative rings is the subringIf $x\in L$ is nonzero in one component, it is nonzero in every component: field homomorphisms are injective, and connectedness propagates this fact along zigzags. Hence the componentwise inverses $(x_j^{-1})$ are defined and compatible. Thus $L$ is a field. Since the inclusion $\mathbf{Fld}\hookrightarrow \mathbf{CRng}$ is full, the same cone is limiting in the category of fields.

If $\mathcal{J}$ is disconnected, choose two components and use the constant field ${\mathbb{F}}_2$ on one and ${\mathbb{F}}_3$ on the other. There is no cone in fields because its apex would map to fields of two different characteristics. Hence $\mathbf{Fld}$ does not have all limits of any disconnected shape.

In a Noetherian ring, an ideal $I$ disjoint from a nonempty multiplicative subset $S$ extends to an ideal $P$ maximal among those disjoint from $S$, by the ascending chain condition. It is proper. If $ab\in P$ but neither factor belongs to $P$, both $P+(a)$ and $P+(b)$ meet $S$. Multiplying such representatives puts an element of $S$ in $P$, a contradiction. Thus $P$ is a prime ideal. For a general commutative ring the same argument follows after applying the Zorn lemma to disjoint ideals; the union of a chain is disjoint from $S$.