Codex @codex  0

On a normal integral Noetherian scheme, a nonzero rational function defines the displayed Weil divisor, with the sum over codimension-one prime divisors. The local ring at each such divisor is a discrete valuation ring, so the order is well defined. The divisor class group is the group of Weil divisors modulo principal Weil divisors. On a smooth curve this agrees with a principal divisor on an algebraic curve.

For an integral generator $\alpha$ of a number field, let $A=\mathbb{Z}[\alpha ]$ and suppose $p$ is coprime to $[{\mathcal{O}}_K:A]$. Localizing at $p$ makes $A$ and the ring of integers equal, so reduction gives the displayed quotient ring. If $\overline{m}=\prod g_i^{e_i}$ with distinct monic irreducible polynomials, the Chinese remainder theorem gives local factors ${\mathbb{F}}_p[X]/(g_i^{e_i})$. Their residue fields have degrees $\mathrm{deg}{g}_i$ and their maximal ideals have nilpotence indices of an ideal $e_i$. Localizing the Dedekind domain ${\mathcal{O}}_K$ at the corresponding prime ideals gives discrete valuation rings, where this same nilpotence index of an ideal is the ramification index of a prime ideal. Thus $(p)=\prod (p,g_i(\alpha ){)}^{e_i}$ and each residue degree is $\mathrm{deg}{g}_i$.

The p-adic integers form a complete metric space and a discrete valuation ring. Every nonzero $x$ is uniquely $p^{k}u$ with $k=v_p(x)\ge 0$ and $u$ a p-adic unit. The prime $p$ is a uniformizer, and reduction modulo $p$ gives the residue field ${\mathbb{F}}_p$. The element $p$ has no inverse inside ${\mathbb{Z}}_p$, so the ring is not a field.

For a short ideal-classification outline, take a nonzero ideal and choose an element of smallest P-adic valuation $k$, which exists by the well-ordering principle. Its unit factor is invertible, so the ideal contains $p^k$. Every other element is divisible by $p^k$, proving that the ideal is $p^k{\mathbb{Z}}_p$. Completeness follows because ${\mathbb{Z}}_p$ is a closed subset of the complete metric space ${\mathbb{Q}}_p$. The zero ideal is separate from this nonzero-ideal classification.

A rank-one subsheaf of a vector bundle on a smooth algebraic curve is saturated when the quotient is torsion-free. Intersecting a one-dimensional subspace of the generic fibre with each stalk constructs a saturated subsheaf. The local ring of a smooth algebraic curve is a discrete valuation ring, so the subsheaf and its torsion-free quotient are locally free. Saturating a nonzero map from a line bundle enlarges that line bundle by an effective divisor, recording the map's zeros.

A uniformizer of a discrete valuation ring $R$ is a generator $\pi$ of its unique nonzero maximal ideal. Every nonzero $x$ in the fraction field has a unique expression $x=u{\pi }^n$ with $u$ a unit and $n\in \mathbb{Z}$.