Bilangan prima

**Bilangan prima** adalah bilangan asli lebih dari 1 yang bukan darab (hasil kali) dari dua bilangan asli yang lebih kecil. Bilangan asli yang lebih dari 1 dan bukan bilangan prima disebut bilangan komposit. Misalnya, 5 adalah bilangan prima karena 5 dapat ditulis sebagai 1 \times 5 atau 5 \times 1, sedangkan 4 bukanlah bilangan prima karena hasil kalinya (2 \times 2), di mana kedua bilangan lebih kecil dari 4. Bilangan prima merupakan bagian pusat dari teori bilangan karena melibatkan teorema dasar aritmetika: setiap bilangan asli lebih besar dari 1 adalah bilangan prima itu sendiri atau dapat difaktorkan sebagai hasil kali tunggal hingga urutannya.

Sifat-sifat yang menjadikan bilangan prima disebut **primalitas**. Metode sederhana tetapi lambat yang memeriksa primalitas untuk bilangan n, disebut pembagian percobaan. Metode ini menguji apakah n kelipatan dari suatu bilangan bulat antara 2 dan \sqrt{n}. Algoritma lebih cepatnya adalah uji primalitas Miller–Rabin, algoritma cepat tetapi memiliki kesempatan galat kecil; dan uji primalitas Agrawal–Kayal–Saxena, algoritma yang selalu memberikan solusi yang benar dalam waktu polinomial, tetapi sangat lambat bila dipraktikkan. Metode cepat khususnya tersedia dalam bilangan bentuk khusus, seperti bilangan Mersenne. Hingga pada Desember 2018, bilangan prima terbesar yang diketahui merupakan bilangan prima Mersenne dengan 24.862.048 digit.

Sekitar 300 SM, Euklides menjelaskan bahwa ada tak berhingga banyaknya bilangan prima. Tidak ada rumus sederhana yang memisahkan bilangan prima dari bilangan komposit. Akan tetapi, sebaran bilangan prima dalam jumlah bilangan asli yang sangat banyak dapat digambar secara statistik. Hasil pertama sebaran bilangan prima tersebut mengarah pada teorema bilangan prima, yang dibuktikan pada akhir abad ke-19. Teorema ini mengatakan bilangan terbesar yang dipilih secara acak menjadi bilangan prima berbanding terbalik dengan jumlah digitnya, yaitu logaritma.

Beberapa masalah-masalah bersejarah yang melibatkan bilangan prima masih belum terpecahkan. Masalah di antaranya konjektur Goldbach, yang menyatakan bahwa setiap bilangan bulat lebih besar dari 2 dapat dibentuk sebagai jumlah dua bilangan prima, dan konjektur bilangan prima kembar, menyatakan bahwa ada tak berhingga banyaknya pasangan bilangan prima yang memiliki sebuah bilangan genap di antaranya. Masalah-masalah tersebut mendorong pengembangan berbagai cabang dalam teori bilangan, yang fokus pada aspek bilangan analitik atau bilangan aljabar. Dalam kehidupan sehari-hari, bilangan prima dipakai dalam teknologi informasi, seperti kriptografi kunci publik, yang bergantung pada kesulitan memfaktorkan bilangan yang lebih besar menjadi faktor bilangan prima. Dalam aljabar abstrak, objek yang umumnya berperilaku sebagai bilangan prima di antaranya elemen bilangan prima dan ideal bilangan prima.

## Definisi dan contoh
Bilangan asli (1, 2, 3, 4, 5, dst.) dapat dikatakan bilangan prima jika dan hanya jika bilangan asli itu lebih besar dari 1 dan tidak dapat ditulis sebagai hasil kali bilangan asli yang lebih kecil. Bilangan asli yang lebih dari 1, tetapi bukan merupakan bilangan prima disebut bilangan komposit. Dengan kata lain, n dikatakan bilangan prima jika terdapat n benda tidak dapat dibagi menjadi kelompok dengan jumlah yang sama, yang terdiri dari satu benda. Bilangan prima juga diilustrasikan sebagai susunan n titik menjadi persegi panjang yang lebar dan tingginya lebih dari satu titik. Misalnya, bilangan di antara 1 sampai 6, bilangan primanya adalah 2, 3, dan 5; karena tidak ada bilangan lain yang membagi ketiga bilangan tersebut tanpa adanya sisa. 1 bukan bilangan prima, karena merupakan pengecualian yang khusus dalam definisi di atas. 4 = 2 × 2 dan 6 = 2 × 3 merupakan bilangan komposit.

Pembagi bilangan asli n adalah bilangan asli yang membagi n sama rata. Pembagi pada setiap bilangan asli tersebut adalah 1 dan dirinya sendiri. Jika n memiliki pembagi lain, maka n bukanlah bilangan prima. Gagasan ini merujuk ke sebuah definisi bilangan prima yang berbeda tetapi ekuivalen: terdapat bilangan setidaknya dua pembagi bilangan positif, 1 dan dirinya sendiri. Ada cara lain untuk menjelaskan hal tersebut, yaitu: n adalah bilangan prima jika n lebih besar dari 1 dan tidak ada bilangan 2,3,\dots,n-1 yang membagi n sama rata.

