View source for क्रमचय बहुपद

गणित में, क्रमचय [[बहुपद]] (किसी दिए गए वलय (गणित) के लिए) ऐसा बहुपद है जो वलय के तत्वों के क्रमचय के रूप में प्रदर्शित करता है, अर्थात मानचित्र के अनुसार <math>x \mapsto g(x)</math> का संचरण है। यदि वलय [[परिमित क्षेत्र]] है, तो [[डिक्सन बहुपद]], जो कि [[चेबिशेव बहुपद]] से निकटता से संबंधित हैं। इस प्रकार परिमित क्षेत्र पर, प्रत्येक कार्य, विशेष रूप से उस क्षेत्र के तत्वों के प्रत्येक क्रमचय को बहुपद फंक्शन के रूप में लिखा जा सकता है।

परिमित वलय Z/''n''Z की स्थिति में, ऐसे बहुपदों का भी अध्ययन किया गया है और त्रुटि का पता लगाने और सुधार एल्गोरिदम के [[इंटरलीवर]] घटक में लागू किया गया है।<ref name="Takeshita1">{{cite journal |  title=Permutation Polynomial Interleavers: An Algebraic-Geometric Perspective| year=2006 | first1=Oscar | last1= Takeshita |  arxiv = cs/0601048 | doi=10.1109/TIT.2007.896870 | volume=53 | journal=IEEE Transactions on Information Theory | pages=2116–2132}}</ref><ref name="Takeshita2">{{cite arXiv |  title=A New Construction for [[Low-density parity-check code|LDPC Codes]] using Permutation Polynomials over Integer Rings| year=2005 | first1=Oscar | last1= Takeshita |  eprint = cs/0506091 }}</ref>
== परिमित क्षेत्रों पर एकल चर क्रमचय बहुपद ==
{{math|1='''F'''<sub>''q''</sub> = GF(''q'')}} की विशेषता का परिमित क्षेत्र (क्षेत्र सिद्धांत) {{mvar|p}}, अर्ताथ क्षेत्र {{mvar|q}}वाले  त्व जहां {{math|1=''q'' = ''p''<sup>''e''</sup>}} कके कारण हैं। मुख्य रूप से इसके प्राइम मान के लिए {{mvar|p}} बहुपद {{mvar|f}} में गुणांक के साथ {{math|'''F'''<sub>''q''</sub>}} प्रतीकात्मक रूप से लिखा गया है जहाँ पर {{math|''f'' ∈ '''F'''<sub>''q''</sub>[''x'']}}) का क्रमचय बहुपद {{math|'''F'''<sub>''q''</sub>}} है, इस प्रकार यदि फ़ंक्शन से {{math|'''F'''<sub>''q''</sub>}} द्वारा ही परिभाषित किया गया है तो <math>c \mapsto f(c)</math> का क्रमपरिवर्तन {{math|'''F'''<sub>''q''</sub>}} है।<ref>{{harvnb|Mullen|Panario|2013|loc=p. 215}}</ref> इसकी परिमितता के कारण {{math|'''F'''<sub>''q''</sub>}}, इस परिभाषा को कई समान तरीकों से व्यक्त किया जा सकता है:<ref>{{harvnb|Lidl|Niederreiter|1997|loc=p. 348}}</ref>
* फंक्शन <math> c \mapsto f(c)</math> ऑन है ([[ विशेषण समारोह | विशेषण फंक्शन]] );
* फंक्शन <math>c \mapsto f(c)</math> एक-से-एक ([[इंजेक्शन समारोह|इंजेक्शन फंक्शन]]) है;
* {{math|1=''f''(''x'') = ''a''}} में समाधान है {{math|'''F'''<sub>''q''</sub>}} प्रत्येक के लिए {{mvar|a}} में {{math|'''F'''<sub>''q''</sub>}};
* {{math|1=''f''(''x'') = ''a''}} में मुख्य समाधान {{math|'''F'''<sub>''q''</sub>}} है जिसमें प्रत्येक के लिए {{mvar|a}} में {{math|'''F'''<sub>''q''</sub>}} सम्मिलित रहते हैं।

बहुपद क्रमचय बहुपद हैं जिसका लक्षण इसके वर्णन द्वारा दिया जाता है।

