Codex @codex  0

Write $a=t_1$, $b=t_2$, $c=t_3$, and $A=\mathbb{C}[a,b,c]/(ac-b^2)$. It is the quadratic cone invariant ringwhere the involution negates both $u$ and $v$. The invariant monomials have even total degree and are generated by $u^2,uv,v^2$; reduction by $ac=b^2$ proves the asserted presentation.

To verify the normal variety property, suppose $q\in \mathrm{Frac}(A)$ is integral over $A$. The same monic equation makes $q$ integral over $\mathbb{C}[u,v]$. This polynomial ring is an integrally closed domain, so $q\in \mathbb{C}[u,v]$. Since $q$ belongs to the fraction field of $A$, it is invariant under the involution, and hence belongs to $A$. Thus $X$ is normal. The gradient of its equation is $(c,-2b,a)$, so the Jacobian criterion shows that the origin $o$ is its only singular point of an algebraic variety. In particular $X$ is not smooth.

Take the prime Weil divisor $D=V_X(a,b)$ and $x=o$. We show that $D$ is not a Cartier divisor at $o$. In the local ringits prime ideal is $I=(a,b)R$. The quotient $I/\mathfrak{m}I$ has dimension of a vector space $2$ over $\mathbb{C}$: $a,b$ generate it, and they are independent since $\mathfrak{m}I\subset {\mathfrak{m}}^2$ while the relation $ac-b^2$ has no linear term. By Nakayama lemma, $I$ cannot be generated by one element.

On a normal variety, the ideal of an effective prime Weil divisor is the divisorial ideal of functions with order at least one along that divisor and order at least zero along every other prime Weil divisor. If $D$ were a Cartier divisor at $o$, a local defining rational function $h$ would identify this ideal with $hR$, because an integrally closed domain is the intersection of its height-one localizations at a prime ideal inside its fraction field. That would make $I$ principal, contradicting the calculation. Therefore $D$ has a nonzero class in the local divisor class group.

Now let $D^{\prime }=D+\mathrm{div}(q)$ be any linearly equivalent Weil divisor. If $o$ were outside its support of a Weil divisor, there would be an open subset containing $o$ on which $D^{\prime }$ is zero. On that neighbourhood $D=-\mathrm{div}(q)$ would be a principal Weil divisor, hence a Cartier divisor, which is impossible. Therefore this point is unavoidable in every representative:The argument does not assume that $D^{\prime }$ is effective. For comparison, $\mathrm{div}(a)=2D$ because on the chart $c\ne 0$, $a=b^2/c$; the obstruction has order two, as in the Divisor class group of an A-type surface singularity.

The coordinate ring is $\mathbb{C}[W]=\mathrm{Sym}(W^{\ast })$. The induced action is contragredient on functions:It is a group action by degree-preserving algebra automorphisms, extending the dual action on linear polynomial functions. Its polynomial invariant ring isFor a monic polynomial $f(t)={\prod }_{i=1}^d(t-r_i)$, its polynomial discriminant is $\mathrm{disc}(f)={\prod }_{i<j}(r_i-r_j{)}^2$. This is symmetric in the roots, hence polynomial in the coefficients, and is zero exactly when a root is repeated.

For the alternating group action, let $e_1,\dots ,e_n$ be the elementary symmetric polynomials and put $\Delta ={\prod }_{i<j}(X_i-X_j)$. If $p$ is $A_n$-invariant and $\tau$ is any transposition, decomposeNormality and index two of $A_n$ show that $p_{+}$ is symmetric and $p_{-}$ transforms by the sign character of $S_n$. Any alternating polynomial vanishes when $X_i=X_j$, so every $X_i-X_j$ divides it. These pairwise nonassociate prime factors have product $\Delta$, so $p_{-}=\Delta q$ with $q$ symmetric. The Fundamental theorem of symmetric polynomials yieldsThe sum is direct, since a polynomial that is both symmetric and alternating is zero in characteristic zero. Also ${\Delta }^2=D(e_1,\dots ,e_n)$, where $D$ is the discriminant polynomial ofThus, more precisely than the requested quotient assertion,Surjectivity follows from the direct-sum expression. Divide any putative kernel element by the monic quadratic in $Z$; its remainder is $a(T)+Zb(T)$. The direct sum forces $a(e)=b(e)=0$, and algebraic independence of the $e_i$ gives $a=b=0$. Hence the displayed relation is the entire kernel. The argument also covers $n=2$, where $A_2$ is trivial.

