公約数
出典: フリー百科事典『ウィキペディア（Wikipedia）』
公約数（こうやくすう、common divisor, common factor）とは、2 つ以上の自然数について、そのいずれの約数にもなることができる整数のことである。
目次 |
[編集] 定義
2つ以上の整数に共通な約数。 公約数は、最大公約数の約数となる。例えば、12と15の公約数は12と15の最大公約数3を求め、最大公約数3の約数1，3となる。
[編集] 例
一般には約数は自然数の範囲内で考えることが多いので、例えば、36 と 48 と 108 の公約数は {1, 2, 3, 4, 6, 12} である。約数を整数の範囲内で考えるとき、約数には符号の違いを許すので、その個数は 2 倍となる。どういう範囲で考えているのかを常にはっきりさせておくべきである。
[編集] 諸概念
公約数のうち最大のものを最大公約数という。公約数は、すべて最大公約数の約数であるので、最大公約数を求めればすべての公約数を求めることができる。前述の例で言えば、36 と 48 と 108 との最大公約数は 12 であるので、12 の約数をすべて求めればそれが 3 つの数のすべての公約数になる。1 はすべての自然数の公約数である。
また、2 つ以上の多項式について、それぞれを因数分解したときに共通に現れる因数（因子、factor）も公約数（あるいは公約元、共通因子、common factor など）と呼ぶ。例えば、(x + 1)2 と x2 − 1 について、(x + 1) は公約数である。
最大公約数が 1 であるような二つの整数の組は、互いに素であるという。
[編集] 一般化
単項イデアル整域 R（例えば整数の全体 Z や実数係数多項式の全体 R[x] はそうである）において、その二つの元 a, b に対し、集合
- aR + bR = {ax + by | x, y ∈ R}
に含まれるイデアルの生成元を a と b の公約元という。特に
- aR + bR = cR
を満たす c ∈ R を a と b の最大公約元という。さらに、この c が R の単位元であるとき、a と b は互いに素であるという。つまり、
- a と b が互いに素 ⇔ aR + bR = R ⇔ ax + by = 1 となる x, y ∈ R が存在する。
互いに素という概念は、さらに一般の環でイデアルの間の関係として一般化される。環 S の二つのイデアル I, J が
- I + J = S
を満たすとき、I と J は互いに素であるという。