([[ एकांतवासी |एकांतवासी]] के सिद्धांत के अनुसार)<ref>{{harvnb|Lidl|Niederreiter|1997|loc= p. 349}}</ref><ref name="MP216">{{harvnb|Mullen|Panario|2013|loc=p. 216}}</ref> {{math|''f'' ∈ '''F'''<sub>''q''</sub>[''x'']}} का क्रमचय बहुपद {{math|'''F'''<sub>''q''</sub>}} है जिसके लिए निम्नलिखित दो शर्तें संलग्न की जाती हैं:
# {{mvar|f}} में आधार {{math|'''F'''<sub>''q''</sub>}} रहता है ;
# प्रत्येक पूर्णांक के लिए {{math|t}} साथ {{math|1 ≤ ''t'' ≤ ''q'' − 2}} और <math>t \not \equiv 0 \!\pmod p</math>, की कमी {{math|''f''(''x'')<sup>''t''</sup> mod (''x''<sup>''q''</sup> − ''x'')}} की डिग्री है {{math|≤ ''q'' − 2}}.

इस प्रकार यदि {{math|''f''(''x'')}} परिमित क्षेत्र पर परिभाषित क्रमचय बहुपद {{math|GF(''q'')}} है, तो {{math|1=''g''(''x'') = ''a'' ''f''(''x'' + ''b'') + ''c''}} इस प्रकार है कि सभी {{math|''a'' ≠ 0, ''b''}} और {{mvar|c}} में {{math|GF(''q'')}} के लिए क्रमपरिवर्तन बहुपद {{math|''g''(''x'')}} सामान्यीकृत रूप में है यदि {{math|''a'', ''b''}} और {{mvar|c}} को चुना जाता है जिससे कि {{math|''g''(''x'')}} [[मोनिक बहुपद]] के रूप में उपयोग में लाए जाते हैं, इस प्रकार {{math|1=''g''(0) = 0}} और (विशेषता प्रदान की {{mvar|p}} डिग्री को {{mvar|n}} बहुपद का विभाजित नहीं करता है) जिसका गुणांक {{math|1=''x''<sup>''n''&minus;1</sup>}}0 है।

परिमित क्षेत्रों पर परिभाषित क्रमपरिवर्तन बहुपदों से संबंधित कई प्रश्न हैं।<ref>{{harvtxt|Lidl|Mullen|1988}}</ref><ref>{{harvtxt|Lidl|Mullen|1993}}</ref>
=== छोटी डिग्री ===
हर्मिट का मानदंड कम्प्यूटरीकृत रूप से गहनता से किया जाता हैं और सैद्धांतिक निष्कर्ष निकालने में इसका उपयोग करना मुश्किल हो सकता है। चूंकि, [[लियोनार्ड यूजीन डिक्सन]] सभी परिमित क्षेत्रों में अधिक से अधिक पांच डिग्री के सभी क्रमचय बहुपदों को खोजने के लिए इसका उपयोग करने में सक्षम थे। ये परिणाम हैं:<ref>{{harvnb|Dickson|1958|loc = pg. 63}}</ref><ref name="MP216" />
{| class="wikitable"
|-
!{{math|'''F'''<sub>''q''</sub>}} का सामान्यीकृत क्रमचय बहुपद
!{{mvar|q}}
|-
|<math>x</math> || any <math>q</math>
|-
| <math>x^2</math> || <math>q \equiv 0\! \pmod 2</math>
|- 
| <math>x^3</math> || <math>q \not \equiv 1 \! \pmod 3</math>
|-
| <math>x^3 - ax</math> (<math>a</math> एक वर्ग नहीं हैं) || <math>q \equiv 0 \! \pmod 3</math>
|-
| <math>x^4 \pm 3x</math> || <math>q = 7</math>
|-
| <math>x^4 + a_1 x^2 + a_2 x</math> (यदि इसकी केवल रूट {{math|'''F'''<sub>''q''</sub>}} का मान 0 है ) || <math>q \equiv 0 \! \pmod 2</math>
|-
| <math>x^5</math> || <math>q \not \equiv 1 \! \pmod 5</math>
|- 
| <math>x^5 - ax</math> (<math>a</math> चौथी पावर नहीं हैं) || <math>q \equiv 0 \! \pmod 5</math>
|-
| <math>x^5 + ax \,(a^2 = 2)</math> || <math>q = 9</math>
|-
| <math>x^5 \pm 2x^2</math> || <math>q = 7</math>
|-
| <math>x^5 + ax^3 \pm x^2 + 3a^2 x</math> (<math>a</math> एक वर्ग नहीं हैं) || <math>q = 7</math>
|-
| <math>x^5 + ax^3 + 5^{-1} a^2 x</math> (<math>a</math> आरबिटरी) || <math>q \equiv \pm 2 \! \pmod 5</math>
|-
| <math>x^5 + ax^3 + 3a^2 x</math> (<math>a</math> एक वर्ग नहीं हैं) || <math>q = 13</math>
|-
| <math>x^5 - 2ax^3 + a^2x</math> (<math>a</math> एक वर्ग नहीं हैं) || <math>q \equiv 0 \! \pmod 5</math>
|}
सामान्यीकृत रूप में छह डिग्री के सभी मोनिक क्रमचय बहुपदों की सूची में {{harvtxt|शैलू|वानहीन|2013}} पाया जा सकता है।<ref>{{harvnb|Mullen|Panario|2013|loc=p. 217}}</ref>
=== क्रमपरिवर्तन बहुपदों के कुछ वर्ग ===
उपरोक्त उदाहरणों से परे, निम्नलिखित सूची, चूंकि यह संपूर्ण नहीं है, जिसमें परिमित क्षेत्रों पर क्रमचय बहुपदों के लगभग सभी ज्ञात प्रमुख वर्ग सम्मिलित हैं।<ref>{{harvnb|Lidl|Mullen|1988|loc=p. 244}}</ref>
* {{math|''x''<sup>''n''</sup>}} क्रमपरिवर्तन {{math|GF(''q'')}} यदि {{mvar|n}} और {{math|''q'' − 1}} सह अभाज्य पूर्णांक हैं (विशेष रूप से, {{math|1=(''n'', ''q'' − 1) = 1}})<ref name="LN351">{{harvnb|Lidl|Niederreiter|1997|loc=p. 351}}</ref>
* यदि {{mvar|a}} में है {{math|GF(''q'')}} और {{math|''n'' ≥ 1}} फिर [[डिक्सन बहुपद]] (पहली तरह का) {{math|''D''<sub>''n''</sub>(''x'',''a'')}} द्वारा परिभाषित किया गया है। <math display="block">D_n(x,a)=\sum_{j=0}^{\lfloor n/2\rfloor}\frac{n}{n-j} \binom{n-j}{j} (-a)^j x^{n-2j}. </math>इन्हें [[पुनरावर्ती संबंध]] से भी प्राप्त किया जा सकता है<math display="block">D_n(x,a) = xD_{n-1}(x,a)-a D_{n-2}(x,a), </math>प्रारंभिक शर्तों के साथ <math>D_0(x,a) = 2</math> और <math>D_1(x,a) = x</math>, इसके पहले कुछ डिक्सन बहुपद हैं:

