Dixons hypotes

Dixons gissning  är ett talteoretiskt antagande gjort av Linord Dixon 1904, som säger att för varje ändlig uppsättning linjära former med , finns det oändligt många naturliga tal n för vilka alla värden på formerna kommer att vara primtal samtidigt, om det inte finns en jämförelse med avseende på någon prime-modul som omedelbart utesluter denna möjlighet.

Formulering

Låt k  vara ett naturligt tal, överväg k aritmetiska progressioner med heltal , och . Dixons gissning antyder att det finns oändligt många naturliga tal n så att för varje sådant n är alla k tal primtal. Endast det triviala fallet är uteslutet från övervägande, när det finns ett primtal p så att, för varje n , minst ett tal är en multipel av p . Denna begränsning kan omformuleras enligt följande: det är inte sant att jämförelsen utförs för något n . I det senare fallet kan både flera progressioner för olika n och en progression för alla n delas med p . Till exempel, för 2 progressioner alltid , och för 2 andra progressioner för jämnt n , och för udda - , så att i par av progressioner och antalet enkla par inte är oändligt.

Vi noterar också att formuleringen av hypotesen blir mer naturlig om dess omfattning utvidgas från naturliga tal till alla heltal, i synnerhet inte bara positiva tal anses vara primtal utan även negativa tal (som verkligen är primelement i ringen i vanlig mening). I det här fallet finns det inget behov av att kräva positiviteten hos alla värden för alla progressioner , och därför kan tillståndet försvagas till , och det senare kan tas bort helt, eftersom det annars inte  är en aritmetisk progression.

Specialfall

Heuristiska överväganden till förmån för hypotesen

Låt vara  antalet jämförelselösningar . Enligt antagandet av hypotesen, och sedan enligt heuristiska resonemang till förmån för Bateman-Horn-hypotesen, får vi att densiteten av tal n som inte överstiger x , för vilka alla tal är primtal, uppskattas av värdet

här tas produkten över alla primtal p , och  är talets naturliga logaritm . Värdet är asymptotiskt ekvivalent men det första uttrycket bör vara mer exakt. När , Det är lätt att kontrollera att koefficienten blir lika med , vilket motsvarar Dirichlet-satsen (här  är Euler-funktionen ).

Generaliseringar

Dixons gissningar generaliserades senare av Schinzel till Schinzels gissningar .

Se även

Länkar