View source for कॉनवे बहुपद (परिमित क्षेत्र)

गणित में, [[परिमित क्षेत्र]] F<sub>''p''<sup>''n''</sup></sub>  के लिए कॉनवे बहुपद ''C''<sub>''p'',''n''</sub> 'F<sub>''p''</sub>' के ऊपर घात n का एक विशेष अपरिवर्तनीय बहुपद है इसका उपयोग ''C''<sub>''p'',''n''</sub>  के विभाजन क्षेत्र के रूप में F<sub>''p''<sup>''n''</sup></sub> के मानक प्रतिनिधित्व को परिभाषित करने के लिए किया जा सकता है सी के [[विभाजन क्षेत्र]] के रूप में C<sub>''p'',''n''</sub>. कॉनवे बहुपदों का नाम रिचर्ड a. पार्कर द्वारा जॉन एच. कॉनवे के नाम पर रखा गया था, जो उन्हें परिभाषित करने और उदाहरणों की गणना करने वाले पहले व्यक्ति थे। कॉनवे बहुपद एक निश्चित अनुकूलता शर्त को पूरा करते हैं जो कॉनवे द्वारा एक क्षेत्र के प्रतिनिधित्व और उसके उपक्षेत्रों के प्रतिनिधित्व के बीच प्रस्तावित की गई थी। वे [[कंप्यूटर बीजगणित]] में महत्वपूर्ण हैं जहां वे विभिन्न गणितीय डेटाबेस और कंप्यूटर बीजगणित प्रणालियों के बीच पोर्टेबिलिटी प्रदान करते हैं। चूंकि कॉनवे बहुपद की गणना करना महंगा है, इसलिए उन्हें व्यवहार में उपयोग करने के लिए संग्रहीत किया जाना चाहिए। कॉनवे बहुपदों के डेटाबेस कंप्यूटर बीजगणित प्रणाली जीएपी में उपलब्ध हैं,<ref>{{cite book
 |url = http://www.gap-system.org/Manuals/doc/ref/chap59.html#X869919BB7EBE5741
 |title = GAP 4 Manual
 |chapter = Chapter 59
 |publisher = The GAP Group
 |accessdate = 8 February 2011
}}</ref> विनोदी,<ref>{{cite web
 |title = Macaulay2, a software system for research in algebraic geometry
 |last1 = Grayson
 |first1 = Daniel R.
 |last2 = Stillman
 |first2 = Michael E.
 |url = http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.3.1/share/doc/Macaulay2/ConwayPolynomials/html/
 |accessdate = 9 February 2011
 |archive-url = https://web.archive.org/web/20110720085332/http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.3.1/share/doc/Macaulay2/ConwayPolynomials/html/
 |archive-date = 20 July 2011
 |url-status = dead
 }}</ref> मैग्मा कंप्यूटर बीजगणित प्रणाली,<ref>{{cite web
 |url = http://magma.maths.usyd.edu.au/magma/handbook/text/186
 |title = Magma handbook: finite fields
 |last1 = Bosma |first1 = W.
 |last2 = Steel |first2 = A.
 |publisher = Computational Algebra Group, School of Mathematics and Statistics, University of Sydney
 |accessdate = 8 February 2011
}}</ref> [[सेजमैथ]],<ref>{{cite web
 |url = http://www.sagemath.org/doc/reference/sage/databases/conway.html
 |title = Frank Luebeck’s tables of Conway polynomials over finite fields
 |publisher = The Sage Development Team
 |accessdate = 18 March 2013
}}</ref> और फ़्रैंक ल्यूबेक की वेब साइट पर उपलब्ध हैं।<ref name=FOOTNOTESLuebeck>{{cite web
 |last = Lübeck |first = Frank
 |title = Conway polynomials for finite fields
 |url = http://www.math.rwth-aachen.de/~Frank.Luebeck/data/ConwayPol/index.html
 |accessdate = 8 February 2011
}}</ref> 
==पृष्ठभूमि==
F<sub>''p''<sup>''n''</sup></sub> के तत्वों को a<sub>''n''−1</sub>β<sup>n−1</sup> + ... + a<sub>1</sub>β+ a<sub>0</sub> के रूप में दर्शाया जा सकता है  जहां  'βF<sub>p</sub>' के ऊपर घात n वाले एक अप्रासंगिक बहुपद का मूल है और a<sub>''j''</sub> F<sub>''p''</sub> के तत्व हैं. इस प्रतिनिधित्व में फ़ील्ड तत्वों का जोड़ केवल वेक्टर जोड़ है। जबकि समरूपता तक क्रम p<sup>n</sup> का एक अद्वितीय परिमित क्षेत्र है,  क्षेत्र तत्वों का प्रतिनिधित्व अपरिवर्तनीय बहुपद की पसंद पर निर्भर करता है। कॉनवे बहुपद इस विकल्प को मानकीकृत करने का एक तरीका है।

एक परिमित क्षेत्र के गैर-शून्य तत्व गुणन के तहत एक [[चक्रीय समूह]] बनाते हैं। 'F<sub>''p''<sup>''n''</sup></sub>' का एक [[आदिम तत्व (परिमित क्षेत्र)]], α, एक ऐसा तत्व है जो इस समूह को उत्पन्न करता है। गैर-शून्य क्षेत्र तत्वों को α की शक्तियों के रूप में प्रस्तुत करने से क्षेत्र में गुणन कुशलतापूर्वक किया जा सकता है। α के लिए [[आदिम बहुपद (क्षेत्र सिद्धांत)]] 'F<sub>''p''</sub>' में गुणांक के साथ सबसे छोटी संभव डिग्री का मोनिक बहुपद है 'F<sub>''p''<sup>''n''</sup></sub>' में मूल के रूप में α है (α के लिए [[न्यूनतम बहुपद (क्षेत्र सिद्धांत)]])। यह आवश्यक रूप से अपरिवर्तनीय है. कॉनवे बहुपद को आदिम होने के लिए चुना गया है, ताकि इसकी प्रत्येक जड़ संबंधित परिमित क्षेत्र के गुणक समूह को उत्पन्न कर सके।

'F<sub>''p''<sup>''n''</sup></sub>' के उपक्षेत्र फ़ील्ड M को विभाजित करने वाले N के साथ क्षेत्र 'F<sub>''p''<sup>''m''</sup></sub>' के अशून्य तत्वों से बना चक्रीय समूह F<sub>''p''<sup>''n''</sup></sub> के चक्रीय समूह का एक उपसमूह है. यदि α उत्तरार्द्ध उत्पन्न करता है, तो α की सबसे छोटी शक्ति जो पूर्व उत्पन्न करती है वह α<sup>r</sup>  है जहां r = (p)<sup>n</sup> - 1)/(Pm - 1) है।यदि F<sub>''n''</sub>,  जड़ α के साथ F<sub>''p''<sup>''n''</sup></sub> के लिए एक आदिम बहुपद है, और यदि f<sub>''m''</sub> F<sub>''p''<sup>''m''</sup></sub> के लिए एक आदिम बहुपद है, तो कॉनवे की परिभाषा के अनुसार, F<sub>''m''</sub> और F<sub>''n''</sub> संगत हैं यदि ''α''<sup>r</sup>f<sub>''m''</sub> का मूल है. इसके लिए आवश्यक है कि F<sub>''m''</sub>(x) f<sub>''n''</sub>(X<sup>r</sup>) को विभाजित करें। अनुकूलता की इस धारणा को कुछ लेखक 'मानक-संगतता' कहते हैं। एक परिमित क्षेत्र के लिए कॉनवे बहुपद को चुना जाता है ताकि वह इसके प्रत्येक उपक्षेत्र के कॉनवे बहुपद के साथ संगत हो सके। इस तरह से चुनाव करना संभव है, यह वर्नर निकेल ने साबित किया था।<ref>{{citation
 |last = Nickel | first = Werner
 |title = Endliche Körper in dem gruppentheoretischen Programmsystem GAP
 |series = Diploma thesis, RWTH Aachen
 |year = 1988
 |url = http://www.mathematik.tu-darmstadt.de/~nickel/
 |accessdate = 10 February 2011
}}.</ref>
==परिभाषा==
कॉनवे बहुपद C<sub>''p'',''n''</sub> इसे 'F<sub>''p''</sub>' के ऊपर डिग्री n के शब्दकोषीय रूप से न्यूनतम मोनिक आदिम बहुपद के रूप में परिभाषित किया गया है जो सभी m को विभाजित करने वाले n के लिए यह C<sub>''p'',''m''</sub> के साथ संगत है  । यह n पर एक आगमनात्मक परिभाषा है: आधार घटना C<sub>''p'',1</sub>(x) = x − α है जहां α 'F<sub>''p''</sub>' का शब्दकोषीय रूप से न्यूनतम आदिम तत्व है. प्रयुक्त शब्दावली क्रम की धारणा निम्नलिखित है:
* F<sub>''p''</sub> के तत्व 0 < 1 < 2 < ... < p - 1 का आदेश दिया गया है।
* 'F<sub>''p''</sub>[x]' में डिग्री डी का एक बहुपद a<sub>''d''</sub>x<sup>d</sup> - a<sub>''d''−1</sub>x<sup>d−1</sup> + ... + (−1)<sup>d</sup>a<sub>0</sub> लिखा है  और फिर शब्द a<sub>''d''</sub>a<sub>''d''−1</sub>... a<sub>0</sub>. के रूप में व्यक्त किया जाता है। घात d वाले दो बहुपदों को उनके संगत शब्दों के शाब्दिक क्रम के अनुसार क्रमबद्ध किया गया है।
चूँकि ऐसा कोई प्राकृतिक गणितीय मानदंड प्रतीत नहीं होता है जो अन्य सभी पर अनुकूलता की शर्तों को पूरा करने वाले एक राक्षसी आदिम बहुपद को अलग कर देगा, कॉनवे बहुपद की परिभाषा में [[शब्दकोषीय क्रम]] लगाने को एक सम्मेलन के रूप में माना जाना चाहिए।

==गणना==
कॉनवे बहुपद की गणना के लिए एल्गोरिदम जो जानवर-बल शोध से अधिक कुशल हैं, हीथ और लोहर द्वारा विकसित किए गए हैं।<ref>{{cite web
 |last1 = Heath |first1 = Lenwood S.
 |last2 = Loehr |first2 = Nicholas A.
 |url = http://eprints.cs.vt.edu/archive/00000493/
 |year = 1998
 |title = New algorithms for generating Conway polynomials over finite fields
 |id = Technical Report ncstrl.vatech_cs//TR-98-14, Computer Science
 |publisher = Virginia Polytechnic Institute and State University
 |accessdate = 8 February 2011
}}</ref> लुबेक इंगित करता है<ref name=FOOTNOTESLuebeck />कि उनका एल्गोरिदम पार्कर की पद्धति की पुनः शोध है।

==टिप्पणियाँ==
{{reflist}}

==संदर्भ==
*{{citation
 |title = कम्प्यूटेशनल समूह सिद्धांत की पुस्तिका
 |series = पृथक गणित और उसके अनुप्रयोग
 |volume = 24
 |last1 = होल्ट
 |first1 = डेरेक एफ.
 |last2 = ईक
 |first2 = बेट्टिना
 |last3 = ओ ब्रायन
 |first3 = एमानो ए.
 |publisher = सीआरसी प्रेस
 |year = 2005
 |isbn = 978-1-58488-372-2
 |url-access = पंजीकरण
 |url = https://archive.org/details/handbookofcomput0000holt
 }}
[[Category: परिमित क्षेत्र]] [[Category: कंप्यूटर बीजगणित]] [[Category: जॉन हॉर्टन कॉनवे]] 



[[Category: Machine Translated Page]]
[[Category:Created On 14/07/2023]]
[[Category:Vigyan Ready]]