カーマイケル数

カーマイケル数（カーマイケルすう、Carmichael number）とは、自身と互いに素である任意の底でフェルマーテストを通過する合成数である。アメリカの数学者ロバート・ダニエル・カーマイケル（Robert Daniel Carmichael）に因んでこう呼ばれる。また、絶対擬素数 (absolute pseudoprimes) とも呼ばれる。

概要

確率的素数判定法の一つであるフェルマーテストにおいて、素数ではないにもかかわらず確率的素数であると判定される数を擬素数と呼ぶ。擬素数であるかどうかはフェルマーテストの底ごとに定まり、ある底で擬素数であっても他の底で擬素数であるとは限らない。そのため、複数の底でフェルマーテストを行うことで、素数であることの信頼性を高めることができる。しかしながら、それ自身と互いに素である全ての底においてフェルマーテストを通過してしまう擬素数が存在し、それらはカーマイケル数と呼ばれる。すなわち、合成数 n がカーマイケル数であるとは、自身と互いに素である任意の自然数 a に対し、

<math>a^{n-1} \equiv 1 \pmod n</math>

を満たすことをいう。

カーマイケル数は小さい方から

561, 1105, 1729, 2465, 2821, 6601, 8911, …（テンプレート:OEIS）

であり、無数に存在することが知られている。

特徴

カーマイケル数 n は、その全ての素因子 p に対して p - 1 が n - 1 を割り切るという特徴を持つ。例えば2821を例に取ると、

2821 = 7 * 13 * 31

2821-1 = 2820 = (7-1) * 470 = (13-1) * 235 = (31-1) * 94

である。逆に、この性質を持ち、平方因子を持たない合成数はカーマイケル数である。カーマイケル数は、少なくとも3個以上の異なる素数の積である。

フェルマーテストでは高い確率で確率的素数と誤判定されるカーマイケル数であるが、フェルマーテストの改善版であるミラー-ラビン素数判定法では、ひとつの底に対する誤判定の確率は 1/4 以下となる。

関連項目

• 素数
• 素数判定（確率的素数判定法）
• フェルマーの小定理（カーマイケルの定理、フェルマーテスト）
• ミラー-ラビン素数判定法

外部リンク

• テンプレート:MathWorld