Berikut adalah 25 bilangan prima pertama (semua bilangan prima yang lebih kecil dari 100):

: 1,2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97 .

Tidak ada bilangan genap n yang lebih besar dari 2 adalah bilangan prima karena bilangannya dapat dibentuk sebagai hasil kali 2 \times \frac{n}{2}. Karena itu, setiap bilangan prima selain dari 2 adalah bilangan ganjil, dan bilangan tersebut disebut *bilangan prima ganjil*. Ketika ditulis dalam sistem desimal biasa dengan cara yang serupa, semua bilangan prima yang lebih besar dari 5 berakhir dengan digit satuan 1, 3, 7, atau 9. Bilangan yang berakhir dengan digit satuan yang berbeda adalah bilangan komposit: bilangan desimal yang digit satuannya adalah 0, 2, 4, 6, atau 8 adalah bilangan genap, dan bilangan desimal yang berakhir dengan digit satuan 0 dan 5 habis dibagi 5.

Himpunan bilangan prima terkadang dilambangkan \mathbf{P} atau \mathbb{P}.

## Sejarah

Papirus Matematika Rhind dari sekitar tahun 1550 SM, memiliki perluasan pecahan Mesir dalam bentuk yang berbeda untuk bilangan prima dan bilangan komposit. Namun, catatan sejarah pertama kali yang mempelajari bilangan prima dengan eksplisit berasal dari matematika Yunani kuno.. *[[Elemen Euklides|Elemen]]* dari Euklides (300 SM) membuktikan bilangan prima tak-hingga dan teorema dasar aritmetika, dan menunjukkan cara membuat bilangan sempurna dari prima Mersenne. Penemuan Yunani lainnya yaitu tapis Eratosthenes masih digunakan untuk menyusun daftar bilangan prima.

Sekitar 1000 M, matematikawan Islam Ibn al-Haytham (Alhazen) menemukan teorema Wilson dengan mencirikan bilangan prima sebagai bilangan n yang membagi rata (n-1)!+1. Ia juga menduga bahwa semua bilangan sempurna genap berasal dari konstruksi Euklides yang menggunakan bilangan prima Mersenne, tetapi tidak dapat membuktikannya. Matematikawan Islam lainnya, Ibn al-Banna' al-Marrakushi mengamati bahwa pitas Eratosthenes dapat dipercepat dengan menguji hanya pembagi hingga akar kuadrat dari bilangan terbesar yang akan diuji. Fibonacci membawa inovasi dari matematika Islam kembali ke Eropa. *[[Liber Abaci]]* (1202) dalam bukunya yang pertama mendeskripsikan pembagian percobaan untuk menguji primalitas, sekali lagi menggunakan pembagi hanya akar kuadrat hingga.

Pada 1640, Pierre de Fermat menyatakan teorema kecil Fermat tanpa bukti, yang kemudian dibuktikan oleh Leibniz dan Euler. Fermat juga menyelidiki primalitas dari bilangan Fermat 2^{2^n}+1, dan Marin Mersenne mempelajari prima Mersenne, bilangan prima dari bentuk 2^p-1 dengan p sendiri adalah bilangan prima. Dalam surat tahun 1742 untuk Euler, Christian Goldbach merumuskan konjektur Goldbach, bahwa setiap bilangan genap adalah jumlah dari dua bilangan prima. Euler membuktikan konjektur Alhazen (yang saat ini disebut teorema Euklides–Euler) bahwa semua bilangan sempurna genap dapat dibangun dari bilangan prima Mersenne. Ia memperkenalkan metode dari analisis matematis ke cabang ini dalam bukti ketakterhinggaan bilangan prima dan kedivergenan jumlah timbal-balik bilangan prima \tfrac{1}{2}+\tfrac{1}{3}+\tfrac{1}{5}+\tfrac{1}{7}+\tfrac{1}{11}+\cdots. Pada awal abad ke-19, Legendre dan Gauss menduga bahwa ketika x menuju ke takhingga, jumlah bilangan prima hingga x asimptotik ke \tfrac{x}{\log x}, di mana \log x melambangkan logaritma natural dari x. Versi lemah postulat Bertrand yang mengatakan bahwa untuk setiap n > 1, terdapat bilangan prima di antara n dan 2n, dibuktikan oleh Pafnuty Chebyshev pada tahun 1852. Gagasan Bernhard Riemann dalam makalahnya tahun 1859 tentang fungsi zeta menggambarkan sebuah garis besar dalam membuktikan konjektur Legendre dan Gauss. Walaupun gagasannya yang berkaitan dengan hipotesis Riemann masih belum terpecahkan, tetapi garis besar Riemann diselesaikan oleh Hadamard dan de la Vallée Poussin pada tahun 1896, dan hasilnya saat ini dikenal sebagai teorema bilangan prima. Hasil penting lainnya pada abad ke-19 adalah teorema Dirichlet tentang barisan aritmetika, barisan aritmetika pasti memuat tak berhingga banyaknya bilangan prima.

Beberapa matematikawan telah melakukan uji primalitas untuk bilangan lebih besar dari bilangan penerapan uji pembagian. Metode yang membatasi bentuk bilangan khusus di antaranya uji Pépin untuk bilangan Fermat (1877), teorema Proth (sekitar 1878), uji primalitas Lucas–Lehmer (berasal dari 1856), dan uji primalitas Lucas rampat.

Sejak tahun 1951, semua bilangan prima terbesar yang diketahui telah ditemukan menggunakan uji ini pada komputer. Pencarian bilangan prima besar telah membangkitkan minat pada luar lingkaran matematika, melalui Great Internet Mersenne Prime Search dan proyek komputasi distribusi lainnya. Gagasan bahwa bilangan prima memiliki beberapa penerapan diluar matematika murni, sekitar tahun 1970-an ketika kriptografi kunci publik dan RSA sistem kripto ditemukan dengan menggunakan bilangan prima sebagai basisnya.

Meningkatnya kepentingan praktis dari pengujian dan faktorisasi primalitas terkomputerisasi menyebabkan pengembangan metode menjadi lebih baik yang mampu menangani sejumlah besar bentuk ketakhinggaan. Teori matematika bilangan prima juga terus berkembang dengan teorema Green-Tao (2004) bahwa barisan aritmetika panjang yang cenderung dari bilangan prima, dan pembuktian pada tahun 2013 Yitang Zhang bahwa memiliki banyak uji celah prima ketakhinggaan.

### Primalitas dari 1
Hampir seluruh matematikawan Yunani kuno bahkan tidak menganggap 1 sebagai bilangan, sehingga mereka tidak menganggap primalitas. Beberapa matematikawan pada kala ini juga menganggap bilangan prima adalah subpembagian bilangan ganjil, sehingga mereka menganggap 2 bukanlah bilangan prima. Namun, Euklides dan sebagian besar matematikawan Yunani lainnya menganggap 2 sebagai bilangan prima. Sebagian besar matematikawan Islam pada abad pertengahan mengikuti pandangan matematikawan Yunani bahwa 1 bukanlah sebuah bilangan. Pada masa abad pertengahan dan masa Reinsans, para matematikawan mulai memperlakukan 1 sebagai bilangan, dan ada pula dari mereka memperlakukan 1 sebagai bilangan prima pertama.  Dalam suratnya untuk Leonhard Euler pada pertengahan abad ke-18, Christian Goldbach menganggap 1 sebagai bilangan prima; tetapi Euler tidak. Pada abad ke-19, banyak para matematikawan masih menganggap 1 sebagai bilangan prima, dan yang memuat 1 sebagai daftar bilangan prima terus diterbitkan hingga tahun 1956.

Jika definisi bilangan prima mengatakan bahwa 1 adalah bilangan prima, maka banyak pernyataan yang melibatkan bilangan prima akan ditulis ulang dalam cara yang aneh. Sebagai contoh, teorema dasar aritmetika akan perlu ditulis ulang dalam bentuk faktorisasi menjadi bilangan prima lebih besar dari 1, karena setiap bilangan mempunyai banyak kelipatan dengan jumlah salinan dari 1 yang berbeda. Mirip dengan contoh sebelumnya, saringan Eratosthenes tidak akan bekerja dengan benar jika saringan tersebut memperlakukan 1 sebagai sebuah bilangan prima, karena saringan Eratosthenes akan mengeliminasi semua kelipatan 1 (yaitu semua bilangan lainnya) dan memberikan hasil hanya satu bilangan saja, yaitu 1. Ada beberapa sifat bilangan prima lebih teknis yang juga tidak berlaku untuk 1, sebagai contoh rumus fungsi phi Euler atau fungsi jumlah pembagi berbeda untuk bilangan prima dengan 1 yang didefinisikan sebagai bilangan prima. Pada awal abad ke-20, para matematikawan mulai menyetujui bahwa 1 tidak ditulis sebagai bilangan prima, melainkan dikategorikan istimewa sebagai "satuan".

## Sifat-sifat dasar

### Faktorisasi tunggal

Suatu bilangan dapat ditulis sebagai hasil kali bilangan prima disebut *faktorisasi bilangan prima*. Misalnya:

: \begin{align}
34886 &= 2 \cdot 3 \cdot 3 \cdot 13 \cdot 149 \\
 &= 2 \cdot 3^2 \cdot 13 \cdot 149
\end{align}

Bentuk yang ditulis dalam hasil kali disebut *faktor bilangan prima*. Faktor bilangan prima yang sama sering kali muncul lebih dari satu. Contoh di atas memiliki dua salinan faktor bilangan prima 3. Ketika sebuah bilangan prima sering muncul berkali-kali, eksponen dapat dipakai untuk mengumpulkan salinan faktor bilangan prima. Misalnya, dalam menulis hasil kali di atas, yakni pada barisan kedua, 3^2 dilambangkan sebagai tiga pangkat dua.