*<math> D_2(x,a) = x^2 - 2a </math>
*<math> D_3(x,a) = x^3 - 3ax</math>
*<math> D_4(x,a) = x^4 - 4ax^2 + 2a^2 </math>
*<math> D_5(x,a) = x^5 - 5ax^3 + 5a^2 x.</math>
यदि {{math|''a'' ≠ 0}} और {{math|''n'' > 1}} तब {{math|''D''<sub>''n''</sub>(''x'', ''a'')}} GF(q) को अनुमति देता है यदि {{math|1=(''n'', ''q''<sup>2</sup> − 1) = 1}}.<ref>{{harvnb|Lidl|Niederreiter|1997|loc=p. 356}}</ref> यदि {{math|1=''a'' = 0}} तब {{math|1=''D''<sub>''n''</sub>(''x'', 0) = ''x''<sup>''n''</sup>}} और पिछला परिणाम धारण करता है।
* यदि {{math|GF(''q''<sup>''r''</sup>)}} का [[फील्ड एक्सटेंशन]] है {{math|GF(''q'')}} डिग्री {{mvar|r}}, फिर रैखिककृत बहुपद <math display="block">L(x) = \sum_{s=0}^{r-1} \alpha_s x^{q^s},</math>इसके साथ {{math|α<sub>''s''</sub>}} में {{math|GF(''q''<sup>''r''</sup>)}}, पर रैखिक संकारक है {{math|GF(''q''<sup>''r''</sup>)}} ऊपर {{math|GF(''q'')}}. रैखिक बहुपद {{math|''L''(''x'')}} क्रमपरिवर्तन {{math|GF(''q''<sup>''r''</sup>)}} यदि और केवल यदि 0 का एकमात्र मूल {{math|''L''(''x'')}} में {{math|GF(''q''<sup>''r''</sup>)}} है,<ref name="LN351" /> इस स्थिति को बीजगणितीय रूप में व्यक्त किया जा सकता है<ref name="LN362">{{harvnb|Lidl|Niederreiter|1997|loc=p. 362}}</ref> <math display="block"> \det\left ( \alpha_{i-j}^{q^j} \right ) \neq 0 \quad (i, j= 0,1,\ldots,r-1).</math>रैखिककृत बहुपद जो क्रमचय बहुपद हैं {{math|GF(''q''<sup>''r''</sup>)}} रचना मोडुलो के संचालन के अनुसार [[समूह (गणित)]] <math>x^{q^r} - x</math> बनाते हैं, जिसे बेट्टी-मैथ्यू समूह के रूप में जाना जाता है, सामान्य रेखीय समूह के लिए समरूप {{math|GL(''r'', '''F'''<sub>''q''</sub>)}} है।<ref name="LN362" />* यदि {{math|''g''(''x'')}} बहुपद वलय में है, जहाँ पर {{math|'''F'''<sub>''q''</sub>[''x'']}} और {{math|''g''(''x''<sup>''s''</sup>)}} का कोई अशून्य मूल नहीं है इस स्थिति में {{math|GF(''q'')}} तब {{mvar|s}} से विभाजित हो जाता हैं  जहाँ पर {{math|''q'' − 1}}, और {{math|''r'' > 1}} अपेक्षाकृत प्रधान (सह विभाज्य) {{math|''q'' − 1}} है, तब {{math|''x''<sup>''r''</sup>(''g''(''x''<sup>''s''</sup>))<sup>(''q'' - 1)/''s''</sup>}} क्रमपरिवर्तन {{math|GF(''q'')}}.<ref name="MP216" />* क्रमचय बहुपदों के केवल कुछ अन्य विशिष्ट वर्ग समाप्त हुए {{math|GF(''q'')}} की विशेषता बताई जाती हैं। इनमें से दो, उदाहरण के लिए, हैं:<math display="block"> x^{(q + m - 1)/m} + ax </math>जहाँ {{mvar|m}} विभाजित करता है {{math|''q'' − 1}}, और<math display="block"> x^r \left(x^d - a\right)^{\left(p^n - 1\right)/d}</math>जहाँ {{mvar|d}} विभाजित करता है {{math|''p''<sup>''n''</sup> − 1}}.
=== असाधारण बहुपद ===
एक असाधारण बहुपद {{math|GF(''q'')}} में बहुपद है {{math|'''F'''<sub>''q''</sub>[''x'']}} जो क्रमचय बहुपद पर है {{math|GF(''q''<sup>''m''</sup>)}} अपरिमित रूप से अनेकों के लिए {{mvar|m}}.<ref>{{harvnb|Mullen|Panario|2013|loc=p. 236}}</ref> को एक क्रमचय बहुपद ओवर {{math|GF(''q'')}} अधिकतम डिग्री {{math|''q''<sup>1/4</sup>}} असाधारण ओवर है {{math|GF(''q'')}}<ref name="MP238">{{harvnb|Mullen|Panario|2013|loc=p. 238}}</ref> के हर क्रमपरिवर्तन {{math|GF(''q'')}} असाधारण बहुपद से प्रेरित है।<ref name="MP238" />

यदि पूर्णांक गुणांक वाला बहुपद (अर्थात, in {{math|ℤ[''x'']}}) क्रमपरिवर्तन बहुपद है {{math|GF(''p'')}} अपरिमित रूप से अनेक अभाज्य संख्याओं के लिए {{mvar|p}}, तो यह रैखिक और डिक्सन बहुपदों का संयोजन है।<ref>{{harvnb|Mullen|Panario|2013|loc=p. 239}}</ref> (नीचे शूर का अनुमान देखें)।

== ज्यामितीय उदाहरण ==
{{main|ओवल (प्रक्षेपी विमान)}}

