التقابل التربيعي

يربط قانون التقابل التربيعي، الذي أطلق عليه غاوس اسم النظرية الذهبية، بين ما إذا كان العدد الأولي p مربعًا بترديد q وما إذا كان q مربعًا بترديد p، مما يوفر معيارًا قويًا ومتماثلًا بشكل غير متوقع لقابلية الحل.

Definition

العدد الصحيح هو باقٍ تربيعي بترديد عدد أولي p إذا كان يطابق مربعًا كاملًا بترديد p. التقابل التربيعي هو النظرية التي تربط، للأعداد الأولية الفردية والمختلفة p و q، قابلية حل x تربيع يطابق q بترديد p مع قابلية حل x تربيع يطابق p بترديد q.

Scope

يغطي هذا الموضوع البواقي التربيعية وغير التربيعية بترديد عدد أولي، ومعيار أويلر، ورمز ليجاندر وخصائصه الضربيه، ورمز جاكوبي، والقانونين التكميليين (للسالب واحد وللاثنين)، وقانون التقابل الرئيسي نفسه، بما في ذلك دوره كأول مثال على قوانين التقابل في نظرية حقول الأصناف.

Core questions

• بالنظر إلى عدد أولي فردي p، ما هي البواقي التي تكون مربعات، وكيف يحدد معيار أويلر ذلك؟
• كيف تقوم رموز ليجاندر وجاكوبي بترميز معلومات البواقي وتتصرف بشكل ضربي؟
• ما الذي يؤكده قانون التقابل بالضبط، وكيف تتعامل المكملات مع السالب واحد والاثنين؟
• لماذا يُعتبر التقابل التربيعي النموذج الأولي لقوانين التقابل الأعلى في نظرية حقول الأصناف؟

Key theories

معيار أويلر ورمز ليجاندر

العدد الصحيح a هو باقٍ تربيعي بترديد عدد أولي فردي p بالضبط عندما يكون a مرفوعًا للقوة (p ناقص واحد)/2 يطابق واحدًا؛ ويسجل رمز ليجاندر هذه الإشارة وهو ضربي تمامًا في وسيطه العلوي.

قانون التقابل التربيعي

للأعداد الأولية الفردية والمختلفة p و q، يساوي حاصل ضرب رمزي ليجاندر سالب واحد مرفوعًا للقوة ((p ناقص واحد)/2)((q ناقص واحد)/2)، لذا يفشل التقابل فقط عندما يكون كلا العددين الأوليين يطابقان ثلاثة بترديد أربعة.

القوانين التكميلية ورمز جاكوبي

تحدد قواعد منفصلة متى يكون السالب واحد والاثنان بواقي، ويوسع رمز جاكوبي رمز ليجاندر ليشمل المعاملات المركبة، مما يتيح الحساب الفعال دون تحليل إلى عوامل.

Clinical relevance

يوفر التقابل ورمز جاكوبي خوارزميات سريعة لتحديد الباقي التربيعي، وتُستخدم في اختبارات الأولية (سولوفاي-ستراسن)، وفي حساب الجذور التربيعية بترديد الأعداد الأولية، وفي المخططات التشفيرية التي يعتمد أمانها على افتراض الباقي التربيعي.

History

تكهن به أويلر وليجاندر، وقد أثبت القانون بالكامل لأول مرة غاوس في عام 1796، الذي عاد إليه مرارًا وقدم ثمانية براهين مختلفة؛ ويُعرف الآن أكثر من مائتي برهان. وقد حفز تعميمه على قوى أعلى أيزنشتاين وكومر، وفي النهاية قوانين التقابل في نظرية حقول الأصناف.

Key figures

• Carl Friedrich Gauss
• Adrien-Marie Legendre
• Leonhard Euler

Seminal works

• irelandRosen1990

Frequently asked questions

لماذا أثبت غاوس نفس النظرية ثماني مرات؟

ألقى كل برهان الضوء على هياكل مختلفة (مجاميع غاوس، عد النقاط الشبكية، التدوير)، وسعى غاوس إلى برهان يمكن تعميمه على قوانين التقابل الأعلى، وهو ما دفع لاحقًا تطور نظرية الأعداد الجبرية.

ما الفرق بين رمزي ليجاندر وجاكوبي؟

يُعرّف رمز ليجاندر لمعامل أولي فردي ويكشف البواقي التربيعية بدقة؛ ويعممه رمز جاكوبي ليشمل المعاملات المركبة الفردية للحساب، لكن قيمة الواحد لم تعد تضمن أن العدد هو باقٍ.