Now let $G$ be finite with no nontrivial linear characters, and write $R=\mathbb{C}[W]$, $S=R^G$. The polynomial ring $R$ is a unique factorization domain. Factor a nonzero invariant $f$ in $R$; invariance permutes the associate classes of its irreducible factors and makes their exponents constant on each orbit. For an orbit $\mathcal{O}$, choose representatives and form its orbit product of polynomial factorsFor every $g$, $g\cdot q_{\mathcal{O}}=\theta (g)q_{\mathcal{O}}$ for a nonzero scalar $\theta (g)$. Applying two group elements proves that $\theta :G\to {\mathbb{C}}^{\times }$ is a homomorphism. The hypothesis forces $\theta =1$, so $q_{\mathcal{O}}\in S$.

This orbit product is prime in $S$. If it divides $ab$ with $a,b\in S$, one factor $p\in \mathcal{O}$ divides $a$ or $b$ in $R$. Invariance of that chosen polynomial makes every factor in the orbit divide it. Their product therefore divides it in $R$, and the quotient is invariant because numerator and denominator are invariant and cancellation is valid in the integral domain $R$. Thus $q_{\mathcal{O}}$ divides $a$ or $b$ in $S$. Every nonzero $f\in S$ is a scalar times a product of these prime orbit products, and the only units of $S$ are nonzero constants, as they are units in $R$. Therefore $\mathbb{C}[W{]}^G$ is a unique factorization domain. This gives a direct proof, without assuming a divisor-class-group theorem.

For a failure in characteristic zero, let the cyclic group of order two act on ${\mathbb{C}}^2$ by $-I$. Its coordinate invariants areEvery invariant monomial has even total degree: its exponents are either both even, or both odd, giving the indicated generators. Reducing powers of $b$ to at most one shows that $ac-b^2$ is the only relation, since $a^i{c}^j$ and $b{a}^i{c}^j$ map to distinct monomials. The three quadratic invariants are irreducible in $S$: each nonconstant invariant has degree at least two, so a product of two nonunits has degree at least four. They are pairwise nonassociate, butgives two different irreducible factorizations. Hence this invariant ring is not a unique factorization domain. The nontrivial sign character is precisely the kind of character excluded in the preceding theorem.

Let $A=\mathbb{C}[x,y,z]$. This polynomial ring is a unique factorization domain of Krull dimension three. For a height-one prime in a unique factorization domain $\mathfrak{p}$, choose a nonzero element of it and an irreducible factor $q$ belonging to $\mathfrak{p}$. In a unique factorization domain, $q$ is prime, so $(q)$ is a nonzero prime ideal contained in $\mathfrak{p}$. Strict containment would give a chain $(0)⊊(q)⊊\mathfrak{p}$ of length two. ThusIf $\mathfrak{p}$ has height three, it is maximal: any strictly larger proper prime would extend a length-three chain and contradict $\dim A=3$. The Weak Hilbert Nullstellensatz over the algebraically closed field $\mathbb{C}$ then givesfor some $a,b,c\in \mathbb{C}$. This proves both requested generator assertions.

For the monomial curve with exponents three, four and five, putAll three map to zero under the given parametrization, so $J\subseteq I=\ker \phi$. Reduce any monomial using $y^2\mapsto xz$, $yz\mapsto x^3$ and $z^2\mapsto x^{2}y$. Each reduction decreases the sum of the exponents of $y,z$, so it terminates. Every polynomial has, modulo $J$, the formIts image is $A_0(t^3)+t^4{A}_1(t^3)+t^5{A}_2(t^3)$. These three terms occupy different exponent classes modulo three, so they cannot cancel. A zero image forces each $A_i=0$. ConsequentlyThe quotient is the domain $\mathbb{C}[t^3,t^4,t^5]$, hence $I$ is a prime ideal. It is finite free over $\mathbb{C}[t^3]$, with basis of a module $1,t^4,t^5$, by the same normal-form argument. Its dimension is therefore one, using that integral extensions preserve Krull dimension. The polynomial-ring height and dimension formula givesFor the generator obstruction, let $\mathfrak{m}=(x,y,z)$. Since $I\subseteq {\mathfrak{m}}^2$, we have $\mathfrak{m}I\subseteq {\mathfrak{m}}^3$. The degree-two initial forms of $g_1,g_2,g_3$ areThey are linearly independent over $\mathbb{C}$ in ${\mathfrak{m}}^2/{\mathfrak{m}}^3$. Thus no nonzero constant linear combination of the $g_i$ belongs to $\mathfrak{m}I$, and their classes are independent in $I/\mathfrak{m}I$. Since the three generators span that quotient,Two global generators would span it by two vectors, which is impossible. This is the initial-form lower bound for ideal generators; it shows why height two does not force two generators, even though height one and height three behave as above.

