حسابيات توافقية
في الرياضيات وبالضبط في مجال النظرية الجبرية للأعداد ، الحسابيات النمطية (بالإنكليزية: modular arithmetics) هي مجموعة من الطرق التي تتيح حل بعض المسائل الخاصة بالأعداد الصحيحة و من ضمنها الطبيعية. وهي ترتكز على دراسة الباقي الحاصل من القسمة الإقليدية.
استعمالات
في الرياضيات الأساسية, هذا المفهوم قليل الاستعمال. التوضيف الأكثر استعمالا هو المبرهنة الجيرية للأعداد[١], التي تتضمن مجالا أكثر توسعا, تتضمن مثلا مفاهيم الأعداد الجبرية ومبرهنة غالوا[٢].
في الرياضيات التطبيقية, هذه العبارة لها استعمالات مكثفة في أساسيات الرياضيات في مختلف مجالات نظرية المعلوميات : التشفير, نظرية الترميز والمعلوميات. لعدد من الأدوات وخوارزميات داخل هذا المجال نجد اختبار الإوالية,التفكيك إلى جداء عوامل أولية[٣], استعمال مميزات مجموعة مثلا بالنسبة لتحويل فوريي المتقطع[٤] أو دراسة الخارج أو الخاصة بالأعداد الطبيعية, كما في دوال حدودية[٥].
حسب مختلف العلماء والمألفين وحسب مجال التطبيق, تعتبر هذه التمديدات, إما جزء من الحسابيات النمطية[٦], أو تطبيقات, أو غير مصنفة. في صيغتها البسيطة, تحمل في بعض الأحيان حسابيات المنبه[٧]. المفهوم نظام نمطي مستعمل[٨] في الحسابيات النمطية في مجموعات أعداد غير الأعداد الطبيعية.
وسائل الحسابيات النمطية
التقارب والأعداد الطبيعية
- المقالة الرئيسية لهذا التصنيف، والتي يجب أن يكون عنوانها تقارب الأعداد الطبيعية، غير موجودة. مساعدتكم في إنشاء هذه المقالة مرحَّب بها.
المثال التاريخي حسابيات نمطية يرتكز على أعداد طبيعية. العدد n ثابت, الحياب النمطي n ترتكز على تحديد كل الأعداد الطبيعية لباقي قسمتها على n ; هذا يمكن أن يظهر جليا في مثال حسابيات المنبه, الذي يوافق حالة n=12 : العقرب الصغير يوجد في نفس الموضع في لحظتين تفصل بينهما اثنتا عشر ساعة, وبهذا تصير الساعة 1 كالساعة 13. للحصول على حساب من نوع هذه المجموعة, علينا التأكد من كون عمليـّـتي الجمع والضرب متكافئة مع تعريفهما.
بالنسبة لـ كارل فريدرش غاوس فقد أضاف تحليل بنية هذه المجموعة, والمسماة حلقة ل تقارب ورمزها Z/nZ. تهتم أولا بدراسة عملية الجمع, الذي يعرف ب مجموعة سيكلية ذات المولد 1 ; ثم عملية الضرب, المستقل عن خصائص التطابق (congruency) . إذا كان هذا عددا أوليا, نحصل على حقل . هذه المقاربة تسهل عملية المبرهنة في مجال الحسابيات. المثالان التاريخيان من كتاب Disquisitiones arithmeticae تبع الرياضياتي الألماني غاوس هما مبرهنة ويلسون[٩] والبرهنة على مبرهنة فيرما الصغرى [١٠].
الحسابيات النمطية ، في حالة لم يكن الترديد عددا أوليا ، أكثر تعقيدا. مبرهنة الباقي الصيني تسمح بتنوير البنية. الحلقة غير داخلية, حيث يوجد قواسم الصفر, وهي أعداد إذا ضربت في أعداد غير منعدمة أعطت كنتيجة العدد صفر. عدد العناصر المقلوبة معطاة بواسطة مؤشر أويلر. وهي تتيح مثلا, تعميم مبرهنة فيرما الصغرى.
تلميحة تمهيدية للتطبيق
أساسيات
الحسابيات النمطية تعتبر نظام حسابي للأعداد الصحيحة يعتمد على تكرار الأعداد بشكل نمطي لدى بلوغها قيمة نمطية (modulus) معينة ، و هي تـُـخـْـتـَـزَل بالتعبير . مرتبط بذلك الرياضياتيون يتكلمون عن " تطابق " (congruency) .
على فرض لدينا عدد صحيح موجب وعدد صحيح فإننا بقسمة على نحصل على عدد صحيح هو ناتج القسمة وعدد صحيح هو باقي القسمة بحيث يحققان العلاقة التالية:
حيث الصيغة تعني أكبر عدد صحيح أصغر أو يساوي
يرمز إلى عملية حساب باقي القسمة بـ mod حيث نكتب وبالتالي:
أمثلة:
نقول عن عددين صحيحين و بانهما متوافقان ببقية إذا تحقق ونرمز لذلك بـ
خصائص عملية حساب باقي القسمة
- فقط إذا كان،
خصائص الحسابيات النمطية
رجاء وسع هذة المقالة. المزيد من المعلومات قد تكون موجودة في صفحة النقاش أو في طلبات التوسيع. رجاء أزل هذه الرسالة عندما تتوسع المقالة. وسم هذا القالب منذ: سبتمبر 2010 |
مصادر و مراجع
- ^ قالب:Samuel1
- ^ A. Fröhlich, Galois Module structure of Algebraic integers, Springer-Verlag, Berlin, 1983.
- ^ Chantal David Cryptographie à clé publique et factorisation Université Concordia Quebec pp. 11-17
- ^ J-M Muller J-C Bajard Calcul arithmétique des ordinateurs Traité Hermes CNRS 2004 lire pp. 142-150 et pp. 181-201
- ^ Pascal Giorgi Arithmétique modulaire entière en base polynomiale Séminaire de l'université de Perpignan 2005 lire
- ^ Thomas Plantard L'arithmétique modulaire pour la cryptographie Université de Montpelier 2005 lire
- ^ Simon Singh Histoire des codes secrets p. 324-329
- ^ Pascal Paillier Low-cost double-size modular exponentiation or how to stretch your cryptoprocessor GEMPLUS, ENST Lecture notes in computer science Springer, Berlin 1973
- ^ كارل فريدرش غاوس, Carl Friedrich Gauß: Recherches arithmétiques, 1801 Traduction M. Poullet-Delisle Ed. Courcier p56 1807
- ^ كارل فريدرش غاوس, Carl Friedrich Gauß: Recherches arithmétiques, 1801 Traduction M. Poullet-Delisle Ed. Courcier p. 34 1807
ملف:Nuvola apps edu mathematics-ar.svg | بوابة رياضيات تصفح مقالات ويكيبيديا المهتمة بالرياضيات. |
ca:Congruència cs:Kongruence de:Kongruenzrelation Congruence relation]] es:Congruencia (teoría de números) eu:Kongruentzia (zenbaki-teoria) fi:Kongruenssi fr:Arithmétique modulaire