الأعداد الأولية ومبرهنة فيرما ($Fermat$) الصغرى المقيدة
التحليل البنيوي للخصائص الذاتية للمقادير الأولية ونظم الموافقات الأسية صلب الحقول المحدودة
1. التوصيف القانوني والخصائص الذاتية للعدد الأولي (Prime Number)
يُقيد الاصطلاح الرياضي صلب الحقل الطبيعي العدد الأولي بأنه كل عدد طبيعي $p$ (حيث $p \in \mathbb{N}$) يقبل قاسمين موجبین متمايزين فقط هما: العنصر الأحدي $1$ والعدد ذاته $p$.
المحددات الهيكلية للعناصر الحدية: يخرج العدد الطبيعي $1$ حتماً عن نطاق الأهلية الأولية لعدم استيفائه شرط ثنائية القواسم المتمايزة، في حين يستقر العدد $2$ نظاميّاً باعتباره القيمة الزوجية الوحيدة المستوفية لشرط الأولية صلب الفضاء الطبيعي.
2. المبرهنة الأسية لفيرما الصغرى (Fermat's Little Theorem)
تنص المبرهنة البنيوية لفيرما الصغرى على أنه إذا ثبت كون المقدار $p$ عدداً أولياً صريحاً، وكان $a$ عدداً صحيحاً نسبيّاً لا يقبل القسمة على $p$ (أي يستوفي قيد الأولية التبادلية: $\text{PGCD}(a, p) = 1$)، فإن دالة التطور الأسي تخضع للتطابق النمطي الحاصم الآتي:
$a^{p-1} \equiv 1 \pmod{p}$
النموذج التحليلي المعاير:
لأجل استخراج باقي القسمة الإقليدية للمقدار الأسي $2^6$ على القاسم الأولي $7$، وبما أن $\text{PGCD}(2, 7) = 1$، فإن تفعيل مبرهنة فيرما الصغرى يؤول صراحة إلى الصياغة المتكافئة الآتية:
$2^{7-1} = 2^6 = 64 \equiv 1 \pmod{7}$
الاختزال النمطي للرتب الأسيّة العليا: تُفعل مبرهنة فيرما الصغرى كأداة اختزالية مباشرة لخفض الرتب الأسيّة الضخمة صلب مسائل البكالوريا، شريطة استقرار فضاء الترديد عند رتبة عدد أولي صريح يحقق شرط الأولية التبادلية مع الأساس.
الصيغة الممتدة للمبرهنة: صيانةً للتغطية الشاملة صلب الاستدلال، تجوز الصياغة المتكافئة للمبرهنة المرفوعة بالصيغة: $a^p \equiv a \pmod{p}$، وهي صيغة عامة صالحة لجميع قيم $a$ الصحيحة دون اشتراط الأولية المتبادلة مع الترديد $p$.