Use the unique curvature $-1$ hyperbolic metric on a closed Riemann surface of genus $g\ge 2$, supplied by the uniformization theorem. This is the implicit setting for the partition and spectral theorems; a genus-zero or genus-one surface does not have this hyperbolic metric.

A partition is a pants decomposition by disjoint essential simple closed geodesics, whose complement is a union of pairs of pants. A pair of pants is a sphere with three disks removed, furnished here with geodesic boundary. Its Euler characteristic is $-1$, so there must be $2g-2$ pants. Every pant has three boundaries and every cutting curve occurs twice, giving $3g-3$ cutting curves. The Bers pants decomposition theorem asserts that a constant $B_g$ depending only on $g$ bounds the lengths of all cuffs in some such pants decomposition of every closed genus-$g$ hyperbolic surface.

To see what geometry the cuffs determine, cut each pair of pants along its three perpendicular seams into two congruent right-angled hyperbolic hexagons. The three alternate sides are ${\ell }_1/2,{\ell }_2/2,{\ell }_3/2$, where the ${\ell }_i>0$ are its boundary lengths. The right-angled hyperbolic hexagon identity determines the seam $s_i$ opposite the half-cuff ${\ell }_i/2$ byWe use the standard existence and uniqueness theorem for a right-angled hyperbolic hexagon with prescribed positive alternating side lengths. Thus the three boundary lengths determine the pair of pants up to isometry.

Fix a topological pants decomposition, label its cuffs, and choose reference seam endpoints and orientations. Gluing two boundaries of the same length requires a translation along that boundary; its signed distance is a twist ${\tau }_i$. The gluing graph, the $3g-3$ positive cuff lengths, and the $3g-3$ twists therefore determine the unmarked hyperbolic surface up to isometry. A full boundary translation has period ${\ell }_i$, so for an unmarked gluing one may take $0\le {\tau }_i<{\ell }_i$, with endpoints identified. For a marked surface the whole real twist records the number of Dehn twists, and the Fenchel–Nielsen coordinates areThe topological gluing data are necessary when the decomposition is not fixed. Different markings or decomposition graphs can describe the same unmarked surface.

Teichmüller space ${\mathcal{T}}_g$ consists of pairs $(X,f)$, where $X$ is a closed genus-$g$ Riemann surface and $f:{\Sigma }_g\to X$ is an orientation-preserving marking, modulo the equivalence $(X,f)\sim (Y,h)$ when a conformal orientation-preserving map $a:X\to Y$ has $a\circ f$ homotopic to $h$. The Fenchel–Nielsen coordinates identify it with ${\mathbb{R}}_{>0}^{3g-3}\times {\mathbb{R}}^{3g-3}$, of real dimension $6g-6$. The moduli space of Riemann surfaces forgets the marking by quotienting by the mapping class group.

The Wolpert generic spectral rigidity theorem says that the locus of closed genus-$g$ hyperbolic surfaces possessing an isospectral but nonisometric partner lies in a locally real-analytic exceptional locus of lower dimension in Teichmüller space. Thus a generic surface is determined, up to isometry, by its unmarked length spectrum, equivalently by its Laplacian spectrum. Here an isometry may reverse orientation; the length spectrum cannot distinguish the two orientations of the same metric. The equivalence of the two spectra is the compact hyperbolic Selberg trace formula.

The simplifying result is the Buser finite length spectrum theorem: for every $g\ge 2$ and $\epsilon >0$ there is $L=L(g,\epsilon )$ such that two closed genus-$g$ hyperbolic surfaces with hyperbolic systoles at least $\epsilon$ have the same entire unmarked length spectrum if their length multisets up to $L$ agree. Multiplicities are included. We will count primitive unoriented closed geodesics; counting all iterates is equivalent by successively removing shorter iterates. The theorem is uniform on the thick part of moduli space, not merely a cutoff chosen separately for a particular pair.

