コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

最大公約数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
最大公約元から転送)
自然数整除関係を図示した無限グラフ(ハッセ図)の一部。たとえば8と12の最大公約数は4であり、4と6の最大公約数は2である。

最大公約数(さいだいこうやくすう、: greatest common divisor[注釈 1])とは、すべての公約数約数にもつ公約数である。特に正の整数では、最大公約数は通常の大小関係についての最大の公約数と一致し、その存在性はユークリッドの互除法により保証される。

初等的な定義

[編集]

以下では、自然数 を含むとし、割り切ること(つまり となる自然数 が存在すること)を と表す。

写像

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

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

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

  • が成り立つ。
  • が成り立つ[2]
  • 最大公約数は存在すれば一意である[5]
  • であれば(つまり空集合の)最大公約数は である[2]空積 であることと空虚な真に注意せよ。
  • であれば である。
  • とし、 の最大公約数は である[1][6][7]。ゆえに、一般には最大公約数は最大の公約数ではない[8]
  • とし、 でない自然数 の最大公約数は である

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

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

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

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

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

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

  • (ただし 最小公倍数)が成り立つ[注釈 2]。この関係によって最小公倍数を計算するのが一般的である。
  • のような分配則が成り立つ。
  • (ただし オイラーのトーシェント関数)が成り立つ。
  • (ただし トマエ関数)が成り立つ。
  • 正の奇数 と自然数 に対して が成り立つ[12]
  • (ただし ラマヌジャン和英語版)が成り立つ[13]
  • が成り立つ[14]
  • (ただし 進付値)が成り立つ。

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

環論的な定義

[編集]

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

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

脚注

[編集]

注釈

[編集]
  1. ^ 文献によっては highest common factor, greatest common factor, greatest common measure などを用いることもある。
  2. ^ この性質は引数が二つ以下の場合でしか一般に成り立たない。たとえば2と6と15であれば、左辺は30で右辺は180となり等号は成り立たない。この事態は素因数分解による表式を考えることにより理解される。
  3. ^ たとえば高木貞治(1971)『初等整数論講義』や日本数学会(2012)『岩波数学辞典 第4版』はこの流儀を採用している。

出典

[編集]
  1. ^ a b c d greatest common divisor”. nLab. 2021年12月17日閲覧。
  2. ^ a b c elementary number theory - GCD of an empty set?”. Mathematics Stack Exchange. 2021年12月17日閲覧。
  3. ^ gcd domain”. planetmath.org. 2021年12月17日閲覧。
  4. ^ 加藤・中井(2016)定義 2.4.3
  5. ^ 加藤・中井(2016)命題 2.4.4
  6. ^ elementary number theory - What is $\gcd(0,0)$?”. Mathematics Stack Exchange. 2021年12月17日閲覧。
  7. ^ gcd(0,0) - Wolfram|Alpha”. ja.wolframalpha.com. 2021年12月17日閲覧。
  8. ^ 加藤・中井(2016)p. 42
  9. ^ philosophy of mathematics - What does a priori mean in a math paper?”. Philosophy Stack Exchange. 2021年12月17日閲覧。
  10. ^ 加藤・中井(2016)p. 49
  11. ^ 加藤・中井(2016)命題 2.9.4
  12. ^ Slavin, K. R. (2008). “Q-Binomials and the Greatest Common Divisor” (PDF). INTEGERS: The Electronic Journal of Combinatorial Number Theory 8: A5. http://math.colgate.edu/~integers/i5/i5.pdf. 
  13. ^ Schramm, W. (2008). “The Fourier transform of functions of the greatest common divisor” (PDF). INTEGERS: The Electronic Journal of Combinatorial Number Theory 8: A50. http://math.colgate.edu/~integers/i50/i50.pdf. 
  14. ^ elementary number theory - Prove that $\gcd(a^n - 1, a^m - 1) = a^{\gcd(n, m)} - 1$”. Mathematics Stack Exchange. 2021年12月17日閲覧。
  15. ^ gcd domain”. planetmath.org. 2021年12月17日閲覧。
  16. ^ greatest common divisor”. planetmath.org. 2021年12月17日閲覧。

参考文献

[編集]

関連項目

[編集]