公約数

公約数（こうやくすう、）とは、2 つ以上の自然数について、そのいずれの約数にもなることができる整数のことである。

定義 
2つ以上の整数に共通な約数。公約数は、最大公約数の約数となる。例えば、との公約数はとの最大公約数を求め、最大公約数の約数となる。

例 
一般には約数は自然数の範囲内で考えることが多いので、例えば、とと（この最小公倍数は432）の公約数はである。約数を整数の範囲内で考えるとき、約数には符号の違いを許すので、その個数は倍となる。どういう範囲で考えているのかを常にはっきりさせておくべきである。

諸概念 
公約数の内最大のものを最大公約数という。公約数は、全て最大公約数の約数であるので、最大公約数を求めれば全ての公約数を求めることができる。前述の例で言えば、とととの最大公約数はであるので、の約数をすべて求めればそれが3つの数の全ての公約数になる。は全ての自然数の公約数である。

また、2つ以上の多項式について、それぞれを因数分解したときに共通に現れる因数（因子、factor）も公約数（あるいは公約元、共通因子、common factor など）と呼ぶ。例えば、とについて、は公約数である。

最大公約数がであるような2つの整数の組は、互いに素であるという。

一般化 
単項イデアル整域（例えば整数の全体や実数係数多項式の全体はそうである）において、その2つの元に対し、集合

に含まれるイデアルの生成元をとの公約元という。特に

を満たすをとの最大公約元という。更に、このがの単元であるとき、とは互いに素であるという。つまり、
とが互いに素となるが存在する。
互いに素という概念は、更に一般の環でイデアルの間の関係として一般化される。環の2つのイデアルが

を満たすとき、とは互いに素であるという。

関連項目 

公倍数
最大公約数
ユークリッドの互除法

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