with coefficients in R, then k is an element of R.
* Let S be a multiplicatively closed subset of a UFD A. Then the localization S^-1A is a UFD. A partial converse to this also holds; see below.

Equivalent conditions for a ring to be a UFD

A Noetherian integral domain is a UFD if and only if every height