Wikipediaの日本語版だと無かったので適当に英語版にリンク. Carmichael number - Wikipedia, the free encyclopedia. 奇合成数nについて, 任意の1以上n-1以下の整数aに対してa^n≡a (mod n)が成立するとき, そのnをカーマイケル数と呼ぶ. (今日の説明では互素ということを言っていないので間違っていた.) 奇合成数nがカーマイケル数であることの必要十分条件は以下である. nは平方因子を持たない. (n=p1^e1 ... pk^ekと書いたとき, eiは全て1. ここも間違えて話していた.) 素数pについてpがnを割り切るなら, p-1もn-1を割り切る. 以下の証明はS.C. Coutinho著・林彬訳『暗号の数学の基礎』を参考にしている. ちょっと記法を乱用しているが, その辺は各自正確ししていただきたい. 1, 2