Carmichaeltal

Från testwiki
Hoppa till navigering Hoppa till sök

Inom talteorin är Carmichaeltal (eller absolut pseudoprimtal) de heltal som är pseudoprimtal i alla baser. Med andra ord, talet n är ett Carmichaeltal om och endast om n2 och mn11(modn) för alla positiva heltal m sådana att m och n är relativt prima. Talen är döpta efter Robert Carmichael, och är även delmängden K1 till Knödeltalen.

Upptäckt

Den som först upptäckte de grundläggande principerna hos Carmichaeltalen var Korselt, dock utan att ge ett konkret exempel på ett sådant tal. Det var först år 1910 som Carmichael hittade det första talet av denna karaktär, talet 561, och därav kallas de Carmichaeltalen.

Korselts kriterium

En alternativ och ekvivalent definition för ett Carmichaeltal ges av Korselts kriterium.

Ett positivt sammansatt heltal

n

är ett Carmichaeltal om och endast om

n

kvadratfritt, och alla primtalsfaktorer

p

till

n

uppfyller villkoret

p1n1

.

Det följer från detta kriterium att alla Carmichaeltal måste vara udda, eftersom ett jämnt sammansatt tal som är kvadratfritt ,måste innehålla minst en udda primtalsfaktor (det kan bara finnas en jämn primtalsfaktor). Enligt

p1n1

medför detta att det udda talet

n1

kommer att vara delbart med det jämna talet

p1

vilket är en motsägelse.

Att talet 561=3*11*17 är ett Carmichaeltal är nu enkelt att visa då talet är kvadratfritt och 2560, 10560 och 16560.

Faktorisering

Ett Carmichaeltal har minst som minst 3 primtalsfaktorer. För vissa k finns det oändligt många Carmichaeltal med exakt k primtalsfaktorer. Det visar sig även finnas ett oändligt antal sådana k.

De första Carmichaeltalen med k=3,4,5,... primtalsfaktorer är:

Antal primtalsfaktorer Första Carmichaeltalet Primtalsfaktorer
3 561 3*11*17
4 41041 7*11*13*41
5 825265 5*7*17*19*73
6 321197185 5*19*23*29*37*137
7 5394826801 7*13*17*23*31*67*73
8 232250619601 7*11*13*17*31*37*73*163
9 9746347772161 7*11*13*17*19*31*37*41*641

Några andra intressanta fakta är att det andra Carmichaeltalet (1105) kan bli uttryckt som summan av två kvadrater på fler sätt än något mindre tal. Det tredje talet (1729) är också Hardy-Ramanujantalet vilket är det minsta talet som kan skrivas som summan av två kuber (av positiva tal) på två olika sätt.

Referenser

Mall:Naturliga tal