Bilangan prima: Perbedaan antara revisi
Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29303870; atribusi sumber disertakan. |
Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi |
||
| Baris 1: | Baris 1: | ||
'''Bilangan prima''' adalah [[bilangan asli]] lebih dari 1 yang bukan [[Darab (matematika)|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 <math>1 \times 5</math> atau <math>5 \times 1</math>, sedangkan 4 bukanlah bilangan prima karena hasil kalinya (<math>2 \times 2</math>), 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 (matematika)|hingga]] urutannya. | '''Bilangan prima''' adalah [[bilangan asli]] lebih dari 1 yang bukan [[Darab (matematika)|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 <math>1 \times 5</math> atau <math>5 \times 1</math>, sedangkan 4 bukanlah bilangan prima karena hasil kalinya (<math>2 \times 2</math>), 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 (matematika)|hingga]] urutannya. | ||
Sifat-sifat yang menjadikan bilangan prima disebut '''primalitas'''. Metode sederhana tetapi lambat yang memeriksa primalitas untuk bilangan <math>n</math>, disebut [[pembagian percobaan]]. Metode ini menguji apakah <math>n</math> kelipatan dari suatu bilangan bulat antara <math>2</math> dan <math>\sqrt{n}</math>. 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]]. | Sifat-sifat yang menjadikan bilangan prima disebut '''primalitas'''. Metode sederhana tetapi lambat yang memeriksa primalitas untuk bilangan <math>n</math>, disebut [[pembagian percobaan]]. Metode ini menguji apakah <math>n</math> kelipatan dari suatu bilangan bulat antara <math>2</math> dan <math>\sqrt{n}</math>. 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]].<ref>[https://www.mersenne.org/primes/press/M82589933.html 51st Known Mersenne Prime Discovered]. ''www.mersenne.org''.</ref> | ||
Sekitar 300 SM, [[Teorema Euklides|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 [[Kesebandingan (matematika)|berbanding]] terbalik dengan jumlah digitnya, yaitu [[logaritma]]. | Sekitar 300 SM, [[Teorema Euklides|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 [[Kesebandingan (matematika)|berbanding]] terbalik dengan jumlah digitnya, yaitu [[logaritma]]. | ||
| Baris 8: | Baris 8: | ||
== Definisi dan contoh == | == Definisi dan contoh == | ||
Suatu [[bilangan asli]] (1, 2, 3, 4, 5, dst.) dapat dikatakan sebagai bilangan prima jika dan hanya jika bilangan asli tersebut 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, <math>n</math> dikatakan bilangan prima jika terdapat <math>n</math> benda tidak dapat dibagi menjadi kelompok dengan jumlah yang sama, yang terdiri dari satu benda. Bilangan prima juga diilustrasikan sebagai susunan <math>n</math> titik menjadi persegi panjang yang lebar dan tingginya lebih dari satu titik. Sebagai contoh, 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. | Suatu [[bilangan asli]] (1, 2, 3, 4, 5, dst.) dapat dikatakan sebagai bilangan prima jika dan hanya jika bilangan asli tersebut 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]].<ref>Dhea Arokhman Yusufi Cahyo. [https://books.google.com/books?id=OJriDwAAQBAJ&newbks=0&printsec=frontcover&pg=PA18&dq=definisi+bilangan+prima&hl=id Heuristic - For Mathematical Olympiad Approach]. Math Heuristic. 2020-05-10. hlm. 18.</ref> Dengan kata lain, <math>n</math> dikatakan bilangan prima jika terdapat <math>n</math> benda tidak dapat dibagi menjadi kelompok dengan jumlah yang sama, yang terdiri dari satu benda.<ref>Anne Henderson. [https://books.google.co.id/books?id=uy-yGVRUilMC&pg=PA62&redir_esc=y#v=onepage&q&f=false Dyslexia, Dyscalculia and Mathematics: A practical guide]. Routledge. 2014-06-20. hlm. 62. ISBN 978-1-136-63662-2.</ref> Bilangan prima juga diilustrasikan sebagai susunan <math>n</math> titik menjadi persegi panjang yang lebar dan tingginya lebih dari satu titik.<ref>Irving Adler. [http://archive.org/details/giantgoldenbooko00adle The giant golden book of mathematics; exploring the world of numbers and space]. New York, Golden Press. 1960.</ref> Sebagai contoh, bilangan di antara 1 sampai 6, bilangan primanya adalah 2, 3, dan 5;<ref>Lawrence S. Leff. [http://archive.org/details/barronsmathworkb00leff_0 Barron's math workbook for the SAT I]. Barron's. 2000. ISBN 978-0-7641-0768-9.</ref> 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]] dari suatu bilangan asli <math>n</math> adalah bilangan asli yang membagi <math>n</math> sama rata. Pembagi pada setiap bilangan asli tersebut adalah 1 dan dirinya sendiri. Jika <math>n</math> memiliki pembagi lain, maka <math>n</math> bukanlah bilangan prima. Gagasan ini merujuk ke definisi bilangan prima yang berbeda tetapi ekuivalen: terdapat bilangan setidaknya dua pembagi bilangan positif, yaitu 1 dan dirinya sendiri. Adapun cara lain untuk menjelaskan hal tersebut, yaitu: <math>n</math> adalah bilangan prima jika <math>n</math> lebih besar dari 1 dan tidak ada bilangan <math>2,3,\dots,n-1</math> yang membagi <math>n</math> sama rata. | [[Pembagi]] dari suatu bilangan asli <math>n</math> adalah bilangan asli yang membagi <math>n</math> sama rata. Pembagi pada setiap bilangan asli tersebut adalah 1 dan dirinya sendiri. Jika <math>n</math> memiliki pembagi lain, maka <math>n</math> bukanlah bilangan prima. Gagasan ini merujuk ke definisi bilangan prima yang berbeda tetapi ekuivalen: terdapat bilangan setidaknya dua pembagi bilangan positif, yaitu 1 dan dirinya sendiri.<ref>Dudley, Underwood (1978). "[https://books.google.co.id/books?id=tr7SzBTsk1UC&pg=PA10&redir_esc=y#v=onepage&q&f=false Section 2: Unique factorization]". ''Elementary number theory'' (2nd ed.). W.H. Freeman and Co. hlm. 10. ISBN 978-0-7167-0076-0.</ref> Adapun cara lain untuk menjelaskan hal tersebut, yaitu: <math>n</math> adalah bilangan prima jika <math>n</math> lebih besar dari 1 dan tidak ada bilangan <math>2,3,\dots,n-1</math> yang membagi <math>n</math> sama rata.<ref>Sierpiński, Wacław (1988). ''[https://books.google.co.id/books?id=ktCZ2MvgN3MC&pg=PA113&redir_esc=y#v=onepage&q&f=false Elementary Theory of Numbers]''. North-Holland Mathematical Library. '''31''' (2nd ed.). Elsevier. hlm. 113. ISBN 978-0-08-096019-7.</ref> | ||
Berikut adalah 25 bilangan prima pertama (semua bilangan prima yang lebih kecil dari 100): | Berikut adalah 25 bilangan prima pertama (semua bilangan prima yang lebih kecil dari 100):<ref>Günter M. Ziegler. ''The great prime number record races''. ''Notices of the American Mathematical Society''. 2004. Vol. 51 (4). hlm. 414–416.</ref> | ||
: 1,[[2 (angka)|2]], [[3 (angka)|3]], [[5 (angka)|5]], [[7 (angka)|7]], [[11 (angka)|11]], [[13 (angka)|13]], [[17 (angka)|17]], [[19 (angka)|19]], [[23 (angka)|23]], [[29 (angka)|29]], [[31 (angka)|31]], [[37 (angka)|37]], [[41 (angka)|41]], [[43 (angka)|43]], [[47 (angka)|47]], [[53 (angka)|53]], [[59 (angka)|59]], [[61 (angka)|61]], [[67 (angka)|67]], [[71 (angka)|71]], [[73 (angka)|73]], [[79 (angka)|79]], [[83 (angka)|83]], [[89 (angka)|89]], [[97 (angka)|97]] . | : 1,[[2 (angka)|2]], [[3 (angka)|3]], [[5 (angka)|5]], [[7 (angka)|7]], [[11 (angka)|11]], [[13 (angka)|13]], [[17 (angka)|17]], [[19 (angka)|19]], [[23 (angka)|23]], [[29 (angka)|29]], [[31 (angka)|31]], [[37 (angka)|37]], [[41 (angka)|41]], [[43 (angka)|43]], [[47 (angka)|47]], [[53 (angka)|53]], [[59 (angka)|59]], [[61 (angka)|61]], [[67 (angka)|67]], [[71 (angka)|71]], [[73 (angka)|73]], [[79 (angka)|79]], [[83 (angka)|83]], [[89 (angka)|89]], [[97 (angka)|97]] . | ||
Tidak ada [[bilangan genap]] <math>n</math> yang lebih besar dari 2 adalah bilangan prima karena bilangannya dapat dibentuk sebagai hasil kali <math display="inline">2 \times \frac{n}{2}</math>. 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. | Tidak ada [[bilangan genap]] <math>n</math> yang lebih besar dari 2 adalah bilangan prima karena bilangannya dapat dibentuk sebagai hasil kali <math display="inline">2 \times \frac{n}{2}</math>. Karena itu, setiap bilangan prima selain dari 2 adalah [[bilangan ganjil]], dan bilangan tersebut disebut ''bilangan prima ganjil''.<ref>John Stillwell. [https://books.google.com/books?id=4elkHwVS0eUC&pg=PA9 Numbers and Geometry]. Springer Science & Business Media. 1997-10-30. hlm. 9. ISBN 978-0-387-98289-2.</ref> 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.<ref>Sierpiński, Wacław (1964). ''A Selection of Problems in the Theory of Numbers''. New York: Macmillan. hlm. 40. MR [https://mathscinet.ams.org/mathscinet-getitem?mr=0170843 0170843].</ref> | ||
Himpunan bilangan prima kadangkala dilambangkan <math>\mathbf{P}</math> atau <math>\mathbb{P}</math>. | Himpunan bilangan prima kadangkala dilambangkan <math>\mathbf{P}</math><ref>Melvyn B. Nathanson. [https://books.google.co.id/books?id=sE7lBwAAQBAJ&pg=PP10&redir_esc=y Elementary Methods in Number Theory]. Springer Science & Business Media. 2008-01-11. ISBN 978-0-387-22738-2.</ref> atau <math>\mathbb{P}</math>.<ref>Theodore G. Faticoni. [https://books.google.co.id/books?id=I433i_ZGxRsC&pg=PA44&redir_esc=y#v=onepage&q&f=false The Mathematics of Infinity: A Guide to Great Ideas]. John Wiley & Sons. 2012-04-23. hlm. 44. ISBN 978-1-118-24382-4.</ref> | ||
==Sejarah== | ==Sejarah== | ||
[[Papirus Matematika Rhind]] dari sekitar tahun 1550 SM, memiliki perluasan [[pecahan Mesir]] dalam bentuk yang berbeda untuk bilangan prima dan bilangan komposit.<ref>Bruins, Evert Marie, review in ''Mathematical Reviews'' of R.J. Gillings. ''The recto of the Rhind Mathematical Papyrus. How did the ancient Egyptian scribe prepare it?''. ''Archive for History of Exact Sciences''. 1974. Vol. 12 (4). hlm. 291–298. doi:10.1007/BF01307175.</ref> 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]].<ref>John Stillwell. [https://books.google.com/books?id=V7mxZqjs5yUC&pg=PA40 Mathematics and Its History]. Springer. 2010. hlm. 40. ISBN 978-1-4419-6052-8.</ref> Penemuan Yunani lainnya yaitu [[tapis Eratosthenes]] masih digunakan untuk menyusun daftar bilangan prima.<ref>Carl Pomerance. ''The Search for Prime Numbers''. ''Scientific American''. December 1982. Vol. 247 (6). hlm. 136–147. doi:10.1038/scientificamerican1282-136.</ref><ref>Richard A. Mollin. ''A brief history of factoring and primality testing B. C. (before computers)''. ''Mathematics Magazine''. 2002. Vol. 75 (1). hlm. 18–29. doi:10.2307/3219180.</ref> | |||
Sekitar 1000 M, matematikawan [[Matematika dalam Islam abad pertengahan|Islam]] [[Ibn al-Haytham]] (Alhazen) menemukan [[teorema Wilson]] dengan mencirikan bilangan prima sebagai bilangan <math>n</math> yang membagi rata <math>(n-1)!+1</math>. Ia juga menduga bahwa semua bilangan sempurna genap berasal dari konstruksi Euklides yang menggunakan bilangan prima Mersenne, tetapi tidak dapat membuktikannya.<ref>[https://id.wikipedia.org/w/index.php?title=Bilangan+prima&oldid=29303870 sumber pada Wikipedia bahasa Indonesia]</ref> 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.<ref>Richard A. Mollin. ''A brief history of factoring and primality testing B. C. (before computers)''. ''Mathematics Magazine''. 2002. Vol. 75 (1). hlm. 18–29. doi:10.2307/3219180.</ref> | |||
[[ | Pada 1640, [[Pierre de Fermat]] menyatakan [[teorema kecil Fermat]] tanpa bukti, yang kemudian dibuktikan oleh [[Gottfried Wilhelm Leibniz|Leibniz]] dan [[Leonhard Euler|Euler]].<ref>, [https://books.google.com/books?id=sohHs7ExOsYC&pg=PA45 8. Fermat's Little Theorem (November 2003), hal. 45]</ref> Fermat juga menyelidiki primalitas dari [[bilangan Fermat]] <math>2^{2^n}+1</math>,<ref>C. Edward Sandifer. [https://books.google.com/books?id=3c6iBQAAQBAJ&pg=PA42 How Euler Did Even More]. Mathematical Association of America. 2014. hlm. 42. ISBN 978-0-88385-584-3.</ref> dan [[Marin Mersenne]] mempelajari [[prima Mersenne]], bilangan prima dari bentuk <math>2^p-1</math> dengan <math>p</math> sendiri adalah bilangan prima.<ref>Thomas Koshy. [https://books.google.com/books?id=-9pg-4Pa19IC&pg=PA369 Elementary Number Theory with Applications]. Academic Press. 2002. hlm. 369. ISBN 978-0-12-421171-1.</ref> Dalam surat tahun 1742 untuk Euler, [[Christian Goldbach]] merumuskan [[konjektur Goldbach]], bahwa setiap bilangan genap adalah jumlah dari dua bilangan prima.<ref>Wang Yuan. [https://books.google.com/books?id=g4jVCgAAQBAJ&pg=PA21 Goldbach Conjecture]. World Scientific. 2002. Vol. 4. hlm. 21. ISBN 978-981-4487-52-8.</ref> Euler membuktikan konjektur Alhazen (yang saat ini disebut [[teorema Euklides–Euler]]) bahwa semua bilangan sempurna genap dapat dibangun dari bilangan prima Mersenne.<ref>John Stillwell. [https://books.google.com/books?id=V7mxZqjs5yUC&pg=PA40 Mathematics and Its History]. Springer. 2010. hlm. 40. ISBN 978-1-4419-6052-8.</ref> Ia memperkenalkan metode dari [[analisis matematis]] ke cabang ini dalam bukti ketakterhinggaan bilangan prima dan [[kedivergenan jumlah timbal-balik bilangan prima]] <math>\tfrac{1}{2}+\tfrac{1}{3}+\tfrac{1}{5}+\tfrac{1}{7}+\tfrac{1}{11}+\cdots</math>.<ref>Wladyslaw Narkiewicz. ''The Development of Prime Number Theory: From Euclid to Hardy and Littlewood''. Springer. 2000. hlm. 11. ISBN 978-3-540-66289-1.</ref> Pada awal abad ke-19, Legendre dan Gauss menduga bahwa ketika <math>x</math> menuju ke takhingga, jumlah bilangan prima hingga <math>x</math> [[Analisis asimptotik|asimptotik]] ke <math>\tfrac{x}{\log x}</math>, di mana <math>\log x</math> melambangkan [[logaritma natural]] dari <math>x</math>. Versi lemah [[postulat Bertrand]] yang mengatakan bahwa untuk setiap <math>n > 1</math>, terdapat bilangan prima di antara <math>n</math> dan <math>2n</math>, dibuktikan oleh [[Pafnuty Chebyshev]] pada tahun 1852.<ref>P. Tchebychev. [http://sites.mathdoc.fr/JMPA/PDF/JMPA_1852_1_17_A19_0.pdf Mémoire sur les nombres premiers]. ''Journal de mathématiques pures et appliquées''. 1852. hlm. 366–390.. (Proof of the postulate: 371–382). Also see Mémoires de l'Académie Impériale des Sciences de St. Pétersbourg, vol. 7, pp. 15–33, 1854</ref> Gagasan [[Bernhard Riemann]] dalam [[On the Number of Primes Less Than a Given Magnitude|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 [[Jacques Hadamard|Hadamard]] dan [[Charles Jean de la Vallée-Poussin|de la Vallée Poussin]] pada tahun 1896, dan hasilnya saat ini dikenal sebagai [[teorema bilangan prima]].<ref>Tom M. Apostol. ''Number Theory''. Birkhäuser. 2000. hlm. 1–14.</ref> Hasil penting lainnya pada abad ke-19 adalah [[teorema Dirichlet tentang barisan aritmetika]], [[barisan aritmetika]] pasti memuat tak berhingga banyaknya bilangan prima.<ref>Tom M. Apostol. ''Introduction to Analytic Number Theory''. Springer-Verlag. 1976. hlm. 146–156.</ref> | ||
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),<ref>Jean-Luc Chabert. [https://books.google.com/books?id=XcDqCAAAQBAJ&pg=PA261 A History of Algorithms: From the Pebble to the Microchip]. Springer. 2012. hlm. 261. ISBN 978-3-642-18192-4.</ref> [[teorema Proth]] (sekitar 1878),<ref>Kenneth H. Rosen. [https://archive.org/details/elementarynumber0000rose_q4e9 Elementary Number Theory and Its Applications]. Addison-Wesley. 2000. hlm. [https://archive.org/details/elementarynumber0000rose_q4e9/page/342 342]. ISBN 978-0-201-87073-2.</ref> [[uji primalitas Lucas–Lehmer]] (berasal dari 1856), dan [[uji primalitas Lucas]] rampat.<ref>Richard A. Mollin. ''A brief history of factoring and primality testing B. C. (before computers)''. ''Mathematics Magazine''. 2002. Vol. 75 (1). hlm. 18–29. doi:10.2307/3219180.</ref> | |||
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.<ref>Günter M. Ziegler. ''The great prime number record races''. ''Notices of the American Mathematical Society''. 2004. Vol. 51 (4). hlm. 414–416.</ref><ref>, hal. 245.</ref> Gagasan bahwa bilangan prima memiliki beberapa penerapan diluar [[matematika murni]], sekitar tahun 1970-an ketika [[kriptografi kunci publik]] dan [[RSA (sistem kripto)|RSA]] sistem kripto ditemukan dengan menggunakan bilangan prima sebagai basisnya.<ref>James S. Kraft. [https://books.google.com/books?id=4NAqBgAAQBAJ&pg=PA7 Elementary Number Theory]. CRC Press. 2014. hlm. 7. ISBN 978-1-4987-0269-0.</ref> | |||
Meningkatnya kepentingan praktis dari pengujian dan faktorisasi primalitas terkomputerisasi menyebabkan pengembangan metode menjadi lebih baik yang mampu menangani sejumlah besar bentuk ketakhinggaan.<ref>Carl Pomerance. ''The Search for Prime Numbers''. ''Scientific American''. December 1982. Vol. 247 (6). hlm. 136–147. doi:10.1038/scientificamerican1282-136.</ref><ref>Craig P. Bauer. [https://books.google.com/books?id=EBkEGAOlCDsC&pg=PA468 Secret History: The Story of Cryptology]. CRC Press. 2013. hlm. 468. ISBN 978-1-4665-6186-1.</ref><ref>Victor Klee. [https://books.google.com/books?id=tRdoIhHh3moC&pg=PA224 Old and New Unsolved Problems in Plane Geometry and Number Theory]. Cambridge University Press. 1991. Vol. 11. hlm. 224. ISBN 978-0-88385-315-3.</ref> 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.<ref>, pp. 18, 47.</ref> | |||
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 === | === 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 [[Matematika Islam abad pertengahan|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<u>;</u> 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. | Hampir seluruh matematikawan Yunani kuno bahkan tidak menganggap 1 sebagai bilangan,<ref>Chris K. Caldwell. [https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell2/cald6.html The history of the primality of one: a selection of sources]. ''Journal of Integer Sequences''. 2012. Vol. 15 (9). hlm. Article 12.9.8. For a selection of quotes from and about the ancient Greek positions on this issue, see in particular pp. 3–4. For the Islamic mathematicians, see p. 6.</ref><ref>Leonardo Tarán. [https://books.google.com/books?id=cUPXqSb7V1wC&pg=PA35 Speusippus of Athens: A Critical Study With a Collection of the Related Texts and Commentary]. Brill. 1981. Vol. 39. hlm. 35–38. ISBN 978-90-04-06505-5.</ref> 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 [[Matematika Islam abad pertengahan|matematikawan Islam pada abad pertengahan]] mengikuti pandangan matematikawan Yunani bahwa 1 bukanlah sebuah bilangan.<ref>Chris K. Caldwell. [https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell2/cald6.html The history of the primality of one: a selection of sources]. ''Journal of Integer Sequences''. 2012. Vol. 15 (9). hlm. Article 12.9.8. For a selection of quotes from and about the ancient Greek positions on this issue, see in particular pp. 3–4. For the Islamic mathematicians, see p. 6.</ref> 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.<ref>, pp. 7–13. See in particular the entries for Stevin, Brancker, Wallis, and Prestet.</ref> Dalam suratnya untuk [[Leonhard Euler]] pada pertengahan abad ke-18, [[Christian Goldbach]] menganggap 1 sebagai bilangan prima<u>;</u> tetapi Euler tidak.<ref>, p. 15.</ref> Pada abad ke-19, banyak para matematikawan masih menganggap 1 sebagai bilangan prima,<ref>Chris K. Caldwell. [https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell1/cald5.pdf What is the smallest prime?]. ''Journal of Integer Sequences''. 2012. Vol. 15 (9). hlm. Article 12.9.7.</ref> dan yang memuat 1 sebagai daftar bilangan prima terus diterbitkan hingga tahun 1956.<ref>Hans Riesel. [https://books.google.com/books?id=ITvaBwAAQBAJ&pg=PA36 Prime Numbers and Computer Methods for Factorization]. Birkhäuser. 1994. hlm. 36. doi:10.1007/978-1-4612-0251-6. ISBN 978-0-8176-3743-9.</ref><ref>John Horton Conway. [https://archive.org/details/bookofnumbers0000conw_d4a2 The Book of Numbers]. Copernicus. 1996. hlm. [https://archive.org/details/bookofnumbers0000conw_d4a2/page/129 129]–130. doi:10.1007/978-1-4612-4072-3. ISBN 978-0-387-97993-9.</ref> | ||
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 (teori gelanggang)|satuan]]". | 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.<ref>Chris K. Caldwell. [https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell1/cald5.pdf What is the smallest prime?]. ''Journal of Integer Sequences''. 2012. Vol. 15 (9). hlm. Article 12.9.7.</ref> 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.<ref>John Horton Conway. [https://archive.org/details/bookofnumbers0000conw_d4a2 The Book of Numbers]. Copernicus. 1996. hlm. [https://archive.org/details/bookofnumbers0000conw_d4a2/page/129 129]–130. doi:10.1007/978-1-4612-4072-3. ISBN 978-0-387-97993-9.</ref> 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.<ref>For the totient, see , [https://books.google.com/books?id=ktCZ2MvgN3MC&pg=PA245 p. 245]. For the sum of divisors, see C. Edward Sandifer. [https://books.google.com/books?id=sohHs7ExOsYC&pg=PA59 How Euler Did It]. Mathematical Association of America. 2007. hlm. 59. ISBN 978-0-88385-563-8.</ref> Pada awal abad ke-20, para matematikawan mulai menyetujui bahwa 1 tidak ditulis sebagai bilangan prima, melainkan dikategorikan istimewa sebagai "[[Satuan (teori gelanggang)|satuan]]".<ref>Chris K. Caldwell. [https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell1/cald5.pdf What is the smallest prime?]. ''Journal of Integer Sequences''. 2012. Vol. 15 (9). hlm. Article 12.9.7.</ref> | ||
== Sifat-sifat dasar == | == Sifat-sifat dasar == | ||
=== Faktorisasi tunggal === | === Faktorisasi tunggal === | ||
Suatu bilangan dapat ditulis sebagai hasil kali bilangan prima disebut ''faktorisasi bilangan prima''. Misalnya: | Suatu bilangan dapat ditulis sebagai hasil kali bilangan prima disebut ''faktorisasi bilangan prima''. Misalnya: | ||
| Baris 53: | Baris 49: | ||
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 <math>3</math>. 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, <math>3^2</math> dilambangkan sebagai tiga pangkat dua. | 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 <math>3</math>. 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, <math>3^2</math> 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. | Pentingnya bilangan prima dalam teori bilangan dan matematika umumnya berasal dari ''teorema dasar aritmetika''.<ref>Karl J. Smith. [https://books.google.com/books?id=Di0HyCgDYq8C&pg=PA188 The Nature of Mathematics]. Cengage Learning. 2011. hlm. 188. ISBN 978-0-538-73758-6.</ref> 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.<ref>, [https://books.google.com/books?id=tr7SzBTsk1UC&pg=PA16 Section 2, Theorem 2, p. 16]; Vicky Neale. ''Closing the Gap: The Quest to Understand Prime Numbers''. Oxford University Press. 2017. ISBN 978-0-19-109243-5.</ref> 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.<ref>Marcus du Sautoy. [https://archive.org/details/musicofprimessea00dusa The Music of the Primes: Searching to Solve the Greatest Mystery in Mathematics]. Harper Collins. 2003. hlm. [https://archive.org/details/musicofprimessea00dusa/page/23 23]. ISBN 978-0-06-093558-0.</ref> | ||
Bukti-bukti mengenai ketunggalan faktorisasi bilangan prima dijelaskan melalui [[lema Euklides]]: Jika <math>p</math> bilangan prima dan <math>p</math> membagi hasil kali <math>ab</math> (di mana <math>a</math> dan <math>b</math> bilangan bulat), maka <math>p</math> membagi <math>a</math> atau <math>p</math> membagi <math>b</math> (atau membagi keduanya). Sebaliknya, jika <math>p</math> memiliki sifat ketika dibagi hasil kalinya (<math>p</math> selalu membagi setidaknya salah satu dari faktor hasil kali tersebut), maka <math>p</math> haruslah bilangan prima. | Bukti-bukti mengenai ketunggalan faktorisasi bilangan prima dijelaskan melalui [[lema Euklides]]: Jika <math>p</math> bilangan prima dan <math>p</math> membagi hasil kali <math>ab</math> (di mana <math>a</math> dan <math>b</math> bilangan bulat), maka <math>p</math> membagi <math>a</math> atau <math>p</math> membagi <math>b</math> (atau membagi keduanya).<ref>, [https://books.google.com/books?id=tr7SzBTsk1UC&pg=PA15 Section 2, Lemma 5, p. 15]; Peter M. Higgins. [https://books.google.com/books?id=LeYH8P8S9oQC&pg=PA77 Mathematics for the Curious]. Oxford University Press. 1998. hlm. 77–78. ISBN 978-0-19-150050-3.</ref> Sebaliknya, jika <math>p</math> memiliki sifat ketika dibagi hasil kalinya (<math>p</math> selalu membagi setidaknya salah satu dari faktor hasil kali tersebut), maka <math>p</math> haruslah bilangan prima.<ref>Joseph J. Rotman. [https://archive.org/details/firstcourseinabs0000rotm_e5g6 A First Course in Abstract Algebra]. Prentice Hall. 2000. ISBN 978-0-13-011584-3.</ref> | ||
=== Ketakterhinggaan === | === Ketakterhinggaan === | ||
Ada [[Tak hingga|tak berhingga]] banyaknya bilangan prima. Dengan kata lain, barisan bilangan prima | Ada [[Tak hingga|tak berhingga]] banyaknya bilangan prima. Dengan kata lain, barisan bilangan prima | ||
: 2, 3, 5, 7, 11, 13, ... | : 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 [[Analisis matematika|analitik]] oleh [[Leonhard Euler|Euler]], [[Bilangan Fermat#Sifat-sifat dasar|bukti]] [[Christian Goldbach|Goldbach]] berdasarkan [[bilangan Fermat]], [[Bukti Furstenberg tentang ketakterhinggaan bilangan prima|bukti Furstenberg melalui topologi umum]], dan bukti elegan [[Ernst Kummer|Kummer]]. | 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 [[Analisis matematika|analitik]] oleh [[Leonhard Euler|Euler]], [[Bilangan Fermat#Sifat-sifat dasar|bukti]] [[Christian Goldbach|Goldbach]] berdasarkan [[bilangan Fermat]],<ref>[http://www.math.dartmouth.edu/~euler/correspondence/letters/OO0722.pdf Letter] in Latin from Goldbach to Euler, July 1730.</ref> [[Bukti Furstenberg tentang ketakterhinggaan bilangan prima|bukti Furstenberg melalui topologi umum]],<ref>Harry Furstenberg. ''On the infinitude of primes''. ''American Mathematical Monthly''. 1955. Vol. 62 (5). hlm. 353. doi:10.2307/2307043.</ref> dan bukti elegan [[Ernst Kummer|Kummer]].<ref>Paulo Ribenboim. [https://books.google.com/books?id=SvnTBwAAQBAJ&pg=PA5 The little book of bigger primes]. Springer-Verlag. 2004. hlm. 4. ISBN 978-0-387-20169-6.</ref> | ||
[[Teorema Euler|Bukti Euler]] menunjukkan bahwa setiap daftar bilangan prima [[Himpunan hingga|terhingga]] belum lengkap. Kunci utamanya adalah mengalikan bilangan prima pada daftar tertentu dan ditambah <math>1</math>. Jikalau terdiri dari bilangan prima <math>p_1,p_2,\ldots, p_n</math>, maka | [[Teorema Euler|Bukti Euler]]<ref>Euclid's ''Elements'', Book IX, Proposition 20. See [http://aleph0.clarku.edu/~djoyce/java/elements/bookIX/propIX20.html David Joyce's English translation of Euclid's proof] or James Williamson. [https://babel.hathitrust.org/cgi/pt?id=umn.31951000084215o;view=1up;seq=95 The Elements of Euclid, With Dissertations]. Clarendon Press. 1782. hlm. 63.</ref> menunjukkan bahwa setiap daftar bilangan prima [[Himpunan hingga|terhingga]] belum lengkap. Kunci utamanya adalah mengalikan bilangan prima pada daftar tertentu dan ditambah <math>1</math>. Jikalau terdiri dari bilangan prima <math>p_1,p_2,\ldots, p_n</math>, maka | ||
: <math> N = 1 + p_1\cdot p_2\cdots p_n </math>. | : <math> N = 1 + p_1\cdot p_2\cdots p_n </math>. | ||
| Baris 75: | Baris 70: | ||
<math>N</math> dibagi habis secara merata oleh setiap faktor-faktor tersebut, tetapi <math>N</math> mempunyai sisa yaitu satu ketika dibagi oleh suatu bilangan prima pada daftar tertentu sehingga tidak ada faktor bilangan prima <math>N</math> yang terdapat pada daftar tersebut. Karena tidak ada daftar bilangan prima terhingga, maka pasti ada tak berhingga banyaknya bilangan prima. | <math>N</math> dibagi habis secara merata oleh setiap faktor-faktor tersebut, tetapi <math>N</math> mempunyai sisa yaitu satu ketika dibagi oleh suatu bilangan prima pada daftar tertentu sehingga tidak ada faktor bilangan prima <math>N</math> 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, | Bilangan yang dibentuk dengan menambahkan 1 pada hasil kali dari bilangan prima terkecil disebut [[bilangan Euklides]].<ref>Ilan Vardi. ''Computational Recreations in Mathematica''. Addison-Wesley. 1991. hlm. 82–89. ISBN 978-0-201-52989-0.</ref> Lima bilangan pertama adalah bilangan prima, tetapi yang keenam, | ||
: <math>1+\big(2\cdot 3\cdot 5\cdot 7\cdot 11\cdot 13\big) = 30031 = 59\cdot 509</math>, | : <math>1+\big(2\cdot 3\cdot 5\cdot 7\cdot 11\cdot 13\big) = 30031 = 59\cdot 509</math>, | ||
| Baris 82: | Baris 77: | ||
=== Rumus untuk bilangan prima === | === Rumus untuk bilangan prima === | ||
Tidak ada rumus cepat yang diketahui untuk bilangan prima. Contoh, tidak ada [[polinomial]] tak konstan, bahkan dalam beberapa variabel, yang ''hanya'' memakai nilai bilangan prima.<ref>Matiyasevich, Yuri V. (1999). "[https://books.google.co.id/books?id=oLKlk5o6WroC&pg=PA13&redir_esc=y#v=onepage&q&f=false Formulas for prime numbers]". In Tabachnikov, Serge (ed.). ''Kvant Selecta: Algebra and Analysis''. Vol. II. American Mathematical Society. hlm. 13–24. ISBN 978-0-8218-1915-9.</ref> 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.<ref>Nick Mackinnon. ''Prime number formulae''. ''The Mathematical Gazette''. June 1987. Vol. 71 (456). hlm. 113–114. doi:10.2307/3616496.</ref> Adapun juga 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.<ref>Yuri V. Matiyasevich. [https://books.google.com/books?id=oLKlk5o6WroC&pg=PA13 Kvant Selecta: Algebra and Analysis]. American Mathematical Society. 1999. Vol. II. hlm. 13–24. ISBN 978-0-8218-1915-9.</ref> | |||
Tidak ada rumus cepat yang diketahui untuk bilangan prima. Contoh, tidak ada [[polinomial]] tak konstan, 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. Adapun juga 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 [[E. M. Wright|Wright]]. Rumus ini mengatakan bahwa terdapat suatu konstanta real <math>A > 1</math> dan <math>\mu</math> sehingga | Contoh rumus yang menghasilkan bilangan prima lainnya berasal dari [[teorema Mills]] dan teorema [[E. M. Wright|Wright]]. Rumus ini mengatakan bahwa terdapat suatu konstanta real <math>A > 1</math> dan <math>\mu</math> sehingga | ||
| Baris 89: | Baris 83: | ||
: <math>\left \lfloor A^{3^n} \right \rfloor</math> dan <math>\left\lfloor 2^{\cdots^{2^{2^\mu}}}\right\rfloor</math> | : <math>\left \lfloor A^{3^n} \right \rfloor</math> dan <math>\left\lfloor 2^{\cdots^{2^{2^\mu}}}\right\rfloor</math> | ||
adalah bilangan prima untuk suatu bilangan asli <math>n</math> dalam rumus yang pertama, dan suatu bilangan eksponen dalam rumus yang kedua. <math>\lfloor \, \cdot \,\rfloor</math> 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 <math> A </math> atau <math> \mu </math>. | adalah bilangan prima untuk suatu bilangan asli <math>n</math> dalam rumus yang pertama, dan suatu bilangan eksponen dalam rumus yang kedua.<ref>Wright, E.M. (1951). "A prime-representing function". ''American Mathematical Monthly''. '''58''' (9): 616–618. doi:10.2307/2306356. JSTOR [https://www.jstor.org/stable/2306356 2306356]</ref> <math>\lfloor \, \cdot \,\rfloor</math> 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 <math> A </math> atau <math> \mu </math>.<ref>Matiyasevich, Yuri V. (1999). "[https://books.google.co.id/books?id=oLKlk5o6WroC&pg=PA13&redir_esc=y#v=onepage&q&f=false Formulas for prime numbers]". In Tabachnikov, Serge (ed.). ''Kvant Selecta: Algebra and Analysis''. Vol. II. American Mathematical Society. hlm. 13–24. ISBN 978-0-8218-1915-9.</ref> | ||
=== Pertanyaan terbuka === | === 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 <math>n</math> lebih besar dari 2 dapat ditulis sebagai jumlah dari dua bilangan prima. Hingga pada 2014, konjektur ini telah dibenarkan untuk semua bilangan hingga <math>n=4\cdot 10^{18}</math>. 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 [[Bilangan semiprima|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]]. | 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.<ref>, [https://books.google.com/books?id=EbLzBwAAQBAJ&pg=PR7 hlm. vii].</ref> Salah satu masalah Landau adalah [[konjektur Goldbach]], yang menyatakan bahwa setiap bilangan bulat genap <math>n</math> lebih besar dari 2 dapat ditulis sebagai jumlah dari dua bilangan prima.<ref>, [https://books.google.com/books?id=EbLzBwAAQBAJ&pg=PA105 C1 Goldbach's conjecture, hlm. 105–107].</ref> Hingga pada 2014, konjektur ini telah dibenarkan untuk semua bilangan hingga <math>n=4\cdot 10^{18}</math>.<ref>Tomás Oliveira e Silva. ''Empirical verification of the even Goldbach conjecture and computation of prime gaps up to 4\cdot10^{18}''. ''Mathematics of Computation''. 2014. Vol. 83 (288). hlm. 2033–2060. doi:10.1090/S0025-5718-2013-02787-1.</ref> 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,<ref>, [https://books.google.com/books?id=NxnVAwAAQBAJ&pg=PA239 3.1 Structure and randomness in the prime numbers, pp. 239–247]. See especially p. 239.</ref> [[teorema Chen]] yang mengatakan bahwa setiap bilangan genap yang cukup besar dapat dinyatakan sebagai jumlah dari bilangan prima dan [[Bilangan semiprima|semiprima]] (hasil kali dari dua bilangan prima),<ref>, p. 159.</ref> serta suatu bilangan bulat genap yang lebih besar dari 10 dapat ditulis sebagai jumlah dari enam bilangan prima.<ref>Olivier Ramaré. [https://www.numdam.org/item?id=ASNSP_1995_4_22_4_645_0 On Šnirel'man's constant]. ''Annali della Scuola Normale Superiore di Pisa''. 1995. Vol. 22 (4). hlm. 645–706.</ref> Cabang teori bilangan yang mempelajari masalah tersebut disebut [[teori bilangan aditif]].<ref>Michael Th. Rassias. [https://books.google.com/books?id=ibwpDwAAQBAJ&pg=PP6 Goldbach's Problem: Selected Topics]. Springer. 2017. hlm. vii. doi:10.1007/978-3-319-57914-6. ISBN 978-3-319-57912-2.</ref> | ||
Berbagai jenis masalah yang melibatkan '''', atau disebut sebagai selisih antara dua bilangan prima yang berturutan. Keberadaan sembarang selisih yang besar tersebut dapat dipandang dengan memerhatikan bahwa barisan <math>n!+2,n!+3,\dots,n!+n</math> terdiri dari <math>n-1</math> bilangan komposit, untuk sembarang bilangan asli <math>n.</math> Akan tetapi, selisih yang besar muncul lebih awal daripada pernyataan yang diperlihatkan tadi. Sebagai contoh, selisih pertama yang panjangnya 8 ditemukan pada bilangan prima di antara 89 dan 97, yang kenyataannya sangat kecil daripada <math>8!=40320.</math> Terdapat suatu konjektur bahwa terdapat tak terhingga banyaknya [[bilangan prima kembar]], yakni selisih dari dua bilangan prima adalah 2. Konjektur ini bernama [[konjektur bilangan prima kembar]]. [[Konjektur Polignac]] menyatakan bentuk yang lebih umum, bahwa untuk setiap bilangan bulat positif <math>k,</math> terdapat tak terhingga banyaknya pasangan bilangan prima berturutan yang selisihnya adalah <math>2k.</math> [[Konjektur Andrica]], [[konjektur Brocard]], [[konjektur Legendre]], dan [[konjektur Oppermann]] sama-sama mengatakan bahwa selisih dari bilangan prima terbesar dari 1 hingga ke pasti setidaknya paling besar kira-kira <math>\sqrt{n}</math>. Hasil ini berasal dari yang dikenal dengan hipotesis Riemann. Adapun hasil yang lebih kuat lagi menurut [[konjektur Cramér]] bahwa besaran selisih terbesarnya adalah . Selisih antara dua bilangan prima dapat dinyatakan dalam bentuk umum menjadi '''', pola yang selisih di antaranya lebih dari dua bilangan prima. Ketakterhinggaan dan densitas selisih bilangan prima merupakan subjek dari [[konjektur Hardy–Littlewood pertama]], yang dapat diilhami dengan [[Heuristika|pendekatan heuristik]] bahwa bilangan prima memiliki perilaku yang serupa dengan suatu barisan bilangan acak dengan densitas yang diketahui menurut teorema bilangan prima. | Berbagai jenis masalah yang melibatkan '''', atau disebut sebagai selisih antara dua bilangan prima yang berturutan. Keberadaan sembarang selisih yang besar tersebut dapat dipandang dengan memerhatikan bahwa barisan <math>n!+2,n!+3,\dots,n!+n</math> terdiri dari <math>n-1</math> bilangan komposit, untuk sembarang bilangan asli <math>n.</math><ref>, [https://books.google.com/books?id=-9pg-4Pa19IC&pg=PA109 Theorem 2.14, p. 109]. gives a similar argument using the primorial in place of the factorial.</ref> Akan tetapi, selisih yang besar muncul lebih awal daripada pernyataan yang diperlihatkan tadi.<ref>[https://id.wikipedia.org/w/index.php?title=Bilangan+prima&oldid=29303870 sumber pada Wikipedia bahasa Indonesia]</ref> Sebagai contoh, selisih pertama yang panjangnya 8 ditemukan pada bilangan prima di antara 89 dan 97,<ref>[https://id.wikipedia.org/w/index.php?title=Bilangan+prima&oldid=29303870 sumber pada Wikipedia bahasa Indonesia]</ref> yang kenyataannya sangat kecil daripada <math>8!=40320.</math> Terdapat suatu konjektur bahwa terdapat tak terhingga banyaknya [[bilangan prima kembar]], yakni selisih dari dua bilangan prima adalah 2. Konjektur ini bernama [[konjektur bilangan prima kembar]]. [[Konjektur Polignac]] menyatakan bentuk yang lebih umum, bahwa untuk setiap bilangan bulat positif <math>k,</math> terdapat tak terhingga banyaknya pasangan bilangan prima berturutan yang selisihnya adalah <math>2k.</math><ref>, Gaps between primes, pp. 186–192.</ref> [[Konjektur Andrica]],<ref>, Gaps between primes, pp. 186–192.</ref> [[konjektur Brocard]],<ref>, p. 183.</ref> [[konjektur Legendre]],<ref>Joel Chan. ''Prime time!''. ''Math Horizons''. February 1996. Vol. 3 (3). hlm. 23–25. doi:10.1080/10724117.1996.11974965. Note that Chan lists Legendre's conjecture as "Sierpinski's Postulate".</ref> dan [[konjektur Oppermann]]<ref>, p. 183.</ref> sama-sama mengatakan bahwa selisih dari bilangan prima terbesar dari 1 hingga ke pasti setidaknya paling besar kira-kira <math>\sqrt{n}</math>. Hasil ini berasal dari yang dikenal dengan hipotesis Riemann. Adapun hasil yang lebih kuat lagi menurut [[konjektur Cramér]] bahwa besaran selisih terbesarnya adalah .<ref>, Gaps between primes, pp. 186–192.</ref> Selisih antara dua bilangan prima dapat dinyatakan dalam bentuk umum menjadi '''', pola yang selisih di antaranya lebih dari dua bilangan prima. Ketakterhinggaan dan densitas selisih bilangan prima merupakan subjek dari [[konjektur Hardy–Littlewood pertama]], yang dapat diilhami dengan [[Heuristika|pendekatan heuristik]] bahwa bilangan prima memiliki perilaku yang serupa dengan suatu barisan bilangan acak dengan densitas yang diketahui menurut teorema bilangan prima.<ref>, Prime -tuples conjecture, pp. 201–202.</ref> | ||
== Sifat-sifat analitik == | == Sifat-sifat analitik == | ||
[[Teori bilangan analitik]] adalah studi cabang [[teori bilangan]] yang berfokus mengenai [[fungsi kontinu]], [[limit]], [[Deret (matematika)|deret takhingga]], dan kaitan matematika tentang takhingga dan [[infinitesimal]]. | [[Teori bilangan analitik]] adalah studi cabang [[teori bilangan]] yang berfokus mengenai [[fungsi kontinu]], [[limit]], [[Deret (matematika)|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 <math>1+\tfrac{1}{4}+\tfrac{1}{9}+\tfrac{1}{16}+\dots,</math> dan nilai deret saat ini dapat dianggap sebagai nilai <math>\zeta(2)</math> (di mana <math>\zeta</math> 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 <math display="inline">\zeta(2)=\frac{\pi^2}{6}</math>. Kebalikannya, <math>\tfrac{6}{\pi^2}</math>, 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). | 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 <math>1+\tfrac{1}{4}+\tfrac{1}{9}+\tfrac{1}{16}+\dots,</math> dan nilai deret saat ini dapat dianggap sebagai nilai <math>\zeta(2)</math> (di mana <math>\zeta</math> 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 <math display="inline">\zeta(2)=\frac{\pi^2}{6}</math>.<ref>, [https://books.google.com/books?id=sohHs7ExOsYC&pg=PA205 Chapter 35, Estimating the Basel problem, pp. 205–208].</ref> Kebalikannya, <math>\tfrac{6}{\pi^2}</math>, 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).<ref>C.S. Ogilvy. [https://books.google.com/books?id=efbaDLlTXvMC&pg=PA29 Excursions in Number Theory]. Dover Publications Inc. 1988. hlm. 29–35. ISBN 978-0-486-25778-5.</ref> | ||
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 bilangan prima|rumus efisien bilangan prima ke-<math>n</math>]] belum diketahui. [[Teorema Dirichlet tentang barisan aritmetika]], dalam bentuk dasar, mengatakan bahwa polinomial linear | 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 bilangan prima|rumus efisien bilangan prima ke-<math>n</math>]] belum diketahui. [[Teorema Dirichlet tentang barisan aritmetika]], dalam bentuk dasar, mengatakan bahwa polinomial linear | ||
| Baris 112: | Baris 106: | ||
: <math>\frac 1 2 + \frac 1 3 + \frac 1 5 + \frac 1 7 + \cdots + \frac 1 p</math>. | : <math>\frac 1 2 + \frac 1 3 + \frac 1 5 + \frac 1 7 + \cdots + \frac 1 p</math>. | ||
Euler memperlihatkan bahwa untuk suatu <math>x</math> [[bilangan real]] sembarang, terdapat bilangan prima <math>p</math> yang jumlahnya lebih besar dari <math>x</math>. 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 <u><math>x</math></u>. Laju pertumbuhan dari jumlah ini digambarkan melalui [[Teorema Mertens|teorema kedua Mertens]]. Bandingkan jumlah | Euler memperlihatkan bahwa untuk suatu <math>x</math> [[bilangan real]] sembarang, terdapat bilangan prima <math>p</math> yang jumlahnya lebih besar dari <math>x</math>.<ref>, Section 1.6, Theorem 1.13</ref> 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 <u><math>x</math></u>. Laju pertumbuhan dari jumlah ini digambarkan melalui [[Teorema Mertens|teorema kedua Mertens]].<ref>, Section 4.8, Theorem 4.12</ref> Bandingkan jumlah | ||
: <math>\frac 1 {1^2} + \frac 1 {2^2} + \frac 1 {3^2} + \cdots + \frac 1 {n^2}</math>, | : <math>\frac 1 {1^2} + \frac 1 {2^2} + \frac 1 {3^2} + \cdots + \frac 1 {n^2}</math>, | ||
yang tidak naik menuju takhingga ketika <math>n</math> 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]], | yang tidak naik menuju takhingga ketika <math>n</math> menuju takhingga (lihat [[masalah Basel]]). Ini berarti, bilangan prima sering kali muncul daripada bilangan asli yang dikuadratkan meskipun kedua himpunan adalah takhingga.<ref>Steven J. Miller. [https://books.google.com/books?id=kLz4z8iwKiwC&pg=PA43 An Invitation to Modern Number Theory]. Princeton University Press. 2006. hlm. 43–44. ISBN 978-0-691-12060-7.</ref> [[Teorema Brun]] menyatakan bahwa jumlah timbal-balik [[bilangan prima kembar]], | ||
: <math> \left( {\frac{1}{3} + \frac{1}{5}} \right) + \left( {\frac{1}{5} + \frac{1}{7}} \right) + \left( {\frac{1} + \frac{1}} \right) + \cdots </math>, | : <math> \left( {\frac{1}{3} + \frac{1}{5}} \right) + \left( {\frac{1}{5} + \frac{1}{7}} \right) + \left( {\frac{1} + \frac{1}} \right) + \cdots </math>, | ||
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. | 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.<ref>Steven J. Miller. [https://books.google.com/books?id=kLz4z8iwKiwC&pg=PA43 An Invitation to Modern Number Theory]. Princeton University Press. 2006. hlm. 43–44. ISBN 978-0-691-12060-7.</ref> | ||
=== Jumlah bilangan prima di bawah batas tertentu === | === Jumlah bilangan prima di bawah batas tertentu === | ||
[[Fungsi penghitungan bilangan prima]] <math>\pi(n)</math> didefinisikan sebagai jumlah bilangan prima yang lebih kecil dari <math>n</math>.<ref>, [https://books.google.com/books?id=RbEz-_D7sAUC&pg=PA6 hlm. 6].</ref> Contohnya, <math>\pi(11)=5</math>, 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 <math> \pi(n) </math> lebih cepat daripada menulis setiap bilangan prima sampai dengan <math> n </math>. Teorema bilangan prima menyatakan bahwa <math>\pi(n)</math> asimtotik dengan <math> \tfrac{n}{\log n} </math>. Teorema ini ditulis sebagai | |||
[[Fungsi penghitungan bilangan prima]] <math>\pi(n)</math> didefinisikan sebagai jumlah bilangan prima yang lebih kecil dari <math>n</math>. Contohnya, <math>\pi(11)=5</math>, 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 <math> \pi(n) </math> lebih cepat daripada menulis setiap bilangan prima sampai dengan <math> n </math>. Teorema bilangan prima menyatakan bahwa <math>\pi(n)</math> asimtotik dengan <math> \tfrac{n}{\log n} </math>. Teorema ini ditulis sebagai | |||
: <math> \pi(n) \sim \frac{n}{\log n} </math>. | : <math> \pi(n) \sim \frac{n}{\log n} </math>. | ||
Ini berarti bahwa rasio <math>\pi(n)</math> terhadap pecahan di ruas kanan [[Deret konvergen|mendekati]] 1 ketika <math> n </math> menuju takhingga. Teorema ini menyiratkan bahwa kemungkinan bilangan yang lebih kecil dari <math>n</math> yang dipilih secara acak adalah bilangan prima, kira-kira berbanding terbalik dengan jumlah digit <math>n</math>. Teorema ini juga menyiratkan bahwa bilangan prima ke-<math>n</math> sebanding dengan <math>n\log n</math>, dan demikian bahwa ukuran rata-rata dari celah bilangan prima sebanding dengan <math>\log n</math>. Pendekatan lebih akuratnya adalah <math>\pi(n)</math> sebanding dengan [[integral logaritmik Euler]] | Ini berarti bahwa rasio <math>\pi(n)</math> terhadap pecahan di ruas kanan [[Deret konvergen|mendekati]] 1 ketika <math> n </math> menuju takhingga.<ref>, [https://books.google.com/books?id=RbEz-_D7sAUC&pg=PA10 p. 10].</ref> Teorema ini menyiratkan bahwa kemungkinan bilangan yang lebih kecil dari <math>n</math> yang dipilih secara acak adalah bilangan prima, kira-kira berbanding terbalik dengan jumlah digit <math>n</math>.<ref>Marcus du Sautoy. ''The Number Mysteries: A Mathematical Odyssey through Everyday Life''. St. Martin's Press. 2011. hlm. 50–52. ISBN 978-0-230-12028-0.</ref> Teorema ini juga menyiratkan bahwa bilangan prima ke-<math>n</math> sebanding dengan <math>n\log n</math>,<ref>, Section 4.6, Theorem 4.7</ref> dan demikian bahwa ukuran rata-rata dari celah bilangan prima sebanding dengan <math>\log n</math>.<ref>, "[https://books.google.com/books?id=ITvaBwAAQBAJ&pg=PA78 Large gaps between consecutive primes]", pp. 78–79.</ref> Pendekatan lebih akuratnya adalah <math>\pi(n)</math> sebanding dengan [[integral logaritmik Euler]]<ref>, [https://books.google.com/books?id=RbEz-_D7sAUC&pg=PA10 p. 10].</ref> | ||
: <math>\pi(n)\sim \operatorname{Li}(n) = \int_2^n \frac{\mathrm dt}{\log t}</math>. | : <math>\pi(n)\sim \operatorname{Li}(n) = \int_2^n \frac{\mathrm dt}{\log t}</math>. | ||
=== Barisan aritmetika === | === Barisan aritmetika === | ||
[[Arithmetic progression|Barisan aritmetika]] ialah barisan bilangan yang hingga maupun takhingga sehingga bilangan berurutan dalam barisan tersebut memiliki beda atau selisih yang sama.<ref>I.M. Gelfand. [https://books.google.com/books?id=Z9z7iliyFD0C&pg=PA37 Algebra]. Springer. 2003. hlm. 37. ISBN 978-0-8176-3677-7.</ref> Selisih barisan aritmetika disebut [[Arimetika modular|modulus]] barisan.<ref>Richard A. Mollin. [https://books.google.com/books?id=Fsaa3MUUQYkC&pg=PA76 Fundamental Number Theory with Applications]. CRC Press. 1997. hlm. 76. ISBN 978-0-8493-3987-5.</ref> Misalnya, | |||
[[Arithmetic progression|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 [[Arimetika modular|modulus]] barisan. Misalnya, | |||
: <math> 3, 12, 21, 30, 39, ... </math>, | : <math> 3, 12, 21, 30, 39, ... </math>, | ||
| Baris 143: | Baris 134: | ||
: <math>a, a+q, a+2q, a+3q, \dots</math> | : <math>a, a+q, a+2q, a+3q, \dots</math> | ||
dapat memiliki bilangan prima yang lebih dari satu ketika sisa <math>a</math> dan modulus <math>q</math> relatif prima. Jika <math>a</math> dan <math>q</math> 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. | dapat memiliki bilangan prima yang lebih dari satu ketika sisa <math>a</math> dan modulus <math>q</math> relatif prima. Jika <math>a</math> dan <math>q</math> relatif prima, [[teorema Dirichlet tentang barisan aritmetika]] mengatakan bahwa barisan memuat tak terhingga banyaknya bilangan prima.<ref>, [https://books.google.com/books?id=ZXjHKPS1LEAC&pg=PA Theorem 1.1.5, p. 12].</ref>[[Teorema Green–Tao]] memperlihatkan bahwa ada barisan aritmetika hingga panjang sembarang yang hanya terdiri dari bilangan prima.<ref>, hlm. 18, 47.</ref><ref>Ben Green. ''The primes contain arbitrarily long arithmetic progressions''. ''Annals of Mathematics''. 2008. Vol. 167 (2). hlm. 481–547. doi:10.4007/annals.2008.167.481.</ref> | ||
=== Nilai-nilai bilangan prima dari polinomial kuadrat === | === Nilai-nilai bilangan prima dari polinomial kuadrat === | ||
Euler mengatakan bahwa fungsi | Euler mengatakan bahwa fungsi | ||
: <math>n^2 - n + 41</math> | : <math>n^2 - n + 41</math> | ||
menghasilkan bilangan prima untuk , meskipun bilangan komposit muncul untuk di luar batas bilangan demikian. Penemuan mengenai penjelasan fenomena tersebut melibatkan kajian yang lebih dalam mengenai [[bilangan Heegner]] dan [[Masalah bilangan kelas Gauss|masalah bilangan kelas]] dalam [[teori bilangan aljabar]]. [[Konjektur F Hardy–Littlewood]] memprediksi densitas bilangan prima di antara nilai-nilai [[polinomial kuadrat]] dengan koefisien bilangan bulat, yang melibatkan integral logaritmik dan koefisien polinomial. Belum terbukti bahwa terdapat polinomial kuadrat yang menghasilkan tak terhingga banyaknya nilai bilangan prima. | menghasilkan bilangan prima untuk , meskipun bilangan komposit muncul untuk di luar batas bilangan demikian.<ref>L. K. Hua. ''Additive Theory of Prime Numbers''. American Mathematical Society. 2009. Vol. 13. hlm. 176–177. ISBN 978-0-8218-4942-2.</ref><ref>The sequence of these primes, starting at n=1 rather than , is listed by Paolo Pietro Lava. ''103 curiosità matematiche: Teoria dei numeri, delle cifre e delle relazioni nella matematica contemporanea''. Ulrico Hoepli Editore S.p.A. 2010. hlm. 133. ISBN 978-88-203-5804-4.</ref> Penemuan mengenai penjelasan fenomena tersebut melibatkan kajian yang lebih dalam mengenai [[bilangan Heegner]] dan [[Masalah bilangan kelas Gauss|masalah bilangan kelas]] dalam [[teori bilangan aljabar]].<ref>Marc Chamberland. ''Single Digits: In Praise of Small Numbers''. Princeton University Press. 2015. hlm. 213–215. ISBN 978-1-4008-6569-7.</ref> [[Konjektur F Hardy–Littlewood]] memprediksi densitas bilangan prima di antara nilai-nilai [[polinomial kuadrat]] dengan koefisien bilangan bulat, yang melibatkan integral logaritmik dan koefisien polinomial. Belum terbukti bahwa terdapat polinomial kuadrat yang menghasilkan tak terhingga banyaknya nilai bilangan prima.<ref>Richard Guy. ''Unsolved Problems in Number Theory''. Springer. 2013. hlm. 7–10. ISBN 978-0-387-26677-0.</ref> | ||
'''' menggambarkan susunan bilangan asli dalam grid berdimensi dua. Susunan tersebut kemudian dipilin dalam bentuk persegi yang konsentris yang mengitari titik awal oleh bilangan prima yang telah ditandai. Bila digambarkan secara visual, bilangan prima terlihat berkumpul membentuk garis-garis diagonal tertentu dan bukan bentuk sebaliknya. Ini memperlihatkan bahwa terdapat beberapa polinomial kuadrat yang lebih sering menghasilkan nilai bilangan prima daripada polinomial lainnya. | '''' menggambarkan susunan bilangan asli dalam grid berdimensi dua. Susunan tersebut kemudian dipilin dalam bentuk persegi yang konsentris yang mengitari titik awal oleh bilangan prima yang telah ditandai. Bila digambarkan secara visual, bilangan prima terlihat berkumpul membentuk garis-garis diagonal tertentu dan bukan bentuk sebaliknya. Ini memperlihatkan bahwa terdapat beberapa polinomial kuadrat yang lebih sering menghasilkan nilai bilangan prima daripada polinomial lainnya.<ref>Richard Guy. ''Unsolved Problems in Number Theory''. Springer. 2013. hlm. 7–10. ISBN 978-0-387-26677-0.</ref><ref>M.L. Stein. ''A Visual Display of Some Properties of the Distribution of Primes''. ''The American Mathematical Monthly''. 1964. Vol. 71 (5). hlm. 516–520. doi:10.2307/2312588.</ref> | ||
== Dalam aljabar abstrak == | == Dalam aljabar abstrak == | ||
===Aritmetika modular dan lapangan berhingga=== | ===Aritmetika modular dan lapangan berhingga=== | ||
[[Aritmetika modular]] memodifikasi aritmetika biasa, hanya saja dengan menggunakan bilangan <math>\{0,1,2,\dots,n-1\}</math> untuk bilangan asli <math>n</math> yang disebut modulus. | [[Aritmetika modular]] memodifikasi aritmetika biasa, hanya saja dengan menggunakan bilangan <math>\{0,1,2,\dots,n-1\}</math> untuk bilangan asli <math>n</math> yang disebut modulus. | ||
Bilangan asli lainnya dapat dipetakan ke dalam sistem ini dengan menggantinya dengan sisa setelah pembagian dengan <math>n</math>. 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: | Bilangan asli lainnya dapat dipetakan ke dalam sistem ini dengan menggantinya dengan sisa setelah pembagian dengan <math>n</math>.<ref>, [https://books.google.com/books?id=VG9YBQAAQBAJ&pg=PA96 Proposisi 5.3], hal. 96.</ref> Penjumlahan, pengurangan, dan perkalian modular dihitung dengan melakukan penggantian yang sama dengan sisa hasil penjumlahan, pengurangan, atau perkalian bilangan bulat.<ref>Shahriar Shahriari. [https://books.google.com/books?id=GJwxDwAAQBAJ&pg=PA20 Algebra in Action: A Course in Groups, Rings, and Fields]. American Mathematical Society. 2017. Vol. 27. hlm. 20–21. ISBN 978-1-4704-2849-5.</ref> Kesamaan bilangan bulat sesuai dengan ''kongruensi'' dalam aritmetika modular: | ||
<math>x</math> dan <math>y</math> adalah kongruen (ditulis <math>x\equiv y</math> mod <math>n</math>) ketika mereka memiliki sisa yang sama setelah dibagi dengan <math>n</math>. Namun, dalam [[sistem bilangan]] ini, [[Pembagian (matematika)|pembagian]] dengan semua bilangan bukan nol dimungkinkan jika dan hanya jika modulusnya adalah prima. Misalnya, dengan bilangan prima <math>7</math> sebagai modulus, pembagian dengan <math>3</math> adalah dimungkinkan: <math>2/3\equiv 3\bmod{7}</math> karena kemungkinan [[menghapus penyebut]] dengan mengalikan kedua ruas dengan <math>3</math> diberikan rumus yang valid <math>2\equiv 9\bmod{7}</math>. Namun, dengan modulus komposit <math>6</math>, pembagian dengan <math>3</math> adalah hal mustahil. Tidak ada solusi yang valid untuk <math>2/3\equiv x\bmod{6}</math>: menghapus penyebut dengan mengalikan dengan <math>3</math> menyebabkan ruas kiri menjadi <math>2</math> sedangkan ruas kanan menjadi <math>0</math> atau <math>3 </math>. Dalam terminologi [[aljabar abstrak]], kemampuan untuk melakukan pembagian berarti bahwa modulo [[aritmetika]] modular bilangan prima membentuk [[lapangan (matematika)|lapangan]] atau [[lapangan berhingga]], sedangkan modulus lainnya hanya memberikan [[gelanggang (matematika)|gelanggang]] tetapi bukan sebuah lapangan. | <math>x</math> dan <math>y</math> adalah kongruen (ditulis <math>x\equiv y</math> mod <math>n</math>) ketika mereka memiliki sisa yang sama setelah dibagi dengan <math>n</math>.<ref>, [https://books.google.com/books?id=tr7SzBTsk1UC&pg=PA28 Teorema 3, hal. 28].</ref> Namun, dalam [[sistem bilangan]] ini, [[Pembagian (matematika)|pembagian]] dengan semua bilangan bukan nol dimungkinkan jika dan hanya jika modulusnya adalah prima. Misalnya, dengan bilangan prima <math>7</math> sebagai modulus, pembagian dengan <math>3</math> adalah dimungkinkan: <math>2/3\equiv 3\bmod{7}</math> karena kemungkinan [[menghapus penyebut]] dengan mengalikan kedua ruas dengan <math>3</math> diberikan rumus yang valid <math>2\equiv 9\bmod{7}</math>. Namun, dengan modulus komposit <math>6</math>, pembagian dengan <math>3</math> adalah hal mustahil. Tidak ada solusi yang valid untuk <math>2/3\equiv x\bmod{6}</math>: menghapus penyebut dengan mengalikan dengan <math>3</math> menyebabkan ruas kiri menjadi <math>2</math> sedangkan ruas kanan menjadi <math>0</math> atau <math>3 </math>. Dalam terminologi [[aljabar abstrak]], kemampuan untuk melakukan pembagian berarti bahwa modulo [[aritmetika]] modular bilangan prima membentuk [[lapangan (matematika)|lapangan]] atau [[lapangan berhingga]], sedangkan modulus lainnya hanya memberikan [[gelanggang (matematika)|gelanggang]] tetapi bukan sebuah lapangan.<ref>, [https://books.google.com/books?id=GJwxDwAAQBAJ&pg=PA27 hal. 27–28].</ref> | ||
Beberapa teorema tentang bilangan prima dirumuskan menggunakan aritmetika modular. Misalnya, [[teorema kecil Fermat]] menyatakan bahwa jika <math>a\not\equiv 0</math> (mod <math>p</math>), maka <math>a^{p-1}\equiv 1</math> (mod <math>p</math>). Menjumlahkan dari semua pilihan <math>a</math> diberikan persamaan | Beberapa teorema tentang bilangan prima dirumuskan menggunakan aritmetika modular. Misalnya, [[teorema kecil Fermat]] menyatakan bahwa jika <math>a\not\equiv 0</math> (mod <math>p</math>), maka <math>a^{p-1}\equiv 1</math> (mod <math>p</math>).<ref>, Teorema kecil Fermat dan akar primitif modulo a prima, hal. 17–21.</ref> Menjumlahkan dari semua pilihan <math>a</math> diberikan persamaan | ||
:<math>\sum_{a=1}^{p-1} a^{p-1} \equiv (p-1) \cdot 1 \equiv -1 \pmod p,</math> | :<math>\sum_{a=1}^{p-1} a^{p-1} \equiv (p-1) \cdot 1 \equiv -1 \pmod p,</math> | ||
valid jika <math>p</math> adalah bilangan prima. | valid jika <math>p</math> adalah bilangan prima. | ||
[[Konjektur Giuga]] menyebutkan bahwa persamaan ini juga merupakan syarat yang cukup untuk <math>p</math> menjadi prima. | [[Konjektur Giuga]] menyebutkan bahwa persamaan ini juga merupakan syarat yang cukup untuk <math>p</math> menjadi prima.<ref>, The property of Giuga, hal. 21–22.</ref> | ||
[[Teorema Wilson]] menyebutkan bahwa sebuah bilangan bulat <math>p>1</math> adalah bilangan prima jika dan hanya jika [[faktorial]] <math>(p-1)!</math> kongruen dengan <math>-1</math> mod <math>p</math>. Untuk ini tidak berlaku, karena salah satu faktornya membagi dan <math>(n-1)!</math>, dan jadi <math>(n-1)!\equiv -1 \pmod{n}</math> adalah hal mustahil. | [[Teorema Wilson]] menyebutkan bahwa sebuah bilangan bulat <math>p>1</math> adalah bilangan prima jika dan hanya jika [[faktorial]] <math>(p-1)!</math> kongruen dengan <math>-1</math> mod <math>p</math>. Untuk ini tidak berlaku, karena salah satu faktornya membagi dan <math>(n-1)!</math>, dan jadi <math>(n-1)!\equiv -1 \pmod{n}</math> adalah hal mustahil.<ref>, The theorem of Wilson, hal. 21.</ref> | ||
===Bilangan ''p''-adik=== | ===Bilangan ''p''-adik=== | ||
[[urutan P-adik|Urutan <math>p</math>-adik]] <math>\nu_p(n)</math> dari sebuah bilangan bulat <math>n</math> adalah jumlah salinan dari <math>p</math> dalam [[faktorisasi prima]] dari <math>n</math>. Konsep yang sama diperluas dari bilangan bulat ke [[bilangan rasional]] dengan mendefinisikan urutan <math>p</math>-adik dari pecahan <math>m/n</math> menjadi <math>\nu_p(m)-\nu_p(n)</math>. Nilai absolut <math>p</math>-adik <math>|q|_p</math> dari sembarang bilangan rasional <math>q</math> kemudian didefinisikan sebagai <math>|q|_p=p^{-\nu_p(q)}</math>. Mengalikan bilangan bulat dengan nilai absolut <math>p</math>-adik-nya akan membatalkan faktor <math>p</math> 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 <math>p</math>-adik-nya, nilai absolut <math>p</math>-adik dari selisihnya. Untuk definisi jarak ini, dua bilangan dikatakan berdekatan (memiliki jarak yang kecil) ketika selisihnya habis dibagi dengan pangkat <math>p</math> yang tinggi. Dengan cara yang sama bahwa bilangan real dapat dibentuk dari bilangan rasional dan jaraknya, dengan menambahkan nilai pembatas ekstra untuk membentuk [[lapangan lengkap]], bilangan rasional dengan jarak <math>p</math>-adik diperluas ke lapangan lengkap yang berbeda.<ref>Nancy Childress. [https://books.google.com/books?id=RYdy4PCJYosC&pg=PA8 Class Field Theory]. Springer, New York. 2009. hlm. 8–11. doi:10.1007/978-0-387-72490-4. ISBN 978-0-387-72489-8. Lihat pula hal. 64.</ref><ref>Marty Erickson. [https://books.google.com/books?id=QpLwCgAAQBAJ&pg=PA200 Introduction to Number Theory]. CRC Press. 2016. hlm. 200. ISBN 978-1-4987-1749-6.</ref> | |||
Urutan dari sebuah gambar, nilai absolut, dan lapangan lengkap yang diturunkan dari bilangan <math>p</math>-adik digeneralisasikan ke [[lapangan bilangan aljabar]] dan [[Penilaian (aljabar)|penilaian-penilaian]] tersebut (pemetaan tertentu dari lapangan [[grup perkalian]] ke [[grup terurut total|grup aditif terurut total]] disebut juga sebagai urutan), [[Nilai absolut (aljabar)|nilai absolut]] (pemetaan perkalian tertentu dari lapangan ke bilangan real disebut juga sebagai norma),<ref>Nancy Childress. [https://books.google.com/books?id=RYdy4PCJYosC&pg=PA8 Class Field Theory]. Springer, New York. 2009. hlm. 8–11. doi:10.1007/978-0-387-72490-4. ISBN 978-0-387-72489-8. Lihat pula hal. 64.</ref> dan tempat (ekstensi ke [[lapangan lengkap]] di mana lapangan yang diberikan adalah [[himpunan rapat]] disebut juga sebagai pelengkapan).<ref>André Weil. ''Basic Number Theory''. Springer-Verlag. 1995. hlm. 43. ISBN 978-3-540-58655-5. Namun perhatikan bahwa beberapa penulis seperti malah menggunakan "tempat" untuk mengartikan kelas norma yang setara.</ref> 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 <math>p</math>-adik dengan urutan dan nilai absolutnya adalah satu-satunya penilaian, nilai absolut, dan tempat pada bilangan rasional.<ref>Nancy Childress. [https://books.google.com/books?id=RYdy4PCJYosC&pg=PA8 Class Field Theory]. Springer, New York. 2009. hlm. 8–11. doi:10.1007/978-0-387-72490-4. ISBN 978-0-387-72489-8. Lihat pula hal. 64.</ref> [[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.<ref>H. Koch. [https://books.google.com/books?id=wt1sCQAAQBAJ&pg=PA136 Algebraic Number Theory]. Springer-Verlag. 1997. hlm. 136. doi:10.1007/978-3-642-58095-6. ISBN 978-3-540-63003-6.</ref> | |||
Urutan dari sebuah gambar, nilai absolut, dan lapangan lengkap yang diturunkan dari bilangan <math>p</math>-adik digeneralisasikan ke [[lapangan bilangan aljabar]] dan [[Penilaian (aljabar)|penilaian-penilaian]] tersebut (pemetaan tertentu dari lapangan [[grup perkalian]] ke [[grup terurut total|grup aditif terurut total]] disebut juga sebagai urutan), [[Nilai absolut (aljabar)|nilai absolut]] (pemetaan perkalian tertentu dari lapangan ke bilangan real disebut juga sebagai norma), dan tempat (ekstensi ke [[lapangan lengkap]] di mana lapangan 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 <math>p</math>-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 === | === 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 <math>p</math> dari sebuah gelanggang <math>R</math> dikatakan bilangan prima jika <math>p</math> adalah bilangan taknol, tidak mempunyai [[invers perkalian]] (yang berarti, gelanggang bukanlah sebuah [[Unit (teori gelanggang)|unit]]), dan memenuhi syarat berikut: jika <math>p</math> membagi hasil kali <math>xy</math> dari dua anggota <math>R</math>, maka <math>p</math> juga membagi setidaknya <math>x</math> ataupun <math>y</math>. 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, | [[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 <math>p</math> dari sebuah gelanggang <math>R</math> dikatakan bilangan prima jika <math>p</math> adalah bilangan taknol, tidak mempunyai [[invers perkalian]] (yang berarti, gelanggang bukanlah sebuah [[Unit (teori gelanggang)|unit]]), dan memenuhi syarat berikut: jika <math>p</math> membagi hasil kali <math>xy</math> dari dua anggota <math>R</math>, maka <math>p</math> juga membagi setidaknya <math>x</math> ataupun <math>y</math>. 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, | ||
: <math>\{ \dots, -11, -7, -5, -3, -2, 2, 3, 5, 7, 11, \dots \}\, .</math> | : <math>\{ \dots, -11, -7, -5, -3, -2, 2, 3, 5, 7, 11, \dots \}\, .</math> | ||
Dalam sebuah gelanggang sembarang, semua anggota bilangan prima adalah taktereduksi. Kebalikannya tidak berlaku pada umumnya, tetapi berlaku untuk [[domain faktorisasi tunggal]]. | Dalam sebuah gelanggang sembarang, semua anggota bilangan prima adalah taktereduksi. Kebalikannya tidak berlaku pada umumnya, tetapi berlaku untuk [[domain faktorisasi tunggal]].<ref>Niels Lauritzen. [https://books.google.com/books?id=BdAbcje-TZUC&pg=PA127 Concrete Abstract Algebra: From numbers to Gröbner bases]. Cambridge University Press. 2003. hlm. 127. doi:10.1017/CBO9780511804229. ISBN 978-0-521-53410-9.</ref> | ||
Teorema dasar aritmetika tetap berlaku (menurut definisi) dalam domain faktorisasi tunggal. Contoh mengenai domain faktorisasi tunggal adalah [[bilangan bulat Gauss]] <math>\mathbb{Z}[i]</math>, gelanggang dari [[bilangan kompleks]] berbentuk <math>a+bi</math> di mana <math>i</math> menyatakan [[satuan imajiner]], <math>a</math> dan <math>b</math> 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 <math>1+i</math> dan <math>1-i</math>. 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 <math>p</math> dapat dinyatakan sebagai jumlah dari dua bilangan kuadrat, <math>p=x^2+y^2</math>, dan demikian dapat difaktorkan sebagai <math>p=(x+iy)(x-iy)</math>, tepat ketika <math>p</math> kongruen dengan 1 mod 4. | Teorema dasar aritmetika tetap berlaku (menurut definisi) dalam domain faktorisasi tunggal. Contoh mengenai domain faktorisasi tunggal adalah [[bilangan bulat Gauss]] <math>\mathbb{Z}[i]</math>, gelanggang dari [[bilangan kompleks]] berbentuk <math>a+bi</math> di mana <math>i</math> menyatakan [[satuan imajiner]], <math>a</math> dan <math>b</math> 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 <math>1+i</math> dan <math>1-i</math>. 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.<ref>, Corollary 3.5.14, p. 133; Lemma 3.5.18, p. 136.</ref> Contoh tersebut merupakan akibat dari [[teorema Fermat tentang jumlah dari dua bilangan kuadrat]], yang mengatakan bahwa sebuah bilangan prima ganjil <math>p</math> dapat dinyatakan sebagai jumlah dari dua bilangan kuadrat, <math>p=x^2+y^2</math>, dan demikian dapat difaktorkan sebagai <math>p=(x+iy)(x-iy)</math>, tepat ketika <math>p</math> kongruen dengan 1 mod 4.<ref>, [https://books.google.com/books?id=4NAqBgAAQBAJ&pg=PA297 Section 12.1, Sums of two squares, pp. 297–301].</ref> | ||
=== Ideal prima === | === Ideal prima === | ||
Tidak semua gelanggang merupakan ranah faktorisasi unik. Misalnya, dalam bilangan gelanggang <math>a+b\sqrt{-5}</math> (untuk bilangan bulat <math>a</math> dan <math>b</math>) angka <math>21</math> memiliki dua faktorisasi <math>21=3\cdot7=(1+2\sqrt{-5})(1-2\sqrt{-5})</math>, 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 (teori gelanggang)|ideal]], sebuah [[himpunan bagian]] dari elemen gelanggang yang memuat semua jumlah pasangan elemennya, dan semua hasil kali elemennya dengan elemen gelanggang. | Tidak semua gelanggang merupakan ranah faktorisasi unik. Misalnya, dalam bilangan gelanggang <math>a+b\sqrt{-5}</math> (untuk bilangan bulat <math>a</math> dan <math>b</math>) angka <math>21</math> memiliki dua faktorisasi <math>21=3\cdot7=(1+2\sqrt{-5})(1-2\sqrt{-5})</math>, 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 (teori gelanggang)|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|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]] [[gelanggang Noetherian|Noetherian]] sebagai perpotongan [[ideal prima]] yang merupakan generalisasi yang tepat dari [[prima kuasa]]. | ''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|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]] [[gelanggang Noetherian|Noetherian]] sebagai perpotongan [[ideal prima]] yang merupakan generalisasi yang tepat dari [[prima kuasa]].<ref>David Eisenbud. ''Commutative Algebra''. Springer-Verlag. 1995. Vol. 150. doi:10.1007/978-1-4612-5350-1. ISBN 978-0-387-94268-1.</ref> | ||
[[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 [[Pemisah ideal prima dalam perluasan Galois|percabangan]] dari ideal prima ketika diangkat sebagai [[lapangan perluasan]], masalah dasar teori bilangan aljabar memiliki beberapa kemiripan dengan [[peliput bercabang|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 [[lapangan bilangan kuadrat]] dapat digunakan untuk penggunaan [[ketimbalbalikan kuadrat]], pernyataan yang menyangkut keberadaan akar kuadrat modulo bilangan prima bilangan bulat. | [[Spektrum gelanggang]] adalah ruang geometris yang titik-titiknya merupakan ideal prima dari gelanggang tersebut.<ref>Igor R. Shafarevich. ''Basic Algebraic Geometry 2: Schemes and Complex Manifolds''. Springer, Heidelberg. 2013. hlm. 5. doi:10.1007/978-3-642-38010-5. ISBN 978-3-642-38009-9.</ref> [[Geometri aritmetika]] juga mendapat manfaat dari gagasan ini, dan banyak konsep yang ada, baik dalam geometri maupun teori bilangan. Misalnya, faktorisasi atau [[Pemisah ideal prima dalam perluasan Galois|percabangan]] dari ideal prima ketika diangkat sebagai [[lapangan perluasan]], masalah dasar teori bilangan aljabar memiliki beberapa kemiripan dengan [[peliput bercabang|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 [[lapangan bilangan kuadrat]] dapat digunakan untuk penggunaan [[ketimbalbalikan kuadrat]], pernyataan yang menyangkut keberadaan akar kuadrat modulo bilangan prima bilangan bulat.<ref>Jürgen Neukirch. ''Algebraic Number Theory''. Springer-Verlag. 1999. Vol. 322. doi:10.1007/978-3-662-03983-0. ISBN 978-3-540-65399-8.</ref> | ||
Upaya awal untuk membuktikan [[Teorema Terakhir Fermat]] menyebabkan pengenalan [[Ernst Kummer|Kummer]] dari [[prima regular]], bilangan prima bilangan bulat terhubung dengan kegagalan faktorisasi unik pada [[lapangan siklotomi|bilangan bulat siklotomi]]. | Upaya awal untuk membuktikan [[Teorema Terakhir Fermat]] menyebabkan pengenalan [[Ernst Kummer|Kummer]] dari [[prima regular]], bilangan prima bilangan bulat terhubung dengan kegagalan faktorisasi unik pada [[lapangan siklotomi|bilangan bulat siklotomi]].<ref>, Bagian I.7, hal. 38</ref> | ||
Pertanyaan tentang berapa banyak bilangan prima bilangan bulat faktor menjadi darab dari beberapa ideal prima dalam lapangan 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. | Pertanyaan tentang berapa banyak bilangan prima bilangan bulat faktor menjadi darab dari beberapa ideal prima dalam lapangan 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.<ref>P. Stevenhagen. ''Chebotarëv and his density theorem''. ''The Mathematical Intelligencer''. 1996. Vol. 18 (2). hlm. 26–37. doi:10.1007/BF03027290.</ref> | ||
=== Teori grup === | === Teori grup === | ||
Dalam teori [[grup hingga]], [[teorema Sylow]] menyiratkan bahwa jika perpangkatan bilangan prima <math>p^n</math> membagi [[tingkat grup]], maka grup memiliki [[subgrup]] tingkat <math>p^n</math>. Menurut [[Teorema Lagrange (teori grup)|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]]. | Dalam teori [[grup hingga]], [[teorema Sylow]] menyiratkan bahwa jika perpangkatan bilangan prima <math>p^n</math> membagi [[tingkat grup]], maka grup memiliki [[subgrup]] tingkat <math>p^n</math>. Menurut [[Teorema Lagrange (teori grup)|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]].<ref>Hall, Marshan (2018), ''[https://books.google.co.id/books?id=K8hEDwAAQBAJ&redir_esc=y The Theory of Groups]''. Dover Books on Mathematics. Courier Dover Publications. ISBN 978-0-486-81690-6. Untuk teorema Sylow. lihat hlm. 43. Untuk teorema Lagrange, lihat hlm. 12. Untuk teorema Burnside, lihat hlm. 143.</ref> | ||
==Catatan== | ==Catatan== | ||
==Pranala luar== | ==Pranala luar== | ||
* | |||
* | |||
* Caldwell, Chris, The [[Prime Pages]] di [http://primes.utm.edu/ primes.utm.edu]. | * Caldwell, Chris, The [[Prime Pages]] di [http://primes.utm.edu/ primes.utm.edu]. | ||
* | * | ||
* [http://plus.maths.org/issue49/package/index.html Tambahan paket guru dan murid: bilangan prima] dari Plus, majalah matematika online gratis yang diproduksi oleh Millennium Mathematics Project di University of Cambridge. | * [http://plus.maths.org/issue49/package/index.html Tambahan paket guru dan murid: bilangan prima] dari Plus, majalah matematika online gratis yang diproduksi oleh Millennium Mathematics Project di University of Cambridge. | ||
| Baris 216: | Baris 195: | ||
* [http://www.primos.mat.br/indexen.html Bilangan Prima hingga 1 triliun] | * [http://www.primos.mat.br/indexen.html Bilangan Prima hingga 1 triliun] | ||
== Referensi == | |||
<references /> | |||
== Sumber dan atribusi == | == Sumber dan atribusi == | ||
Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Bilangan+prima&oldid=29303870 Wikipedia bahasa Indonesia], revisi 29303870 (2026-06-01T13:11:52Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku. | Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Bilangan+prima&oldid=29303870 Wikipedia bahasa Indonesia], revisi 29303870 (2026-06-01T13:11:52Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku. | ||
<!-- WIKI_UNISSULA_PRESENTATION_V4 --> | |||
Revisi terkini sejak 25 Agustus 2026 03.55
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 atau , sedangkan 4 bukanlah bilangan prima karena hasil kalinya (), 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 , disebut pembagian percobaan. Metode ini menguji apakah kelipatan dari suatu bilangan bulat antara dan . 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.[1]
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
Suatu bilangan asli (1, 2, 3, 4, 5, dst.) dapat dikatakan sebagai bilangan prima jika dan hanya jika bilangan asli tersebut 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.[2] Dengan kata lain, dikatakan bilangan prima jika terdapat benda tidak dapat dibagi menjadi kelompok dengan jumlah yang sama, yang terdiri dari satu benda.[3] Bilangan prima juga diilustrasikan sebagai susunan titik menjadi persegi panjang yang lebar dan tingginya lebih dari satu titik.[4] Sebagai contoh, bilangan di antara 1 sampai 6, bilangan primanya adalah 2, 3, dan 5;[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 dari suatu bilangan asli adalah bilangan asli yang membagi sama rata. Pembagi pada setiap bilangan asli tersebut adalah 1 dan dirinya sendiri. Jika memiliki pembagi lain, maka bukanlah bilangan prima. Gagasan ini merujuk ke definisi bilangan prima yang berbeda tetapi ekuivalen: terdapat bilangan setidaknya dua pembagi bilangan positif, yaitu 1 dan dirinya sendiri.[6] Adapun cara lain untuk menjelaskan hal tersebut, yaitu: adalah bilangan prima jika lebih besar dari 1 dan tidak ada bilangan yang membagi sama rata.[7]
Berikut adalah 25 bilangan prima pertama (semua bilangan prima yang lebih kecil dari 100):[8]
Tidak ada bilangan genap yang lebih besar dari 2 adalah bilangan prima karena bilangannya dapat dibentuk sebagai hasil kali . Karena itu, setiap bilangan prima selain dari 2 adalah bilangan ganjil, dan bilangan tersebut disebut bilangan prima ganjil.[9] 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.[10]
Himpunan bilangan prima kadangkala dilambangkan [11] atau .[12]
Sejarah
Papirus Matematika Rhind dari sekitar tahun 1550 SM, memiliki perluasan pecahan Mesir dalam bentuk yang berbeda untuk bilangan prima dan bilangan komposit.[13] Namun, catatan sejarah pertama kali yang mempelajari bilangan prima dengan eksplisit berasal dari matematika Yunani kuno.. Elemen dari Euklides (300 SM) membuktikan bilangan prima tak-hingga dan teorema dasar aritmetika, dan menunjukkan cara membuat bilangan sempurna dari prima Mersenne.[14] Penemuan Yunani lainnya yaitu tapis Eratosthenes masih digunakan untuk menyusun daftar bilangan prima.[15][16]
Sekitar 1000 M, matematikawan Islam Ibn al-Haytham (Alhazen) menemukan teorema Wilson dengan mencirikan bilangan prima sebagai bilangan yang membagi rata . Ia juga menduga bahwa semua bilangan sempurna genap berasal dari konstruksi Euklides yang menggunakan bilangan prima Mersenne, tetapi tidak dapat membuktikannya.[17] 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.[18]
Pada 1640, Pierre de Fermat menyatakan teorema kecil Fermat tanpa bukti, yang kemudian dibuktikan oleh Leibniz dan Euler.[19] Fermat juga menyelidiki primalitas dari bilangan Fermat ,[20] dan Marin Mersenne mempelajari prima Mersenne, bilangan prima dari bentuk dengan sendiri adalah bilangan prima.[21] Dalam surat tahun 1742 untuk Euler, Christian Goldbach merumuskan konjektur Goldbach, bahwa setiap bilangan genap adalah jumlah dari dua bilangan prima.[22] Euler membuktikan konjektur Alhazen (yang saat ini disebut teorema Euklides–Euler) bahwa semua bilangan sempurna genap dapat dibangun dari bilangan prima Mersenne.[23] Ia memperkenalkan metode dari analisis matematis ke cabang ini dalam bukti ketakterhinggaan bilangan prima dan kedivergenan jumlah timbal-balik bilangan prima .[24] Pada awal abad ke-19, Legendre dan Gauss menduga bahwa ketika menuju ke takhingga, jumlah bilangan prima hingga asimptotik ke , di mana melambangkan logaritma natural dari . Versi lemah postulat Bertrand yang mengatakan bahwa untuk setiap , terdapat bilangan prima di antara dan , dibuktikan oleh Pafnuty Chebyshev pada tahun 1852.[25] 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.[26] Hasil penting lainnya pada abad ke-19 adalah teorema Dirichlet tentang barisan aritmetika, barisan aritmetika pasti memuat tak berhingga banyaknya bilangan prima.[27]
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),[28] teorema Proth (sekitar 1878),[29] uji primalitas Lucas–Lehmer (berasal dari 1856), dan uji primalitas Lucas rampat.[30]
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.[31][32] 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.[33]
Meningkatnya kepentingan praktis dari pengujian dan faktorisasi primalitas terkomputerisasi menyebabkan pengembangan metode menjadi lebih baik yang mampu menangani sejumlah besar bentuk ketakhinggaan.[34][35][36] 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.[37]
Primalitas dari 1
Hampir seluruh matematikawan Yunani kuno bahkan tidak menganggap 1 sebagai bilangan,[38][39] 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.[40] 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.[41] Dalam suratnya untuk Leonhard Euler pada pertengahan abad ke-18, Christian Goldbach menganggap 1 sebagai bilangan prima; tetapi Euler tidak.[42] Pada abad ke-19, banyak para matematikawan masih menganggap 1 sebagai bilangan prima,[43] dan yang memuat 1 sebagai daftar bilangan prima terus diterbitkan hingga tahun 1956.[44][45]
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.[46] 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.[47] 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.[48] Pada awal abad ke-20, para matematikawan mulai menyetujui bahwa 1 tidak ditulis sebagai bilangan prima, melainkan dikategorikan istimewa sebagai "satuan".[49]
Sifat-sifat dasar
Faktorisasi tunggal
Suatu bilangan dapat ditulis sebagai hasil kali bilangan prima disebut faktorisasi bilangan prima. Misalnya:
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 . 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, dilambangkan sebagai tiga pangkat dua.
Pentingnya bilangan prima dalam teori bilangan dan matematika umumnya berasal dari teorema dasar aritmetika.[50] 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.[51] 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.[52]
Bukti-bukti mengenai ketunggalan faktorisasi bilangan prima dijelaskan melalui lema Euklides: Jika bilangan prima dan membagi hasil kali (di mana dan bilangan bulat), maka membagi atau membagi (atau membagi keduanya).[53] Sebaliknya, jika memiliki sifat ketika dibagi hasil kalinya ( selalu membagi setidaknya salah satu dari faktor hasil kali tersebut), maka haruslah bilangan prima.[54]
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,[55] bukti Furstenberg melalui topologi umum,[56] dan bukti elegan Kummer.[57]
Bukti Euler[58] menunjukkan bahwa setiap daftar bilangan prima terhingga belum lengkap. Kunci utamanya adalah mengalikan bilangan prima pada daftar tertentu dan ditambah . Jikalau terdiri dari bilangan prima , maka
- .
Menurut teorema dasar aritmetika, memiliki faktorisasi bilangan prima yang faktornya berjumlah satu atau lebih.
dibagi habis secara merata oleh setiap faktor-faktor tersebut, tetapi mempunyai sisa yaitu satu ketika dibagi oleh suatu bilangan prima pada daftar tertentu sehingga tidak ada faktor bilangan prima 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.[59] Lima bilangan pertama adalah bilangan prima, tetapi yang keenam,
- ,
adalah bilangan komposit.
Rumus untuk bilangan prima
Tidak ada rumus cepat yang diketahui untuk bilangan prima. Contoh, tidak ada polinomial tak konstan, bahkan dalam beberapa variabel, yang hanya memakai nilai bilangan prima.[60] 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.[61] Adapun juga 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.[62]
Contoh rumus yang menghasilkan bilangan prima lainnya berasal dari teorema Mills dan teorema Wright. Rumus ini mengatakan bahwa terdapat suatu konstanta real dan sehingga
- dan
adalah bilangan prima untuk suatu bilangan asli dalam rumus yang pertama, dan suatu bilangan eksponen dalam rumus yang kedua.[63] 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 atau .[64]
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.[65] Salah satu masalah Landau adalah konjektur Goldbach, yang menyatakan bahwa setiap bilangan bulat genap lebih besar dari 2 dapat ditulis sebagai jumlah dari dua bilangan prima.[66] Hingga pada 2014, konjektur ini telah dibenarkan untuk semua bilangan hingga .[67] 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,[68] 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),[69] serta suatu bilangan bulat genap yang lebih besar dari 10 dapat ditulis sebagai jumlah dari enam bilangan prima.[70] Cabang teori bilangan yang mempelajari masalah tersebut disebut teori bilangan aditif.[71]
Berbagai jenis masalah yang melibatkan ', atau disebut sebagai selisih antara dua bilangan prima yang berturutan. Keberadaan sembarang selisih yang besar tersebut dapat dipandang dengan memerhatikan bahwa barisan terdiri dari bilangan komposit, untuk sembarang bilangan asli [72] Akan tetapi, selisih yang besar muncul lebih awal daripada pernyataan yang diperlihatkan tadi.[73] Sebagai contoh, selisih pertama yang panjangnya 8 ditemukan pada bilangan prima di antara 89 dan 97,[74] yang kenyataannya sangat kecil daripada Terdapat suatu konjektur bahwa terdapat tak terhingga banyaknya bilangan prima kembar, yakni selisih dari dua bilangan prima adalah 2. Konjektur ini bernama konjektur bilangan prima kembar. Konjektur Polignac menyatakan bentuk yang lebih umum, bahwa untuk setiap bilangan bulat positif terdapat tak terhingga banyaknya pasangan bilangan prima berturutan yang selisihnya adalah [75] Konjektur Andrica,[76] konjektur Brocard,[77] konjektur Legendre,[78] dan konjektur Oppermann[79] sama-sama mengatakan bahwa selisih dari bilangan prima terbesar dari 1 hingga ke pasti setidaknya paling besar kira-kira . Hasil ini berasal dari yang dikenal dengan hipotesis Riemann. Adapun hasil yang lebih kuat lagi menurut konjektur Cramér bahwa besaran selisih terbesarnya adalah .[80] Selisih antara dua bilangan prima dapat dinyatakan dalam bentuk umum menjadi ', pola yang selisih di antaranya lebih dari dua bilangan prima. Ketakterhinggaan dan densitas selisih bilangan prima merupakan subjek dari konjektur Hardy–Littlewood pertama, yang dapat diilhami dengan pendekatan heuristik bahwa bilangan prima memiliki perilaku yang serupa dengan suatu barisan bilangan acak dengan densitas yang diketahui menurut teorema bilangan prima.[81]
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 dan nilai deret saat ini dapat dianggap sebagai nilai (di mana 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 .[82] Kebalikannya, , 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).[83]
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- belum diketahui. Teorema Dirichlet tentang barisan aritmetika, dalam bentuk dasar, mengatakan bahwa polinomial linear
dengan dan 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 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,
- .
Euler memperlihatkan bahwa untuk suatu bilangan real sembarang, terdapat bilangan prima yang jumlahnya lebih besar dari .[84] 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 . Laju pertumbuhan dari jumlah ini digambarkan melalui teorema kedua Mertens.[85] Bandingkan jumlah
- ,
yang tidak naik menuju takhingga ketika menuju takhingga (lihat masalah Basel). Ini berarti, bilangan prima sering kali muncul daripada bilangan asli yang dikuadratkan meskipun kedua himpunan adalah takhingga.[86] Teorema Brun menyatakan bahwa jumlah timbal-balik bilangan prima kembar,
- Gagal mengurai (kesalahan sintaks): {\displaystyle \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.[87]
Jumlah bilangan prima di bawah batas tertentu
Fungsi penghitungan bilangan prima didefinisikan sebagai jumlah bilangan prima yang lebih kecil dari .[88] Contohnya, , 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 lebih cepat daripada menulis setiap bilangan prima sampai dengan . Teorema bilangan prima menyatakan bahwa asimtotik dengan . Teorema ini ditulis sebagai
- .
Ini berarti bahwa rasio terhadap pecahan di ruas kanan mendekati 1 ketika menuju takhingga.[89] Teorema ini menyiratkan bahwa kemungkinan bilangan yang lebih kecil dari yang dipilih secara acak adalah bilangan prima, kira-kira berbanding terbalik dengan jumlah digit .[90] Teorema ini juga menyiratkan bahwa bilangan prima ke- sebanding dengan ,[91] dan demikian bahwa ukuran rata-rata dari celah bilangan prima sebanding dengan .[92] Pendekatan lebih akuratnya adalah sebanding dengan integral logaritmik Euler[93]
- .
Barisan aritmetika
Barisan aritmetika ialah barisan bilangan yang hingga maupun takhingga sehingga bilangan berurutan dalam barisan tersebut memiliki beda atau selisih yang sama.[94] Selisih barisan aritmetika disebut modulus barisan.[95] Misalnya,
- ,
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
dapat memiliki bilangan prima yang lebih dari satu ketika sisa dan modulus relatif prima. Jika dan relatif prima, teorema Dirichlet tentang barisan aritmetika mengatakan bahwa barisan memuat tak terhingga banyaknya bilangan prima.[96]Teorema Green–Tao memperlihatkan bahwa ada barisan aritmetika hingga panjang sembarang yang hanya terdiri dari bilangan prima.[97][98]
Nilai-nilai bilangan prima dari polinomial kuadrat
Euler mengatakan bahwa fungsi
menghasilkan bilangan prima untuk , meskipun bilangan komposit muncul untuk di luar batas bilangan demikian.[99][100] Penemuan mengenai penjelasan fenomena tersebut melibatkan kajian yang lebih dalam mengenai bilangan Heegner dan masalah bilangan kelas dalam teori bilangan aljabar.[101] Konjektur F Hardy–Littlewood memprediksi densitas bilangan prima di antara nilai-nilai polinomial kuadrat dengan koefisien bilangan bulat, yang melibatkan integral logaritmik dan koefisien polinomial. Belum terbukti bahwa terdapat polinomial kuadrat yang menghasilkan tak terhingga banyaknya nilai bilangan prima.[102]
' menggambarkan susunan bilangan asli dalam grid berdimensi dua. Susunan tersebut kemudian dipilin dalam bentuk persegi yang konsentris yang mengitari titik awal oleh bilangan prima yang telah ditandai. Bila digambarkan secara visual, bilangan prima terlihat berkumpul membentuk garis-garis diagonal tertentu dan bukan bentuk sebaliknya. Ini memperlihatkan bahwa terdapat beberapa polinomial kuadrat yang lebih sering menghasilkan nilai bilangan prima daripada polinomial lainnya.[103][104]
Dalam aljabar abstrak
Aritmetika modular dan lapangan berhingga
Aritmetika modular memodifikasi aritmetika biasa, hanya saja dengan menggunakan bilangan untuk bilangan asli yang disebut modulus. Bilangan asli lainnya dapat dipetakan ke dalam sistem ini dengan menggantinya dengan sisa setelah pembagian dengan .[105] Penjumlahan, pengurangan, dan perkalian modular dihitung dengan melakukan penggantian yang sama dengan sisa hasil penjumlahan, pengurangan, atau perkalian bilangan bulat.[106] Kesamaan bilangan bulat sesuai dengan kongruensi dalam aritmetika modular: dan adalah kongruen (ditulis mod ) ketika mereka memiliki sisa yang sama setelah dibagi dengan .[107] Namun, dalam sistem bilangan ini, pembagian dengan semua bilangan bukan nol dimungkinkan jika dan hanya jika modulusnya adalah prima. Misalnya, dengan bilangan prima sebagai modulus, pembagian dengan adalah dimungkinkan: karena kemungkinan menghapus penyebut dengan mengalikan kedua ruas dengan diberikan rumus yang valid . Namun, dengan modulus komposit , pembagian dengan adalah hal mustahil. Tidak ada solusi yang valid untuk : menghapus penyebut dengan mengalikan dengan menyebabkan ruas kiri menjadi sedangkan ruas kanan menjadi atau . Dalam terminologi aljabar abstrak, kemampuan untuk melakukan pembagian berarti bahwa modulo aritmetika modular bilangan prima membentuk lapangan atau lapangan berhingga, sedangkan modulus lainnya hanya memberikan gelanggang tetapi bukan sebuah lapangan.[108]
Beberapa teorema tentang bilangan prima dirumuskan menggunakan aritmetika modular. Misalnya, teorema kecil Fermat menyatakan bahwa jika (mod ), maka (mod ).[109] Menjumlahkan dari semua pilihan diberikan persamaan
valid jika adalah bilangan prima. Konjektur Giuga menyebutkan bahwa persamaan ini juga merupakan syarat yang cukup untuk menjadi prima.[110] Teorema Wilson menyebutkan bahwa sebuah bilangan bulat adalah bilangan prima jika dan hanya jika faktorial kongruen dengan mod . Untuk ini tidak berlaku, karena salah satu faktornya membagi dan , dan jadi adalah hal mustahil.[111]
Bilangan p-adik
Urutan -adik dari sebuah bilangan bulat adalah jumlah salinan dari dalam faktorisasi prima dari . Konsep yang sama diperluas dari bilangan bulat ke bilangan rasional dengan mendefinisikan urutan -adik dari pecahan menjadi . Nilai absolut -adik dari sembarang bilangan rasional kemudian didefinisikan sebagai . Mengalikan bilangan bulat dengan nilai absolut -adik-nya akan membatalkan faktor 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 -adik-nya, nilai absolut -adik dari selisihnya. Untuk definisi jarak ini, dua bilangan dikatakan berdekatan (memiliki jarak yang kecil) ketika selisihnya habis dibagi dengan pangkat yang tinggi. Dengan cara yang sama bahwa bilangan real dapat dibentuk dari bilangan rasional dan jaraknya, dengan menambahkan nilai pembatas ekstra untuk membentuk lapangan lengkap, bilangan rasional dengan jarak -adik diperluas ke lapangan lengkap yang berbeda.[112][113]
Urutan dari sebuah gambar, nilai absolut, dan lapangan lengkap yang diturunkan dari bilangan -adik digeneralisasikan ke lapangan bilangan aljabar dan penilaian-penilaian tersebut (pemetaan tertentu dari lapangan grup perkalian ke grup aditif terurut total disebut juga sebagai urutan), nilai absolut (pemetaan perkalian tertentu dari lapangan ke bilangan real disebut juga sebagai norma),[114] dan tempat (ekstensi ke lapangan lengkap di mana lapangan yang diberikan adalah himpunan rapat disebut juga sebagai pelengkapan).[115] 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 -adik dengan urutan dan nilai absolutnya adalah satu-satunya penilaian, nilai absolut, dan tempat pada bilangan rasional.[116] 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.[117]
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 dari sebuah gelanggang dikatakan bilangan prima jika adalah bilangan taknol, tidak mempunyai invers perkalian (yang berarti, gelanggang bukanlah sebuah unit), dan memenuhi syarat berikut: jika membagi hasil kali dari dua anggota , maka juga membagi setidaknya ataupun . 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,
Dalam sebuah gelanggang sembarang, semua anggota bilangan prima adalah taktereduksi. Kebalikannya tidak berlaku pada umumnya, tetapi berlaku untuk domain faktorisasi tunggal.[118]
Teorema dasar aritmetika tetap berlaku (menurut definisi) dalam domain faktorisasi tunggal. Contoh mengenai domain faktorisasi tunggal adalah bilangan bulat Gauss , gelanggang dari bilangan kompleks berbentuk di mana menyatakan satuan imajiner, dan 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 dan . 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.[119] Contoh tersebut merupakan akibat dari teorema Fermat tentang jumlah dari dua bilangan kuadrat, yang mengatakan bahwa sebuah bilangan prima ganjil dapat dinyatakan sebagai jumlah dari dua bilangan kuadrat, , dan demikian dapat difaktorkan sebagai , tepat ketika kongruen dengan 1 mod 4.[120]
Ideal prima
Tidak semua gelanggang merupakan ranah faktorisasi unik. Misalnya, dalam bilangan gelanggang (untuk bilangan bulat dan ) angka memiliki dua faktorisasi , 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.[121]
Spektrum gelanggang adalah ruang geometris yang titik-titiknya merupakan ideal prima dari gelanggang tersebut.[122] 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 lapangan 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 lapangan bilangan kuadrat dapat digunakan untuk penggunaan ketimbalbalikan kuadrat, pernyataan yang menyangkut keberadaan akar kuadrat modulo bilangan prima bilangan bulat.[123] 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.[124] Pertanyaan tentang berapa banyak bilangan prima bilangan bulat faktor menjadi darab dari beberapa ideal prima dalam lapangan 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.[125]
Teori grup
Dalam teori grup hingga, teorema Sylow menyiratkan bahwa jika perpangkatan bilangan prima membagi tingkat grup, maka grup memiliki subgrup tingkat . 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.[126]
Catatan
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
Referensi
- ↑ 51st Known Mersenne Prime Discovered. www.mersenne.org.
- ↑ Dhea Arokhman Yusufi Cahyo. Heuristic - For Mathematical Olympiad Approach. Math Heuristic. 2020-05-10. hlm. 18.
- ↑ Anne Henderson. Dyslexia, Dyscalculia and Mathematics: A practical guide. Routledge. 2014-06-20. hlm. 62. ISBN 978-1-136-63662-2.
- ↑ Irving Adler. The giant golden book of mathematics; exploring the world of numbers and space. New York, Golden Press. 1960.
- ↑ Lawrence S. Leff. Barron's math workbook for the SAT I. Barron's. 2000. ISBN 978-0-7641-0768-9.
- ↑ Dudley, Underwood (1978). "Section 2: Unique factorization". Elementary number theory (2nd ed.). W.H. Freeman and Co. hlm. 10. ISBN 978-0-7167-0076-0.
- ↑ Sierpiński, Wacław (1988). Elementary Theory of Numbers. North-Holland Mathematical Library. 31 (2nd ed.). Elsevier. hlm. 113. ISBN 978-0-08-096019-7.
- ↑ Günter M. Ziegler. The great prime number record races. Notices of the American Mathematical Society. 2004. Vol. 51 (4). hlm. 414–416.
- ↑ John Stillwell. Numbers and Geometry. Springer Science & Business Media. 1997-10-30. hlm. 9. ISBN 978-0-387-98289-2.
- ↑ Sierpiński, Wacław (1964). A Selection of Problems in the Theory of Numbers. New York: Macmillan. hlm. 40. MR 0170843.
- ↑ Melvyn B. Nathanson. Elementary Methods in Number Theory. Springer Science & Business Media. 2008-01-11. ISBN 978-0-387-22738-2.
- ↑ Theodore G. Faticoni. The Mathematics of Infinity: A Guide to Great Ideas. John Wiley & Sons. 2012-04-23. hlm. 44. ISBN 978-1-118-24382-4.
- ↑ Bruins, Evert Marie, review in Mathematical Reviews of R.J. Gillings. The recto of the Rhind Mathematical Papyrus. How did the ancient Egyptian scribe prepare it?. Archive for History of Exact Sciences. 1974. Vol. 12 (4). hlm. 291–298. doi:10.1007/BF01307175.
- ↑ John Stillwell. Mathematics and Its History. Springer. 2010. hlm. 40. ISBN 978-1-4419-6052-8.
- ↑ Carl Pomerance. The Search for Prime Numbers. Scientific American. December 1982. Vol. 247 (6). hlm. 136–147. doi:10.1038/scientificamerican1282-136.
- ↑ Richard A. Mollin. A brief history of factoring and primality testing B. C. (before computers). Mathematics Magazine. 2002. Vol. 75 (1). hlm. 18–29. doi:10.2307/3219180.
- ↑ sumber pada Wikipedia bahasa Indonesia
- ↑ Richard A. Mollin. A brief history of factoring and primality testing B. C. (before computers). Mathematics Magazine. 2002. Vol. 75 (1). hlm. 18–29. doi:10.2307/3219180.
- ↑ , 8. Fermat's Little Theorem (November 2003), hal. 45
- ↑ C. Edward Sandifer. How Euler Did Even More. Mathematical Association of America. 2014. hlm. 42. ISBN 978-0-88385-584-3.
- ↑ Thomas Koshy. Elementary Number Theory with Applications. Academic Press. 2002. hlm. 369. ISBN 978-0-12-421171-1.
- ↑ Wang Yuan. Goldbach Conjecture. World Scientific. 2002. Vol. 4. hlm. 21. ISBN 978-981-4487-52-8.
- ↑ John Stillwell. Mathematics and Its History. Springer. 2010. hlm. 40. ISBN 978-1-4419-6052-8.
- ↑ Wladyslaw Narkiewicz. The Development of Prime Number Theory: From Euclid to Hardy and Littlewood. Springer. 2000. hlm. 11. ISBN 978-3-540-66289-1.
- ↑ P. Tchebychev. Mémoire sur les nombres premiers. Journal de mathématiques pures et appliquées. 1852. hlm. 366–390.. (Proof of the postulate: 371–382). Also see Mémoires de l'Académie Impériale des Sciences de St. Pétersbourg, vol. 7, pp. 15–33, 1854
- ↑ Tom M. Apostol. Number Theory. Birkhäuser. 2000. hlm. 1–14.
- ↑ Tom M. Apostol. Introduction to Analytic Number Theory. Springer-Verlag. 1976. hlm. 146–156.
- ↑ Jean-Luc Chabert. A History of Algorithms: From the Pebble to the Microchip. Springer. 2012. hlm. 261. ISBN 978-3-642-18192-4.
- ↑ Kenneth H. Rosen. Elementary Number Theory and Its Applications. Addison-Wesley. 2000. hlm. 342. ISBN 978-0-201-87073-2.
- ↑ Richard A. Mollin. A brief history of factoring and primality testing B. C. (before computers). Mathematics Magazine. 2002. Vol. 75 (1). hlm. 18–29. doi:10.2307/3219180.
- ↑ Günter M. Ziegler. The great prime number record races. Notices of the American Mathematical Society. 2004. Vol. 51 (4). hlm. 414–416.
- ↑ , hal. 245.
- ↑ James S. Kraft. Elementary Number Theory. CRC Press. 2014. hlm. 7. ISBN 978-1-4987-0269-0.
- ↑ Carl Pomerance. The Search for Prime Numbers. Scientific American. December 1982. Vol. 247 (6). hlm. 136–147. doi:10.1038/scientificamerican1282-136.
- ↑ Craig P. Bauer. Secret History: The Story of Cryptology. CRC Press. 2013. hlm. 468. ISBN 978-1-4665-6186-1.
- ↑ Victor Klee. Old and New Unsolved Problems in Plane Geometry and Number Theory. Cambridge University Press. 1991. Vol. 11. hlm. 224. ISBN 978-0-88385-315-3.
- ↑ , pp. 18, 47.
- ↑ Chris K. Caldwell. The history of the primality of one: a selection of sources. Journal of Integer Sequences. 2012. Vol. 15 (9). hlm. Article 12.9.8. For a selection of quotes from and about the ancient Greek positions on this issue, see in particular pp. 3–4. For the Islamic mathematicians, see p. 6.
- ↑ Leonardo Tarán. Speusippus of Athens: A Critical Study With a Collection of the Related Texts and Commentary. Brill. 1981. Vol. 39. hlm. 35–38. ISBN 978-90-04-06505-5.
- ↑ Chris K. Caldwell. The history of the primality of one: a selection of sources. Journal of Integer Sequences. 2012. Vol. 15 (9). hlm. Article 12.9.8. For a selection of quotes from and about the ancient Greek positions on this issue, see in particular pp. 3–4. For the Islamic mathematicians, see p. 6.
- ↑ , pp. 7–13. See in particular the entries for Stevin, Brancker, Wallis, and Prestet.
- ↑ , p. 15.
- ↑ Chris K. Caldwell. What is the smallest prime?. Journal of Integer Sequences. 2012. Vol. 15 (9). hlm. Article 12.9.7.
- ↑ Hans Riesel. Prime Numbers and Computer Methods for Factorization. Birkhäuser. 1994. hlm. 36. doi:10.1007/978-1-4612-0251-6. ISBN 978-0-8176-3743-9.
- ↑ John Horton Conway. The Book of Numbers. Copernicus. 1996. hlm. 129–130. doi:10.1007/978-1-4612-4072-3. ISBN 978-0-387-97993-9.
- ↑ Chris K. Caldwell. What is the smallest prime?. Journal of Integer Sequences. 2012. Vol. 15 (9). hlm. Article 12.9.7.
- ↑ John Horton Conway. The Book of Numbers. Copernicus. 1996. hlm. 129–130. doi:10.1007/978-1-4612-4072-3. ISBN 978-0-387-97993-9.
- ↑ For the totient, see , p. 245. For the sum of divisors, see C. Edward Sandifer. How Euler Did It. Mathematical Association of America. 2007. hlm. 59. ISBN 978-0-88385-563-8.
- ↑ Chris K. Caldwell. What is the smallest prime?. Journal of Integer Sequences. 2012. Vol. 15 (9). hlm. Article 12.9.7.
- ↑ Karl J. Smith. The Nature of Mathematics. Cengage Learning. 2011. hlm. 188. ISBN 978-0-538-73758-6.
- ↑ , Section 2, Theorem 2, p. 16; Vicky Neale. Closing the Gap: The Quest to Understand Prime Numbers. Oxford University Press. 2017. ISBN 978-0-19-109243-5.
- ↑ Marcus du Sautoy. The Music of the Primes: Searching to Solve the Greatest Mystery in Mathematics. Harper Collins. 2003. hlm. 23. ISBN 978-0-06-093558-0.
- ↑ , Section 2, Lemma 5, p. 15; Peter M. Higgins. Mathematics for the Curious. Oxford University Press. 1998. hlm. 77–78. ISBN 978-0-19-150050-3.
- ↑ Joseph J. Rotman. A First Course in Abstract Algebra. Prentice Hall. 2000. ISBN 978-0-13-011584-3.
- ↑ Letter in Latin from Goldbach to Euler, July 1730.
- ↑ Harry Furstenberg. On the infinitude of primes. American Mathematical Monthly. 1955. Vol. 62 (5). hlm. 353. doi:10.2307/2307043.
- ↑ Paulo Ribenboim. The little book of bigger primes. Springer-Verlag. 2004. hlm. 4. ISBN 978-0-387-20169-6.
- ↑ Euclid's Elements, Book IX, Proposition 20. See David Joyce's English translation of Euclid's proof or James Williamson. The Elements of Euclid, With Dissertations. Clarendon Press. 1782. hlm. 63.
- ↑ Ilan Vardi. Computational Recreations in Mathematica. Addison-Wesley. 1991. hlm. 82–89. ISBN 978-0-201-52989-0.
- ↑ Matiyasevich, Yuri V. (1999). "Formulas for prime numbers". In Tabachnikov, Serge (ed.). Kvant Selecta: Algebra and Analysis. Vol. II. American Mathematical Society. hlm. 13–24. ISBN 978-0-8218-1915-9.
- ↑ Nick Mackinnon. Prime number formulae. The Mathematical Gazette. June 1987. Vol. 71 (456). hlm. 113–114. doi:10.2307/3616496.
- ↑ Yuri V. Matiyasevich. Kvant Selecta: Algebra and Analysis. American Mathematical Society. 1999. Vol. II. hlm. 13–24. ISBN 978-0-8218-1915-9.
- ↑ Wright, E.M. (1951). "A prime-representing function". American Mathematical Monthly. 58 (9): 616–618. doi:10.2307/2306356. JSTOR 2306356
- ↑ Matiyasevich, Yuri V. (1999). "Formulas for prime numbers". In Tabachnikov, Serge (ed.). Kvant Selecta: Algebra and Analysis. Vol. II. American Mathematical Society. hlm. 13–24. ISBN 978-0-8218-1915-9.
- ↑ , hlm. vii.
- ↑ , C1 Goldbach's conjecture, hlm. 105–107.
- ↑ Tomás Oliveira e Silva. Empirical verification of the even Goldbach conjecture and computation of prime gaps up to 4\cdot10^{18}. Mathematics of Computation. 2014. Vol. 83 (288). hlm. 2033–2060. doi:10.1090/S0025-5718-2013-02787-1.
- ↑ , 3.1 Structure and randomness in the prime numbers, pp. 239–247. See especially p. 239.
- ↑ , p. 159.
- ↑ Olivier Ramaré. On Šnirel'man's constant. Annali della Scuola Normale Superiore di Pisa. 1995. Vol. 22 (4). hlm. 645–706.
- ↑ Michael Th. Rassias. Goldbach's Problem: Selected Topics. Springer. 2017. hlm. vii. doi:10.1007/978-3-319-57914-6. ISBN 978-3-319-57912-2.
- ↑ , Theorem 2.14, p. 109. gives a similar argument using the primorial in place of the factorial.
- ↑ sumber pada Wikipedia bahasa Indonesia
- ↑ sumber pada Wikipedia bahasa Indonesia
- ↑ , Gaps between primes, pp. 186–192.
- ↑ , Gaps between primes, pp. 186–192.
- ↑ , p. 183.
- ↑ Joel Chan. Prime time!. Math Horizons. February 1996. Vol. 3 (3). hlm. 23–25. doi:10.1080/10724117.1996.11974965. Note that Chan lists Legendre's conjecture as "Sierpinski's Postulate".
- ↑ , p. 183.
- ↑ , Gaps between primes, pp. 186–192.
- ↑ , Prime -tuples conjecture, pp. 201–202.
- ↑ , Chapter 35, Estimating the Basel problem, pp. 205–208.
- ↑ C.S. Ogilvy. Excursions in Number Theory. Dover Publications Inc. 1988. hlm. 29–35. ISBN 978-0-486-25778-5.
- ↑ , Section 1.6, Theorem 1.13
- ↑ , Section 4.8, Theorem 4.12
- ↑ Steven J. Miller. An Invitation to Modern Number Theory. Princeton University Press. 2006. hlm. 43–44. ISBN 978-0-691-12060-7.
- ↑ Steven J. Miller. An Invitation to Modern Number Theory. Princeton University Press. 2006. hlm. 43–44. ISBN 978-0-691-12060-7.
- ↑ , hlm. 6.
- ↑ , p. 10.
- ↑ Marcus du Sautoy. The Number Mysteries: A Mathematical Odyssey through Everyday Life. St. Martin's Press. 2011. hlm. 50–52. ISBN 978-0-230-12028-0.
- ↑ , Section 4.6, Theorem 4.7
- ↑ , "Large gaps between consecutive primes", pp. 78–79.
- ↑ , p. 10.
- ↑ I.M. Gelfand. Algebra. Springer. 2003. hlm. 37. ISBN 978-0-8176-3677-7.
- ↑ Richard A. Mollin. Fundamental Number Theory with Applications. CRC Press. 1997. hlm. 76. ISBN 978-0-8493-3987-5.
- ↑ , Theorem 1.1.5, p. 12.
- ↑ , hlm. 18, 47.
- ↑ Ben Green. The primes contain arbitrarily long arithmetic progressions. Annals of Mathematics. 2008. Vol. 167 (2). hlm. 481–547. doi:10.4007/annals.2008.167.481.
- ↑ L. K. Hua. Additive Theory of Prime Numbers. American Mathematical Society. 2009. Vol. 13. hlm. 176–177. ISBN 978-0-8218-4942-2.
- ↑ The sequence of these primes, starting at n=1 rather than , is listed by Paolo Pietro Lava. 103 curiosità matematiche: Teoria dei numeri, delle cifre e delle relazioni nella matematica contemporanea. Ulrico Hoepli Editore S.p.A. 2010. hlm. 133. ISBN 978-88-203-5804-4.
- ↑ Marc Chamberland. Single Digits: In Praise of Small Numbers. Princeton University Press. 2015. hlm. 213–215. ISBN 978-1-4008-6569-7.
- ↑ Richard Guy. Unsolved Problems in Number Theory. Springer. 2013. hlm. 7–10. ISBN 978-0-387-26677-0.
- ↑ Richard Guy. Unsolved Problems in Number Theory. Springer. 2013. hlm. 7–10. ISBN 978-0-387-26677-0.
- ↑ M.L. Stein. A Visual Display of Some Properties of the Distribution of Primes. The American Mathematical Monthly. 1964. Vol. 71 (5). hlm. 516–520. doi:10.2307/2312588.
- ↑ , Proposisi 5.3, hal. 96.
- ↑ Shahriar Shahriari. Algebra in Action: A Course in Groups, Rings, and Fields. American Mathematical Society. 2017. Vol. 27. hlm. 20–21. ISBN 978-1-4704-2849-5.
- ↑ , Teorema 3, hal. 28.
- ↑ , hal. 27–28.
- ↑ , Teorema kecil Fermat dan akar primitif modulo a prima, hal. 17–21.
- ↑ , The property of Giuga, hal. 21–22.
- ↑ , The theorem of Wilson, hal. 21.
- ↑ Nancy Childress. Class Field Theory. Springer, New York. 2009. hlm. 8–11. doi:10.1007/978-0-387-72490-4. ISBN 978-0-387-72489-8. Lihat pula hal. 64.
- ↑ Marty Erickson. Introduction to Number Theory. CRC Press. 2016. hlm. 200. ISBN 978-1-4987-1749-6.
- ↑ Nancy Childress. Class Field Theory. Springer, New York. 2009. hlm. 8–11. doi:10.1007/978-0-387-72490-4. ISBN 978-0-387-72489-8. Lihat pula hal. 64.
- ↑ André Weil. Basic Number Theory. Springer-Verlag. 1995. hlm. 43. ISBN 978-3-540-58655-5. Namun perhatikan bahwa beberapa penulis seperti malah menggunakan "tempat" untuk mengartikan kelas norma yang setara.
- ↑ Nancy Childress. Class Field Theory. Springer, New York. 2009. hlm. 8–11. doi:10.1007/978-0-387-72490-4. ISBN 978-0-387-72489-8. Lihat pula hal. 64.
- ↑ H. Koch. Algebraic Number Theory. Springer-Verlag. 1997. hlm. 136. doi:10.1007/978-3-642-58095-6. ISBN 978-3-540-63003-6.
- ↑ Niels Lauritzen. Concrete Abstract Algebra: From numbers to Gröbner bases. Cambridge University Press. 2003. hlm. 127. doi:10.1017/CBO9780511804229. ISBN 978-0-521-53410-9.
- ↑ , Corollary 3.5.14, p. 133; Lemma 3.5.18, p. 136.
- ↑ , Section 12.1, Sums of two squares, pp. 297–301.
- ↑ David Eisenbud. Commutative Algebra. Springer-Verlag. 1995. Vol. 150. doi:10.1007/978-1-4612-5350-1. ISBN 978-0-387-94268-1.
- ↑ Igor R. Shafarevich. Basic Algebraic Geometry 2: Schemes and Complex Manifolds. Springer, Heidelberg. 2013. hlm. 5. doi:10.1007/978-3-642-38010-5. ISBN 978-3-642-38009-9.
- ↑ Jürgen Neukirch. Algebraic Number Theory. Springer-Verlag. 1999. Vol. 322. doi:10.1007/978-3-662-03983-0. ISBN 978-3-540-65399-8.
- ↑ , Bagian I.7, hal. 38
- ↑ P. Stevenhagen. Chebotarëv and his density theorem. The Mathematical Intelligencer. 1996. Vol. 18 (2). hlm. 26–37. doi:10.1007/BF03027290.
- ↑ Hall, Marshan (2018), The Theory of Groups. Dover Books on Mathematics. Courier Dover Publications. ISBN 978-0-486-81690-6. Untuk teorema Sylow. lihat hlm. 43. Untuk teorema Lagrange, lihat hlm. 12. Untuk teorema Burnside, lihat hlm. 143.
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 29303870 (2026-06-01T13:11:52Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.