منحنى إهليلجي

خوارزميات تستعمل المنحنيات الإهليلجية

التعمية باستعمال المنحنيات الإهليلجية

من جانب آخر، تستعمل المنحنيات الإهليلجية عبر الحقول المنتهية في بعض تطبيقات التعمية كما تستعمل في تعميل الأعداد الصحيحة. عادة الفكرة العامة في هذه التطبيقات هو أن الخوارزمية المعلومة والتي تستعمل زمرة منتهية معينة يمكن كتابتها لاستخدام الزمر من الأعداد الجذرية من المنحنيات الإهليجية، للمزيد انظر

منحنى إدواردز

• منحنى جاكوبي
• انظر كذلك
• سطح إهليلجي

منحنى مونتغوميري،

المنحنى الإهليجي لديفي هيلمان لتبادل الشيفرة

• تحليل الاعداد الصحيحة باستخدام المنحنى الإهليجي الخاص بلينسترا
• خوارزمية التوقيع الرقمي بالمنحنيات الإهليجية
• تمثيلات بديلة للمنحنيات الإهليلجية

منحنيات إهليجية عبرالحقول العامة

في هذا الإطار، يمكن تعريف الحقول الإهليجية على أي حقل K التعريف الرسمي للمنحنى الإهليجي هو منحنى إساقطي جبري غير مفرد على حقل K مع فتحة واحدة ويحتوي على نقطة مميزة معرفة على الحقل K

علاوةً على ذلك، بعد عمل تغييرات خطية للمتغيرات، لاحظ هنا أن p و q هي عناصر من K والشرط على الطرف الأيمن لكثير الحدود ألا يحتوي على جذر مكرر، لو كان محدد الحقل 2 أو 3 فأن بعض العوامل لا يمكن اختصارها كما في المعادلة السابقة والنتيجة مثلًا في حالة المحدد يساوي 3:

الآيزوجيني (Isogeny)

من جهة ثانية، يكون المنحنى الإهليجي مجموعة النقاط (x,y) التي تحقق المعادلة المذكورة بحيث أن x و y عناصر من الانغلاق الجبر للحقل K. النقاط على المنحنى التي تنتمي إحداثياتها جميعها إلى الحقل K تسمى k-rational points.

من جهة ثانية، إذا لم يكن محدد الحقل 2 أو 3 فإن أي منحنى إهليجي على K يمكن كتابته على شكل:

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

ومن ناحية أخرى، حيث b2,b4 and b6 هي ثوابت ولاحظ أن كثير الحدود في الطرف الأيكن يحتوي على جذور منفصلة (تم اعتماد هذه الصيغة تبعا لاسباب تاريخية) وفي حالة المحدد يساوي 2 ستكون الصيغة:

لمزيد من القراءة انظر: Isogeny

ومن جهة أخرى، لنفرض أن E و D هما منحنيين إهليجيين معرفان على الحقل K، الايزوجيني بين E و D هو اقتران احتفاظ محدود للشكل بمعنى:

المنحنيات الإهليلجية عبر الأعداد الحقيقية

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

يحسب مميز المنحنى كما يلي:

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

ينبغي أن يكون هذا المميز مختلفا عن الصفر.

علاوةً على ذلك، المنحنى الحقيقي لمنحنى غير مفرد يتكون من جزئين إذا كان المحدد موجبا ومن جزء واحد إذا كان المحدد سالبا، انظر للمنحنيين في الرسمة المقابلة المنحنى المكون من جزئين محدده يساوي 64 والمنحنى المكون من جزء واحد محدده يساوي -368

في هذا الإطار، حيث a و b عددان حقيقيان. تسمى هاته المعادلة معادلة فايرشتراس.

ومن جهة أخرى، في هذا السياق، منحنى إهليلجي هو منحنى مستو معرف بالمعادلة التالية:

finite morphism of varietes

إضافةً إلى ذلك، الذي يحفظ النقاط الأساسية (basepoints) بعبارة أخرى الاقتران الذي يربط نقطة معطى على E بنقطة على D.

قانون الزمرة

وفي هذا الصدد، الزمرة المعرفة مسبقا يمكن تمثيلها جبريا وهندسيا، للمنحنى الإهليجي المعرف على الحقل K بالقاعدة y2 = x3 + ax + b (و سنفرض أن مححده لن يساوي 2 أو 3) والنقاط P = (xP,yP) و Q = (xQ,yQ) على المنحنى لنفرض أولا أن xP ≠ xQ. لنفرض أن y = sx + d هو الخط الذي يقطع P و Q بالتالي فإن ميله سيساوي:

إضافةً إلى ذلك، عند العمل داخل مستوى اسقاطي يمكننا أن نعرِّف بناء لزمرة على أي منحنى مكعب ناعم، في صيغة فايرشتراس المنحنى سيحتوي على نقطة إضافية تسمى النقطة عند المالانهاية O، التي إحداثياتها المتجانسة [0:1:0] والتي ستكون عبارة عن العنصر المحايد للزمرة.

من جهة ثانية، هذا التعريف للجمع يعمل عند جميع النقاط عدا بعض الحالات الخاصة المتعلقة بالنقطة عند المالانهاية والتقاطعات المتعددة. أول حالة عندما تكون أحد النقاط O، حسب تعريف قاعدة الزمرة نعلم أن P + O = P = O + P حيث O هو العنصر المحايد في الزمرة الآن إذا كانت P و Q متقابلتين فإننا نعرف P + Q = O كذلك إذا كانت P = Q فإنه يوجد عندنا نقطة واحدة لذلك لا نستطيع تعريف خط بدون وجود نقطتين فإننا نلجأ إلى الخط المماس للمنحنى عند تلك النقطة على أنه الخط الذي من خلاله نستطيع إيجاد حاصل الجمع، في أغلب الأحيان سيقطع الخطط المماس لنقطة على المنحنى، المنحنى عند نقطة أخرى ونأخذ النقطة المقابلة لها، بيد أنه إذا كانت P هي نقطة انعطاف فإننا سنأخذ R = P وبالتالي تصبح P + P ببساطة النقطة المقابلة لنفسها.

وفي هذا السياق، بمساواة المعاملات ل x2 وحل المعادلة بالنسبة إلى xR , yR من معادلة الخط ينتج أن

وفي السياق ذاته، إذا كان P و Q نقطتان على المنحنى، نستطيع بشكل مميز وصف نقطة ثالثة P + Q على النحو التالي: أولا ارسم خطا يقطع النقطتين P و Q، هذا الخط سيقطع المنحنى المكعب في نقطة ثالثة R سنأخذ R- لتكون ناتج P + Q التي هي النقطة المقابلة ل R

إضافةً إلى ذلك، في المنحنى المكعب الذي ليس على صيغة فايرشتراس نستطيع أن نعرف زمرة عليه عن طريق تعيين واحدة من نقاط الانعطاف التسعة على أنها العنصر المحايد، في المستوى الإسقاطي كل خط سوف يقطع المنحنى امعكب في ثلاث نقاط عند وضع التكرارات بعين الاعتبار. لأي نقطة P النقطة P- معرفة على أنها النقطة المحددة الثالثة على الخط المار بO و P لذلك لأي نقطتين P و Q فأن P + Q معرفة على أنها R- حيث R هي النقطة الثالثة المميزة على الخط الذي يحوي P و Q.

وفي هذا الصدد، بما أن المنحنى متماثل حول محور السنات، لأي نقطة P معطى نستطيع أخذ النقطة P- لتكون النقطة المقابلة لها، وبما أن O هي العنصر المحايد فإن O- هي نفسها O.

علاوةً على ذلك، لنفرض K هو الحقل الذي معرف عليه المنحنى (بمعنى أن المعاملات في المعادلة الخاصة بالمنحى هي عناصر من الحقل K) ولنسمي المنحنى E. فإن النقاط النسبية من K للمنحنى E، أعني (K-rational points of E) هي النقاط على المنحنى E اتي تقع احداثياتها في K بما في ذلك النقطة عند المالانهاية مجموعة النقاط النسبية من K ل E سنرمز لها بالرمز E(K) وهي كذلك تشكل زمرة وذلك لأن خصائص معادلات كثيرات الحدود تظهر لنا أنه إذا وجد P في E(K) فأن P- ستتواجد كذلك في E(K) وإذا وجد نقطتان من النقاط الثلاثة P,Q and R في E(K) ف بكل تأكيد ستتواجد النقطة الثالة في E(K)، إضافة إلى ذلك إذا كانت K حقل جزئي من L فإن E(K) ستكون زمرة جزئية من E(L).

وفي السياق ذاته، بما أن K حقل فإن s معرفة، معادلة الخط ومعادلة المنحنى يحتويان على على نفس y في النقاط xP, xQ and xR

وفي هذا السياق، و التي تكافئ ونحن نعلم أن جذور هذه المعادلة هي نفس قيم x كما في المعالدة التالية:

ومن ناحية أخرى، إذا كانت xp = xq فإنه يوجد خياران إما أن yP = -yQ إضافة إلى ذلك الحالة عندما yP = yQ = 0 فإن الجمع معرف على أنه 0، فينتج أن المعكوس لكل نقطة على المنحنى هو انعكاس النقطة مع محور السنات. إذا كانت yP = yQ ≠ 0 فإن Q = P و R = (xR,yR) = -(P+P) = -2P = -2Q يعطي بالعلاقة التالية: