Bilangan prima: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Dedhert.Jr (bicara | kontrib) →Dalam aljabar abstrak: sum, difference, and products, diartikan penjumlahan, pengurangan, dan perkalian (biar lebih paham bagi para pembaca) |
Tidak ada ringkasan suntingan |
||
(15 revisi perantara oleh 12 pengguna tidak ditampilkan) | |||
Baris 1:
[[Berkas:Primes-vs-composites.svg|al=Groups of two to twelve dots, showing that the composite numbers of dots (4, 6, 8, 9, 10, and 12) can be arranged into rectangles but prime numbers cannot|jmpl|Bilangan komposit dapat disusun menjadi [[persegi panjang]], sedangkan bilangan prima tidak dapat.]]
'''Bilangan prima''' adalah [[bilangan asli]] lebih dari 1 yang bukan [[
Sifat-sifat yang menjadikan bilangan prima disebut '''primalitas'''. Metode sederhana namun 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 namun memiliki kesempatan galat kecil; dan [[uji primalitas Agrawal–Kayal–Saxena]], algoritma yang selalu memberikan solusi yang benar dalam [[waktu polinomial]], namun sangat lambat bila dipraktekkan. 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>{{Cite web|title=51st Known Mersenne Prime Discovered|url=https://www.mersenne.org/primes/press/M82589933.html|website=www.mersenne.org|access-date=21 Desember 2018}}</ref>
Sekitar 300 SM, [[Teorema Euklides|Euklides
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 [[Teori bilangan analitik|analitik]] atau bilangan [[Teori bilangan aljabar|aljabar]]. Dalam kehidupan sehari-hari, bilangan prima dipakai dalam [[teknologi informasi]], seperti [[kriptografi kunci publik]], yang bergantung pada kesulitan memfaktorkan bilangan yang lebih besar menjadi faktor bilangan prima. Dalam [[aljabar abstrak]], objek yang umumnya berperilaku sebagai bilangan prima di antaranya [[elemen bilangan prima]] dan [[ideal bilangan prima]].
== Definisi dan contoh ==
[[Bilangan asli]] (1, 2, 3, 4, 5, dst.) dapat dikatakan bilangan prima jika dan hanya jika bilangan asli itu lebih besar dari 1 dan tidak dapat ditulis sebagai hasil kali bilangan asli yang lebih kecil. Bilangan asli yang lebih dari 1, namun bukan merupakan bilangan prima disebut [[bilangan komposit]].<ref>{{Cite book|last=Cahyo|first=Dhea Arokhman Yusufi|date=2020-05-10|url=https://books.google.com/books?id=OJriDwAAQBAJ&newbks=0&printsec=frontcover&pg=PA18&dq=definisi+bilangan+prima&hl=id|title=Heuristic - For Mathematical Olympiad Approach|publisher=Math Heuristic|pages=18|language=id|url-status=live}}</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>{{Cite book|last=Henderson|first=Anne|date=2014-06-20|url=https://books.google.co.id/books?id=uy-yGVRUilMC&pg=PA62&redir_esc=y#v=onepage&q&f=false|title=Dyslexia, Dyscalculia and Mathematics: A practical guide|publisher=Routledge|isbn=978-1-136-63662-2|pages=62|language=en|url-status=live}}</ref> Bilangan prima juga diilustrasikan sebagai susunan <math>n</math> titik menjadi persegi panjang yang lebar dan tingginya lebih dari satu titik.<ref>{{Cite book|last=Adler|first=Irving|date=1960|url=http://archive.org/details/giantgoldenbooko00adle|title=The giant golden book of mathematics; exploring the world of numbers and space|publisher=New York, Golden Press|others=Internet Archive}}</ref> Misalnya, bilangan di antara 1 sampai 6, bilangan primanya adalah 2, 3, dan 5;<ref>{{Cite book|last=Lawrence S. Leff|date=2000|url=http://archive.org/details/barronsmathworkb00leff_0|title=Barron's math workbook for the SAT I|publisher=Barron's|isbn=978-0-7641-0768-9|others=Internet Archive}}</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.
[[Berkas:Prime_number_Cuisenaire_rods_7.png|jmpl|260x260px|Gambaran melalui [[batang Cuisenaire]] bahwa 7 adalah bilangan prima. Karena 2, 3, 4, 5, atau 6 yang tidak dapat membagi 7 secara merata.]]
[[Pembagi]] 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 sebuah definisi bilangan prima yang berbeda namun ekuivalen: terdapat bilangan setidaknya dua pembagi bilangan positif, 1 dan dirinya sendiri.<ref>[[Underwood Dudley|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]". ''[[iarchive:
Berikut adalah 25 bilangan prima pertama (semua bilangan prima yang lebih kecil dari 100):<ref name="ziegler2">{{cite journal|last=Ziegler|first=Günter M.|author-link=Günter M. Ziegler|year=2004|title=The great prime number record races|journal=[[Notices of the American Mathematical Society]]|volume=51|issue=4|pages=414–416|mr=2039814}}</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]] {{OEIS|A000040}}.
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>{{Cite book|last=Stillwell|first=John|date=1997-10-30|url=https://books.google.com/books?id=4elkHwVS0eUC&pg=PA9|title=Numbers and Geometry|publisher=Springer Science & Business Media|isbn=978-0-387-98289-2|pages=9|language=en|url-status=live}}</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>[[Waclaw Sierpiński|Sierpiński, Wacław]] (1964). ''[[iarchive:selectionproblem00sier|A Selection of Problems in the Theory of Numbers]]''. New York: Macmillan. hlm. [[iarchive:selectionproblem00sier/page/n37|40]]. MR [https://mathscinet.ams.org/mathscinet-getitem?mr=0170843 0170843].</ref>
Baris 27:
[[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 {{cite journal | last = Gillings | first = R.J. | doi = 10.1007/BF01307175 | journal = Archive for History of Exact Sciences | mr = 0497458 | pages = 291–298 | title = The recto of the Rhind Mathematical Papyrus. How did the ancient Egyptian scribe prepare it? | volume = 12 | issue = 4 | year = 1974| s2cid = 121046003 }}</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 name="stillwell-2010-p40">{{cite book|title=Mathematics and Its History|series=Undergraduate Texts in Mathematics|first=John|last=Stillwell|author-link=John Stillwell|edition=3rd|publisher=Springer|year=2010|isbn=978-1-4419-6052-8|page=40|url=https://books.google.com/books?id=V7mxZqjs5yUC&pg=PA40}}</ref> Penemuan Yunani lainnya yaitu [[tapis Eratosthenes]] masih digunakan untuk menyusun daftar bilangan prima.<ref name="pomerance-sciam">{{cite journal|title=The Search for Prime Numbers|first=Carl|last=Pomerance|author-link=Carl Pomerance|journal=[[Scientific American]]|volume=247|issue=6|date=December 1982|pages=136–147|jstor=24966751|doi=10.1038/scientificamerican1282-136|bibcode=1982SciAm.247f.136P}}</ref><ref name="mollin">{{cite journal | last = Mollin | first = Richard A. | doi = 10.2307/3219180 | issue = 1 | journal = Mathematics Magazine | mr = 2107288 | pages = 18–29 | title = A brief history of factoring and primality testing B. C. (before computers) | volume = 75 | year = 2002| jstor = 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>{{MacTutor Biography|id=Al-Haytham|title=Abu Ali al-Hasan ibn al-Haytham|mode=cs1}}</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 name="mollin"/>
Pada 1640, [[Pierre de Fermat]] menyatakan [[teorema kecil Fermat]] tanpa bukti, yang kemudian dibuktikan oleh [[Gottfried Wilhelm Leibniz|Leibniz]] dan [[Leonhard Euler|Euler]].<ref>{{harvnb|Sandifer|2007}}, [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>{{cite book|title=How Euler Did Even More|first=C. Edward|last=Sandifer|publisher=Mathematical Association of America|year=2014|isbn=978-0-88385-584-3|page=42|url=https://books.google.com/books?id=3c6iBQAAQBAJ&pg=PA42}}</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>{{cite book|title=Elementary Number Theory with Applications|first=Thomas|last=Koshy|publisher=Academic Press|year=2002|isbn=978-0-12-421171-1|page=369|url=https://books.google.com/books?id=-9pg-4Pa19IC&pg=PA369}}</ref> Dalam surat tahun 1742 untuk Euler, [[Christian Goldbach]] merumuskan [[konjektur Goldbach]], bahwa setiap bilangan genap adalah jumlah dari dua bilangan prima.<ref>{{cite book|title=Goldbach Conjecture|edition=2nd|volume=4|series=Series In Pure Mathematics|first=Wang|last=Yuan|publisher=World Scientific|year=2002|isbn=978-981-4487-52-8|page=21|url=https://books.google.com/books?id=g4jVCgAAQBAJ&pg=PA21}}</ref> Euler membuktikan konjektur Alhazen (yang saat ini disebut [[teorema Euklides–Euler]]) bahwa semua bilangan sempurna genap dapat dibangun dari bilangan prima Mersenne.<ref name="stillwell-2010-p40"/> 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>{{cite book|last=Narkiewicz|first=Wladyslaw|year=2000|title=The Development of Prime Number Theory: From Euclid to Hardy and Littlewood|publisher=Springer|isbn=978-3-540-66289-1|series=Springer Monographs in Mathematics|page=11|contribution=1.2 Sum of Reciprocals of Primes|contribution-url=https://books.google.com/books?id=VVr3EuiHU0YC&pg=PA11}}</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>, dimana <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>{{cite journal|last=Tchebychev|first=P.|author-link=Pafnuty Chebyshev|year=1852|title=Mémoire sur les nombres premiers.|url=http://sites.mathdoc.fr/JMPA/PDF/JMPA_1852_1_17_A19_0.pdf|journal=Journal de mathématiques pures et appliquées|series=Série 1|language=fr|pages=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, namun 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>{{cite book|last=Apostol|first=Tom M.|year=2000|title=Number Theory|location=Basel|publisher=Birkhäuser|editor1-last=Bambah|editor1-first=R.P.|series=Trends in Mathematics|pages=1–14|contribution=A centennial history of the prime number theorem|mr=1764793|author-link=Tom M. Apostol|editor2-last=Dumir|editor2-first=V.C.|editor3-last=Hans-Gill|editor3-first=R.J.|contribution-url=https://books.google.com/books?id=aiDyBwAAQBAJ&pg=PA1}}</ref> Hasil penting lainnya pada abad ke-19 adalah [[teorema Dirichlet tentang barisan aritmetika]], [[barisan aritmetika]] pasti memuat tak berhingga banyaknya bilangan prima.<ref>{{cite book|last=Apostol|first=Tom M.|year=1976|title=Introduction to Analytic Number Theory|location=New York; Heidelberg|publisher=Springer-Verlag|pages=146–156|contribution=7. Dirichlet's Theorem on Primes in Arithmetical Progressions|mr=0434929|author-link=Tom M. Apostol|contribution-url=https://books.google.com/books?id=3yoBCAAAQBAJ&pg=PA146}}</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>{{cite book|last=Chabert|first=Jean-Luc|year=2012|url=https://books.google.com/books?id=XcDqCAAAQBAJ&pg=PA261|title=A History of Algorithms: From the Pebble to the Microchip|publisher=Springer|isbn=978-3-642-18192-4|page=261}}</ref> [[teorema Proth]] (sekitar 1878),<ref>{{cite book|last=Rosen|first=Kenneth H.|year=2000|title=Elementary Number Theory and Its Applications|url=https://archive.org/details/elementarynumber0000rose_q4e9|publisher=Addison-Wesley|isbn=978-0-201-87073-2|edition=4th|page=[https://archive.org/details/elementarynumber0000rose_q4e9/page/342 342]|contribution=Theorem 9.20. Proth's Primality Test}}</ref> [[uji primalitas Lucas–Lehmer]] (berasal dari 1856), dan [[uji primalitas Lucas]] rampat.<ref name="mollin2">{{cite journal|last=Mollin|first=Richard A.|year=2002|title=A brief history of factoring and primality testing B. C. (before computers)|journal=Mathematics Magazine|volume=75|issue=1|pages=18–29|doi=10.2307/3219180|jstor=3219180|mr=2107288}}</ref>
Sejak tahun 1951, semua [[bilangan prima terbesar yang diketahui]] telah ditemukan menggunakan uji ini pada [[komputer]].{{efn|Sebuah bilangan prima 44-digit yang ditemukan pada tahun 1951 oleh Aimé Ferrier dengan kalkulator mekanik tetap merupakan bilangan prima terbesar yang tidak ditemukan dengan bantuan komputer elektronik.<ref>{{cite book|title=The Once and Future Turing|first1=S. Barry|last1=Cooper|first2=Andrew|last2=Hodges|publisher=Cambridge University Press|year=2016|isbn=978-1-107-01083-3|pages=37–38|url=https://books.google.com/books?id=h12cCwAAQBAJ&pg=PA37}}</ref>}} Pencarian bilangan prima besar telah membangkitkan minat pada luar lingkaran matematika, melalui [[Great Internet Mersenne Prime Search]] dan proyek [[komputasi distribusi]] lainnya.<ref name="ziegler2" /><ref>{{harvnb|Rosen|2000}}, hal. 245.</ref> Gagasan bahwa bilangan prima memiliki beberapa penerapan diluar [[matematika murni]],{{efn|name="pure"|Misalnya, Beiler menulis bahwa ahli teori bilangan [[Ernst Kummer]] menyukai [[bilangan ideal]] miliknya, yang terkait erat dengan bilangan prima, "karena mereka tidak mengotori diri mereka dengan aplikasi praktis apa pun",<ref>{{cite book|title=Recreations in the Theory of Numbers: The Queen of Mathematics Entertains|first=Albert H.|last=Beiler|year=1999|publisher=Dover|orig-year=1966|isbn=978-0-486-21096-4|page=2|url=https://books.google.com/books?id=NbbbL9gMJ88C&pg=PA2|oclc=444171535}}</ref> bahkan Katz menulis bahwa [[Edmund Landau]] yang dikenal karena karyanya tentang distribusi bilangan prima yaitu "''loathed practical applications of mathematics''" dan untuk alasan tersebut untuk menghindari subjek seperti [[geometri]] yang telah terbukti berguna.<ref>{{cite journal | last = Katz | first = Shaul | doi = 10.1017/S0269889704000092 | issue = 1–2 | journal = Science in Context | mr = 2089305 | pages = 199–234 | title = Berlin roots – Zionist incarnation: the ethos of pure mathematics and the beginnings of the Einstein Institute of Mathematics at the Hebrew University of Jerusalem | volume = 17 | year = 2004| s2cid = 145575536 }}</ref>}} sekitar tahun 1970-an ketika [[kriptografi kunci publik]] dan [[RSA (sistem kripto)|RSA]] sistem kripto ditemukan dengan menggunakan bilangan prima sebagai basisnya.<ref name="ent-7">{{cite book|title=Elementary Number Theory|series=Textbooks in mathematics|first1=James S.|last1=Kraft|first2=Lawrence C.|last2=Washington|publisher=CRC Press|year=2014|isbn=978-1-4987-0269-0|page=7|url=https://books.google.com/books?id=4NAqBgAAQBAJ&pg=PA7}}</ref>
Baris 67:
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>{{Cite journal|last1=Furstenberg|first1=Harry|year=1955|title=On the infinitude of primes|journal=[[American Mathematical Monthly]]|volume=62|issue=5|pages=353|doi=10.2307/2307043|jstor=2307043|mr=0068566|author1-link=Hillel Furstenberg}}</ref> dan bukti elegan [[Ernst Kummer|Kummer]].<ref>{{cite book|last1=Ribenboim|first1=Paulo|year=2004|url=https://books.google.com/books?id=SvnTBwAAQBAJ&pg=PA5|title=The little book of bigger primes|location=Berlin; New York|publisher=Springer-Verlag|isbn=978-0-387-20169-6|page=4|author1-link=Paulo Ribenboim}}</ref>
[[Teorema Euler|Bukti Euler]]<ref>[[Euclid's Elements|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 {{cite book|last=Williamson|first=James|year=1782|url=https://babel.hathitrust.org/cgi/pt?id=umn.31951000084215o;view=1up;seq=95|title=The Elements of Euclid, With Dissertations|location=Oxford|publisher=[[Clarendon Press]]|page=63|oclc=642232959}}</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>.
Baris 85:
=== Rumus untuk bilangan prima ===
{{Main|Rumus untuk bilangan prima}}
Tidak ada rumus cepat yang diketahui untuk bilangan prima. Contoh, tidak ada [[polinomial]] takkonstan, bahkan dalam beberapa variabel, yang ''hanya'' memakai nilai bilangan prima.<ref>[[Yuri Matiyasevich|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 [[Serge Tabachnikov|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>{{cite journal | last = Mackinnon | first = Nick | date = June 1987 | doi = 10.2307/3616496 | issue = 456 | pages = 113–114 | journal = [[The Mathematical Gazette]] | title = Prime number formulae | volume = 71| jstor = 3616496 }}</ref> Adapula himpunan [[persamaan Diophantus]] dalam sembilan variabel dan satu parameter dengan sifat berikut: parameter adalah bilangan prima [[jika dan hanya jika]] sistem persamaan yang dihasilkan adalah solusi bilangan asli. Hal tersebut dapat dipakai untuk memperoleh rumus tunggal dengan sifat bahwa semua nilai ''positif'' adalah bilangan prima.<ref name="matiyasevich">{{cite book | last = Matiyasevich | first = Yuri V. | author-link = Yuri Matiyasevich | year=1999 | chapter = Formulas for prime numbers | chapter-url=https://books.google.com/books?id=oLKlk5o6WroC&pg=PA13 | editor1-first=Serge | editor1-last = Tabachnikov | editor-link1=Sergei Tabachnikov| title = Kvant Selecta: Algebra and Analysis | volume = II | publisher = [[American Mathematical Society]] | isbn = 978-0-8218-1915-9 | pages=13–24}}</ref>
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 94:
=== Pertanyaan terbuka ===
Banyak konjektur yang melibatkan bilangan prima telah diajukan. Seringkali 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>{{harvnb|Guy|2013}}, [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>{{harvnb|Guy|2013}}, [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>{{cite journal|last1=Oliveira e Silva|first1=Tomás|last2=Herzog|first2=Siegfried|last3=Pardi|first3=Silvio|year=2014|title=Empirical verification of the even Goldbach conjecture and computation of prime gaps up to <math>4\cdot10^{18}</math>|journal=[[Mathematics of Computation]]|volume=83|issue=288|pages=2033–2060|doi=10.1090/S0025-5718-2013-02787-1|mr=3194140|doi-access=free}}</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>{{harvnb|Tao|2009}}, [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>{{harvnb|Guy|2013}}, p. 159.</ref> serta suatu bilangan bulat genap yang lebih besar dari 10 dapat ditulis sebagai jumlah dari enam bilangan prima.<ref>{{cite journal|last=Ramaré|first=Olivier|year=1995|title=On Šnirel'man's constant|url=https://www.numdam.org/item?id=ASNSP_1995_4_22_4_645_0|journal=Annali della Scuola Normale Superiore di Pisa|volume=22|issue=4|pages=645–706|mr=1375315|access-date=2022-03-13|archive-date=2022-02-09|archive-url=https://web.archive.org/web/20220209175544/http://www.numdam.org/item/?id=ASNSP_1995_4_22_4_645_0|dead-url=yes}}</ref> Cabang teori bilangan yang mempelajari masalah tersebut disebut [[teori bilangan aditif]].<ref>{{cite book|last=Rassias|first=Michael Th.|year=2017|url=https://books.google.com/books?id=ibwpDwAAQBAJ&pg=PP6|title=Goldbach's Problem: Selected Topics|location=Cham|publisher=Springer|isbn=978-3-319-57912-2|page=vii|doi=10.1007/978-3-319-57914-6|mr=3674356}}</ref>
== Sifat-sifat analitik ==
Baris 148:
===Aritmetika modular dan medan berhingga===
{{Main|Aritmetika modular}}
[[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>.<ref>{{harvtxt|Kraft|Washington|2014}}, [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>{{cite book|title=Algebra in Action: A Course in Groups, Rings, and Fields|volume=27|series=Pure and Applied Undergraduate Texts|first=Shahriar|last=Shahriari|author-link= Shahriar Shahriari |publisher=American Mathematical Society|year=2017|isbn=978-1-4704-2849-5|pages=20–21|url=https://books.google.com/books?id=GJwxDwAAQBAJ&pg=PA20}}</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>.<ref>{{harvnb|Dudley|1978}}, [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|aritmatika]] modular bilangan prima membentuk [[medan (matematika)|medan]] atau [[medan berhingga]], sedangkan modulus lainnya hanya memberikan [[gelanggang (matematika)|gelanggang]] tetapi bukan sebuah medan.<ref>{{harvnb|Shahriari|2017}}, [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>).<ref>{{harvnb|Ribenboim|2004}}, Teorema kecil Fermat dan akar primitif modulo a prima, hal. 17–21.</ref> Menjumlahkan dari semua pilihan <math>a</math> diberikan persamaan
Baris 160:
===Bilangan ''p''-adik===
{{main|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 [[medan lengkap]], bilangan rasional dengan jarak <math>p</math>-adik diperluas ke medan lengkap yang berbeda<!--[[bilangan P-adik|bilangan <math>p</math>-adik]]-->.<ref name="childress"/><ref>{{cite book | last1 = Erickson | first1 = Marty | last2 = Vazzana | first2 = Anthony | last3 = Garth | first3 = David | edition = 2nd | isbn = 978-1-4987-1749-6 | mr = 3468748 | page = 200 | publisher = CRC Press | location = Boca Raton, FL | series = Textbooks in Mathematics | title = Introduction to Number Theory | url = https://books.google.com/books?id=QpLwCgAAQBAJ&pg=PA200 | year = 2016}}</ref>
Urutan dari sebuah gambar, nilai absolut, dan medan lengkap yang diturunkan dari bilangan <math>p</math>-adik digeneralisasikan ke [[medan bilangan aljabar]] dan [[Penilaian (aljabar)|penilaian-penilaian]] tersebut (pemetaan tertentu dari Medan [[grup perkalian]] ke [[grup terurut total|grup aditif terurut total]] disebut juga sebagai urutan), [[Nilai absolut (aljabar)|nilai absolut]] (pemetaan perkalian tertentu dari medan ke bilangan real disebut juga sebagai norma),<ref name="childress">{{cite book | last = Childress | first = Nancy | doi = 10.1007/978-0-387-72490-4 | isbn = 978-0-387-72489-8 | mr = 2462595 | pages = 8–11 | publisher = Springer, New York | series = Universitext | title = Class Field Theory | url = https://books.google.com/books?id=RYdy4PCJYosC&pg=PA8 | year = 2009 }} Lihat pula hal. 64.</ref> dan tempat (ekstensi ke [[medan lengkap]] dimana medan yang diberikan adalah [[himpunan rapat]] disebut juga sebagai pelengkapan).<ref>{{cite book | last = Weil | first = André | author-link = André Weil | isbn = 978-3-540-58655-5 | mr = 1344916 | page = [https://archive.org/details/basicnumbertheor00weil_866/page/n56 43] | publisher = Springer-Verlag | location = Berlin | series = Classics in Mathematics | title = Basic Number Theory | url = https://archive.org/details/basicnumbertheor00weil_866 | url-access = limited | year = 1995}} Namun perhatikan bahwa beberapa penulis seperti {{harvtxt|Childress|2009}} malah menggunakan "tempat" untuk mengartikan kelas norma yang setara.</ref> Perluasan dari bilangan rasional ke [[bilangan real]], misalnya adalah tempat dimana 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 name="childress"/> [[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>{{cite book | last = Koch | first = H. | doi = 10.1007/978-3-642-58095-6 | isbn = 978-3-540-63003-6 | mr = 1474965 | page = 136 | publisher = Springer-Verlag | location = Berlin | title = Algebraic Number Theory | url = https://books.google.com/books?id=wt1sCQAAQBAJ&pg=PA136 | year = 1997| citeseerx = 10.1.1.309.8812 }}</ref>
Baris 166:
=== Anggota bilangan prima dalam gelanggang ===
{{Main|Anggota bilangan prima|Anggota taktereduksi}}
[[Berkas:Gaussian_primes.
[[Gelanggang komutatif]] merupakan [[struktur aljabar]] dimana 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,
Baris 177:
=== Ideal prima ===
{{Main|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.
''Ideal prima'' yang dimana 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>{{cite book | last1=Eisenbud | first1=David | author1-link= David Eisenbud | title=Commutative Algebra | publisher=Springer-Verlag | location=Berlin; New York | series=Graduate Texts in Mathematics | isbn=978-0-387-94268-1| mr=1322960 | year=1995 | volume=150 | at=Section 3.3| doi=10.1007/978-1-4612-5350-1 }}</ref>
Baris 185:
=== 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]].<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==
Baris 206:
* [http://www.alpertron.com.ar/ECM.HTM Tes primalitas Online Cepat dengan faktorisasi] menggunakan Metode Kurva Elliptik (hingga angka seribu digit, memerlukan Java).
* [http://www.bigprimes.net/ Basis data bilangan prima terbesar]
* [http://www.primos.mat.br/indexen.html Bilangan Prima hingga 1 triliun] {{Webarchive|url=https://web.archive.org/web/20210227001026/http://www.primos.mat.br/indexen.html |date=2021-02-27 }}
{{Authority control}}
{{Sistem Bilangan}}
Baris 214:
{{Kelas bilangan asli}}
{{Portal bar|Matematika|Aritmetika}}
[[Kategori:Bilangan prima| ]]
[[Kategori:Urutan bilangan bulat]]
|