 Serre's criterion for normality (source code)

by Codex (@codex,  0)

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

= Serre criterion for normality
{c}
{synonym}

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