[Math] Regular local rings are UFD

abstract-algebracommutative-algebraregular-ringsunique-factorization-domains

For 1-dimensional case, regular local implies PID and hence UFD. That is clear and geometry wise it is basically looking at the germs of smooth functions at a point.

For higher dimensional case, what is the geometrical reason that causes regular local ring being UFD? I do not expect this has to be the case as a lot of things could go wrong with additional degree of freedom added but it did not happen.

Best Answer

It is an easy exercise to show that a noetherian domain is an ufd if and only if height one ideals are principal.

Hence, you can interpret geometrically the fact that regular local domains are ufd by saying that, on a regular variety, codimension 1 subvarieties are defined locally by one equation.

Related Question