क्रमचय बहुपद
गणित में, क्रमचय बहुपद (किसी दिए गए वलय (गणित) के लिए) ऐसा बहुपद है जो वलय के तत्वों के क्रमचय के रूप में प्रदर्शित करता है, अर्थात मानचित्र के अनुसार का संचरण है। यदि वलय परिमित क्षेत्र है, तो डिक्सन बहुपद, जो कि चेबिशेव बहुपद से निकटता से संबंधित हैं। इस प्रकार परिमित क्षेत्र पर, प्रत्येक कार्य, विशेष रूप से उस क्षेत्र के तत्वों के प्रत्येक क्रमचय को बहुपद फंक्शन के रूप में लिखा जा सकता है।
परिमित वलय Z/nZ की स्थिति में, ऐसे बहुपदों का भी अध्ययन किया गया है और त्रुटि का पता लगाने और सुधार एल्गोरिदम के इंटरलीवर घटक में लागू किया गया है।[1][2]
परिमित क्षेत्रों पर एकल चर क्रमचय बहुपद
Fq = GF(q) की विशेषता का परिमित क्षेत्र (क्षेत्र सिद्धांत) p, अर्ताथ क्षेत्र qवाले त्व जहां q = pe कके कारण हैं। मुख्य रूप से इसके प्राइम मान के लिए p बहुपद f में गुणांक के साथ Fq प्रतीकात्मक रूप से लिखा गया है जहाँ पर f ∈ Fq[x]) का क्रमचय बहुपद Fq है, इस प्रकार यदि फ़ंक्शन से Fq द्वारा ही परिभाषित किया गया है तो का क्रमपरिवर्तन Fq है।[3] इसकी परिमितता के कारण Fq, इस परिभाषा को कई समान तरीकों से व्यक्त किया जा सकता है:[4]
- फंक्शन ऑन है ( विशेषण फंक्शन );
- फंक्शन एक-से-एक (इंजेक्शन फंक्शन) है;
- f(x) = a में समाधान है Fq प्रत्येक के लिए a में Fq;
- f(x) = a में मुख्य समाधान Fq है जिसमें प्रत्येक के लिए a में Fq सम्मिलित रहते हैं।
बहुपद क्रमचय बहुपद हैं जिसका लक्षण इसके वर्णन द्वारा दिया जाता है।
(एकांतवासी के सिद्धांत के अनुसार)[5][6] f ∈ Fq[x] का क्रमचय बहुपद Fq है जिसके लिए निम्नलिखित दो शर्तें संलग्न की जाती हैं:
- f में आधार Fq रहता है ;
- प्रत्येक पूर्णांक के लिए t साथ 1 ≤ t ≤ q − 2 और , की कमी f(x)t mod (xq − x) की डिग्री है ≤ q − 2.
इस प्रकार यदि f(x) परिमित क्षेत्र पर परिभाषित क्रमचय बहुपद GF(q) है, तो g(x) = a f(x + b) + c इस प्रकार है कि सभी a ≠ 0, b और c में GF(q) के लिए क्रमपरिवर्तन बहुपद g(x) सामान्यीकृत रूप में है यदि a, b और c को चुना जाता है जिससे कि g(x) मोनिक बहुपद के रूप में उपयोग में लाए जाते हैं, इस प्रकार g(0) = 0 और (विशेषता प्रदान की p डिग्री को n बहुपद का विभाजित नहीं करता है) जिसका गुणांक xn−10 है।
परिमित क्षेत्रों पर परिभाषित क्रमपरिवर्तन बहुपदों से संबंधित कई प्रश्न हैं।[7][8]
छोटी डिग्री
हर्मिट का मानदंड कम्प्यूटरीकृत रूप से गहनता से किया जाता हैं और सैद्धांतिक निष्कर्ष निकालने में इसका उपयोग करना मुश्किल हो सकता है। चूंकि, लियोनार्ड यूजीन डिक्सन सभी परिमित क्षेत्रों में अधिक से अधिक पांच डिग्री के सभी क्रमचय बहुपदों को खोजने के लिए इसका उपयोग करने में सक्षम थे। ये परिणाम हैं:[9][6]
| Fq का सामान्यीकृत क्रमचय बहुपद | q |
|---|---|
| any | |
| ( एक वर्ग नहीं हैं) | |
| (यदि इसकी केवल रूट Fq का मान 0 है ) | |
| ( चौथी पावर नहीं हैं) | |
| ( एक वर्ग नहीं हैं) | |
| ( आरबिटरी) |