非負整数の整除関係を図示した無限グラフ(ハッセ図)の一部。8と12の最大公約数は4であり、4と6の最大公約数は2である。divisor)とは、少なくとも一つが0ではない複数の整数の公約数のうち最大の数を指す[1]。具体的にはユークリッドの互除法により求めることができる[2]。Factor)」等の省略形で記述される。公約数のうち最大の数である。(定義から正整数となる。e_{p}(n)\}}}で与えられる。整数)の形で表すことのできる最小の正整数と定義してもよい。