[[परिमित ज्यामिति]] में कुछ बिंदुओं के समुच्चय का समन्वय वर्णन उच्च कोटि के क्रमचय बहुपदों के उदाहरण प्रदान कर सकता है। विशेष रूप से, परिमित प्रक्षेपी तल में एक अंडाकार (प्रक्षेपी तल) बनाने वाले बिंदु, {{math|PG(2,''q'')}} साथ {{math|''q''}} 2 की शक्ति के साथ, इस तरह से समन्वयित किया जा सकता है कि निर्देशांक के बीच संबंध एक [[ओ-बहुपद]] द्वारा दिया जाता है, जो एक है परिमित क्षेत्र पर विशेष प्रकार का क्रमचय बहुपद {{math|GF(''q'')}} है।

== कम्प्यूटरीकृत जटिलता ==
परिमित क्षेत्र पर दिया गया बहुपद क्रमचय बहुपद है या नहीं, यह जाँचने की समस्या को बहुपद समय में हल किया जा सकता है।<ref>{{cite journal | year = 2005 | id = {{ECCC|2005|05|008}} | first = Neeraj | last = Kayal | title=बहुपद समय में क्रमचय कार्यों को पहचानना| journal = Electronic Colloquium on Computational Complexity }} For earlier research on this problem, see: {{cite journal
 | last1 = Ma | first1 = Keju
 | last2 = von zur Gathen | first2 = Joachim | author2-link = Joachim von zur Gathen
 | doi = 10.1007/BF01277957
 | issue = 1
 | journal = Computational Complexity
 | mr = 1319494
 | pages = 76–97
 | title = The computational complexity of recognizing permutation functions
 | volume = 5
 | year = 1995}} {{cite journal
 | last = Shparlinski | first = I. E.
 | doi = 10.1007/BF01202000
 | issue = 2
 | journal = Computational Complexity
 | mr = 1190826
 | pages = 129–132
 | title = A deterministic test for permutation polynomials
 | volume = 2
 | year = 1992}}</ref>
== परिमित क्षेत्रों पर कई चरों में क्रमचय बहुपद ==
किसी बहुपद <math>f \in \mathbb{F}_q[x_1,\ldots,x_n]</math> में क्रमचय बहुपद है जहाँ {{mvar|n}} चर ओवर <math>\mathbb{F}_q</math> हैं तब समीकरण <math>f(x_1,\ldots,x_n) = \alpha</math> प्राप्त होता है जहाँ <math>q^{n-1}</math> में परिणाम  <math>\mathbb{F}_q^n</math> के प्रत्येक मान के लिए <math>\alpha \in \mathbb{F}_q</math> प्राप्त होता हैं।<ref>{{harvnb|Mullen|Panario|2013|loc=p. 230}}</ref>
== परिमित वलय पर द्विघात क्रमचय बहुपद (QPP) ==

परिमित वलय Z/''n''Z के लिए द्विघात क्रमचय बहुपद का निर्माण किया जा सकता है। वास्तव में यह संभव है यदि ''n'' ''p<sup>2</sup>''  किसी अभाज्य संख्या p के लिए विभाज्य है। इस प्रकार निर्माण आश्चर्यजनक रूप से सरल है, फिर भी यह कुछ अच्छे गुणों के साथ क्रमपरिवर्तन उत्पन्न कर सकता है। यही कारण है कि इसका उपयोग [[3GPP लॉन्ग टर्म इवोल्यूशन]] मोबाइल दूरसंचार मानक में [[टर्बो कोड]] के इंटरलीवर घटक में किया गया है।<ref>[http://www.3gpp.org/ftp/Specs/html-info/36212.htm 3GPP TS 36.212]</ref> 

=== सरल उदाहरण ===

विचार करना <math> g(x) = 2x^2+x </math> अंगूठी Z/4Z के लिए देखता है: {{nowrap|<math> g(0) = 0</math>;}} {{nowrap|<math> g(1) = 3</math>;}} {{nowrap|<math> g(2) = 2</math>;}} {{nowrap|<math> g(3) = 1 </math>,}}
इसलिए बहुपद क्रमचय को परिभाषित करता है<math display="block">\begin{pmatrix}
0 &1 & 2 & 3 \\
0 &3 & 2 & 1
\end{pmatrix} .</math>समान बहुपद पर विचार करें <math> g(x) = 2x^2+x </math> दूसरी वलय Z/''8''Z के लिए देखता है: {{nowrap|<math> g(0) = 0</math>;}} {{nowrap|<math> g(1) = 3</math>;}} {{nowrap|<math> g(2) = 2</math>;}} {{nowrap|<math> g(3) = 5</math>;}} {{nowrap|<math> g(4) = 4</math>;}} {{nowrap|<math> g(5) = 7</math>;}} {{nowrap|<math> g(6) = 6</math>;}} {{nowrap|<math> g(7) = 1</math>,}} तो बहुपद क्रमचय को परिभाषित करता है<math display="block">\begin{pmatrix}
0 &1 & 2 & 3 & 4 & 5 & 6 & 7 \\
0 &3 & 2 & 5 & 4 & 7 & 6 & 1
\end{pmatrix} .</math>

=== वलय Z/P<sup>k</sup>Z ===

<math> g(x) = ax^2+bx+c </math> वलय Z/''p<sup>k Z के लिए''

लेम्मा: ''k''=1 (अर्थात Z/''p''Z) के लिए ऐसा बहुपद केवल ''a''=0 और ''b'' शून्य के बराबर नहीं होने की स्थिति में क्रमपरिवर्तन को परिभाषित करता है। तो बहुपद द्विघात नहीं बल्कि रैखिक है।

लेम्मा: ''K''>1,  ''P''>2 (Z/''P<sup>k</sup>''Z) ऐसा बहुपद क्रमचय को परिभाषित करता है यदि और केवल यदि <math>a \equiv 0 \pmod p</math> और <math>b \not \equiv 0 \pmod p</math>.

=== वलय Z/nZ ===

<math>n=p_1^{k_1}p_2^{k_2}...p_l^{k_l}</math>, जहां P<sub>t</sub>अभाज्य संख्याएँ हैं।

लेम्मा: कोई भी बहुपद <math display="inline"> g(x) = a_0+ \sum_{0 < i \leq M} a_i x^i </math> वलय Z/''n''Z के लिए क्रमचय को परिभाषित करता है यदि और केवल यदि सभी बहुपद <math display="inline"> g_{p_t}(x) = a_{0,p_t}+ \sum_{0 < i \leq M} a_{i,p_t} x^i </math> सभी छल्लों के क्रमपरिवर्तन को परिभाषित करता है <math>Z/p_t^{k_t}Z</math>, कहाँ <math>a_{j,p_t}</math> के अवशेष हैं <math>a_{j}</math> मापांक <math>p_t^{k_t}</math> द्वारा प्रकट होता हैं।

एक परिणाम के रूप में निम्नलिखित सरल निर्माण का उपयोग करके बहुत से द्विघात क्रमचय बहुपदों का निर्माण कर सकते हैं।

<math>n = p_1^{k_1} p_2^{k_2} \dots p_l^{k_l}</math>, मान लीजिए कि K<sub>1</sub> > 1 पर विचार किया जाता हैं।

<math>ax^2+bx</math>, ऐसा है कि <math> a= 0 \bmod p_1</math>, लेकिन <math> a\ne 0 \bmod p_1^{k_1}</math>; ये मान लीजिए <math> a = 0 \bmod p_i^{k_i}</math>, i > 1. और मान लीजिए कि <math>b\ne 0 \bmod p_i</math> सभी के लिए {{math|1=''i'' = 1, ..., ''l''}}.

(उदाहरण के लिए, कोई ले सकता है <math> a=p_1 p_2^{k_2}...p_l^{k_l} </math> और <math>b=1</math> होने पर ऐसा बहुपद क्रमचय को परिभाषित करता है।

इसे देखने के लिए हम देखते हैं कि सभी प्राइम P के लिए<sub>i</sub>, i > 1, इस द्विघात बहुपद मॉड्यूलो P<sub>i</sub> की कमी वास्तव में रैखिक बहुपद है और इसलिए तुच्छ कारण से क्रमचय है। पहली अभाज्य संख्या के लिए हमें पहले चर्चा की गई लेम्मा का उपयोग यह देखने के लिए करना चाहिए कि यह क्रमचय को परिभाषित करती है।

उदाहरण के लिए विचार करें {{math|'''Z'''/12'''Z'''}} और बहुपद <math>6x^2+x</math>.
यह क्रमचय को परिभाषित करता है

<nowiki><math> {b आव्यूह} 0 और 1 और 2 और 3 और 4 और 5 और 6 और 7 और 8 और \cdots \\ 0 और 7 और 2 और 9 और 4 और 11 और 6 और 1 और 8 और \cdots \end{pmatrix} </nowiki><nowiki></math></nowiki>

== परिमित रिंगों पर उच्च डिग्री बहुपद ==

वलय 'Z'/p के लिए बहुपद g(x)।<sup>k</sup>''Z क्रमचय बहुपद है, यदि यह परिमित क्षेत्र Z/''p''Z की अनुमति देता है और <math>g'(x) \ne 0 \bmod p</math> सभी x in 'Z'/p के लिए<sup>k</sup>''Z, जहाँ ''g'''(''x'') ''g''(''x'') का [[औपचारिक व्युत्पन्न]] है।<ref>{{cite journal | last1 = Sun | first1 = Jing | last2 = Takeshita | first2 = Oscar | year = 2005 | title = पूर्णांक रिंगों पर क्रमचय बहुपदों का उपयोग करके टर्बो कोड के लिए इंटरलीवर| journal = IEEE Transactions on Information Theory | volume = 51 | issue = 1| page = 102 }}</ref>
== शूर का अनुमान ==
K एक [[बीजगणितीय संख्या क्षेत्र]] है जिसमें R पूर्णांकों का वलय है। शब्द "शूर का अनुमान" इस अभिकथन को संदर्भित करता है कि, यदि K पर परिभाषित बहुपद f को मुख्य रूप से कई प्रमुख आदर्श P के लिए R/P पर क्रमचय बहुपद है, तो f डिक्सन बहुपदों, डिग्री-एक बहुपदों और बहुपदों की संरचना है। फॉर्म x<sup>k वास्तव में, शूर ने इस दिशा में कोई अनुमान नहीं लगाया जा सकता हैं। उसने जो धारणा की वह फ्राइड के कारण है,<ref>{{cite journal | last=Fried | first=M. | title=शूर के एक अनुमान पर| journal=Michigan Math. J. | year=1970 | pages=41–55 }}</ref> जिसने परिणाम के असत्य संस्करण का त्रुटिपूर्ण प्रमाण दिया हैं। टर्नवाल्ड और मुलर द्वारा सही प्रमाण दिए गए हैं।<ref>{{cite journal | last=Turnwald | first=G. | title=शूर के अनुमान पर| journal=J. Austral. Math. Soc. | year=1995 | pages=312–357 }}</ref> <ref>{{cite journal | last=Müller | first=P. | title=शूर के अनुमान का वील-बाउंड मुक्त प्रमाण| journal=Finite Fields and Their Applications | year=1997 | pages=25–32 }}</ref>
==टिप्पणियाँ==
{{reflist}}


==संदर्भ==
* {{cite book|last=Dickson|first=L. E.|title=Linear Groups with an Exposition of the Galois Field Theory|year=1958|orig-year=1901 | publisher=Dover|location=New York}} 
* {{cite journal|last1=Lidl|first1=Rudolf|last2=Mullen| first2=Gary L.|title=When Does a Polynomial over a Finite Field Permute the Elements of the Field?|journal=The American Mathematical Monthly|date=March 1988|volume=95|issue=3|pages=243–246| doi=10.2307/2323626}} 
* {{cite journal|last1=Lidl|first1=Rudolf|last2=Mullen| first2=Gary L.|title=When Does a Polynomial over a Finite Field Permute the Elements of the Field?, II|journal=The American Mathematical Monthly|date=January 1993|volume=100|issue=1|pages=71–74| doi=10.2307/2324822}}
* {{cite book | zbl=0866.11069 | last1=Lidl | first1=Rudolf | last2=Niederreiter | first2=Harald | author2-link=Harald Niederreiter | title=Finite fields | edition=2nd | series=Encyclopedia of Mathematics and Its Applications | volume=20 | publisher=[[Cambridge University Press]] | year=1997 | isbn=0-521-39231-4 | url-access=registration | url=https://archive.org/details/finitefields0000lidl_a8r3}} Chapter 7.
* {{cite book|first1=Gary L.|last1=Mullen|first2=Daniel|last2=Panario|title=Handbook of Finite Fields|year=2013|publisher=CRC Press|isbn=978-1-4398-7378-6}} Chapter 8.
* {{cite journal|first1=C.J.|last1=Shallue|first2=I.M.|last2=Wanless|title=Permutation polynomials and orthomorphism polynomials of degree six|journal=Finite Fields and Their Applications|volume=20|date= March 2013|pages=84–92|doi=10.1016/j.ffa.2012.12.003| doi-access=free}}

[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 03/03/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:क्रमपरिवर्तन]]
[[Category:बहुपदों]]