Pentingnya bilangan prima dalam teori bilangan dan matematika umumnya berasal dari *teorema dasar aritmetika*. Teorema ini mengatakan bahwa setiap bilangan bulat yang lebih besar dari 1 dapat ditulis sebagai hasil kali dari satu bilangan prima atau lebih. Lebih lanjut, hasil kalinya adalah tunggal dalam artian bahwa dua faktorisasi bilangan prima dari bilangan yang sama akan memiliki jumlah salinan yang sama dari bilangan prima yang sama meski urutannya berbeda. Walaupun ada banyak cara mencari faktorisasi melalui algoritma faktorisasi bilangan bulat, hasil yang diperoleh adalah sama. Jadi, bilangan prima dapat dianggap sebagai "satuan dasar" bilangan asli.

Bukti-bukti mengenai ketunggalan faktorisasi bilangan prima dijelaskan melalui lema Euklides: Jika p bilangan prima dan p membagi hasil kali ab (di mana a dan b bilangan bulat), maka p membagi a atau p membagi b (atau membagi keduanya). Sebaliknya, jika p memiliki sifat ketika dibagi hasil kalinya (p selalu membagi setidaknya salah satu dari faktor hasil kali tersebut), maka p haruslah bilangan prima.

### Ketakterhinggaan

Ada tak berhingga banyaknya bilangan prima. Dengan kata lain, barisan bilangan prima

: 2, 3, 5, 7, 11, 13, ...

tidak pernah berakhir. Karena pertama kali yang membuktikan pernyataan ini adalah Euklides, pernyataan tersebut disebut teorema Euklides untuk menghormati matematikawan Yunani Kuno Euklides. Masih ada bukti mengenai ketakterhinggaan bilangan prima, diantaranya: bukti analitik oleh Euler, bukti Goldbach berdasarkan bilangan Fermat, bukti Furstenberg melalui topologi umum, dan bukti elegan Kummer.

Bukti Euler menunjukkan bahwa setiap daftar bilangan prima terhingga belum lengkap. Kunci utamanya adalah mengalikan bilangan prima pada daftar tertentu dan ditambah 1. Jikalau terdiri dari bilangan prima p_1,p_2,\ldots, p_n, maka

:  N = 1 + p_1\cdot p_2\cdots p_n .

Menurut teorema dasar aritmetika, N memiliki faktorisasi bilangan prima yang faktornya berjumlah satu atau lebih.

:  N =  p'_1\cdot p'_2\cdots p'_m 

N dibagi habis secara merata oleh setiap faktor-faktor tersebut, tetapi N mempunyai sisa yaitu satu ketika dibagi oleh suatu bilangan prima pada daftar tertentu sehingga tidak ada faktor bilangan prima N yang terdapat pada daftar tersebut. Karena tidak ada daftar bilangan prima terhingga, maka pasti ada tak berhingga banyaknya bilangan prima.

Bilangan yang dibentuk dengan menambahkan 1 pada hasil kali dari bilangan prima terkecil disebut bilangan Euklides. Lima bilangan pertama adalah bilangan prima, tetapi yang keenam,

: 1+\big(2\cdot 3\cdot 5\cdot 7\cdot 11\cdot 13\big) = 30031 = 59\cdot 509,

adalah bilangan komposit.

### Rumus untuk bilangan prima

Tidak ada rumus cepat yang diketahui untuk bilangan prima. Contoh, tidak ada polinomial takkonstan, bahkan dalam beberapa variabel, yang *hanya* memakai nilai bilangan prima. Namun, ada banyak bentuk rumus yang mengodekan semua bilangan prima, atau hanya bilangan prima. Ada rumus yang dapat didasari pada teorema Wilson, dan rumus tersebut menghasilkan 2 berkali-kali dan sisa bilangan prima dihasilkan sekali.  Adapula himpunan persamaan Diophantus dalam sembilan variabel dan satu parameter dengan sifat berikut: parameter adalah bilangan prima jika dan hanya jika sistem persamaan yang dihasilkan adalah solusi bilangan asli. Hal tersebut dapat dipakai untuk memperoleh rumus tunggal dengan sifat bahwa semua nilai *positif* adalah bilangan prima.

Contoh rumus yang menghasilkan bilangan prima lainnya berasal dari teorema Mills dan teorema Wright. Rumus ini mengatakan bahwa terdapat suatu konstanta real A > 1 dan \mu sehingga

: \left \lfloor A^{3^n} \right \rfloor dan \left\lfloor 2^{\cdots^{2^{2^\mu}}}\right\rfloor

adalah bilangan prima untuk suatu bilangan asli n dalam rumus yang pertama, dan suatu bilangan eksponen dalam rumus yang kedua. \lfloor \, \cdot \,\rfloor merepresentasikan fungsi bilangan bulat terbesar. Akan tetapi, rumus-rumus tersebut tidak dapat digunakan untuk menghasilkan bilangan prima, karena bilangan prima harus dihasilkan terlebih dahulu agar memperoleh nilai  A  atau  \mu .

### Pertanyaan terbuka
Banyak konjektur yang melibatkan bilangan prima telah diajukan. Sering kali memiliki perumusan dasar, banyak konjektur-konjektur tersebut memiliki bukti yang bertahan selama beberapa dekade: empat masalah Landau yang berasal dari tahun 1912 masih belum terpecahkan. Salah satu masalah Landau adalah konjektur Goldbach, yang menyatakan bahwa setiap bilangan bulat genap n lebih besar dari 2 dapat ditulis sebagai jumlah dari dua bilangan prima. Hingga pada 2014, konjektur ini telah dibenarkan untuk semua bilangan hingga n=4\cdot 10^{18}. Pernyataan yang lebih lemah dari konjektur tersebut telah dibuktikan seperti: teorema Vinogradov yang mengatakan bahwa setiap bilangan bulat ganjil yang cukup besar dapat ditulis sebagai jumlah dari tiga bilangan prima, teorema Chen yang mengatakan bahwa setiap bilangan genap yang cukup besar dapat dinyatakan sebagai jumlah dari bilangan prima dan semiprima (hasil kali dari dua bilangan prima), serta suatu bilangan bulat genap yang lebih besar dari 10 dapat ditulis sebagai jumlah dari enam bilangan prima. Cabang teori bilangan yang mempelajari masalah tersebut disebut teori bilangan aditif.

## Sifat-sifat analitik
Teori bilangan analitik adalah studi cabang teori bilangan yang berfokus mengenai fungsi kontinu, limit, deret takhingga, dan kaitan matematika tentang takhingga dan infinitesimal.

Cabang ini dimulai dengan Leonhard Euler yang menemukan solusi dari masalah yang sangat penting, yaitu masalah Basel. Masalah ini menanyakan berapakah nilai dari deret takhingga 1+\tfrac{1}{4}+\tfrac{1}{9}+\tfrac{1}{16}+\dots, dan nilai deret saat ini dapat dianggap sebagai nilai \zeta(2) (di mana \zeta adalah fungsi zeta Riemann). Fungsi ini sangat terkait erat dengan bilangan prima dan fungsi ini merupakan salah satu masalah yang belum terpecahkan yang sangat penting dalam matematika, hipotesis Riemann. Euler memperlihatkan bahwa \zeta(2)=\frac{\pi^2}{6}.  Kebalikannya, \tfrac{6}{\pi^2}, merupakan probabilitas batas yang menyatakan bahwa dua bilangan acak dipilih secara seragam dari kisaran relatif prima yang besar (relatif prima berarti tidak memiliki kesamaan faktor).

Sebaran bilangan prima masih dicari, seperti pertanyaan yang menanyakan berapa banyak bilangan prima yang lebih kecil dari sebuah batas yang lebih besar dijelaskan melalui teorema bilangan prima, namun rumus efisien bilangan prima ke-<math>n</math> belum diketahui. Teorema Dirichlet tentang barisan aritmetika, dalam bentuk dasar, mengatakan bahwa polinomial linear

: p(n) = a + bn

dengan a dan b saling relatif prima mengambil tak berhingga banyaknya nilai bilangan prima. Bentuk teorema yang lebih kuat mengatakan bahwa jumlah timbal balik dari nilai bilangan prima tersebut adalah divergen, dan bahwa polinomial linear yang berbeda dengan b yang sama kira-kira sama dengan perbandingan bilangan prima yang sama. Walaupun konjektur tersebut dirumuskan mengenai perbandingan bilangan prima dalam polinomial berderajat tinggi, konjektur tersebut masih belum terpecahkan, dan belum diketahui adakah polinomial kuadratik bahwa (untuk nilai-nilai bilangan bulat) merupakan sering tak berhingga bilangan prima.

### Bukti analitik teorema Euklides
Bukti Euler yang mengatakan ada tak berhingga banyaknya bilangan prima meninjau jumlah dari timbal-balik bilangan prima,

: \frac 1 2 + \frac 1 3 + \frac 1 5 + \frac 1 7 + \cdots + \frac 1 p.

Euler memperlihatkan bahwa untuk suatu x bilangan real sembarang, terdapat bilangan prima p yang jumlahnya lebih besar dari x. Bukti tersebut memperlihatkan bahwa ada tak berhingga banyaknya bilangan prima. Karena jika terdapat berhingga banyaknya bilangan prima, maka jumlahnya akan mencapai nilai maksimum di bilangan prima terbesar daripada naik melalui setiap x. Laju pertumbuhan dari jumlah ini digambarkan melalui teorema kedua Mertens. Bandingkan jumlah

: \frac 1 {1^2} + \frac 1 {2^2} + \frac 1 {3^2} + \cdots + \frac 1 {n^2},

yang tidak naik menuju takhingga ketika n menuju takhingga (lihat masalah Basel). Ini berarti, bilangan prima sering kali muncul daripada bilangan asli yang dikuadratkan meskipun kedua himpunan adalah takhingga. Teorema Brun menyatakan bahwa jumlah timbal-balik bilangan prima kembar,

:  \left( {\frac{1}{3} + \frac{1}{5}} \right) + \left( {\frac{1}{5} + \frac{1}{7}} \right) + \left( {\frac{1} + \frac{1}} \right) +  \cdots ,

adalah terhingga. Karena teorema Brun, bukti di atas tidak dapat menggunakan metode Euler untuk menyelesaikan bilangan prima kembar, yang ada tak berhingga banyaknya bilangan prima.

### Jumlah bilangan prima di bawah batas tertentu

Fungsi penghitungan bilangan prima \pi(n) didefinisikan sebagai jumlah bilangan prima yang lebih kecil dari n. Contohnya, \pi(11)=5, karena ada lima bilangan prima yang lebih kecil atau sama dengan 11 (yakni 2, 3, 5, 7, 11). Metode seperti algoritma Meissel–Lehmer dapat menghitung nilai eksak  \pi(n)  lebih cepat daripada menulis setiap bilangan prima sampai dengan  n . Teorema bilangan prima menyatakan bahwa \pi(n) asimtotik dengan  \tfrac{n}{\log n} . Teorema ini ditulis sebagai

:  \pi(n) \sim \frac{n}{\log n} .

Ini berarti bahwa rasio \pi(n) terhadap pecahan di ruas kanan mendekati 1 ketika  n  menuju takhingga. Teorema ini menyiratkan bahwa kemungkinan bilangan yang lebih kecil dari n yang dipilih secara acak adalah bilangan prima, kira-kira berbanding terbalik dengan jumlah digit n. Teorema ini juga menyiratkan bahwa bilangan prima ke-n sebanding dengan n\log n, dan demikian bahwa ukuran rata-rata dari celah bilangan prima sebanding dengan \log n. Pendekatan lebih akuratnya adalah \pi(n) sebanding dengan integral logaritmik Euler

: \pi(n)\sim \operatorname{Li}(n) = \int_2^n \frac{\mathrm dt}{\log t}.

### Barisan aritmetika

Barisan aritmetika ialah barisan bilangan yang hingga maupun takhingga sehingga bilangan berurutan dalam barisan tersebut memiliki beda atau selisih yang sama. Selisih barisan aritmetika disebut modulus barisan. Misalnya,

:  3, 12, 21, 30, 39, ... ,

adalah barisan aritmetika takhingga dengan modulus 9. Dalam barisan aritmetika, semua bilangan memiliki sisa yang sama ketika dibagi oleh modulus. Contoh di atas, sisanya adalah 3. Karena modulus adalah 9 dan sisanya merupakan kelipatan 3, dan begitu pula untuk setiap anggota pada barisan tersebut. Karena itu, barisan tersebut memiliki satu bilangan prima, yakni 3. Pada umumnya, barisan takhingga

: a, a+q, a+2q, a+3q, \dots

dapat memiliki bilangan prima yang lebih dari satu ketika sisa a dan modulus q relatif prima. Jika a dan q relatif prima, teorema Dirichlet tentang barisan aritmetika mengatakan bahwa barisan memuat tak terhingga banyaknya bilangan prima.Teorema Green–Tao memperlihatkan bahwa ada barisan aritmetika hingga panjang sembarang yang hanya terdiri dari bilangan prima.

## Dalam aljabar abstrak
### Aritmetika modular dan medan berhingga

Aritmetika modular memodifikasi aritmetika biasa, hanya saja dengan menggunakan bilangan \{0,1,2,\dots,n-1\} untuk bilangan asli n yang disebut modulus.
Bilangan asli lainnya dapat dipetakan ke dalam sistem ini dengan menggantinya dengan sisa setelah pembagian dengan n. Penjumlahan, pengurangan, dan perkalian modular dihitung dengan melakukan penggantian yang sama dengan sisa hasil penjumlahan, pengurangan, atau perkalian bilangan bulat. Kesamaan bilangan bulat sesuai dengan *kongruensi* dalam aritmetika modular:
x dan y adalah kongruen (ditulis x\equiv y mod n) ketika mereka memiliki sisa yang sama setelah dibagi dengan n. Namun, dalam sistem bilangan ini, pembagian dengan semua bilangan bukan nol dimungkinkan jika dan hanya jika modulusnya adalah prima. Misalnya, dengan bilangan prima 7 sebagai modulus, pembagian dengan 3 adalah dimungkinkan: 2/3\equiv 3\bmod{7} karena kemungkinan menghapus penyebut dengan mengalikan kedua ruas dengan 3 diberikan rumus yang valid 2\equiv 9\bmod{7}. Namun, dengan modulus komposit 6, pembagian dengan 3 adalah hal mustahil. Tidak ada solusi yang valid untuk 2/3\equiv x\bmod{6}: menghapus penyebut dengan mengalikan dengan 3 menyebabkan ruas kiri menjadi 2 sedangkan ruas kanan menjadi 0 atau 3 . Dalam terminologi aljabar abstrak, kemampuan untuk melakukan pembagian berarti bahwa modulo aritmetika modular bilangan prima membentuk medan atau medan berhingga, sedangkan modulus lainnya hanya memberikan gelanggang tetapi bukan sebuah medan.

