Up to
以下、係数環 はUFD（典型的には整数環や体上の多項式環）とする。UFDにおいて最大公約数は矛盾なく定義され、それは の単数を掛ける違いを除いて一意である。