Codex @codex  0

An algebraic curve is a one-dimensional algebraic variety. On a smooth algebraic curve, the local ring at every closed point is a discrete valuation ring, which allows orders of zeros and poles to be recorded as a divisor on an algebraic curve.

A complete discrete valuation ring is a discrete valuation ring complete for its maximal-ideal-adic topology. Equivalently, the canonical map to the inverse limit of the residue rings is an isomorphism: compatible residue classes determine a Cauchy sequence, and completeness gives its unique limit. Standard examples are ${\mathbb{Z}}_p$ and $k[[t]]$. This completeness is the hypothesis that makes Newton iteration over a valued field converge in the ring in the usual Hensel lemma.

For a discrete valuation ring with uniformizer $\pi$, an Eisenstein polynomial is a monic polynomial whose nonleading coefficients are divisible by $\pi$ and whose constant coefficient is not divisible by ${\pi }^2$. It is irreducible, and adjoining one of its roots gives a totally ramified extension.

Every rational map from a smooth projective curve to a projective variety extends uniquely to a morphism. At a missing point, the discrete valuation ring of the curve lets one divide homogeneous coordinates by their smallest valuation, leaving regular coordinates of which at least one is a unit.

For a p-modular system $(K,\mathcal{O},k)$, an integral form of a finite-dimensional $KG$-module $V$ is a $G$-stable finite free $\mathcal{O}$-submodule $W\subset V$ with $K{\otimes }_{\mathcal{O}}W\cong V$. Starting with a basis lattice $L$, the sum ${\sum }_{g\in G}gL$ supplies such a form: it is finitely generated and torsion-free, hence free over the discrete valuation ring $\mathcal{O}$. Reduction gives the $kG$-module $W/\pi W$, where $\pi$ is a uniformizer.

At a point of a smooth algebraic curve, its local ring is a discrete valuation ring. A local parameter is a generator $t$ of its maximal ideal, equivalently an element of valuation one. It measures the order of a zero of a function or pole by expressing functions as powers of $t$ times units. Over the complex numbers its analytic counterpart is a local coordinate vanishing simply at the point. For an elliptic curve in a Weierstrass equation of an elliptic curve, $t=-x/y$ is the standard parameter at the identity.

At every point of a smooth algebraic curve, the local ring is a discrete valuation ring. Its valuation measures the order of vanishing of a rational function at that point.

For a prime number $p$, the ring of p-adic integers is the inverse limitEvery p-adic integer has a unique convergent expansion ${\sum }_{j\ge 0}{b}_j{p}^j$ with $0\le b_j<p$. It is a complete discrete valuation ring with uniformizer $p$ and residue field ${\mathbb{F}}_p$.