Lagmental Vicfred

Normalization Repairs Missing Integral Functions by Vicfred

tags: mathematics, integral extensions, normalization, spectra

The normalization of a domain is its integral closure inside the fraction field. I want the notation, the mechanism, and the failure mode visible at the same time.

The data

An element \(b\) is integral over \(A\) when it satisfies a monic polynomial with coefficients in \(A\). An extension \(A\subseteq B\) is integral when every \(b\in B\) has this property.

$$ \widetilde A=\{x\in\operatorname{Frac}(A):x\text{ integral over }A\} $$

I read the first line as input and the second as output. The symbols \(\forall\) and \(\exists\) are not interchangeable, and neither may be upgraded silently to \(\Longleftrightarrow\).

$$ A\ \text{normal}\Longleftrightarrow A=\widetilde A $$

Derivation

Here is a concrete symbolic test. Reading it from left to right reveals which transformation is reversible and which is only an implication.

$$ A=k[t^2,t^3]\subset k[t],\qquad t^2\in A,\quad t\text{ satisfies }X^2-t^2=0,\quad\widetilde A=k[t] $$

Invariant content

The aligned summary deliberately puts the datum and conclusion on different rows. Mathematically, this is the distinction between specifying an object and proving a property of it.

$$ \begin{aligned} \mathsf{D}\;&:\quad \widetilde A=\{x\in\operatorname{Frac}(A):x\text{ integral over }A\},\\[5pt] \mathsf{C}\;&:\quad A\ \text{normal}\Longleftrightarrow A=\widetilde A. \end{aligned} $$

Scope

Algebraic over a fraction field and integral over the base ring are different conditions. Denominators make many algebraic elements nonintegral.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] A\ \text{normal}\Longleftrightarrow A=\widetilde A \end{gathered}} $$

The notation is dense, but it is doing honest work: every delimiter records scope and every index records dependence. Removing one should require a mathematical reason.

This article was posted on Sun 12 January 2025. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.