Dirichlets sats om primtal i en aritmetisk progression säger att varje oändlig aritmetisk progression , vars första term och skillnaden är coprime naturliga tal , innehåller ett oändligt antal primtal.
Dirichlet bevisade att för alla fasta naturliga samprimtal l och k gäller följande:
Låta vara heltal och . Sedan finns det oändligt många primtal sådana att . |
Teoremet i denna formulering bevisades av Dirichlet med analytiska medel 1837. Senare hittades bevis för satsen med elementära metoder [1] . Olika sådana bevis har presenterats av Mertens, Selberg och Zassenhaus.
När man överväger primtal visar det sig ofta att deras uppsättning har många egenskaper som är inneboende i uppsättningen av alla primtal. Det finns många teorem och hypoteser som endast tar hänsyn till primtal från en viss klass av rester eller förhållanden av uppsättningar av primtal från olika klasser av rester.
Till exempel, förutom huvudsatsen i satsen, bevisade Dirichlet 1839 att för alla fasta naturliga coprimtal och :
där summeringen utförs över alla primtal med villkoret , och är Euler-funktionen .
Detta förhållande kan tolkas som lagen om enhetlig fördelning av primtal över restklasser , eftersom
om summeringen är över alla primtal.
Det är känt att för alla samprimtal och serien , där summeringen är över primtal , divergerar.
Postnikov M.M. Fermats teorem. Introduktion till teorin om algebraiska tal. - M .: Nauka , 1986.