العدد الأولي هو عدد طبيعي أكبر قطعا من 1, يقبل القسمة على نفسه وعلى الواحد فقط. عدد طبيعي أكبر قطعا من 1 وليس أوليا يدعى عددا مؤلفا. على سبيل المثال، 5 هو عدد أولي لأنه لا يقبل القسمة إلا على 1 وعلى 5، بينما 6 هو عدد مؤلف لأنه قابل للقسمة على 1، وعلى 2 وعلى 3 وعلى 6. تقيم المبرهنة الأساسية في الحسابيات الدور المركزي للأعداد الأولية في نظرية الأعداد : كل عدد صحيح طبيعي أكبر قطعا من 1 يساوي جداء مجموعة وحيدة ما من الأعداد الأولية (بغض النظر إلي ترتيب هؤلاء الأعداد داخل هاته المجموعة). هاته المبرهنة تستلزم إقصاء 1 من لائحة الأعداد الأولية.
لتحديد أولية عدد ما، توجد طريقة سهلة ولكنها بطيئة وتتمثل في قسمة هذا العدد علي الأعداد المحصورة بين 2 والجذر المربع للعدد المعين. توجد خوارزميات أخرى أكثر فعالية من القسمة، تستعمل في تحديد أولية الأعداد الكبيرة، وخصوصا عندما يتعلق الأمر بأعداد ذات شكل خاص كأعداد ميرسين الأولية. بحلول عام 2011، تألف أكبر عدد أولي تم الوصول إليه من 13 مليون رقما.[1]
مجموعة الأعداد الأولية مجموعة غير منتهية. وقد برهن على ذلك أقليدس في حوالي عام 300 قبل الميلاد. لا تعرف صيغة ما، جميع قيمها أعداد أولية. ولكن توزيع الأعداد الأولية يمكن أن يخضع للدرس وأن تقام حوله النظريات. أول مبرهنة تذهب في هذا الاتجاه هي مبرهنة الأعداد الأولية, والتي بُرهن عليها في نهاية القرن التاسع عشر والتي بموجبها الاحتمال أن يكون عدد طبيعي ما n، اختير بصفة عشوائية، أوليا، يتناسب عكسيا مع عدد الأرقام التي يحتوي عليها هذا العدد. وبتعبير آخر، يتناسب عكسيا مع اللوغارتم الطبيعي ل n.
خضعت الأعداد الأولية لبحوث عديدة، مع ذلك تظل الكثير من الأسئلة الأساسية مثل فرضية ريمان وحدسية غولدباخ التي تنص على أن أي عدد زوجي أكبر قطعا من 2، يمكن أن يكتب على شكل مجموع عددين أوليين, وحدسية الأعداد الأولية التوأم والتي تنص على أن عدد الأزواج من الأعداد الأولية والتي يكون الفرق بينهما مساويا ل2 هو عدد غير منته, مسائل غير محلولة حتى الآن بالرغم من مرور أكثر من قرن على طرحها. السبب الأساسي يعود إلى عدم فهم العلماء لطريقة توزيع الأعداد الأولية، على عكس الأعداد الفردية أو الزوجية. كانت هذه المعضلات سببا في تطورات كثيرة عرفتها نظرية الأعداد، اهتمت بالخصائص الجبرية والتحليلية للأعداد. تستعمل الأعداد الأولية في عدة مجالات في تكنولوجيا المعلومات كالتشفير باستخدام المفتاح المعلن. تعتمد أساسا هاته التقنية على خصائص معينة كصعوبة تعميل الأعداد الكبيرة إلى جداء أعداد أولية.