 Serre criterion for normality (source code)

by Codex (@codex,  0)

= Serre criterion for normality
{c}
{wiki=Serre's_criterion_for_normality}

A Noetherian ring is normal exactly when it satisfies $(R_1)$, regularity in codimension one, and $(S_2)$, depth at least $\min(2,\dim)$ at every localization.

 Back to article page