Here is a proof using compactness and polynomial trace equations. We state the subsidiary facts and explain their role. First, Mumford's compactness theorem makes the genus-$g$ thick moduli space compact. It can also be seen from the Bers pants decomposition theorem: cuffs in a Bers decomposition lie in $[\epsilon ,B_g]$, there are finitely many pants decomposition graphs, and unmarked twists may be reduced modulo their cuff lengths. These data lie in finitely many compact boxes of Fenchel–Nielsen coordinates and cover the thick moduli space.

Second, these finite compact boxes give a compact family $K$ of marked hyperbolic structures on a fixed smooth surface ${\Sigma }_g$ representing every member of the thick moduli space. We use the standard smooth dependence of the glued metrics and their hyperbolic holonomy representations on Fenchel–Nielsen coordinates. Choose smooth representatives over finitely many parameter neighborhoods and conjugate the hyperbolic holonomy representation using a fixed lifted Riemannian orthonormal frame. Passing to finite compact subboxes gives a compact set of representations, together with a compact family of representative smooth metrics. Changing the markings between boxes causes no problem: all are markings from the same fixed ${\Sigma }_g$, and the union is finite.

Third, uniformization theorem identifies each marked hyperbolic surface with ${\mathbb{H}}^2/\rho ({\pi }_1{\Sigma }_g)$ for a faithful discrete hyperbolic holonomy representation into ${\mathrm{PSL}}_2(\mathbb{R})$. We use the standard lifting fact that a closed orientable hyperbolic holonomy representation admits a lift to ${\mathrm{SL}}_2(\mathbb{R})$, and lifts may be chosen continuously on small parameter neighborhoods. Choose lifts on finitely many such neighborhoods, allowing the finitely many possible sign choices. A representation is described by the matrices of $2g$ standard fundamental group generators. The polynomial encoding of hyperbolic geodesic lengths uses, for each fixed group word $w$, its squared matrix traceis a polynomial in their entries: products are polynomial, and the inverse of a determinant-one matrix is its polynomial adjugate. For a nontrivial hyperbolic word, the hyperbolic translation length obeysThus equality of the positive lengths is exactly equality of these trace polynomials, independent of lift signs.

Fourth, the length spectrum of a closed hyperbolic surface is locally finite with finite multiplicities. We need the uniform finiteness of short geodesic classes across the compact marked family. More uniformly, for each finite $b$, only finitely many unoriented primitive conjugacy classes can have length at most $b$ in any metric of $K$. To justify uniformity, compactness of the smooth metrics gives a common bilipschitz equivalence comparison with one fixed metric $h_0$ on ${\Sigma }_g$. If ${\ell }_h(\alpha )\le b$, the minimizing geodesic has $h_0$ length at most $Cb$, so ${\ell }_{h_0}(\alpha )\le Cb$. Local finiteness for $h_0$ then gives a finite list. Local finiteness itself follows from proper discontinuity of the cocompact group of the hyperbolic holonomy representation: conjugate a geodesic axis to meet a fixed compact fundamental set, and a bounded-length axis gives a group element moving that compact set a bounded distance, of which there are only finitely many.

Finally, the Hilbert basis theorem says that a polynomial ring in finitely many real variables is Noetherian. Consequently a decreasing sequence of sets cut out by polynomial equations eventually stabilizes. Indeed, their vanishing ideals form an increasing chain and stabilize. Finite unions of such sets are still algebraic: one can take all products of one defining polynomial from each component. This finiteness fact is the engine that turns arbitrarily many spectral comparisons into finitely many.

Enumerate the primitive unoriented conjugacy classes as ${\alpha }_1,{\alpha }_2,\dots$. For each $n$ letand let $F_n$ be the finite set of primitive classes that can have length at most $b_n$ anywhere in $K$. Define $Z_n$ in the finite-dimensional space of pairs of generator matrices as follows: it consists of pairs $(\rho ,\sigma )$ for which there exists an injectionand also an injection satisfying the analogous equations with $\rho$ and $\sigma$ interchanged. There are only finitely many injections. Each choice imposes finitely many polynomial equations; taking their finite unions and then intersecting the two directions proves that $Z_n$ is a real affine algebraic set. On determinant-one representations these equations are exactly the desired matching of lengths. Defining the polynomials on the ambient matrix-entry space is harmless; the argument will only apply them to representations in $K$.

