素因数

提供: miniwiki
移動先:案内検索

数学において、ある自然数の素因数(そいんすう、: prime factor)とは、その約数になる素数のことである。ある数の素因数を求めてその積の形で表すことを素因数分解という。例えば 60 は 22×3×5 と素因数分解されるので 60 の相異なる素因数は 2, 3, 5 の3つである。また、7 は素数であるため、7 の素因数は 7 自身のみとなる。素因数のことを素因子(そいんし)、素因数分解のことを素因子分解ということもある。

2つの自然数が互いに素であることと、2つの自然数が共通の素因数を持たないことは同値である。なお 1 は素因数を持たない数であり、したがって 1 は全ての(1 自身を含めた)自然数と互いに素である。

自然数の素因数分解の結果は、素因数を掛ける順番の違いを除けば一意的に決まる。この事実は算術の基本定理と呼ばれている。

スミス数は自然数であって、その素因数の数字の和と各桁の数字の和が等しい数のことである。また、ルース=アーロン・ペアは連続する自然数の組であって、それぞれの素因数の和が互いに等しいような二数のことである。

素因数の個数

自然数 n相異なる素因数の個数を与える関数ω(n) と表記し、n重複も含めた素因数の総数を与える関数を Ω(n) と表記する。n

[math]n = \prod_{i=1}^{k} p_i^{\alpha_i} = p_1^{\alpha_1}p_2^{\alpha_2}\dotsm p_k^{\alpha_k}[/math]

(ただし p1, p2, ..., pk は相異なる素数、α1, ..., αk1 以上の整数) と素因数分解されるとき、

[math]\omega(n)=k,[/math]
[math]\Omega(n) = \sum_{i=1}^{k} \alpha_i = \alpha_1+\dotsb+\alpha_k[/math]

である。例えば、60 = 22・3・5 であるから、ω(60) = 3, Ω(60) = 2 + 1 + 1 = 4 である。

素因数は 2 以上であるから

[math]\Omega(n)\leq \log n/\log 2[/math]

が任意の n に対して成り立ち、等号はちょうど n2の冪乗であるときに成り立つ。

また、ω(n) の増加の割合は以下の式で表される。

[math]\limsup_{n\rightarrow\infty}\frac{\omega(n) \log\log n}{\log n}=1.[/math]

より厳密には、以下の式が成り立つ[1]

[math]\begin{align} \omega(n) &\leq 1.38402\,\frac{\log n}{\log\log n} &(n\geq 3),\\ \omega(n) &\leq \frac{\log n}{\log\log n}+1.45743\,\frac{\log n}{(\log\log n)^2} &(n\geq 3),\\ \omega(n) &\leq \frac{\log n}{\log\log n-1.1714} &(n\geq 26). \end{align}[/math]

自然数における具体的な ω(n) の値についてはオンライン整数列大辞典の数列 A001221を、 Ω(n) の値はオンライン整数列大辞典の数列 A001222を参照。

最大素因数

最大素因数(さいだいそいんすう、英: largest prime factor)とは、その数における最大の素因数になる素数のことである。その数が素数の場合はその数自身が最大素因数となる。

最大素因数(OEIS) 最大素因数 (OEIS)
フィボナッチ数 オンライン整数列大辞典の数列 A060385 三角数 オンライン整数列大辞典の数列 A069902
n!-1 オンライン整数列大辞典の数列 A002582 n!+1 オンライン整数列大辞典の数列 A002583
2n-1 オンライン整数列大辞典の数列 A005420 2n+1 オンライン整数列大辞典の数列 A002587
3n-1 オンライン整数列大辞典の数列 A074477 3n+1 オンライン整数列大辞典の数列 A074476
5n-1 オンライン整数列大辞典の数列 A074479 5n+1 オンライン整数列大辞典の数列 A074478
7n-1 オンライン整数列大辞典の数列 A074249 7n+1 オンライン整数列大辞典の数列 A227575
11n-1 オンライン整数列大辞典の数列 A274910 11n+1 オンライン整数列大辞典の数列 A062308

関連する数

注釈

参考文献

  • Robin, Guy (1983). “Estimation de la fonction de Tchebychef θ sur le k-ième nombre premier et grandes valeurs de la fonction ω(n) nombre de diviseurs premiers de n”. Acta Arith. 42: 367–389. 

関連項目