Beberapa teorema tentang bilangan prima dirumuskan menggunakan aritmetika modular. Misalnya, teorema kecil Fermat menyatakan bahwa jika a\not\equiv 0 (mod p), maka a^{p-1}\equiv 1 (mod p). Menjumlahkan dari semua pilihan a diberikan persamaan
:\sum_{a=1}^{p-1} a^{p-1} \equiv (p-1) \cdot 1 \equiv -1 \pmod p,
valid jika p adalah bilangan prima.
Konjektur Giuga menyebutkan bahwa persamaan ini juga merupakan syarat yang cukup untuk p menjadi prima.
Teorema Wilson menyebutkan bahwa sebuah bilangan bulat p>1 adalah bilangan prima jika dan hanya jika faktorial (p-1)! kongruen dengan -1 mod p. Untuk  ini tidak berlaku, karena salah satu faktornya membagi  dan (n-1)!, dan jadi (n-1)!\equiv -1 \pmod{n} adalah hal mustahil.

### Bilangan ''p''-adik

Urutan <math>p</math>-adik \nu_p(n) dari sebuah bilangan bulat n adalah jumlah salinan dari p dalam faktorisasi prima dari n. Konsep yang sama diperluas dari bilangan bulat ke bilangan rasional dengan mendefinisikan urutan p-adik dari pecahan m/n menjadi \nu_p(m)-\nu_p(n). Nilai absolut p-adik |q|_p dari sembarang bilangan rasional q kemudian didefinisikan sebagai |q|_p=p^{-\nu_p(q)}. Mengalikan bilangan bulat dengan nilai absolut p-adik-nya akan membatalkan faktor p dalam faktorisasinya, dan hanya menyisakan bilangan prima lainnya. Sama seperti jarak antara dua bilangan real yang dapat diukur dengan nilai absolut jaraknya, jarak antara dua bilangan rasional dapat diukur dengan jarak p-adik-nya, nilai absolut p-adik dari selisihnya. Untuk definisi jarak ini, dua bilangan dikatakan berdekatan (memiliki jarak yang kecil) ketika selisihnya habis dibagi dengan pangkat p yang tinggi. Dengan cara yang sama bahwa bilangan real dapat dibentuk dari bilangan rasional dan jaraknya, dengan menambahkan nilai pembatas ekstra untuk membentuk medan lengkap, bilangan rasional dengan jarak p-adik diperluas ke medan lengkap yang berbeda.

Urutan dari sebuah gambar, nilai absolut, dan medan lengkap yang diturunkan dari bilangan p-adik digeneralisasikan ke medan bilangan aljabar dan penilaian-penilaian tersebut (pemetaan tertentu dari Medan grup perkalian ke grup aditif terurut total disebut juga sebagai urutan), nilai absolut (pemetaan perkalian tertentu dari medan ke bilangan real disebut juga sebagai norma), dan tempat (ekstensi ke medan lengkap di mana medan yang diberikan adalah himpunan rapat disebut juga sebagai pelengkapan). Perluasan dari bilangan rasional ke bilangan real, misalnya adalah tempat di mana jarak antara bilangan adalah nilai absolut biasa dari perbedaannya. Pemetaan yang sesuai ke grup aditif akan menjadi logaritma dari nilai absolut, meskipun ini tidak memenuhi semua persyaratan penilaian. Menurut teorema Ostrowski, gagasan ekuivalen alami berhingga, bilangan real dan bilangan p-adik dengan urutan dan nilai absolutnya adalah satu-satunya penilaian, nilai absolut, dan tempat pada bilangan rasional. Prinsip lokal-global memungkinkan masalah tertentu atas bilangan rasional untuk diselesaikan dengan menyatukan solusi dari masing-masing tempat, sekali lagi menggarisbawahi pentingnya bilangan prima untuk teori bilangan.

### Anggota bilangan prima dalam gelanggang

Gelanggang komutatif merupakan struktur aljabar di mana penambahan, pengurangan dan perkalian didefinisikan. Bilangan bulatnya merupakan sebuah gelanggang, dan bilangan prima dalam bilangan bulat telah dirampat menjadi gelanggang melalui dua cara seperti *anggota bilangan prima* dan *anggota taktereduksi*. Sebuah anggota p dari sebuah gelanggang R dikatakan bilangan prima jika p adalah bilangan taknol, tidak mempunyai invers perkalian (yang berarti, gelanggang bukanlah sebuah unit), dan memenuhi syarat berikut: jika p membagi hasil kali xy dari dua anggota R, maka p juga membagi setidaknya x ataupun y. Sebuah anggota adalah taktereduksi jika sebuah anggota bukan merupakan sebuah unit maupun hasil kali dari dua anggota takunit lainnya. Dalam gelanggang bilangan bulat, anggota bilangan prima dan anggota taktereduksi membentuk himpunan yang sama,

: \{ \dots, -11, -7, -5, -3, -2, 2, 3, 5, 7, 11, \dots \}\, .

Dalam sebuah gelanggang sembarang, semua anggota bilangan prima adalah taktereduksi. Kebalikannya tidak berlaku pada umumnya, tetapi berlaku untuk domain faktorisasi tunggal.