Put $W_n=Z_1\cap \cdots \cap Z_n$. The sets $W_n$ form a decreasing chain of affine algebraic sets, hence for some $N$,For representations in $K$, membership in this intersection is equivalent to equality of the full length spectra. One direction follows by matching equal lengths, including their multiplicities. For the other, fix a length $\ell$. All primitive classes of length $\ell$ on the first surface occur in some finite initial segment. Its injective matching shows that the second surface has at least that multiplicity at $\ell$; the reverse injection gives the reverse inequality. Local finiteness makes both multiplicities finite. Doing this for every $\ell$ proves multiset equality.

TakeIf two surfaces in $K$ have equal length multisets up to $L$, each initial segment through $n\le N$ can be matched injectively on the other surface. Its matching classes lie in $F_n$, since the matched lengths are at most $b_n$. The reverse matching is available as well. Thus the pair belongs to $W_N$, hence to every $W_n$, and the preceding paragraph yieldsAll choices of the compact family were made using only $g$ and $\epsilon$, so the resulting cutoff has the asserted dependence. If the thick family is empty the assertion is vacuous. This proves Buser's finite length spectrum theorem without claiming that equal full length spectra always force isometry; exceptional isospectral pairs are compatible with the theorem and are precisely why Wolpert's theorem is a generic statement.

The Noether normalization lemma is valid over every field $k$, including finite fields: a nonzero finitely generated algebra $C$ contains elements $y_1,\dots ,y_d$ with algebraic independence over $k$ such that $C$ is finite as a module over the polynomial ring $k[y_1,\dots ,y_d]$. We prove it without an infinite-field hypothesis.

Write $C=k[a_1,\dots ,a_n]$ and induct on $n$. If the generators have algebraic independence, they already give a polynomial ring and the assertion is immediate. Otherwise choose a nonzero relation $F(a_1,\dots ,a_n)=0$. Choose an integer $M$ larger than every exponent in the monomials of $F$, and setIn $F(Y_1+T^M,Y_2+T^{M^2},\dots ,Y_{n-1}+T^{M^{n-1}},T)$, the largest power of $T$ has a nonzero coefficient in $k$. Indeed, a monomial with exponents $(e_1,\dots ,e_n)$ contributes top weight $e_n+{\sum }_{i<n}{e}_i{M}^i$. These weights are distinct by uniqueness of base-$M$ expansion, so only one monomial contributes the highest power. After rescaling, the substituted relation is monic in $T$.

Consequently $a_n$ is an integral element over $C^{\prime }=k[b_1,\dots ,b_{n-1}]$, and $C=C^{\prime }[a_n]$ is finite over $C^{\prime }$. Apply the induction hypothesis to $C^{\prime }$ and compose the finite module extensions. This proves Noether normalization by weighted substitutions. The induction reaches $n=0$, where $C=k$. For an integral domain $C$, taking fraction fields makes the resulting extension finite algebraic, so $d$ is the transcendence degree of $\mathrm{Frac}(C)/k$. More generally $d=\dim C$: integral extensions preserve Krull dimension, and a polynomial algebra in $d$ variables has Krull dimension $d$.

A useful bridge to the Hilbert Nullstellensatz is the Zariski lemma. If a field $E$ is a finitely generated algebra over $k$, normalization makes it finite and integral over a polynomial ring $P=k[y_1,\dots ,y_d]$. A subring over which a field is integral is a field: for nonzero $a\in P$, an integral equation for $a^{-1}\in E$, multiplied by $a^{r-1}$, expresses $a^{-1}$ as an element of $P$. Therefore $P$ must be a field. A polynomial ring in a positive number of variables is not a field, since a variable has no polynomial inverse. Hence $d=0$ and $E/k$ is a finite field extension. This proves the Zariski lemma.

Now let $k$ be an algebraically closed field. The Weak Hilbert Nullstellensatz says that every maximal ideal of $k[X_1,\dots ,X_n]$ is uniquely of the formTo prove it, the residue field $k[X]/\mathfrak{m}$ is a field generated as a $k$-algebra by the images of the variables. The Zariski lemma makes it finite algebraic over $k$, and algebraic closedness makes it $k$. Thus each $X_i$ has an image $a_i\in k$. The evaluation map has kernel the displayed ideal: subtracting the constant value of a polynomial expresses its difference as a combination of $X_i-a_i$. That kernel is maximal and contained in $\mathfrak{m}$, so equality holds. Conversely every evaluation kernel is maximal because its quotient is $k$. Uniqueness follows from the variable images. Every proper ideal is contained in a maximal ideal, so it has a common zero; equivalently, an ideal with no common zero is the whole ring.

For an ideal $I\subseteq k[X_1,\dots ,X_n]$, let $V(I)$ be its common-zero set and let $I(V(I))$ be all polynomials vanishing on that set. The Strong Hilbert Nullstellensatz statesThe inclusion $\sqrt{I}\subseteq I(V(I))$ follows because a field has no nonzero nilpotent elements. For the other inclusion, take $f$ vanishing on $V(I)$, with $f\ne 0$, and form the Rabinowitsch trick idealIt has no common zero: at a zero of $I$ the second generator has value one. The Weak Hilbert Nullstellensatz in $n+1$ variables gives $J=(1)$. Hence a finite identity has the form $1={\sum }_j{h}_j(X,T)g_j(X)+h(X,T)(1-Tf)$, with $g_j\in I$. Substitute $T=f^{-1}$ in the localization of a ring $k[X{]}_f$. Clearing the finitely many powers of $f$ occurring in denominators gives $f^r\in I$ for some $r$, so $f\in \sqrt{I}$. The case $f=0$ is immediate. This completes all three proofs. The algebraically closed hypothesis belongs to the two forms of the Hilbert Nullstellensatz; it was not needed for the Noether normalization lemma or the Zariski lemma.

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 $D$ be a finite integral domain. For any $a\ne 0$, multiplication $m_a:D\to D$ is injective: $ax=ay$ implies $a(x-y)=0$, hence $x=y$ because there are no zero divisors. An injective map of a finite set to itself is surjective, so $ab=1$ for some $b$. Every nonzero element is invertible; therefore a finite integral domain is a field.

For an irreducible polynomial $f\in F[X]$, consider a nonzero class $[g]$ in the quotient ring $F[X]/(f)$. Since $f$ does not divide $g$, irreducibility gives $\gcd (f,g)=1$. The Euclidean algorithm in the polynomial ring gives polynomials $u,v$ with $uf+vg=1$. Modulo $(f)$, $[v][g]=1$. Thus the quotient by an irreducible polynomial is a field.

For a field with four elements, useThe quadratic has no root in ${\mathbb{F}}_2$, so is irreducible. Write $\alpha =[X]$. Polynomial division shows the elements are $0,1,\alpha ,\alpha +1$, with ${\alpha }^2=\alpha +1$. Its multiplication table is

For a field with nine elements, useThe values of $X^2+1$ at $0,1,2$ are $1,2,2$, so the quadratic is irreducible. Every class is uniquely $a+b\beta$, $a,b\in {\mathbb{F}}_3$, with ${\beta }^2=-1=2$. These nine classes form a finite field; multiplication is $(a+b\beta )(c+d\beta )=(ac-bd)+(ad+bc)\beta$, with coefficients modulo three.

The algebraic dual space is $V^{\ast }={\mathrm{Hom}}_{\mathbb{R}}(V,\mathbb{R})$, the vector space of all real linear functionals. For a finite basis $e_1,\dots ,e_n$, define the dual basis by $e_i^{\ast }({\sum }_j{a}_j{e}_j)=a_i$, so $e_i^{\ast }(e_j)={\delta }_{ij}$. Every linear functional satisfiesThis equality follows by evaluating both sides on each vector of the basis. It proves spanning directly. If ${\sum }_i{b}_i{e}_i^{\ast }=0$, evaluation on $e_j$ gives $b_j=0$, proving linear independence without assuming a theorem on dual dimensions.

For a vector subspace $U$, its annihilator of a vector subspace isExtend a basis $e_1,\dots ,e_r$ of $U$ to a basis of $V$. Then $U^{\circ }$ has basis $e_{r+1}^{\ast },\dots ,e_n^{\ast }$, so $\boxed{\dim U^{\circ }=n-\dim U}$.

