Carmichaelin luku

Carmichaelin luvuksi kutsutaan lukuteoriassa sellaista yhdistettyä lukua n, joka toteuttaa ehdon

$a^{n-1}\equiv 1{\pmod {n}}\,$

jokaisella kokonaisluvulla a, kun a:n ja n:n suurin yhteinen tekijä on 1. Toisin sanoen Carmichaelin luvut ovat sellaisia kokonaislukuja, jotka ovat näennäisalkulukuja jokaisen kannan suhteen. Siitä seuraa se, että Carmichaelin lukua ei voi todeta yhdistetyksi luvuksi Fermat'n pienen lauseen avulla. Carmichaelin luvut on nimetty amerikkalaisen matemaatikon Robert Carmichaelin mukaan. Carmichaelin luvut ovat Knödelin luvut K₁.

Kymmenen pienintä Carmichaelin lukua ovat 561, 1 105, 1 729, 2 465, 2 821, 6 601, 8 911, 10 585, 15 841 ja 29 341.^[1]

Jakauma

Seuraavassa C(x) tarkoittaa lukua x pienempien Carmichaelin lukujen määrää.

Carmichaelin lukuja on äärettömästi, tämän todistivat ensimmäisenä matemaatikot William Alford, Andrew Granville ja Carl Pomerance vuonna 1994. He todistivat Carmichaelin lukujen määrälle seuraavan alarajan kaikille tarpeeksi suurille luvuille x ja kaikille $\epsilon >0$

$C(x)\geq x^{(\beta -\epsilon )}$ , missä $\beta =(1-(2{\sqrt {e}})^{-1}){\frac {5}{12}}=0,290306...>{\frac {2}{7}}$ eli $C(x)>x^{\frac {2}{7}}$ .

Vuonna 2005 Glyn Harman todisti vahvemman tuloksen $C(x)>x^{0,332}$ .

Paul Erdős todisti vuonna 1956 seuraavan ylärajan Carmichaelin lukujen määrälle: jollekin vakiolle k

C(x)<x\exp {\frac {-k\ln x\ln \ln \ln x}{\ln \ln x}}

Carmichaelin luvut ovat melko harvinaisia. Seuraavassa taulukossa on C(x):n arvo muutamille kymmenpotensseille:

n	C(10ⁿ)
3	1
4	7
5	16
6	43
7	105
8	255
9	646
10	1547
11	3605
12	8241
13	19279
14	44706
15	105212
16	246683
17	585355
18	1401644
19	3381806
20	8220777