Teorema dasar aritmetika tetap berlaku (menurut definisi) dalam domain faktorisasi tunggal. Contoh mengenai domain faktorisasi tunggal adalah bilangan bulat Gauss \mathbb{Z}[i], gelanggang dari bilangan kompleks berbentuk a+bi di mana i menyatakan satuan imajiner, a dan b merupakan bilangan bulat sembarang. Anggota bilangan primanya dikenal sebagai bilangan prima Gauss. Tidak semua bilangan yang merupakan bilangan prima di antara bilangan bulat tetap merupakan bilangan prima dalam bilangan bulat Gauss. Sebagai contoh, bilangan 2 dapat ditulis sebagai hasil kali dari dua bilangan prima Gauss, yaitu 1+i dan 1-i. Bilangan prima rasional (anggota bilangan prima dalam bilangan bulat) kongruen dengan 3 mod 4 adalah bilangan prima Gauss, tetapi bilangan prima rasional kongruen dengan 1 mod 4 bukan bilangan prima Gauss. Contoh tersebut merupakan akibat dari teorema Fermat tentang jumlah dari dua bilangan kuadrat, yang mengatakan bahwa sebuah bilangan prima ganjil p dapat dinyatakan sebagai jumlah dari dua bilangan kuadrat, p=x^2+y^2, dan demikian dapat difaktorkan sebagai p=(x+iy)(x-iy), tepat ketika p kongruen dengan 1 mod 4.

### Ideal prima

Tidak semua gelanggang merupakan ranah faktorisasi unik. Misalnya, dalam bilangan gelanggang a+b\sqrt{-5} (untuk bilangan bulat a dan b) angka 21 memiliki dua faktorisasi 21=3\cdot7=(1+2\sqrt{-5})(1-2\sqrt{-5}), tidak satu pun dari keempat faktor tersebut bisa direduksi lebih jauh, sehingga tidak memiliki faktorisasi unik. Untuk memperluas faktorisasi unik pada kelas gelanggang terbesar, gagasan tentang bilangan bisa diganti dengan ideal, sebuah himpunan bagian dari elemen gelanggang yang memuat semua jumlah pasangan elemennya, dan semua hasil kali elemennya dengan elemen gelanggang.
*Ideal prima* yang di mana generalisasi elemen prima dalam arti bahwa ideal utama yang dihasilkan oleh elemen prima adalah ideal prima adalah alat dan objek studi penting dalam aljabar komutatif, teori bilangan aljabar dan geometri aljabar. Ideal prima dari gelanggang bilangan bulat adalah ideal (0), (2), (3), (5), (7), (11), ... Teorema dasar aritmetika digeneralisasikan ke teorema Lasker–Noether disebutkan setiap ideal dalam gelanggang komutatif Noetherian sebagai perpotongan ideal prima yang merupakan generalisasi yang tepat dari prima kuasa.

Spektrum gelanggang adalah ruang geometris yang titik-titiknya merupakan ideal prima dari gelanggang tersebut. Geometri aritmetika juga mendapat manfaat dari gagasan ini, dan banyak konsep yang ada, baik dalam geometri maupun teori bilangan. Misalnya, faktorisasi atau percabangan dari ideal prima ketika diangkat sebagai medan perluasan, masalah dasar teori bilangan aljabar memiliki beberapa kemiripan dengan percabangan dalam geometri. Konsep-konsep ini bahkan dapat membantu dalam pertanyaan teori bilangan yang hanya berkaitan dengan bilangan bulat. Misalnya, ideal prima dalam gelanggang bilangan bulat dari medan bilangan kuadrat dapat digunakan untuk penggunaan ketimbalbalikan kuadrat, pernyataan yang menyangkut keberadaan akar kuadrat modulo bilangan prima bilangan bulat.
Upaya awal untuk membuktikan Teorema Terakhir Fermat menyebabkan pengenalan Kummer dari prima regular, bilangan prima bilangan bulat terhubung dengan kegagalan faktorisasi unik pada bilangan bulat siklotomi.
Pertanyaan tentang berapa banyak bilangan prima bilangan bulat faktor menjadi darab dari beberapa ideal prima dalam medan bilangan aljabar ditangani oleh teorema kerapatan Chebotarev, yang (bila diterapkan pada bilangan bulat siklotomi) mana memiliki teorema Dirichlet pada bilangan prima dalam deret aritmetika sebagai kasus khusus.

### Teori grup
Dalam teori grup hingga, teorema Sylow menyiratkan bahwa jika perpangkatan bilangan prima p^n membagi tingkat grup, maka grup memiliki subgrup tingkat p^n. Menurut teorema Lagrange, suatu grup tingkat bilangan prima adalah grup siklik dan menurut teorema Burnside, suatu grup yang tingkatnya dibagi oleh dua bilangan prima merupakan grup terselesaikan.

## Catatan

## Referensi

## Pranala luar

* 
* Caldwell, Chris, The Prime Pages di primes.utm.edu.
* 
* Tambahan paket guru dan murid: bilangan prima dari Plus, majalah matematika online gratis yang diproduksi oleh Millennium Mathematics Project di University of Cambridge.

### Generator dan kalkulator
* Kalkulator faktor prima bisa memfaktorkan bilangan bulat positif apa pun hingga 20 digit.
* Tes primalitas Online Cepat dengan faktorisasi menggunakan Metode Kurva Elliptik (hingga angka seribu digit, memerlukan Java).
* Basis data bilangan prima terbesar
* Bilangan Prima hingga 1 triliun