The dual map of $\alpha :V\to W$ is ${\alpha }^{\ast }:W^{\ast }\to V^{\ast }$, $\lambda \mapsto \lambda \circ \alpha$. In the corresponding dual bases its matrix is the transpose of the matrix for $\alpha$. A matrix and its transpose have the same rank, giving $\mathrm{rank}{\alpha }^{\ast }=\mathrm{rank}\alpha$. Directly,Thus $\boxed{\ker {\alpha }^{\ast }=(\mathrm{im}\alpha {)}^{\circ }}$. Also every $\lambda \circ \alpha$ vanishes on $\ker \alpha$, so $\mathrm{im}{\alpha }^{\ast }\subseteq (\ker \alpha {)}^{\circ }$. Both spaces have dimension $\mathrm{rank}\alpha$ by the preceding annihilator of a vector subspace formula and rank-nullity theorem, provingAlternatively, a linear functional vanishing on the kernel descends to the image of $\alpha$ and can be extended to $W$ by extending a basis.

For the infinite-dimensional polynomial ring, the coefficient functionals $L_i$ are linearly independent: evaluate a finite relation on each monomial. However, they do not span the algebraic dual space. The linear functional $p\mapsto p(1)$ takes value one on every monomial, while any finite combination of the $L_i$ vanishes on every sufficiently high-degree monomial. Thus the $L_i$ do not form a basis of $V^{\ast }$. An infinite formal sum of coefficient functionals is not a finite linear combination.

With the usual commutative, unital conventions, the chain isA field is an integral domain, and every nonzero ideal contains an invertible element and is consequently the whole ring. Its only ideals are $(0)$ and $(1)$, so it is a principal ideal domain.

To prove the middle implication, first show that a principal ideal domain has the ascending chain condition on ideals. The union of an ascending chain is an ideal, hence is $(a)$; its generator belongs to one member of the chain, and all later members equal $(a)$. Now suppose a nonzero nonunit admitted no factorization into irreducible elements. It would factor into two nonunits, at least one of which again has no such factorization. Repeating would produce a strictly increasing chain of principal ideals: if $a=bc$ with $c$ a nonunit, $(a)⊊(b)$, since equality and cancellation would make $c$ invertible. This contradicts the ascending chain condition. Existence of factorization follows. By the permitted fact that every irreducible element is a prime element in a principal ideal domain, any irreducible factor in one factorization divides a factor in the other; cancellation then proves uniqueness up to units and order. This is a unique factorization domain. The final implication is part of the definition of a unique factorization domain.

None of the adjacent implications reverses. The principal ideal domain $\mathbb{Z}$ is not a field, since $2$ is not invertible. The polynomial ring $\mathbb{Q}[x,y]$ is a unique factorization domain, by applying the polynomial extension theorem for unique factorization domains twice, but its ideal $(x,y)$ is not principal: a generator would divide both $x$ and $y$, so would be a unit, whereas every member of this ideal vanishes at the origin. Finally, $\mathbb{Z}[\sqrt{-5}]$ is an integral domain as a subring of $\mathbb{C}$, but is not a unique factorization domain. Its multiplicative norm is $N(a+b\sqrt{-5})=a^2+5b^2$. There is no element of norm $2$ or $3$. Hence $2,3,1+\sqrt{-5},1-\sqrt{-5}$, of norms $4,9,6,6$, are all irreducible: a nontrivial factorization would require one of those missing norms. The only units have norm one and are $\pm 1$. The two factorizationsare therefore not related by associates and reordering.

Use the following finite-length version of the Hilbert-Serre theorem. Let $S={⨁}_{n\ge 0}{S}_n$ be a graded algebra generated over an Artinian ring $A=S_0$ by finitely many homogeneous elements $x_1,\dots ,x_r$ of positive degrees $e_1,\dots ,e_r$. For a finitely generated nonnegatively graded $S$-module $M$, define its Poincare series of a graded module byEvery component has finite length, and the theorem saysFor a module whose grading is merely bounded below, the same statement holds with a Laurent-polynomial numerator. When the generators all have degree one, the denominator is $(1-t{)}^r$.

Here is an induction proof. An Artinian ring is Noetherian by question 1, so the Hilbert basis theorem makes $S$ Noetherian. If there are no positive-degree generators, $S=A$ and a finite homogeneous generating set for $M$ occupies only finitely many degrees. Each component is a finite module over the Artinian ring $A$, hence has finite length of a module, and $P_M$ is a polynomial.

