gcd整域は一意分解整域(ufd)を次のような意味で非ネーターの場合に一般化する: