最大公約数
すべての公約数を約数にもつ公約数
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年6月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
●英語版記事を日本語へ機械翻訳したバージョン︵Google翻訳︶。
●万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
●信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
●履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
●翻訳後、
{{翻訳告知|en|Greatest common d ivisor|…}} をノートに追加することもできます。
●Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
|
初等的な定義
編集
以下では、自然数は
を含むとし、
が
を割り切ること︵つまり
となる自然数
が存在すること︶を
と表す。
写像
を
(一)すべての
に対して
であり、
(二)すべての自然数
に対し、すべての
に対して
ならば
となる
ように定める[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]。この観点では自然数
の最大公約数が有理整数環
のイデアル
すなわち
の正の生成元であるので、初等的には
を
と書くことが正当化されていると解釈できる。特に、空集合の生成するイデアルが零イデアルであることから、空集合の最大公約数はやはり
である。
脚注
編集注釈
編集出典
編集
(一)^ abcd“greatest common divisor”. nLab. 2021年12月17日閲覧。
(二)^ abc“elementary number theory - GCD of an empty set?”. Mathematics Stack Exchange. 2021年12月17日閲覧。
(三)^ “gcd domain”. planetmath.org. 2021年12月17日閲覧。
(四)^ 加藤・中井︵2016︶定義 2.4.3
(五)^ 加藤・中井︵2016︶命題 2.4.4
(六)^ “elementary number theory - What is $\gcd(0,0)$?”. Mathematics Stack Exchange. 2021年12月17日閲覧。
(七)^ “gcd(0,0) - Wolfram|Alpha”. ja.wolframalpha.com. 2021年12月17日閲覧。
(八)^ 加藤・中井︵2016︶p. 42
(九)^ “philosophy of mathematics - What does a priori mean in a math paper?”. Philosophy Stack Exchange. 2021年12月17日閲覧。
(十)^ 加藤・中井︵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.
(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.
(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日閲覧。
参考文献
編集- 加藤文元・中井保行(2016)『天に向かって続く数』日本評論社.
- nLab - “greatest common divisor” (英語)