مبرهنة أولير

من ويكيبيديا، الموسوعة الحرة

في نظرية الأعداد، مبرهنة أولير لصاحبها أولير هي كما يلي :

إذا كان n عدد طبيعي و a أولي مع n، إذن
a^{\varphi(n)} \equiv 1 \mod n
حيث \varphi(n) الدالة مؤشر أولير

هذه المبرهنة هي توسيع لمبرهنة فيرما الصغرى.