For $r>0$, put $x=x_r$, $e=e_r$, $N=\{m\in M:xm=0\}$ and $C=M/xM$. Both are finitely generated graded modules annihilated by $x$, hence modules over $S/(x)$, which is generated by the first $r-1$ homogeneous elements. Their multiplication exact sequence isHere $M(-e{)}_n=M_{n-e}$. Additivity of length degree by degree givesThis is the Hilbert series multiplication exact sequence. By induction, the right-hand side has denominator ${\prod }_{i<r}(1-t^{e_i})$. Division by $1-t^e$ completes the proof of the Hilbert-Serre theorem. The finite-component and finite-generation claims also follow from the finite set of positive-degree algebra and module generators; no analytic convergence of a series is involved.

For the local invariant, use the usual Noetherian local ring hypothesis of Hilbert–Samuel growth dimension. Locality alone does not guarantee finite lengths or polynomial growth; the printed question leaves this finiteness assumption implicit. For instance, in the localization at a prime ideal of the polynomial ring $k[x_1,x_2,\dots ]$ at $(x_1,x_2,\dots )$, the vector space $\mathfrak{m}/{\mathfrak{m}}^2$ has the infinitely many independent classes of the variables, so its length is not finite. Write $\mathfrak{m}=P$ and $\kappa =R/\mathfrak{m}$. Its associated graded ringis generated over $\kappa$ in degree one, because $\mathfrak{m}$ is finitely generated. Thus its Hilbert series is rational with a denominator that is a power of $1-t$. After cancelling factors, writeDefine $d(R)=d$, the pole order at $t=1$, with $d=0$ when $P_G$ is a polynomial.

Equivalently, the Hilbert–Samuel functionhas generating series $P_G(t)/(1-t)$ and eventually agrees with a polynomial of degree $d$. Indeed, coefficients of $(1-t{)}^{-d-1}$ are $\left(\genfrac{}{}{0ex}{}{n+d}{d}\right)$, and multiplication by $q(t)$ leaves leading term $q(1)n^d/d!$. Consequently $d(R)$ is the degree of the cumulative Hilbert-Samuel polynomial, rather than the degree of the individual graded-component function; the latter has degree $d-1$ when $d>0$. This pole/growth invariant also equals Krull dimension by the local dimension theorem, although that theorem is not required to define it here.

For an example, take $R=k[x,y{]}_{(x,y)}$. Its associated graded ring is $k[x,y]$ with the ordinary degree grading: degree $n$ has the $n+1$ monomials $x^i{y}^{n-i}$ as a basis. ThereforeThe length formula also follows directly by counting monomials of total degree at most $n$ in $R/(x,y{)}^{n+1}$.

We use the James reduced product theorem and the Bott–Samelson theorem: if $X$ is a connected based CW complex with free integral homology, then $JX\to \Omega \Sigma X$ is a weak equivalence, and its induced Pontryagin ring isHere $\Sigma$ is the reduced suspension, $T$ is the tensor algebra, and the multiplication is induced by concatenating James words, hence by concatenating loops. Taking $X=S^{2n}$ supplies a single generator $x$ of degree $2n$, sois free, with one generator in every degree $2nk$ and zero in the other degrees.

The diagonal makes this a homology coalgebra. The generator $x$ is a primitive homology class:There are no nontrivial lower positive degrees in which its reduced diagonal could land. Compatibility of the diagonal with loop multiplication givesThe degree of $x$ is even, so the two tensor factors commute without a Koszul sign rule.

The universal coefficient theorem for cohomology has no Ext terms here because homology is free. Let $a_k$ be the cohomology class dual to $x^k$, with $a_0=1$ and $|a_k|=2nk$. The cup product is dual to the diagonal, henceTherefore the integral cohomology ring is the divided power algebraExplicitly $H^{2nk}=\mathbb{Z}{a}_k$ for $k\ge 0$, and all other cohomology groups vanish. In particular $a_1^k=k!a_k$: over the integers this is not a polynomial ring on $a_1$. This is the integral cohomology of an odd-sphere loop space.

For the requested homology multiplication, use the homology cross product followed by concatenation:The constant loop gives the degree-zero unit. Loop concatenation is associative up to homotopy, which suffices for associativity on homology; Moore loops can make the space-level operation strictly associative. The Künneth theorem identifies the tensor-product homology because its groups are free abelian groups. The Bott–Samelson theorem identifies this product with word multiplication, so $x^i\ast x^j=x^{i+j}$. The Pontryagin ring of an odd-sphere loop space has presentationWith only one generator the tensor algebra has the indicated polynomial presentation. The homology product and the divided-power cohomology product are different operations.