最大公約数

最大公約数（さいだいこうやくすう、）とは、すべての公約数を約数にもつ公約数である。特に正の整数では、最大公約数は通常の大小関係についての最大の公約数と一致し、その存在性はユークリッドの互除法により保証される。

初等的な定義 
以下では、自然数は  を含むとし、 が  を割り切ること（つまり  となる自然数  が存在すること）を  と表す。

写像  を

 すべての  に対して  であり、
 すべての自然数  に対し、すべての  に対して  ならば  となる

ように定める。 を  の最大公約数といい、 や  と表す。 が成り立つことを  が互いに素であると言う。

この定義から容易に次のことがわかる。

  が成り立つ。
 が成り立つ。
最大公約数は存在すれば一意である。
  であれば（つまり空集合の）最大公約数は  である。空積が  であることとに注意せよ。
  であれば  である。
  とし、 と  の最大公約数は  である。ゆえに、一般には最大公約数は最大の公約数ではない。
  とし、 でない自然数  と  の最大公約数は である

自然数が一つ以下の場合は自明なので普通は二つ以上の場合を考えることになるが、二番目の性質により二つの自然数の最大公約数を考えることに帰着する。この定義からアプリオリには任意の二つの自然数に最大公約数が存在するかわからないが、実際には単に存在するだけでなく具体的に計算するアルゴリズムがユークリッドの互除法として知られており、この重要な応用がベズーの等式である。

たとえば  と  の最大公約数をユークリッドの互除法により求めてみよう。 なので  である。 なので  である。 なので  である。 なので  であり、最大公約数が  であることがわかった。

このように最大公約数の定義や計算に素数や素因数分解などのような高級な概念は全く必要ないのだが、算術の基本定理が成り立つことを利用して最大公約数を明示的に表すこともできる。つまり、すべての素数から成る集合を  として、 を

と素因数分解すれば、次が成り立つ。

たとえば  や  と素因数分解できるので、たしかに  となりユークリッドの互除法を用いて得られた値と一致する。

他にも次のような性質が知られている。

 （ただし  は最小公倍数）が成り立つ。この関係によって最小公倍数を計算するのが一般的である。
  や  のような分配則が成り立つ。
 （ただし  はオイラーのトーシェント関数）が成り立つ。
 （ただし  はトマエ関数）が成り立つ。
 正の奇数  と自然数  に対して  が成り立つ。
 （ただし  は）が成り立つ。
  が成り立つ。
 （ただし  は  の  進付値）が成り立つ。

特に重要な事実として、組  は半順序集合であるのでハッセ図を書くことができ、さらに  と  をそれぞれ結びと交わりとすれば完備分配束を成し、 が最小元、 が最大元になる。したがって圏論的には  と  はそれぞれ余積と積に対応する。

環論的な定義 
初等的な議論では自然数に限定したが、環論的な文脈では上の定義を一般の環（ここでは単位的可換環とする）に置き換えることになる。よくある定義では条件2の  が  となっているので、通常の大小関係が一般には定義できない環には拡張できないことに注意せよ。一般の環では最大公約数が存在するとは限らない。たとえば  の元  の最大公約数は存在せず、 の元  の最大公約数は存在しない。さらに、存在しても一意であるとは限らない。たとえば有理整数環  では  と  の最大公約数は  であり、多項式環  では  と  の最大公約数は  () である。しかし考えている環が整域であれば、最大公約数は存在すれば単元倍を除いて一意なのでそれぞれ単に  や  と書いてよい。

このように一般の整域でも最大公約数は存在するとは限らないが、すべての二つの元について最大公約数が存在するような整域をGCD整域と言い、特に一意分解整域であればGCD整域である。さらに単項イデアル整域であれば元  に対して  が成り立ち、より強く多項式環やガウス整数環のようなユークリッド整域であればユークリッドの互除法を用いて最大公約数を求めることができる。この観点では自然数  の最大公約数が有理整数環  のイデアル  すなわち  の正の生成元であるので、初等的には  を  と書くことが正当化されていると解釈できる。特に、空集合の生成するイデアルが零イデアルであることから、空集合の最大公約数はやはり  である。

脚注

注釈

出典

参考文献 
加藤文元・中井保行（2016）『天に向かって続く数』日本評論社．
nLab - “greatest common divisor” (英語)

関連項目 

ユークリッドの互除法
公約数
公倍数
最小公倍数
GCD整域
ユークリッド整域
最大公約数 - RADWIMPSの楽曲。

数論
初等数学
数学に関する記事
環論