परिमित क्षेत्र: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(35 intermediate revisions by 4 users not shown)
Line 2: Line 2:
{{Redirect|Galois field|Galois field extensions|Galois extension}}
{{Redirect|Galois field|Galois field extensions|Galois extension}}
{{more footnotes|date=February 2015}}
{{more footnotes|date=February 2015}}
{{Algebraic structures}}
गणित में, एक परिमित क्षेत्र या गैलोइस क्षेत्र (इवरिस्ट गैलोइस के सम्मान में तथाकथित) एक [[ क्षेत्र (गणित) |क्षेत्र]] है जिसमें [[ तत्व (गणित) |तत्वों]] की एक सीमित संख्या होती है। किसी भी क्षेत्र की तरह, एक परिमित क्षेत्र एक [[ सेट (गणित) |समुच्चय]] होता है, जिस पर गुणन, जोड़, घटाव और भाग के संचालन परिभाषित होते हैं और कुछ बुनियादी नियमों को पूरा करते हैं। परिमित क्षेत्रों के सबसे सामान्य उदाहरण पूर्णांक mod {{math|''p''}} द्वारा दिए गए हैं जब {{math|''p''}} एक [[ अभाज्य संख्या |अभाज्य संख्या]] है।
गणित में, एक परिमित क्षेत्र (finite field) या गैलोइस क्षेत्र (Évariste Galois के सम्मान में तथाकथित) एक [[ क्षेत्र (गणित) ]] है जिसमें [[ तत्व (गणित) ]] की एक सीमित संख्या होती है। किसी भी क्षेत्र की तरह, एक परिमित क्षेत्र एक [[ सेट (गणित) ]] होता है, जिस पर गुणन, जोड़, घटाव और भाग के संचालन परिभाषित होते हैं और कुछ बुनियादी नियमों को पूरा करते हैं। परिमित क्षेत्रों के सबसे सामान्य उदाहरण पूर्णांक mod {{math|''p''}} (integers mod {{math|''p''}})  द्वारा दिए गए हैं जब {{math|''p''}} एक [[ अभाज्य संख्या ]] है।


एक परिमित क्षेत्र (finite field) का क्रम (''order)'' उसके तत्वों की संख्या है, जो या तो एक अभाज्य संख्या या एक अभाज्य घात है। प्रत्येक अभाज्य संख्या के लिए {{mvar|p}} और प्रत्येक धनात्मक पूर्णांक {{mvar|k}} के लिए क्रम <math>p^k,</math> के क्षेत्र हैं, जो सभी समरूपी हैं।
एक परिमित क्षेत्र का क्रम उसके तत्वों की संख्या है, जो या तो एक अभाज्य संख्या या एक अभाज्य घात है। प्रत्येक अभाज्य संख्या के लिए {{mvar|p}} और प्रत्येक धनात्मक पूर्णांक {{mvar|k}} के लिए क्रम <math>p^k,</math> के क्षेत्र हैं, जिनमें से सभी समरूपी हैं।


गणित और [[ कंप्यूटर विज्ञान ]] के कई क्षेत्रों में परिमित क्षेत्र (finite field) मौलिक हैं, जिनमें [[ संख्या सिद्धांत ]], [[ बीजगणितीय ज्यामिति ]], [[ गैलोइस सिद्धांत ]], [[ परिमित ज्यामिति ]], [[ क्रिप्टोग्राफी ]] और [[ कोडिंग सिद्धांत ]] शामिल हैं।
गणित और [[ कंप्यूटर विज्ञान |कंप्यूटर विज्ञान]] के कई क्षेत्रों में परिमित क्षेत्र मौलिक हैं, जिनमें [[ संख्या सिद्धांत |संख्या सिद्धांत]], [[ बीजगणितीय ज्यामिति |बीजगणितीय ज्यामिति]], [[ गैलोइस सिद्धांत |गैलोइस सिद्धांत]], [[ परिमित ज्यामिति |परिमित ज्यामिति]], [[ क्रिप्टोग्राफी |क्रिप्टोग्राफी]] और [[ कोडिंग सिद्धांत |कोडिंग सिद्धांत]] सम्मिलित हैं।


== गुण ==
== गुण ==


एक परिमित क्षेत्र (finite field) एक परिमित समुच्चय है जो एक क्षेत्र (गणित) है; इसका मतलब है कि गुणा, जोड़, घटाव और भाग (शून्य से भाग को छोड़कर) परिभाषित हैं और क्षेत्र सिद्धांतों के रूप में ज्ञात अंकगणित के नियमों को पूरा करते हैं।
एक परिमित क्षेत्र एक परिमित समुच्चय है जो एक ऐसा क्षेत्र है जिसका अर्थ है कि गुणा, जोड़, घटाव और भाग (शून्य से भाग को छोड़कर) परिभाषित हैं और क्षेत्र सिद्धांतों के रूप में ज्ञात अंकगणित के नियमों के नियमों को संतुष्ट करते हैं।


एक परिमित क्षेत्र (finite field) के तत्वों की संख्या को इसका क्रम (''order)'' या, कभी-कभी, इसका आकार कहा जाता है। {{math|''q''}} क्रम (''order) का एक परिमित क्षेत्र'' (finite field) मौजूद है अगर और केवल अगर {{math|''q''}} एक प्रमुख संख्या (prime number'')'' है {{math|''p<sup>k</sup>''}} (जहां {{math|''p''}} एक अभाज्य संख्या है और {{math|''k''}} एक धनात्मक पूर्णांक है)। क्रम (''order)''  {{math|''p<sup>k</sup>''}} के क्षेत्र में, किसी भी तत्व की {{math|''p''}} प्रतियां जोड़ने पर परिणाम हमेशा शून्य होता है ; यानी क्षेत्र की [[ विशेषता (बीजगणित) ]] {{math|''p''}} है।
परिमित क्षेत्र के तत्वों की संख्या को उसका क्रम या कभी-कभी उसका आकार कहा जाता है। क्रम {{math|''q''}} का एक परिमित क्षेत्र उपस्थित होता है यदि {{math|''q''}} एक अभाज्य संख्या है {{math|''p<sup>k</sup>''}} (जहां {{math|''p''}} एक अभाज्य संख्या है और {{math|''k''}} एक धनात्मक पूर्णांक है)। क्रम {{math|''p<sup>k</sup>''}} के क्षेत्र में, किसी भी तत्व की {{math|''p''}} प्रतियां जोड़ने पर परिणाम हमेशा शून्य होता है अर्थात क्षेत्र की [[ विशेषता (बीजगणित) |विशेषता]] {{math|''p''}} है।


यदि {{math|1=''q'' = ''p<sup>k</sup>''}}, क्रम (''order)''  के सभी क्षेत्र {{mvar|q}} [[ समरूपी ]] हैं (देखें {{slink||Existence and uniqueness}} नीचे)।<ref name="moore"/>इसके अलावा, एक क्षेत्र (फ़ील्ड'')''  में समान क्रम वाले दो भिन्न परिमित [[ क्षेत्र विस्तार ]] नहीं हो सकते हैं। इसलिए एक ही क्रम के साथ सभी परिमित क्षेत्रों (finite fields) की पहचान की जा सकती है, और उन्हें स्पष्ट रूप से निरूपित किया जाता है <math>\mathbb{F}_{q}</math>, {{math|'''F'''<sub>''q''</sub>}} या {{math|GF(''q'')}}, जहां अक्षर GF "गैलॉइस फील्ड" के लिए है।<ref>This latter notation was introduced by [[E. H. Moore]] in an address given in 1893 at the International Mathematical Congress held in Chicago {{harvnb|Mullen|Panario|2013|loc = p.&nbsp;10}}.</ref> {{math|''q''}} क्रम (''order)'' के एक परिमित क्षेत्र में, [[ बहुपद ]] {{math|''X<sup>q</sup>'' − ''X''}} में परिमित क्षेत्र के सभी {{math|''q''}} तत्व मूल के रूप में होते हैं। एक परिमित क्षेत्र के गैर-शून्य तत्व एक [[ गुणक समूह ]] बनाते हैं। यह समूह [[ चक्रीय समूह ]] है, इसलिए सभी गैर-शून्य तत्वों को एक ही तत्व की घातों के रूप में व्यक्त किया जा सकता है जिसे क्षेत्र का एक [[ आदिम तत्व (परिमित क्षेत्र) ]] कहा जाता है। (सामान्य तौर पर किसी दिए गए क्षेत्र के लिए कई मौलिक तत्व होंगे।)
यदि {{math|1=''q'' = ''p<sup>k</sup>''}}, क्रम के सभी क्षेत्र {{mvar|q}} [[ समरूपी |समरूपी]] हैं (नीचे § अस्तित्व और अद्वितीयता देखें नीचे)।<ref name="moore"/> इसके अतिरिक्त, एक क्षेत्र में एक ही क्रम के दो अलग-अलग परिमित उपक्षेत्र नहीं हो सकते। इसलिए सभी परिमित क्षेत्रों को एक ही क्रम से पहचाना जा सकता है और उन्हें स्पष्ट रूप से <math>\mathbb{F}_{q}</math>, {{math|'''F'''<sub>''q''</sub>}} या {{math|GF(''q'')}} के रूप में निरूपित किया जाता है जहां वर्ण GF का उपयोग "गैलॉइस फील्ड" के लिए होता है।<ref>This latter notation was introduced by [[E. H. Moore]] in an address given in 1893 at the International Mathematical Congress held in Chicago {{harvnb|Mullen|Panario|2013|loc = p.&nbsp;10}}.</ref> {{math|''q''}} क्रम के एक परिमित क्षेत्र में, [[ बहुपद |बहुपद]] {{math|''X<sup>q</sup>'' − ''X''}} में परिमित क्षेत्र के सभी {{math|''q''}} तत्व मूल के रूप में होते हैं। एक परिमित क्षेत्र के गैर-शून्य तत्व एक [[ गुणक समूह |गुणक समूह]] बनाते हैं। यह समूह [[ चक्रीय समूह |चक्रीय समूह]] है, इसलिए सभी गैर-शून्य तत्वों को एक ही तत्व की घातों के रूप में व्यक्त किया जा सकता है जिसे क्षेत्र का एक [[ आदिम तत्व (परिमित क्षेत्र) |पूर्वग अवयव]] कहा जाता है। (सामान्य तौर पर किसी दिए गए क्षेत्र के लिए कई मौलिक तत्व होंगे)


परिमित क्षेत्रों के सबसे सरल उदाहरण अभाज्य क्रम के क्षेत्र हैं: प्रत्येक अभाज्य संख्या {{math|''p''}} के लिए, क्रम (''order) {{math|''p''}}'' का [[ प्रमुख क्षेत्र ]], <math>\mathbb{F}_{p}</math>,  पूर्णांक मॉड्यूल (integers modulo)  {{mvar|p}}, {{math|'''Z'''/''p'''''Z'''}} के रूप में निर्मित किया जा सकता है।
परिमित क्षेत्रों के सबसे सरल उदाहरण अभाज्य क्रम के क्षेत्र हैं: प्रत्येक अभाज्य संख्या {{math|''p''}} के लिए, ''(क्रम){{math|''p''}}'' का [[ प्रमुख क्षेत्र |अभाज्य क्षेत्र]], <math>\mathbb{F}_{p}</math>,  पूर्णांक मापांक {{mvar|p}}, {{math|'''Z'''/''p'''''Z'''}} के रूप में निर्मित किया जा सकता है।


{{mvar|p}} क्रम (''order)''  के प्रमुख क्षेत्र के तत्वों को  {{math|0, ..., ''p'' − 1}} श्रेणी में पूर्णांकों द्वारा दर्शाया जा सकता है। योग, अंतर और गुणनफल संगत पूर्णांक संक्रिया के परिणाम के {{mvar|p}} से विभाजन का शेषफल है। [[ यूक्लिडियन डिवीजन ]] '''द्वारा हैं {{math|''p''}} संबंधित पूर्णांक ऑपरेशन के परिणाम का।''' विस्तारित यूक्लिडियन एल्गोरिथम का उपयोग करके किसी तत्व के गुणनात्मक व्युत्क्रम की गणना की जा सकती है (देखें {{slink|Extended Euclidean algorithm|Modular integers}})
{{mvar|p}} क्रम के अभाज्य क्षेत्र के तत्वों को  {{math|0, ..., ''p'' − 1}} श्रेणी में पूर्णांकों द्वारा दर्शाया जा सकता है। योग, अंतर और गुणनफल संगत पूर्णांक संक्रिया के परिणाम के {{mvar|p}} से विभाजन का शेषफल है। विस्तारित यूक्लिडीय कलनविधि का उपयोग करके किसी तत्व के गुणात्मक व्युत्क्रम की गणना की जा सकती है। (विस्तारित यूक्लिडियन कलनविधि § मॉड्यूलर पूर्णांक देखें)


मान लीजिए {{math|''F''}} एक परिमित क्षेत्र है। {{math|''F''}} में किसी भी तत्व {{math|''x''}} और किसी [[ पूर्णांक ]] {{math|''n''}} के लिए, {{math|''n'' ⋅ ''x''}} द्वारा  {{math|''x''}} की {{math|''n''}}  प्रतियों के योग को निरूपित करें। सबसे छोटा धनात्मक {{math|''n''}} ऐसा है कि {{math|1=''n'' ⋅ 1 = 0}} क्षेत्र की विशेषता {{mvar|p}} है। यह गुणन को परिभाषित करने की अनुमति देता है <math>(k,x) \mapsto k \cdot x</math>, {{math|GF(''p'')}}  के एक तत्व  {{mvar|k}} का {{math|''F''}} के एक तत्व  {{mvar|x}}  द्वारा {{mvar|k}}  लिए एक पूर्णांक प्रतिनिधि (integer representative) चुनकर। यह गुणन  {{math|''F''}} को  {{math|GF(''p'')}}-[[ सदिश स्थल ]] (vector space) बनाता है। यह इस प्रकार है कि किसी पूर्णांक {{math|''n''}} के लिए  {{math|''F''}} के तत्वों की संख्या {{math|''p<sup>n</sup>''}} है।
मान लीजिए {{math|''F''}} एक परिमित क्षेत्र है। {{math|''F''}} में किसी भी तत्व {{math|''x''}} और किसी [[ पूर्णांक |पूर्णांक]] {{math|''n''}} के लिए, {{math|''n'' ⋅ ''x''}} द्वारा  {{math|''x''}} की {{math|''n''}}  प्रतियों के योग को निरूपित करें। सबसे छोटा धनात्मक {{math|''n''}} ऐसा है कि {{math|1=''n'' ⋅ 1 = 0}} क्षेत्र की विशेषता {{mvar|p}} है। यह गुणन को परिभाषित करने की अनुमति देता है <math>(k,x) \mapsto k \cdot x</math>, {{math|GF(''p'')}}  के एक तत्व  {{mvar|k}} का {{math|''F''}} के एक तत्व  {{mvar|x}}  द्वारा {{mvar|k}}  लिए एक पूर्णांक प्रतिनिधि चुनकर। यह गुणन  {{math|''F''}} को  {{math|GF(''p'')}}-[[ सदिश स्थल |सदिश स्थल]] बनाता है। यह इस प्रकार है कि किसी पूर्णांक {{math|''n''}} के लिए  {{math|''F''}} के तत्वों की संख्या {{math|''p<sup>n</sup>''}} है।


[[ पहचान (गणित) ]]
[[ पहचान (गणित) |पहचान]]
<math display="block" id="powersum">(x+y)^p=x^p+y^p</math>
<math display="block" id="powersum">(x+y)^p=x^p+y^p</math>
(कभी-कभी फ्रेशमैन का सपना कहा जाता है) विशेषता {{math|''p''}} के क्षेत्र में सच है।   यह [[ द्विपद प्रमेय ]] से अनुसरण करता है, क्योंकि {{math|(''x'' + ''y'')<sup>''p''</sup>}} के विस्तार का प्रत्येक [[ द्विपद गुणांक ]] पहले और अंतिम को छोड़कर, {{math|''p''}} का एक गुणज (multiple)  है।   
(कभी-कभी फ्रेशमैन का सपना कहा जाता है) विशेषता {{math|''p''}} के क्षेत्र में सत्य है। यह [[ द्विपद प्रमेय |द्विपद प्रमेय]] से अनुसरण करता है, क्योंकि {{math|(''x'' + ''y'')<sup>''p''</sup>}} के विस्तार का प्रत्येक [[ द्विपद गुणांक |द्विपद गुणांक]] पहले और अंतिम को छोड़कर, {{math|''p''}} का एक गुणक है।   


फ़र्मेट की छोटी प्रमेय  के अनुसार, यदि {{mvar|p}} एक अभाज्य संख्या है और {{mvar|x}}  क्षेत्र (फ़ील्ड'')'' {{math|GF(''p'')}} में है तो {{math|1=''x<sup>p</sup>'' = ''x''}}. इसका तात्पर्य समानता से है
फ़र्मेट की छोटी प्रमेय  के अनुसार, यदि {{mvar|p}} एक अभाज्य संख्या है और {{mvar|x}}  क्षेत्र  {{math|GF(''p'')}} में है तो {{math|1=''x<sup>p</sup>'' = ''x''}}. इसका तात्पर्य समानता से है
<math display="block">X^p-X=\prod_{a\in \mathrm{GF}(p)} (X-a)</math>
<math display="block">X^p-X=\prod_{a\in \mathrm{GF}(p)} (X-a)</math>
{{math|GF(''p'')}} के बहुपदों के लिए। अधिक सामान्यतः{{math|GF(''p''<sup>''n''</sup>)}} में प्रत्येक तत्व बहुपद समीकरण {{math|1=''x''<sup>''p''<sup>''n''</sup></sup> − ''x'' = 0}} को संतुष्ट करता है।
{{math|GF(''p'')}} के बहुपदों के लिए। सामान्यतः {{math|GF(''p''<sup>''n''</sup>)}} में प्रत्येक तत्व बहुपद समीकरण {{math|1=''x''<sup>''p''<sup>''n''</sup></sup> − ''x'' = 0}} को संतुष्ट करता है।


परिमित क्षेत्र (finite field) का कोई भी परिमित क्षेत्र विस्तार (finite field extension)  वियोज्य (separable) और सरल (simple) है। यानी अगर {{math|''E''}} एक परिमित क्षेत्र (finite field) है और {{math|''F''}}, {{math|''E''}} का एक उपक्षेत्र (subfield) है , तो {{math|''E''}} को {{math|''F''}} से एक एकल तत्व जिसका [[ न्यूनतम बहुपद (क्षेत्र सिद्धांत) ]] वियोज्य (separable) है से जोड़कर प्राप्त किया जाता है। एक शब्दजाल (jargon) का उपयोग करने के लिए, परिमित क्षेत्र (finite fields) [[ सही क्षेत्र ]] (perfect) हैं।
परिमित क्षेत्र का कोई भी परिमित क्षेत्र विस्तार वियोज्य (सेपरेबल) और सरल है। अर्थात्, यदि {{math|''E''}} एक परिमित क्षेत्र है और {{math|''F''}}, {{math|''E''}} का एक उपक्षेत्र है , तो {{math|''E''}} को {{math|''F''}} से एक एकल तत्व जिसका [[ न्यूनतम बहुपद (क्षेत्र सिद्धांत) |न्यूनतम बहुपद (क्षेत्र सिद्धांत)]] वियोज्य है से जोड़कर प्राप्त किया जाता है। एक शब्दावली का उपयोग करने के लिए, परिमित क्षेत्र परिपूर्ण हैं।


एक अधिक सामान्य बीजगणितीय संरचना जो एक क्षेत्र (field) की अन्य सभी सूक्तियों (axioms) को संतुष्ट करती है, लेकिन जिसके गुणन को क्रमविनिमेय (commutative) होने की आवश्यकता नहीं होती है, उसे [[ विभाजन की अंगूठी ]] (division ring) या कभी-कभी विषम क्षेत्र (skew field) कहा जाता है। वेडरबर्न की छोटी प्रमेय के अनुसार, कोई भी परिमित विभाजन वलय (finite division ring) क्रमविनिमेय  (commutative) होता है, और इसलिए एक परिमित क्षेत्र (finite field) होता है।
एक अधिक सामान्य बीजगणितीय संरचना जो एक क्षेत्र की अन्य सभी सूक्तियों को संतुष्ट करती है, लेकिन जिसके गुणन को क्रमविनिमेय होने की आवश्यकता नहीं होती है, उसे विभाजन वलय या कभी-कभी विषम क्षेत्र कहा जाता है। वेडरबर्न की छोटी प्रमेय के अनुसार, कोई भी परिमित विभाजन वलय, परिवर्तन योग्य होता है और इसलिए एक परिमित क्षेत्र होता है।


==अस्तित्व और विशिष्टता ==
==अस्तित्व और विशिष्टता ==
मान लीजिए {{math|1=''q'' = ''p<sup>n</sup>''}} एक प्रमुख घात (prime power) है, और {{math|''F''}} बहुपद (polynomial) का विभाजन क्षेत्र (splitting field) हो
मान लीजिए {{math|1=''q'' = ''p<sup>n</sup>''}} एक अभाज्य घात है और {{math|''F''}} बहुपद का विभाजन क्षेत्र है 
<math display="block">P = X^q-X</math>
<math display="block">P = X^q-X</math>
प्रमुख क्षेत्र (prime field) {{math|GF(''p'')}} के ऊपर। इसका मतलब यह है कि  {{math|''F''}} निम्नतम क्रम (lowest order) का एक परिमित क्षेत्र (finite field) है, जिसमें {{math|''P''}} के {{math|''q''}} अलग-अलग मूल हैं ({{math|''P''}} का [[ औपचारिक व्युत्पन्न | औपचारिक व्युत्पन्न]] {{math|1=''P''{{}} = −1}} है , जिसका अर्थ है कि {{math|1=gcd(''P'', ''P''{{}}) = 1}}, जिसका सामान्य अर्थ यह है कि विभाजन क्षेत्र (splitting field)  मूल (original) का एक [[ वियोज्य विस्तार ]] है)। उपरोक्त पहचान दर्शाता है कि {{math|''P''}} के दो मूलों (roots) का योग और गुणनफल {{math|''P''}} के मूल (root) हैं, साथ ही {{math|''P''}} के मूल का गुणनात्मक व्युत्क्रम (multiplicative inverse)। दूसरे शब्दों में, {{math|''P''}} के मूल q क्रम (order) का एक क्षेत्र (field) बनाते हैं, जो विभाजन क्षेत्र (splitting field)  की न्यूनतमता (minimality) से {{math|''F''}} के बराबर है।
अभाज्य क्षेत्र {{math|GF(''p'')}} पर। इसका मतलब यह है कि  {{math|''F''}} निम्नतम क्रम का एक परिमित क्षेत्र है, जिसमें {{math|''P''}} के {{math|''q''}} अलग-अलग मूल हैं ({{math|''P''}} का [[ औपचारिक व्युत्पन्न |औपचारिक व्युत्पन्न]] {{math|1=''P''′ = −1}} है , जिसका अर्थ है कि {{math|1=gcd(''P'', ''P'' ′) = 1}}, जिसका सामान्य अर्थ यह है कि विभाजन क्षेत्र, मूल का एक [[ वियोज्य विस्तार |वियोज्य विस्तार]] है)। उपरोक्त पहचान दर्शाता है कि {{math|''P''}} के दो मूलों का योग और गुणनफल {{math|''P''}} के मूल हैं, साथ ही {{math|''P''}} के मूल का गुणनात्मक व्युत्क्रम भी हैं। दूसरे शब्दों में, {{math|''P''}} के मूल q क्रम का एक क्षेत्र बनाते हैं, जो विभाजन क्षेत्र की न्यूनतमता से {{math|''F''}} के बराबर है।


बंटवारे वाले क्षेत्रों के समरूपता तक की विशिष्टता का तात्पर्य इस प्रकार है कि क्रम के सभी क्षेत्र {{math|''q''}} समरूपी हैं। इसके अलावा, यदि कोई क्षेत्र {{mvar|F}} आदेश का एक क्षेत्र है {{math|1=''q'' = ''p''<sup>''k''</sup>}} एक उपक्षेत्र के रूप में, इसके तत्व हैं {{mvar|q}} की जड़ें {{math|''X''<sup>''q''</sup> − ''X''}}, तथा {{mvar|F}} आदेश का एक और उपक्षेत्र नहीं हो सकता {{mvar|q}}.
विभाजक क्षेत्रों के समरूपता तक की विशिष्टता का तात्पर्य इस प्रकार है कि क्रम के सभी क्षेत्र {{math|''q''}} समरूपी हैं। इसके अलावा, यदि कोई क्षेत्र {{mvar|F}} क्रम का एक क्षेत्र है {{math|1=''q'' = ''p''<sup>''k''</sup>}} एक उपक्षेत्र के रूप में, इसके तत्व हैं {{mvar|q}} की जड़ें {{math|''X''<sup>''q''</sup> − ''X''}}, तथा {{mvar|F}} में क्रम {{mvar|q}} का कोई अन्य उपक्षेत्र नहीं हो सकता।


संक्षेप में, हमारे पास निम्नलिखित वर्गीकरण प्रमेय है जिसे पहली बार 1893 में ई. एच. मूर द्वारा सिद्ध किया गया था:<ref name="moore">{{citation|first=E. H.|last=Moore|author-link=E. H. Moore|chapter=A doubly-infinite system of simple groups|editor=E. H. Moore |display-editors=etal |title=Mathematical Papers Read at the International Mathematics Congress Held in Connection with the World's Columbian Exposition|pages=208–242|publisher=Macmillan & Co.|year=1896}}</ref>
संक्षेप में, हमारे पास निम्नलिखित वर्गीकरण प्रमेय है जिसे पहली बार 1893 में ई. एच. मूर द्वारा सिद्ध किया गया था:<ref name="moore">{{citation|first=E. H.|last=Moore|author-link=E. H. Moore|chapter=A doubly-infinite system of simple groups|editor=E. H. Moore |display-editors=etal |title=Mathematical Papers Read at the International Mathematics Congress Held in Connection with the World's Columbian Exposition|pages=208–242|publisher=Macmillan & Co.|year=1896}}</ref>
<blockquote>एक परिमित क्षेत्र का क्रम एक प्रमुख शक्ति है। हर प्रधान शक्ति के लिए {{math|''q''}} आदेश के क्षेत्र हैं {{math|''q''}}, और वे सभी समरूपी हैं। इन क्षेत्रों में हर तत्व संतुष्ट
<blockquote>एक परिमित क्षेत्र का क्रम एक अभाज्य घात है। प्रत्येक अभाज्य घात के लिए {{math|''q''}} अनुक्रम के क्षेत्र होते हैं और वे सभी समरूपी होते हैं इन क्षेत्रों में प्रत्येक तत्व संतुष्ट करता है।
<math display="block">x^q=x,</math>
<math display="block">x^q=x,</math>
और बहुपद {{math|''X<sup>q</sup>'' − ''X''}} कारक के रूप में
और बहुपद {{math|''X<sup>q</sup>'' − ''X''}} कारक के रूप में
  <math display="block">X^q-X= \prod_{a\in F} (X-a).</math></blockquote>
  <math display="block">X^q-X= \prod_{a\in F} (X-a).</math></blockquote>


यह इस प्रकार है कि {{math|GF(''p<sup>n</sup>'')}} इसमें एक सबफील्ड आइसोमॉर्फिक शामिल है {{math|GF(''p<sup>m</sup>'')}} अगर और केवल अगर {{math|''m''}} का भाजक है {{math|''n''}}; उस स्थिति में, यह उपक्षेत्र अद्वितीय है। वास्तव में, बहुपद {{math|''X<sup>p<sup>m</sup></sup>'' − ''X''}} विभाजित {{math|''X<sup>p<sup>n</sup></sup>'' − ''X''}} अगर और केवल अगर {{math|''m''}} का भाजक है {{math|''n''}}.
यह अनुसरण करता है कि {{math|GF(''p<sup>n</sup>'')}} के लिए एक उपक्षेत्र अनुक्रम सम्मिलित है {{math|GF(''p<sup>m</sup>'')}} यदि {{math|''m''}}, {{math|''n''}} का भाजक है उस स्थिति में, यह उपक्षेत्र अद्वितीय है। वास्तव में, बहुपद {{math|''X<sup>p<sup>m</sup></sup>'' − ''X''}} विभाजित {{math|''X<sup>p<sup>n</sup></sup>'' − ''X''}} यदि और केवल यदि {{math|''m''}}, {{math|''n''}} का भाजक है।


== स्पष्ट निर्माण ==
== स्पष्ट निर्माण ==


=== गैर-अभाज्य क्षेत्र ===
=== गैर-अभाज्य क्षेत्र ===
{{math|''p''}} अभाज्य (prime) और {{math|''n'' > 1}} के साथ एक प्रमुख घात (prime power) {{math|1=''q'' = ''p''<sup>''n''</sup>}}  को देखते हुए, फ़ील्ड {{math|GF(''q'')}} को स्पष्ट रूप से निम्नलिखित तरीके से स्पष्ट रूप से बनाया जा सकता है। सबसे पहले डिग्री {{math|''n''}} के {{math|GF(''p'')[''X'']}} में एक '''अलघुकरणीय''' बहुपद (irreducible polynomial) {{math|''P''}} चुनते है (इस तरह का एक अलघुकरणीय बहुपद   (irreducible polynomial) हमेशा मौजूद रहता है)। फिर [[ भागफल वलय ]](quotient ring)<math display="block">\mathrm{GF}(q) = \mathrm{GF}(p)[X]/(P)</math>
{{math|''p''}} अभाज्य और {{math|''n'' > 1}} के साथ एक प्रमुख घात {{math|1=''q'' = ''p''<sup>''n''</sup>}}  को देखते हुए, क्षेत्र{{math|GF(''q'')}} को स्पष्ट रूप से निम्नलिखित तरीके से स्पष्ट रूप से बनाया जा सकता है। सबसे पहले कोटि {{math| ''n''}} के {{math|GF(''p'')[''X'']}} में एक अलघुकरणीय बहुपद {{math|''P''}} चुनते है (इस तरह का एक अलघुकरणीय बहुपद हमेशा मौजूद रहता है)। फिर [[ भागफल वलय ]]<math display="block">\mathrm{GF}(q) = \mathrm{GF}(p)[X]/(P)</math>
{{math|''P''}} द्वारा उत्पन्न आदर्श (ideal) द्वारा बहुपद वलय (polynomial ring) {{math|GF(''p'')[''X'']}} का क्रम (order) {{math|''q''}} का एक क्षेत्र (field) है।
{{math|''P''}} द्वारा उत्पन्न आदर्श द्वारा बहुपद वलय {{math|GF(''p'')[''X'']}} का क्रम {{math|''q''}} का एक क्षेत्र है।


अधिक स्पष्ट रूप से,  {{math|GF(''q'')}} के तत्व {{math|GF(''p'')}} पर बहुपद हैं जिसकी कोटि निश्चित रूप से {{math|''n''}} से कम है। जोड़ और घटाना {{math|GF(''p'')}} पर बहुपदों के हैं। दो तत्वों का गुणन {{math|GF(''p'')[''X'']}} में {{math|''P''}} के गुणन द्वारा यूक्लिडियन भाग (Euclidean division) का शेषफल है। एक गैर-शून्य तत्व के गुणात्मक व्युत्क्रम की गणना विस्तारित यूक्लिडियन एल्गोरिथम (extended Euclidean algorithm) के साथ की जा सकती है; देखें विस्तारित यूक्लिडियन एल्गोरिथम (extended Euclidean algorithm)  § सरल बीजगणितीय क्षेत्र विस्तार (Simple algebraic field extensions)
अधिक स्पष्ट रूप से,  {{math|GF(''q'')}} के तत्व {{math|GF(''p'')}} पर बहुपद हैं जिसकी कोटि निश्चित रूप से {{math|''n''}} से कम है। जोड़ और घटाना {{math|GF(''p'')}} पर बहुपदों के हैं। दो तत्वों का गुणन {{math|GF(''p'')[''X'']}} में {{math|''P''}} के गुणन द्वारा यूक्लिडियन विभाजन का शेषफल है। एक गैर-शून्य तत्व के गुणात्मक व्युत्क्रम की गणना विस्तारित यूक्लिडियन कलनविधि के साथ की जा सकती है। (देखें विस्तारित यूक्लिडियन कलनविधि § सरल बीजगणितीय क्षेत्र विस्तार)


{{math|GF(4)}} के निर्माण को छोड़कर, {{math|''P''}} के लिए कई संभावित विकल्प हैं, जो समरूपी (isomorphic) परिणाम उत्पन्न करते हैं। यूक्लिडियन भाग (Euclidean division) को सरल बनाने के लिए, आमतौर पर P के लिए एक बहुपद चुनता है
{{math|GF(4)}} के निर्माण को छोड़कर, {{math|''P''}} के लिए कई संभावित विकल्प हैं, जो समरूपी परिणाम उत्पन्न करते हैं। यूक्लिडियन विभाजन को सरल बनाने के लिए, सामान्यतः {{math|''P''}} के लिए एक बहुपद चुनता है।
<math display="block">X^n + aX + b,</math>
<math display="block">X^n + aX + b,</math>
जो यूक्लिडियन भागों (Euclidean divisions) को बहुत कुशल बनाते हैं। हालाँकि, कुछ क्षेत्रों के लिए, विशेष रूप से विशेषता 2 में, {{math|''X<sup>n</sup>'' + ''aX'' + ''b''}}  के रूप में अलघुकरणीय बहुपद ( irreducible polynomials) मौजूद नहीं हो सकते हैं। विशेषता {{math|2}} में, यदि बहुपद  {{math|''X''<sup>''n''</sup> + ''X'' + 1}}  कम करने योग्य है, तो {{math|''X''<sup>''n''</sup> + ''X''<sup>''k''</sup> + 1}}  को सबसे कम संभव {{math|''k''}} के साथ चुनने की अनुशंसा की जाती है जो बहुपद को अलघुकरणीय ( irreducible)  बनाता है।  यदि ये सभी [[ त्रिनाम ]] लघुकरणीय (reducible) हैं, तो कोई पेंटानोमियल्स {{math|''X''<sup>''n''</sup> + ''X''<sup>''a''</sup> +  ''X''<sup>''b''</sup> +  ''X''<sup>''c''</sup> +  1}} चुनता है , क्योंकि {{math|1}} से अधिक कोटि वाले बहुपद, सम संख्या वाले शब्दों के साथ, विशेषता {{math|2}} में कभी भी अलघुकरणीय ( irreducible)  नहीं होते हैं जिसमें 1 मूल होता है।<ref>{{citation|publisher=[[National Institute of Standards and Technology]]|url=http://csrc.nist.gov/groups/ST/toolkit/documents/dss/NISTReCur.pdf|title=Recommended Elliptic Curves for Government Use|pages=3|date=July 1999}}</ref> ऐसे बहुपद के लिए एक संभावित विकल्प [[ कॉनवे बहुपद (परिमित क्षेत्र) ]] द्वारा दिया जाता है। वे एक क्षेत्र के निरूपण (representation)  और उसके उपक्षेत्रों के निरूपण ( representations) के बीच एक निश्चित अनुकूलता सुनिश्चित करते हैं।     
जो यूक्लिडियन विभाजन को बहुत कुशल बनाते हैं। हालाँकि, कुछ क्षेत्रों के लिए, विशेष रूप से विशेषता 2 में, {{math|''X<sup>n</sup>'' + ''aX'' + ''b''}}  के रूप में अलघुकरणीय बहुपद उपस्थित नहीं हो सकते हैं। विशेषता {{math|2}} में, यदि बहुपद  {{math|''X''<sup>''n''</sup> + ''X'' + 1}}  कम करने योग्य है, तो {{math|''X''<sup>''n''</sup> + ''X''<sup>''k''</sup> + 1}}  को सबसे कम संभव {{math|''k''}} के साथ चुनने की अनुशंसा की जाती है जो बहुपद को अलघुकरणीय बनाता है।  यदि ये सभी [[ त्रिनाम |त्रिनाम]] लघुकरणीय हैं, तो कोई पेंटानोमियल्स {{math|''X''<sup>''n''</sup> + ''X''<sup>''a''</sup> +  ''X''<sup>''b''</sup> +  ''X''<sup>''c''</sup> +  1}} चुनता है , क्योंकि {{math|1}} से अधिक कोटि वाले बहुपद, सम संख्या वाले शब्दों के साथ, विशेषता {{math|2}} में कभी भी अलघुकरणीय नहीं होते हैं जिसमें 1 मूल होता है।<ref>{{citation|publisher=[[National Institute of Standards and Technology]]|url=http://csrc.nist.gov/groups/ST/toolkit/documents/dss/NISTReCur.pdf|title=Recommended Elliptic Curves for Government Use|pages=3|date=July 1999}}</ref> ऐसे बहुपद के लिए एक संभावित विकल्प [[ कॉनवे बहुपद (परिमित क्षेत्र) |कॉनवे बहुपद (परिमित क्षेत्र)]] द्वारा दिया जाता है। वे एक क्षेत्र के निरूपण और उसके उपक्षेत्रों के निरूपण के बीच एक निश्चित अनुकूलता सुनिश्चित करते हैं।     


अगले खंडों में, हम दिखाएंगे कि ऊपर उल्लिखित सामान्य निर्माण विधि छोटे परिमित क्षेत्रों के लिए कैसे काम करती है।
अगले खंडों में, हम दिखाएंगे कि ऊपर उल्लिखित सामान्य निर्माण विधि छोटे परिमित क्षेत्रों के लिए कैसे काम करती है।


=== चार तत्वों वाला क्षेत्र ===
=== चार तत्वों वाला क्षेत्र ===
सबसे छोटा गैर-अभाज्य क्षेत्र चार तत्वों वाला क्षेत्र है, जिसे आमतौर पर दर्शाया जाता है {{math|GF(4)}} या <math>\mathbb F_4.</math> इसमें चार तत्व होते हैं <math>0, 1, \alpha, 1+\alpha</math> ऐसा है कि <math>\alpha^2=1+\alpha,</math> <math>1\cdot\alpha = \alpha \cdot 1 = \alpha,</math> <math>x+x=0,</math> तथा <math>x\cdot 0=0\cdot x=0,</math> हरएक के लिए <math>x\in \operatorname{GF}(4),</math> अन्य ऑपरेशन के परिणाम [[ वितरण कानून ]] से आसानी से निकाले जा रहे हैं। संपूर्ण ऑपरेशन टेबल के लिए नीचे देखें।
सबसे छोटा गैर-अभाज्य क्षेत्र चार तत्वों वाला क्षेत्र है, जिसे सामान्यत: {{math|GF(4)}} या <math>\mathbb F_4.</math> के रूप दर्शाया जाता है इसमें चार तत्व <math>0, 1, \alpha, 1+\alpha</math> होते हैं जैसे कि <math>\alpha^2=1+\alpha,</math> <math>1\cdot\alpha = \alpha \cdot 1 = \alpha,</math> <math>x+x=0,</math> तथा <math>x\cdot 0=0\cdot x=0,</math> प्रत्येक  <math>x\in \operatorname{GF}(4),</math> के लिए अन्य संक्रिया के परिणाम [[ वितरण कानून |वितरण नियम]] से सरलता से निकाले जा सकते हैं। पूर्ण संक्रिया सारिणी के लिए नीचे देखें।    


इसे पिछले खंड के परिणामों से निम्नानुसार घटाया जा सकता है।
इसे पिछले खंड के परिणामों से निम्नानुसार घटाया जा सकता है।      


ऊपर {{math|GF(2)}}, घात का केवल एक अपरिमेय बहुपद है {{val|2}}:
{{math|GF(2)}} के ऊपर, कोटि 2 का केवल एक अलघुकरणीय बहुपद है:
<math display="block">X^2+X+1</math>
<math display="block">X^2+X+1</math>
इसलिए, के लिए {{math|GF(4)}} पूर्ववर्ती खंड के निर्माण में यह बहुपद शामिल होना चाहिए, और
इसलिए, {{math|GF(4)}} के लिए पूर्ववर्ती खंड के निर्माण में यह बहुपद सम्मिलित होना चाहिए और
<math display="block">\mathrm{GF}(4) = \mathrm{GF}(2)[X]/(X^2+X+1).</math>
<math display="block">\mathrm{GF}(4) = \mathrm{GF}(2)[X]/(X^2+X+1).</math>
होने देना {{math|''α''}} इस बहुपद के मूल को निरूपित करें {{math|GF(4)}}. यह बताता है कि
माना {{math|''α''}}, {{math|GF(4)}} में इस बहुपद के एक मूल को निरूपित करता है। यह बताता है कि
{{block indent | em = 1.5 | text = {{math|1=''α''<sup>2</sup> = 1 + ''α''}},}}
{{block indent | em = 1.5 | text = {{math|1=''α''<sup>2</sup> = 1 + ''α''}},}}
और कि {{math|''α''}} तथा {{math|1 + ''α''}} के तत्व हैं {{math|GF(4)}} जो में नहीं हैं {{math|GF(2)}}. संचालन की तालिकाएँ {{math|GF(4)}} इसका परिणाम है, और इस प्रकार हैं:
और वह {{math|''α''}} तथा {{math|1 + ''α''}}{{math|GF(4)}} के तत्व हैं जो {{math|GF(2)}} में नहीं हैं। {{math|GF(4)}} में संक्रिया की तालिकाएँ इसका परिणाम है और इस प्रकार हैं:
{|class="wikitable" style="text-align:center;"
{|class="wikitable" style="text-align:center;"
|+  
|+  
! scope="col" style="float:text-align:center;"| Addition {{math|''x''+''y''}}  
! scope="col" style="float:text-align:center;"| योग {{math|''x''+''y''}}  
! scope="col" style="float:text-align:center'"| Multiplication {{math|''x''⋅''y''}}  
! scope="col" style="float:text-align:center'"| गुणा {{math|''x''⋅''y''}}  
! scope="col" style="float:text-align:center'"| Division {{math|''x''/''y''}}  
! scope="col" style="float:text-align:center'"| विभाजन {{math|''x''/''y''}}  
|-
|-
| scope="row" |  
| scope="row" |
{| class="wikitable"  
{| class="wikitable"  
|-
|-
! style="width:24%;" {{diagonal split header|{{math|''x''}}|{{math|''y''}}}} !! style="width:20%;"| {{math|0}} !! style="width:20%;"| {{math|1}} !! style="width:20%;"| {{math|''α''}} !! style="width:20%;"| {{math|1 + ''α''}}
! style="width:24%;" {{diagonal split header| {{math|''x''}}| {{math|''y''}}}}!! style="width:20%;" | {{math|0}} !! style="width:20%;"| {{math|1}} !! style="width:20%;"| {{math|''α''}} !! style="width:20%;"| {{math|1 + ''α''}}
|-
|-
!style="text-align:left"| {{math|0}}
!style="text-align:left"| {{math|0}}
Line 166: Line 165:
|}
|}
|}
|}
घटाव के लिए एक तालिका नहीं दी गई है, क्योंकि घटाव जोड़ के समान है, जैसा कि विशेषता 2 के प्रत्येक क्षेत्र के मामले में है।
घटाव के लिए एक तालिका नहीं दी गई है, क्योंकि घटाव जोड़ के समान है, जैसा कि विशेषता 2 के प्रत्येक क्षेत्र के मामले में है।            
तीसरी तालिका में, के विभाजन के लिए {{math|''x''}} द्वारा {{math|''y''}}, के मान {{math|''x''}} बाएं कॉलम में पढ़ा जाना चाहिए, और के मान {{math|''y''}} शीर्ष पंक्ति में। (इसलिये {{math|1=0 ⋅ ''z'' = 0}} हरएक के लिए {{mvar|z}} प्रत्येक वलय (गणित) में 0 से भाग को अपरिभाषित रहना पड़ता है।) तालिकाओं से, यह देखा जा सकता है कि की योगात्मक संरचना {{math|GF(4)}} क्लेन_फोर-ग्रुप के लिए आइसोमॉर्फिक है | क्लेन फोर-ग्रुप, जबकि गैर-शून्य गुणक संरचना जेड के लिए आइसोमॉर्फिक है<sub>3</sub>.


नक्शा
तीसरी तालिका में, {{math|''x''}} को {{math|''y''}} से विभाजित करने के लिए, {{math|''x''}} के मानों को बाएं स्तंभ में पढ़ा जाना चाहिए और शीर्ष पंक्ति में y के मान। (क्योंकि {{math|1=0 ⋅ ''z'' = 0}} प्रत्येक {{mvar|z}}  के लिए प्रत्येक वलय में 0 से विभाजन को अपरिभाषित रहना पड़ता है।) तालिकाओं से, यह देखा जा सकता है कि {{math|GF(4)}}  की योगात्मक संरचना क्लेन फोर-समूह के लिए समरूपी है, जबकि गैर-शून्य गुणात्मक संरचना Z<sub>3</sub> के लिए समरूपी है।             
 
प्रतिचित्र
<math display="block"> \varphi:x \mapsto x^2</math>
<math display="block"> \varphi:x \mapsto x^2</math>
गैर-तुच्छ क्षेत्र ऑटोमोर्फिज्म है, जिसे #फ्रोबेनियस ऑटोमोर्फिज्म और गैलोइस सिद्धांत कहा जाता है, जो भेजता है {{math|''α''}} दूसरी जड़ में {{math|1 + ''α''}} उपर्युक्त इरेड्यूसिबल बहुपद का <math>X^2+X+1.</math>
गैर-नगण्य क्षेत्र स्वसमाकृतिकता है, जिसे फ्रोबेनियस स्वसमाकृतिकता और गैलोइस सिद्धांत कहा जाता है, जो {{math|''α''}} को ऊपर बताए गए अलघुकरणीय बहुपद <math>X^2+X+1.</math>  के दूसरे मूल {{math|1 + ''α''}} में भेजता है। 
 
 
 
'''<big>{{math|GF(''p''<sup>2</sup>)}} विषम अभाज्य {{math|''p''}} के लिए</big>'''


{{math|GF(''p''<sup>2</sup>)}} के मामले में परिमित क्षेत्रों के गैर-अभाज्य क्षेत्रों को लागू करने के लिए, व्यक्ति को 2 कोटि का एक अलघुकरणीय बहुपद ज्ञात करना होता है। {{math|1=''p'' = 2}}, यह पिछले अनुभाग में किया गया है। यदि {{math|''p''}} एक विषम अभाज्य संख्या है, तो {{math|GF(''p'')}} में {{math|''r''}} के साथ {{math|1=''X''<sup>2</sup> − ''r''}} के रूप में हमेशा अलघुकरणीय बहुपद होते हैं।           


===जीएफ(पी<sup>2</sup>) विषम अभाज्य p=== . के लिए
अधिक सटीक रूप से, बहुपद {{math|1=''X''<sup>2</sup> − ''r''}}, {{math|GF(''p'')}} पर अलघुकरणीय है यदि और केवल यदि {{math|''r''}} एक [[ द्विघात गैर-अवशेष |द्विघात गैर-अवशेष]] मापांक {{math|''p''}} है (यह लगभग एक द्विघात गैर-अवशेष की परिभाषा है)। {{math|{{sfrac|''p'' − 1|2}}}} द्विघात गैर-अवशेष मापांक {{math|''p''}} हैं। उदाहरण के लिए, {{math|1= ''p'' = 3, 5, 11, 13, ...}}, के लिए {{math|2}} एक द्विघात गैर-अवशेष है तथा  {{math|3}}, {{math|1= ''p'' = 5, 7, 17, ...}}.के लिए एक द्विघात गैर-अवशेष है यदि {{math|1=''p'' ≡ 3 mod 4}}, यानी {{math|1=''p'' = 3, 7, 11, 19, ...}}, कोई {{math|1= −1 ≡ ''p'' − 1}} को एक द्विघात गैर-अवशेष के रूप में चुन सकता है, जो हमें एक बहुत ही सरल अलघुकरणीय बहुपद {{math|''X''<sup>2</sup> + 1}} प्राप्त करने की अनुमति देता है।                         
के मामले में परिमित क्षेत्रों के #गैर-अभाज्य क्षेत्रों को लागू करने के लिए {{math|GF(''p''<sup>2</sup>)}}, व्यक्ति को घात 2 का एक अपूरणीय बहुपद ज्ञात करना होता है {{math|1=''p'' = 2}}, यह पिछले भाग में किया गया है। यदि {{math|''p''}} एक विषम अभाज्य है, इस रूप के हमेशा अपरिवर्तनीय बहुपद होते हैं {{math|1=''X''<sup>2</sup> − ''r''}}, साथ {{math|''r''}} में {{math|GF(''p'')}}.


अधिक सटीक, बहुपद {{math|1=''X''<sup>2</sup> − ''r''}} इरेड्यूसबल ओवर है {{math|GF(''p'')}} अगर और केवल अगर {{math|''r''}} एक [[ द्विघात गैर-अवशेष ]] मॉड्यूल है {{math|''p''}} (यह लगभग एक द्विघात गैर-अवशेष की परिभाषा है)। वहाँ हैं {{math|{{sfrac|''p'' − 1|2}}}} द्विघात गैर-अवशेष मॉड्यूल {{math|''p''}}. उदाहरण के लिए, {{math|2}} के लिए एक द्विघात गैर-अवशेष है {{math|1= ''p'' = 3, 5, 11, 13, ...}}, तथा {{math|3}} के लिए एक द्विघात गैर-अवशेष है {{math|1= ''p'' = 5, 7, 17, ...}}. यदि {{math|1=''p'' ≡ 3 mod 4}}, वह है {{math|1=''p'' = 3, 7, 11, 19, ...}}, कोई चुन सकता है {{math|1= −1 ≡ ''p'' − 1}} एक द्विघात गैर-अवशेष के रूप में, जो हमें एक बहुत ही सरल अपरिवर्तनीय बहुपद प्राप्त करने की अनुमति देता है {{math|''X''<sup>2</sup> + 1}}.


एक द्विघात गैर-अवशेष का चयन करना {{math|''r''}}, होने देना {{math|''α''}} का प्रतीकात्मक वर्गमूल बनें {{math|''r''}}, यह एक प्रतीक है जिसमें संपत्ति है {{math|1=''α''<sup>2</sup> = ''r''}}, उसी तरह जैसे सम्मिश्र संख्या {{math|''i''}} का प्रतीकात्मक वर्गमूल है {{math|−1}}. फिर, के तत्व {{math|GF(''p''<sup>2</sup>)}} सभी रैखिक व्यंजक हैं
एक द्विघात गैर-अवशेष {{math|''r''}} को चुनने के बाद, {{math|''α''}} को  {{math|''r''}} का एक प्रतीकात्मक वर्गमूल होने दें, जो कि एक प्रतीक है, जिसमें गुण  {{math|1=''α''<sup>2</sup> = ''r''}} हैं, ठीक उसी तरह जैसे सम्मिश्र संख्या {{math|''i''}} का प्रतीकात्मक वर्गमूल {{math|−1}} है।  फिर, {{math|GF(''p''<sup>2</sup>)}} के तत्व सभी रैखिक व्यंजक हैं                     <math display="block">a+b\alpha,</math>
<math display="block">a+b\alpha,</math>
{{math|GF(''p'')}} में {{math|''a''}} तथा {{math|''b''}} के साथ। {{math|GF(''p''<sup>2</sup>)}} पर संक्रिया निम्नानुसार परिभाषित किए गए हैं (लैटिन अक्षरों द्वारा दर्शाए गए {{math|GF(''p'')}} के तत्वों के बीच संक्रिया {{math|GF(''p'')}} संक्रिया हैं):
साथ {{math|''a''}} तथा {{math|''b''}} में {{math|GF(''p'')}}. संचालन {{math|GF(''p''<sup>2</sup>)}} निम्नानुसार परिभाषित किया गया है (के तत्वों के बीच संचालन {{math|GF(''p'')}} लैटिन अक्षरों द्वारा दर्शाए गए ऑपरेशन हैं {{math|GF(''p'')}}):
<math display="block">\begin{align}
<math display="block">\begin{align}
-(a+b\alpha)&=-a+(-b)\alpha\\
-(a+b\alpha)&=-a+(-b)\alpha\\
Line 193: Line 195:
बहुपद
बहुपद
<math display="block">X^3-X-1</math>
<math display="block">X^3-X-1</math>
इरेड्यूसबल ओवर है {{math|GF(2)}} तथा {{math|GF(3)}}, अर्थात्, यह इरेड्यूसेबल मोडुलो है {{math|2}} तथा {{math|3}} (यह दिखाने के लिए, यह दिखाने के लिए पर्याप्त है कि इसकी कोई जड़ नहीं है {{math|GF(2)}} न ही में {{math|GF(3)}}) यह इस प्रकार है कि . के तत्व {{math|GF(8)}} तथा {{math|GF(27)}} [[ अभिव्यक्ति (गणित) ]] द्वारा दर्शाया जा सकता है
{{math|GF(2)}} तथा {{math|GF(3)}} पर अलघुकरणीय है अर्थात्, यह अलघुकरणीय मापांक {{math|2}} तथा {{math|3}} है (यह दिखाने के लिए पर्याप्त है कि इसकी {{math|GF(2)}} में कोई मूल नहीं है न ही {{math|GF(3)}} में)यह इस प्रकार है कि {{math|GF(8)}} तथा {{math|GF(27)}} के तत्वों को [[ अभिव्यक्ति (गणित) |व्यंजक]] द्वारा दर्शाया जा सकता है                    
<math display="block">a+b\alpha+c\alpha^2,</math>
<math display="block">a+b\alpha+c\alpha^2,</math>
कहाँ पे {{math|''a'', ''b'', ''c''}} के तत्व हैं {{math|GF(2)}} या {{math|GF(3)}} (क्रमशः), और <math>\alpha</math> एक प्रतीक है कि
 
<math display="block">\alpha^3=\alpha+1.</math>
 
जोड़, योगात्मक प्रतिलोम और गुणा पर {{math|GF(8)}} तथा {{math|GF(27)}} इस प्रकार परिभाषित किया जा सकता है; निम्नलिखित सूत्रों में, के तत्वों के बीच संचालन {{math|GF(2)}} या {{math|GF(3)}}, लैटिन अक्षरों द्वारा निरूपित, संचालन हैं {{math|GF(2)}} या {{math|GF(3)}}, क्रमश:
 
जहाँ  {{math|''a'', ''b'', ''c''}}  
 
{{math|GF(2)}} या {{math|GF(3)}} (क्रमशः) के तत्व हैं और <math>\alpha</math> एक ऐसा प्रतीक है कि
<math display="block">\alpha^3=\alpha+1.</math>
इस प्रकार {{math|GF(8)}} तथा {{math|GF(27)}} पर जोड़, योगात्मक व्युत्क्रम और गुणन को निम्नानुसार परिभाषित किया जा सकता है।
 
निम्नलिखित सूत्रों में, लैटिन अक्षरों द्वारा निरूपित {{math|GF(2)}} या {{math|GF(3)}} के तत्वों के बीच की संक्रियाएँ की {{math|GF(2)}} या {{math|GF(3)}} में संक्रियाएँ हैं, क्रमश:
<math display="block">
<math display="block">
\begin{align}
\begin{align}
Line 208: Line 217:


===जीएफ(16)===
===जीएफ(16)===
बहुपद
बहुपद                   <math display="block">X^4+X+1</math>
<math display="block">X^4+X+1</math>
 
इरेड्यूसबल ओवर है {{math|GF(2)}}, अर्थात्, यह इरेड्यूसेबल मोडुलो है {{math|2}}. यह इस प्रकार है कि . के तत्व {{math|GF(16)}} अभिव्यक्ति (गणित) द्वारा दर्शाया जा सकता है
{{math|GF(2)}} पर अलघुकरणीय है, अर्थात् यह अलघुकरणीय मापांक {{math|2}} है यह इस प्रकार है कि {{math|GF(16)}} के तत्व व्यंजक द्वारा दर्शाए जा सकते है
<math display="block">a+b\alpha+c\alpha^2+d\alpha^3,</math>
<math display="block">a+b\alpha+c\alpha^2+d\alpha^3,</math>
कहाँ पे {{math|''a'', ''b'', ''c'', ''d''}} दोनों मे से एक {{math|0}} या {{math|1}} (के तत्व {{math|GF(2)}}), तथा {{math|''α''}} एक प्रतीक है कि
जहाँ  {{math|''a'', ''b'', ''c'', ''d''}} दोनों मे से एक {{math|0}} या {{math|1}} (के तत्व {{math|GF(2)}}), तथा {{math|''α''}} एक प्रतीक है कि            
<math display="block">\alpha^4=\alpha+1</math>
<math display="block">\alpha^4=\alpha+1</math>
(वह है, {{math|''α''}} को दिए गए इरेड्यूसबल बहुपद के मूल के रूप में परिभाषित किया गया है)। की विशेषता के रूप में {{math|GF(2)}} है {{math|2}}, प्रत्येक तत्व इसका योज्य प्रतिलोम है {{math|GF(16)}}. जोड़ और गुणा {{math|GF(16)}} निम्नानुसार परिभाषित किया जा सकता है; निम्नलिखित सूत्रों में, के तत्वों के बीच संचालन {{math|GF(2)}}, लैटिन अक्षरों द्वारा दर्शाए गए ऑपरेशन हैं {{math|GF(2)}}.
(अर्थात {{math|''α''}} को दिए गए अलघुकरणीय बहुपद के मूल के रूप में परिभाषित किया गया है)। जैसा कि {{math|GF(2)}} की विशेषता {{math|2}} है, {{math|GF(16)}} में प्रत्येक तत्व इसका योगात्मक व्युत्क्रम है। {{math|GF(16)}} पर जोड़ और गुणा को निम्नानुसार परिभाषित किया जा सकता है। निम्नलिखित सूत्रों में, लैटिन अक्षरों द्वारा दर्शाए गए {{math|GF(2)}} के तत्वों के बीच संक्रियाएँ  {{math|GF(2)}} में संक्रियाएँ हैं। 
<math display="block">
<math display="block">
\begin{align}
\begin{align}
Line 224: Line 233:
\end{align}
\end{align}
</math>
</math>
फील्ड {{math|GF(16)}} आठ आदिम तत्व (परिमित क्षेत्र) हैं (ऐसे तत्व जिनमें . के सभी गैर-शून्य तत्व हैं {{math|GF(16)}} पूर्णांक शक्तियों के रूप में)। ये तत्व . के चार मूल हैं <math>X^4+X+1</math> और उनके गुणनात्मक प्रतिलोम। विशेष रूप से, {{math|''α''}} एक आदिम तत्व है, और आदिम तत्व हैं <math>\alpha^m</math> साथ {{mvar|m}} 15 से कम और सह अभाज्य (अर्थात 1, 2, 4, 7, 8, 11, 13, 14)।
क्षेत्र {{math|GF(16)}} में आठ अभाज्य तत्व हैं (ऐसे तत्व जिनमें. पूर्णांक घातों के रूप में {{math|GF(16)}} के सभी गैर-शून्य तत्व हैं)। ये तत्व <math>X^4+X+1</math> के चार मूल हैं और उनके गुणनात्मक व्युत्क्रम हैं। विशेष रूप से, {{math|''α''}} एक अभाज्य तत्व है और अभाज्य तत्व हैं <math>\alpha^m</math> जिसमें {{mvar|m}} से कम और 15 के साथ सह अभाज्य (अर्थात 1, 2, 4, 7, 8, 11, 13, 14)।          


== गुणक संरचना ==
== गुणक संरचना ==


गैर-शून्य तत्वों का सेट {{math|GF(''q'')}} गुणन के तहत एक [[ एबेलियन समूह ]] है, क्रम का {{math|''q'' – 1}}. लैग्रेंज के प्रमेय (समूह सिद्धांत) द्वारा | लैग्रेंज की प्रमेय, एक भाजक मौजूद है {{math|''k''}} का {{math|''q'' – 1}} ऐसा है कि {{math|1=''x<sup>k</sup>'' = 1}} प्रत्येक गैर-शून्य . के लिए {{math|''x''}} में {{math|GF(''q'')}}. समीकरण के रूप में {{math|1=''x<sup>k</sup>'' = 1}} ज्यादा से ज्यादा है {{math|''k''}} किसी भी क्षेत्र में समाधान, {{math|''q'' – 1}} के लिए उच्चतम संभव मूल्य है {{math|''k''}}.
गैर-शून्य तत्वों का समूह {{math|GF(''q'')}} गुणन के तहत एक [[ एबेलियन समूह |एबेलियन समूह]] है, क्रम {{math|''q'' – 1}} लैग्रेंज के प्रमेय (समूह सिद्धांत) द्वारा। लैग्रेंज की प्रमेय के अनुसार, एक भाजक उपस्थित है ''q'' – 1 का एक भाजक {{math|''k''}} ऐसा है कि {{math|1=''x<sup>k</sup>'' = 1}} प्रत्येक गैर-शून्य {{math|''x''}} के लिए {{math|GF(''q'')}} में। चूंकि समीकरण {{math|1=''x<sup>k</sup>'' = 1}} का किसी भी क्षेत्र में अधिक से अधिक {{math|''k''}} हल हैं, {{math|''q'' – 1}}, {{math|''k''}} के लिए उच्चतम संभव मान है। परिमित एबेलियन समूहों की संरचना प्रमेय का तात्पर्य है कि यह गुणात्मक समूह चक्रीय समूह है, अर्थात सभी गैर-शून्य तत्व एक ही तत्व की घात हैं। सारांश:                            
एबेलियन समूह # वर्गीकरण का तात्पर्य है कि यह गुणन समूह चक्रीय समूह है, अर्थात सभी गैर-शून्य तत्व एक ही तत्व की शक्तियाँ हैं। सारांश:
{{block indent | em = 1.5 | text = {{math|GF(''q'')}} ''में गैर-शून्य तत्वों का गुणात्मक समूह चक्रीय है और एक तत्व मौजूद है '' {{math|''a''}}, ''ऐसे कि'' {{math|''q'' – 1}} ''गैर-शून्य तत्व'' {{math|GF(''q'')}} ''हैं'' {{math|1= ''a'', ''a''<sup>2</sup>, ..., ''a''<sup>''q''−2</sup>, ''a''<sup>''q''−1</sup> = 1}}.}}
{{block indent | em = 1.5 | text = ''The multiplicative group of the non-zero elements in'' {{math|GF(''q'')}} ''is cyclic, and there exists an element'' {{math|''a''}}, ''such that the'' {{math|''q'' – 1}} ''non-zero elements of'' {{math|GF(''q'')}} ''are'' {{math|1= ''a'', ''a''<sup>2</sup>, ..., ''a''<sup>''q''−2</sup>, ''a''<sup>''q''−1</sup> = 1}}.}}
ऐसे तत्व {{math|''a''}} अभाज्य तत्व कहलाते हैं। जब तक {{math|1=''q'' = 2, 3}}, अभाज्य तत्व अद्वितीय नहीं है। अभाज्य तत्वों की संख्या {{math|''φ''(''q'' − 1)}} है जहां {{math|''φ''}} यूलर का टोटिएंट फलन है।
ऐसा तत्व {{math|''a''}} आदिम तत्व (परिमित क्षेत्र) कहलाता है। जब तक {{math|1=''q'' = 2, 3}}, आदिम तत्व अद्वितीय नहीं है। आदिम तत्वों की संख्या है {{math|''φ''(''q'' − 1)}} कहाँ पे {{math|''φ''}} यूलर का टोटिएंट फंक्शन है।


उपरोक्त परिणाम का तात्पर्य है कि {{math|1=''x<sup>q</sup>'' = ''x''}} हरएक के लिए {{math|''x''}} में {{math|GF(''q'')}}. विशेष मामला जहां {{math|''q''}} प्राइम है फर्मेट का छोटा प्रमेय।
उपरोक्त परिणाम का तात्पर्य है कि {{math|GF(''q'')}} में प्रत्येक {{math|''x''}} के लिए {{math|1=''x<sup>q</sup>'' = ''x''}}विशेष स्थिति जहां {{math|''q''}} अभाज्य है, फर्मेट की छोटी प्रमेय है।


=== असतत लघुगणक ===
=== असतत लघुगणक ===


यदि {{math|''a''}} में एक आदिम तत्व है {{math|GF(''q'')}}, तो किसी भी गैर-शून्य तत्व के लिए {{math|''x''}} में {{math|''F''}}, एक अद्वितीय पूर्णांक है {{math|''n''}} साथ {{math|0 ≤ ''n'' ≤ ''q'' − 2}} ऐसा है कि
यदि {{math|''a''}}, {{math|GF(''q'')}} में एक अभाज्य तत्व है, तो {{math|''F''}} में किसी भी गैर-शून्य तत्व {{math|''x''}} के लिए, {{math|0 ≤ ''n'' ≤ ''q'' − 2}} के साथ एक अद्वितीय पूर्णांक {{math|''n''}} होता है, जैसे कि              
{{block indent | em = 1.5 | text = {{math|1=''x'' = ''a<sup>n</sup>''}}.}}
{{block indent | em = 1.5 | text = {{math|1=''x'' = ''a<sup>n</sup>''}}.}}
यह पूर्णांक {{math|''n''}} [[ असतत लघुगणक ]] कहा जाता है {{math|''x''}} आधार के लिए {{math|''a''}}.
इस पूर्णांक {{math|''n''}} को आधार {{math|''a''}} पर {{math|''x''}} का [[ असतत लघुगणक |असतत लघुगणक]] कहा जाता है।                       


जबकि {{math|''a<sup>n</sup>''}} बहुत तेज़ी से गणना की जा सकती है, उदाहरण के लिए [[ वर्ग द्वारा घातांक ]] का उपयोग करते हुए, व्युत्क्रम संचालन, असतत लघुगणक की गणना के लिए कोई ज्ञात कुशल एल्गोरिथ्म नहीं है। इसका उपयोग विभिन्न [[ क्रिप्टोग्राफिक प्रोटोकॉल ]] में किया गया है, विवरण के लिए असतत लघुगणक देखें।
जबकि {{math|''a<sup>n</sup>''}} की गणना बहुत जल्दी की जा सकती है, उदाहरण के लिए [[ वर्ग द्वारा घातांक |वर्ग द्वारा घातांक]] का उपयोग करके, व्युत्क्रम संक्रिया, असतत लघुगणक की गणना के लिए कोई ज्ञात सरल विधि नहीं है। इसका उपयोग विभिन्न [[ क्रिप्टोग्राफिक प्रोटोकॉल |क्रिप्टोग्राफिक प्रोटोकॉल]] में किया गया है, विवरण के लिए असतत लघुगणक देखें।


जब के शून्येतर तत्व {{math|GF(''q'')}} उनके असतत लघुगणक द्वारा प्रतिनिधित्व किया जाता है, गुणा और भाग आसान होते हैं, क्योंकि वे जोड़ और घटाव को कम करते हैं {{math|''q'' – 1}}. हालांकि, असतत लघुगणक की गणना करने के लिए अतिरिक्त राशि {{math|''a''<sup>''m''</sup> + ''a''<sup>''n''</sup>}}. पहचान
जब {{math|GF(''q'')}} गैर-शून्य तत्वों को उनके असतत लघुगणक द्वारा दर्शाया जाता है, तो गुणा और भाग आसान होता है, क्योंकि वे जोड़ और घटाव मापांक {{math|''q'' – 1}} तक कम हो जाते हैं।  हालांकि, {{math|''a''<sup>''m''</sup> + ''a''<sup>''n''</sup>}} के असतत लघुगणक की गणना करने के लिए अतिरिक्त मात्रा। पहचान                                                            .
  {{block indent | em = 1.5 | text = {{math|1 = ''a''<sup>''m''</sup> + ''a''<sup>''n''</sup> = ''a''<sup>''n''</sup>(''a''<sup>''m''−''n''</sup> + 1)}}}}
  {{block indent | em = 1.5 | text = {{math|1 = ''a''<sup>''m''</sup> + ''a''<sup>''n''</sup> = ''a''<sup>''n''</sup>(''a''<sup>''m''−''n''</sup> + 1)}}}}
असतत लघुगणक की तालिका बनाकर इस समस्या को हल करने की अनुमति देता है {{math|''a''<sup>''n''</sup> + 1}}, Zech के लघुगणक कहलाते हैं, for {{math|1 =''n'' = 0, ..., ''q'' − 2}} (शून्य के असतत लघुगणक को परिभाषित करना सुविधाजनक है {{math|−∞}})
{{math|1 =''n'' = 0, ..., ''q'' − 2}} के लिए, एक  {{math|''a''<sup>''n''</sup> + 1}} के असतत लघुगणक की तालिका बनाकर इस समस्या को हल करने की अनुमति देता है जिसे ज़ेच के लघुगणक कहा जाता है (शून्य के असतत लघुगणक को {{math|−∞}} के रूप में परिभाषित करना सुविधाजनक है)


Zech के लघुगणक बड़ी गणनाओं के लिए उपयोगी होते हैं, जैसे कि मध्यम आकार के क्षेत्रों में रैखिक बीजगणित, अर्थात, ऐसे क्षेत्र जो प्राकृतिक एल्गोरिदम को अक्षम बनाने के लिए पर्याप्त रूप से बड़े हैं, लेकिन बहुत बड़े नहीं हैं, क्योंकि किसी को उसी आकार की तालिका की पूर्व-गणना करनी होती है। क्षेत्र के आदेश के रूप में।
ज़ेच के लघुगणक बड़ी गणनाओं के लिए उपयोगी होते हैं, जैसे कि मध्यम आकार के क्षेत्रों में रैखिक बीजगणित, अर्थात, ऐसे क्षेत्र जो प्राकृतिक विधि को अप्रभावी बनाने के लिए पर्याप्त रूप से बड़े हैं, लेकिन बहुत बड़े नहीं हैं, क्योंकि किसी को उसी आकार की तालिका की पूर्व-गणना करनी होती है। क्षेत्र के आदेश के रूप में।


=== [[ एकता की जड़ ]]ें ===
=== इकाई के मूल    ===


परिमित क्षेत्र का प्रत्येक अशून्य तत्व एकता का मूल है, जैसे {{math|1=''x''<sup>''q''−1</sup> = 1}} के हर शून्येतर तत्व के लिए {{math|GF(''q'')}}.
परिमित क्षेत्र का प्रत्येक अशून्य तत्व इकाई का मूल है, जैसे {{math|GF(''q'')}}  के हर अशून्य तत्वों के लिए  {{math|1=''x''<sup>''q''−1</sup> = 1}} के रूप में।                   


यदि {{math|''n''}} एक धनात्मक पूर्णांक है, an {{math|''n''}}-एकता का आदिम मूल समीकरण का हल है {{math|1=''x<sup>n</sup>'' = 1}} यह समीकरण का हल नहीं है {{math|1=''x<sup>m</sup>'' = 1}} किसी धनात्मक पूर्णांक के लिए {{math|''m'' < ''n''}}. यदि {{math|''a''}} एक है {{math|''n''}}एक क्षेत्र में एकता का वां आदिम मूल {{math|''F''}}, फिर {{math|''F''}} सभी शामिल हैं {{math|''n''}} एकता की जड़ें, जो हैं {{math|1, ''a'', ''a''<sup>2</sup>, ..., ''a''<sup>''n''−1</sup>}}.
यदि {{math|''n''}} एक धनात्मक पूर्णांक है, तो इकाई  का {{math|''n''}}--वाँ अभाज्य मूल समीकरण {{math|1=''x<sup>n</sup>'' = 1}} का एक हल है जो कि किसी भी धनात्मक पूर्णांक  {{math|''m'' < ''n''}} के लिए समीकरण {{math|1=''x<sup>m</sup>'' = 1}} का हल नहीं है। यदि {{math|''a''}} क्षेत्र {{math|''F''}} में इकाई का {{math|''n''}} वां अभाज्य मूल  है, तो {{math|''F''}} में इकाई के सभी {{math|''n''}} मूल हैं, जो {{math|1, ''a'', ''a''<sup>2</sup>, ..., ''a''<sup>''n''−1</sup>}} हैं।


फील्ड {{math|GF(''q'')}} इसमें शामिल है a {{math|''n''}}एकता का वां आदिम मूल यदि और केवल यदि {{math|''n''}} का भाजक है {{math|''q'' − 1}}; यदि {{math|''n''}} का भाजक है {{math|''q'' − 1}}, फिर आदिम की संख्या {{math|''n''}}में एकता की वें जड़ें {{math|GF(''q'')}} है {{math|''φ''(''n'')}} (यूलर का टोटिएंट फंक्शन)। की संख्या {{math|''n''}}में एकता की वें जड़ें {{math|GF(''q'')}} है {{math|gcd(''n'', ''q'' − 1)}}.
फील्ड {{math|GF(''q'')}} में इकाई का {{math|''n''}} वां अभाज्य मूल है यदि और केवल यदि {{math|''n''}}, {{math|''q'' − 1}} का भाजक है; यदि {{math|''n''}}, q − 1 का एक भाजक है, तो {{math|GF(''q'')}} में इकाई  के {{math|''n''}} वें अभाज्य मूलों की संख्या {{math|''φ''(''n'')}} (यूलर का पूर्ण फलन) है। {{math|GF(''q'')}} में इकाई  के {{math|''n''}} वें मूलों की संख्या {{math|gcd(''n'', ''q'' − 1)}} है।           


विशेषता के क्षेत्र में {{math|''p''}}, हर एक {{math|(''np'')}}एकता की जड़ भी है a {{math|''n''}}एकता की जड़। यह इस प्रकार है कि आदिम {{math|(''np'')}}विशेषता के क्षेत्र में एकता की जड़ें कभी मौजूद नहीं होती हैं {{math|''p''}}.
{{math|''p''}} की विशेषता के क्षेत्र में, प्रत्येक {{math|(''np'')}} वां मूल इकाई का {{math|''n''}} वां मूल भी होता है। यह इस प्रकार है कि इकाई  की अभाज्य {{math|(''np'')}} वां मूल कभी भी विशेषता p के क्षेत्र में उपस्थित नहीं होता हैं।             


दूसरी ओर, यदि {{math|''n''}} [[ सह अभाज्य ]] है {{math|''p''}}, की जड़ें {{math|''n''}}वें साइक्लोटोमिक बहुपद विशेषता के हर क्षेत्र में अलग हैं {{math|''p''}}, क्योंकि यह बहुपद . का भाजक है {{math|''X<sup>n</sup>'' − 1}}, जिसका [[ विभेदक ]] {{tmath|n^n}} शून्येतर मोडुलो है {{mvar|p}}. यह इस प्रकार है कि {{math|''n''}}th साइक्लोटॉमिक बहुपद कारक खत्म हो गए हैं {{math|GF(''p'')}} अलग-अलग अपरिवर्तनीय बहुपदों में, जिनकी सभी समान डिग्री हैं, कहते हैं {{math|''d''}}, और कि {{math|GF(''p<sup>d</sup>'')}} विशेषता का सबसे छोटा क्षेत्र है {{math|''p''}} जिसमें शामिल है {{math|''n''}}एकता की आदिम जड़ें।
दूसरी ओर, यदि {{math|''n''}}, {{math|''p''}} का [[ सह अभाज्य |सह अभाज्य]] है, तो {{math|''n''}} वें साइक्लोटोमिक बहुपद के मूल {{math|''p''}} विशेषता के हर क्षेत्र में अलग हैं, क्योंकि यह बहुपद {{math|''X<sup>n</sup>'' − 1}} का एक भाजक है जिसका [[ विभेदक |विभेदक]] {{tmath|n^n}} गैर-शून्य मापांक {{mvar|p}} है यह इस प्रकार है कि {{math|GF(''p'')}} पर {{math|''n''}}th साइक्लोटॉमिक बहुपद कारक अलग-अलग अलघुकरणीय बहुपदों में होते हैं जिनकी सभी कोटि समान होती है, {{math|''d''}} कहते हैं और यह कि {{math|GF(''p<sup>d</sup>'')}} विशेषता {{math|''p''}} का सबसे छोटा क्षेत्र है जिसमें इकाई के {{math|''n''}}th अभाज्य मूल होते हैं।   


=== उदाहरण: GF(64)===
=== उदाहरण: GF(64)===
फील्ड {{math|GF(64)}} इसमें कई दिलचस्प गुण हैं जो छोटे क्षेत्र साझा नहीं करते हैं: इसमें दो उपक्षेत्र हैं जैसे कि न तो दूसरे में निहित है; डिग्री के सभी जनरेटर (न्यूनतम बहुपद (क्षेत्र सिद्धांत) वाले तत्व नहीं) {{math|6}} ऊपर {{math|GF(2)}}) आदिम तत्व हैं; और आदिम तत्व गैलोइस समूह के तहत सभी संयुग्मित नहीं हैं।
क्षेत्र {{math|GF(64)}} में कई रोचक गुण हैं जो छोटे क्षेत्र साझा नहीं करते हैं। इसमें दो उपक्षेत्र हैं जैसे कि कोई भी दूसरे में समाहित नहीं है। सभी जनित्र ({{math|GF(2)}} पर कोटि {{math|6}} के  न्यूनतम बहुपद वाले तत्व) अभाज्य तत्व नहीं हैं और अभाज्य तत्व गैलोइस समूह के अंतर्गत सभी संयुग्मित नहीं हैं।                  


इस क्षेत्र का क्रम {{math|2<sup>6</sup>}}, और के भाजक {{math|6}} प्राणी {{math|1, 2, 3, 6}}, के उपक्षेत्र {{math|GF(64)}} हैं {{math|GF(2)}}, {{math|1=GF(2<sup>2</sup>) = GF(4)}}, {{math|1=GF(2<sup>3</sup>) = GF(8)}}, तथा {{math|GF(64)}} अपने आप। जैसा {{math|2}} तथा {{math|3}} सहप्राइम हैं, का प्रतिच्छेदन {{math|GF(4)}} तथा {{math|GF(8)}} में {{math|GF(64)}} प्रमुख क्षेत्र है {{math|GF(2)}}.
इस क्षेत्र का क्रम {{math|2<sup>6</sup>}}, और {{math|6}} के विभाजक {{math|1, 2, 3, 6}} हैं, {{math|GF(2)}}, {{math|1=GF(2<sup>2</sup>) = GF(4)}}, {{math|1=GF(2<sup>3</sup>) = GF(8)}}, तथा {{math|GF(64)}} ही {{math|GF(64)}} के उपक्षेत्र हैं । जैसा कि {{math|2}} तथा {{math|3}} सहअभाज्य हैं, {{math|GF(64)}} में {{math|GF(4)}} तथा {{math|GF(8)}} का प्रतिच्छेदन अभाज्य क्षेत्र {{math|GF(2)}} है।


का संघ {{math|GF(4)}} तथा {{math|GF(8)}} इस प्रकार है {{math|10}} तत्व शेष {{math|54}} के तत्व {{math|GF(64)}} बनाना {{math|GF(64)}} इस अर्थ में कि किसी अन्य उपक्षेत्र में उनमें से कोई भी शामिल नहीं है। यह इस प्रकार है कि वे डिग्री के अपरिवर्तनीय बहुपद की जड़ें हैं {{math|6}} ऊपर {{math|GF(2)}}. इसका तात्पर्य है कि, अधिक {{math|GF(2)}}, बिल्कुल हैं {{math|1=9 = {{sfrac|54|6}}}} डिग्री के अपरिवर्तनीय मोनिक बहुपद {{math|6}}. यह फैक्टरिंग द्वारा सत्यापित किया जा सकता है {{math|''X''<sup>64</sup> − ''X''}} ऊपर {{math|GF(2)}}.
इस प्रकार  {{math|GF(4)}} तथा {{math|GF(8)}} के समुच्चय में {{math|10}} तत्व होते हैं। {{math|GF(64)}} के शेष {{math|54}} तत्व इस अर्थ में {{math|GF(64)}} उत्पन्न करते हैं कि किसी अन्य उपक्षेत्र में उनमें से कोई भी सम्मिलित नहीं है। यह इस प्रकार है कि वे {{math|GF(2)}} पर कोटि {{math|6}} के अलघुकरणीय बहुपदों के मूल हैं। इसका तात्पर्य है कि, {{math|GF(2)}} के ऊपर कोटि {{math|6}} के बिल्कुल {{math|1=9 = {{sfrac|54|6}}}} अलघुकरणीय मोनिक बहुपद हैं। इसे {{math|''X''<sup>64</sup> − ''X''}} के  ऊपर {{math|GF(2)}} का फैक्टरिंग करके सत्यापित किया जा सकता है।


के तत्व {{math|GF(64)}} आदिम हैं {{math|''n''}}कुछ के लिए एकता की जड़ें {{math|''n''}} भाग देनेवाला {{math|63}}. चूंकि एकता की तीसरी और सातवीं जड़ें हैं {{math|GF(4)}} तथा {{math|GF(8)}}, क्रमशः, {{math|54}} जनरेटर आदिम हैं {{math|''n''}}कुछ के लिए एकता की जड़ें {{math|''n''}} में {{math|{9, 21, 63}<nowiki/>}}. यूलर के टोटिएंट फंक्शन से पता चलता है कि {{math|6}} प्राचीन {{math|9}}एकता की जड़ें, {{math|12}} प्राचीन {{math|21}}एकता की जड़ें, और {{math|36}} प्राचीन {{math|63}}एकता की rd जड़ें। इन नंबरों का योग करने पर, कोई फिर से पाता है {{math|54}} तत्व
{{math|GF(64)}} के तत्व कुछ {{math|''n''}} विभाजक {{math|63}} के लिए इकाई के {{math|''n''}}th अभाज्य मूल  हैं। इकाई के तीसरे और सातवें वें मूल क्रमशः {{math|GF(4)}} तथा {{math|GF(8)}} की हैं, {{math|{9, 21, 63}<nowiki/>}} में कुछ {{math|''n''}} के लिए इकाई के {{math|54}} जनक {{math|''n''}}th अभाज्य मूल हैं। यूलर के टोटिएंट फलन से पता चलता है कि इकाई के {{math|6}} आदिम {{math|9}} वें मूल , इकाई के {{math|12}} अभाज्य {{math|21}} वें मूल और इकाई के {{math|36}} आदिम {{math|63}} वें मूल हैं। इन संख्याओं का योग करने पर फिर से {{math|54}} तत्व मिलते हैं।           


साइक्लोटोमिक बहुपदों को गुणा करके {{math|GF(2)}}, कोई पाता है कि:
{{math|GF(2)}} पर साइक्लोटोमिक बहुपदों का गुणनखंडन करके, कोई पाता है कि:                  
*छह आदिम {{math|9}}एकता की जड़ें की जड़ें हैं <math display="block">X^6+X^3+1,</math> और सभी गैलोइस समूह की कार्रवाई के तहत संयुग्मित हैं।
*इकाई के {{math|9}} वें छह अभाज्य मूल, मूल हैं         <math display="block">X^6+X^3+1,</math> और सभी गैलोइस समूह की कार्रवाई के तहत संयुग्मित हैं।
* बारह आदिम {{math|21}}एकता की जड़ें की जड़ें हैं <math display="block">(X^6+X^4+X^2+X+1)(X^6+X^5+X^4+X^2+1).</math> गैलोइस समूह की कार्रवाई के तहत वे दो कक्षाएँ बनाते हैं। चूंकि दो कारक एक दूसरे के [[ पारस्परिक बहुपद ]] हैं, एक जड़ और इसका (गुणक) प्रतिलोम एक ही कक्षा से संबंधित नहीं है।
* इकाई के {{math|21}} वें बारह अभाज्य मूल, मूल हैं         <math display="block">(X^6+X^4+X^2+X+1)(X^6+X^5+X^4+X^2+1).</math> गैलोइस समूह की कार्रवाई के तहत वे दो कक्षाएँ बनाते हैं। चूंकि दो कारक एक दूसरे के [[ पारस्परिक बहुपद |पारस्परिक बहुपद]] हैं, एक मूल और इसका (गुणात्मक) व्युत्क्रम एक ही कक्षा से संबंधित नहीं है।
* {{math|36}} }} के आदिम तत्व {{math|1=GF(64)}} की जड़ें हैं  <math display="block">(X^6+X^4+X^3+X+1)(X^6+X+1)(X^6+X^5+1)(X^6+X^5+X^3+X^2+1)(X^6+X^5+X^2+X+1)(X^6+X^5+X^4+X+1).</math> गैलोइस समूह की कार्रवाई के तहत वे छह तत्वों की छह कक्षाओं में विभाजित हो गए।
* {{math|1=GF(64)}} के {{math|36}} अभाज्य तत्व के मूल हैं  <math display="block">(X^6+X^4+X^3+X+1)(X^6+X+1)(X^6+X^5+1)(X^6+X^5+X^3+X^2+1)(X^6+X^5+X^2+X+1)(X^6+X^5+X^4+X+1).</math> गैलोइस समूह की संक्रिया के तहत वे छह तत्वों की छह कक्षाओं में विभाजित हो गए।


इससे पता चलता है कि निर्माण के लिए सबसे अच्छा विकल्प {{math|GF(64)}} इसे परिभाषित करना है {{math|GF(2)[''X''] / (''X''<sup>6</sup> + ''X'' + 1)}}. वास्तव में, यह जनरेटर एक आदिम तत्व है, और यह बहुपद इरेड्यूसबल बहुपद है जो सबसे आसान यूक्लिडियन विभाजन उत्पन्न करता है।
इससे पता चलता है कि {{math|GF(64)}} के निर्माण के लिए सबसे अच्छा विकल्प इसे {{math|GF(2)[''X''] / (''X''<sup>6</sup> + ''X'' + 1)}} के रूप में परिभाषित करना है। वास्तव में, यह जनक एक अभाज्य तत्व है और यह बहुपद अलघुकरणीय बहुपद है जो सबसे आसान यूक्लिडियन विभाजन उत्पन्न करता है।


==Frobenius automorphism और Galois सिद्धांत ==
==फ्रोबेनियस स्वसमाकृतिकता और गैलोज सिद्धांत ==


इस खंड में, {{math|''p''}} एक अभाज्य संख्या है, और {{math|1=''q'' = ''p''<sup>''n''</sup>}} की शक्ति है {{math|''p''}}.
इस खंड में, {{math|''p''}} एक अभाज्य संख्या है, और {{math|1=''q'' = ''p''<sup>''n''</sup>}}, {{math|''p''}} की एक घात है।                                                     


में {{math|GF(''q'')}}, पहचान {{math|1=(''x'' + ''y'')<sup>''p''</sup> = ''x<sup>p</sup>'' + ''y<sup>p</sup>''}} तात्पर्य है कि नक्शा
{{math|GF(''q'')}} में सर्वसमिका {{math|1=(''x'' + ''y'')<sup>''p''</sup> = ''x<sup>p</sup>'' + ''y<sup>p</sup>''}} का तात्पर्य है कि प्रतिचित्र
<math display="block"> \varphi:x \mapsto x^p</math>
<math display="block"> \varphi:x \mapsto x^p</math>
एक है {{math|GF(''p'')}}-रेखीय मानचित्र और का एक क्षेत्र स्व-रूपता {{math|GF(''q'')}}, जो उपक्षेत्र के प्रत्येक तत्व को ठीक करता है {{math|GF(''p'')}}. [[ फर्डिनेंड जॉर्ज फ्रोबेनियस ]] के बाद इसे [[ फ्रोबेनियस ऑटोमोर्फिज्म ]] कहा जाता है।
एक {{math|GF(''p'')}}-रैखिक मानचित्र और का एक क्षेत्र स्व-रूपता {{math|GF(''q'')}} का एक क्षेत्र स्व-रूपता  है, जो उपक्षेत्र {{math|GF(''p'')}} के प्रत्येक तत्व को ठीक करता है। [[ फर्डिनेंड जॉर्ज फ्रोबेनियस |फर्डिनेंड जॉर्ज फ्रोबेनियस]] के बाद इसे [[ फ्रोबेनियस ऑटोमोर्फिज्म |फ्रोबेनियस ऑटोमोर्फिज्म]] कहा जाता है।


द्वारा निरूपित करना {{math|''φ<sup>k</sup>''}} की कार्य संरचना {{math|''φ''}} खुद के साथ {{math|''k''}} बार, हमारे पास है
{{math|''φ''}} की संरचना को {{math|''k''}} बार {{math|''φ<sup>k</sup>''}} द्वारा निरूपित कर, हमारे पास है  
<math display="block"> \varphi^k:x \mapsto x^{p^k}.</math>
<math display="block"> \varphi^k:x \mapsto x^{p^k}.</math>
यह पिछले भाग में दिखाया गया है कि {{math|''φ<sup>n</sup>''}} पहचान है। के लिये {{math|0 < ''k'' < ''n''}}, ऑटोमोर्फिज्म {{math|''φ<sup>k</sup>''}} पहचान नहीं है, जैसा कि, अन्यथा, बहुपद
यह पिछले भाग में दिखाया गया है कि {{math|''φ<sup>n</sup>''}} तत्समक है। {{math|0 < ''k'' < ''n''}} के लिये, स्वरूपण {{math|''φ<sup>k</sup>''}} ऑटोमोर्फिज्म नहीं है, अन्यथा, बहुपद
<math display="block">X^{p^k}-X</math>
<math display="block">X^{p^k}-X</math>{{math|''p<sup>k</sup>''}} मूलों से अधिक होगा।     
से अधिक होगा {{math|''p<sup>k</sup>''}} जड़ें


कोई अन्य नहीं हैं {{math|GF(''p'')}}-ऑटोमोर्फिज्म ऑफ {{math|GF(''q'')}}. दूसरे शब्दों में, {{math|GF(''p<sup>n</sup>'')}} बिल्कुल है {{math|''n''}} {{math|GF(''p'')}}-ऑटोमोर्फिज्म, जो हैं
{{math|GF(''p'')}} का कोई अन्य {{math|GF(''q'')}} -स्वरूपण नहीं हैं। दूसरे शब्दों में, {{math|GF(''p<sup>n</sup>'')}} के बिल्कुल {{math|''n''}} {{math|GF(''p'')}}-ऑटोमोर्फिज्म है, जो हैं
<math display="block">\mathrm{Id}=\varphi^0, \varphi, \varphi^2, \ldots, \varphi^{n-1}.</math>
<math display="block">\mathrm{Id}=\varphi^0, \varphi, \varphi^2, \ldots, \varphi^{n-1}.</math>
गैलोइस सिद्धांत के संदर्भ में, इसका अर्थ है कि {{math|GF(''p<sup>n</sup>'')}} गैलोइस का विस्तार है {{math|GF(''p'')}}, जिसका एक चक्रीय समूह गैलोइस समूह है।
गैलोइस सिद्धांत के संदर्भ में, इसका अर्थ है कि {{math|GF(''p<sup>n</sup>'')}}, {{math|GF(''p'')}} का गैलोइस विस्तार है, जिसमें चक्रीय गैलोज समूह है।


तथ्य यह है कि फ्रोबेनियस मानचित्र विशेषण है, इसका तात्पर्य है कि प्रत्येक परिमित क्षेत्र पूर्ण क्षेत्र है।
तथ्य यह है कि फ्रोबेनियस मानचित्र विशेषण (सरजेक्टिव) है, इसका तात्पर्य है कि प्रत्येक परिमित क्षेत्र पूर्ण क्षेत्र है।


==बहुपद गुणनखंड==
==बहुपद गुणनखंड==
{{main|Factorization of polynomials over finite fields}}
{{main|परिमित क्षेत्रों पर बहुपदों का गुणनखंडन}}
यदि {{math|''F''}} एक परिमित क्षेत्र है, गुणांक के साथ एक गैर-स्थिर [[ मोनिक बहुपद ]] है {{math|''F''}} इरेड्यूसिबल बहुपद अधिक है {{math|''F''}}, यदि यह दो गैर-स्थिर मोनिक बहुपदों का गुणनफल नहीं है, जिसमें गुणांक हैं {{math|''F''}}.
यदि {{math|''F''}} एक परिमित क्षेत्र है, तो {{math|''F''}} में गुणांक के साथ एक गैर-स्थिर [[ मोनिक बहुपद |मोनिक बहुपद]] {{math|''F''}} पर अलघुकरणीय है, यदि यह {{math|''F''}} में गुणांक वाले दो गैर-स्थिर मोनिक बहुपदों का गुणनफल नहीं है।


चूंकि एक क्षेत्र पर प्रत्येक [[ बहुपद वलय ]] एक अद्वितीय गुणनखंडन डोमेन है, एक परिमित क्षेत्र पर प्रत्येक मोनिक बहुपद को एक अनूठे तरीके से (कारकों के क्रम तक) इरेड्यूसिबल मोनिक बहुपद के उत्पाद में विभाजित किया जा सकता है।
चूंकि एक क्षेत्र पर प्रत्येक [[ बहुपद वलय |बहुपद वलय]] एक अद्वितीय गुणनखंडन अनुक्षेत्र है, एक परिमित क्षेत्र पर प्रत्येक मोनिक बहुपद को एक अद्वितीय तरीके से (कारकों के क्रम तक) अलघुकरणीय मोनिक बहुपद के गुणन में विभाजित किया जा सकता है।


परिमित क्षेत्र में बहुपद अप्रासंगिकता और फैक्टरिंग बहुपदों के परीक्षण के लिए कुशल एल्गोरिदम हैं। वे पूर्णांकों या [[ परिमेय संख्या ]]ओं पर बहुपदों के गुणनखंड के लिए एक महत्वपूर्ण चरण हैं। कम से कम इस कारण से, प्रत्येक [[ कंप्यूटर बीजगणित प्रणाली ]] में परिमित क्षेत्रों पर बहुपदों को फ़ैक्टर करने के लिए कार्य होता है, या कम से कम, परिमित प्रमुख क्षेत्रों में।
परिमित क्षेत्र में बहुपद अलघुकरणीय और विभाजित बहुपदों के परीक्षण के लिए कुशल प्रणाली हैं। वे पूर्णांकों या [[ परिमेय संख्या |परिमेय संख्या]]ओं पर बहुपदों के गुणनखंड के लिए एक महत्वपूर्ण चरण हैं। कम से कम इस कारण से, प्रत्येक [[ कंप्यूटर बीजगणित प्रणाली |कंप्यूटर बीजगणित प्रणाली]] में परिमित क्षेत्रों पर या कम से कम, परिमित अभाज्य क्षेत्रों में बहुपदों के गुणनखंडन के लिए कार्य होते हैं।   


=== दी गई डिग्री के अमिट बहुपद ===
=== दी गई कोटि के अलघुकरणीय बहुपद       ===
बहुपद
बहुपद        
<math display="block">X^q-X</math> आदेश के क्षेत्र में रैखिक कारकों में कारक {{math|''q''}}. अधिक सटीक रूप से, यह बहुपद क्रम के क्षेत्र में डिग्री एक के सभी मोनिक बहुपदों का उत्पाद है {{math|''q''}}.
<math display="block">X^q-X</math>एक क्षेत्र पर रैखिक गुणन खंड में क्रम {{math|''q''}} के गुणन खंड। अधिक सटीक रूप से, यह बहुपद क्रम {{math|''q''}} के क्षेत्र में एक कोटि के सभी मोनिक बहुपदों का गुणन है।     


इसका तात्पर्य यह है कि, यदि {{math|1=''q'' = ''p<sup>n</sup>''}} फिर {{math|''X<sup>q</sup>'' − ''X''}} सभी मोनिक इरेड्यूसिबल बहुपदों का गुणनफल है {{math|GF(''p'')}}, जिसकी डिग्री विभाजित होती है {{math|''n''}}. वास्तव में, यदि {{math|''P''}} एक अपरिवर्तनीय कारक है {{math|GF(''p'')}} का {{math|''X<sup>q</sup>'' − ''X''}}, इसकी डिग्री विभाजित होती है {{math|''n''}}, क्योंकि इसका विभाजन क्षेत्र में समाहित है {{math|GF(''p''<sup>''n''</sup>)}}. इसके विपरीत, यदि {{math|''P''}} एक इरेड्यूसिबल मोनिक बहुपद ओवर है {{math|GF(''p'')}} डिग्री का {{math|''d''}} भाग देनेवाला {{math|''n''}}, यह डिग्री के क्षेत्र विस्तार को परिभाषित करता है {{math|''d''}}, जो में निहित है {{math|GF(''p''<sup>''n''</sup>)}}, और . की सभी जड़ें {{math|''P''}} के संबंधित {{math|GF(''p''<sup>''n''</sup>)}}, और की जड़ें हैं {{math|''X<sup>q</sup>'' − ''X''}}; इस प्रकार {{math|''P''}} विभाजित {{math|''X<sup>q</sup>'' − ''X''}}. जैसा {{math|''X<sup>q</sup>'' − ''X''}} इसका कोई बहुगुणक नहीं है, इस प्रकार यह उन सभी इरेड्यूसीबल मोनिक बहुपदों का गुणनफल है जो इसे विभाजित करते हैं।
इसका तात्पर्य यह है कि, यदि {{math|1=''q'' = ''p<sup>n</sup>''}} तो {{math|''X<sup>q</sup>'' − ''X''}} पर सभी मोनिक अलघुकरणीय बहुपदों का गुणनफल है जिसकी कोटि {{math|''n''}} को विभाजित करती है। वास्तव में, यदि {{math|''P''}}{{math|''X<sup>q</sup>'' − ''X''}} के {{math|GF(''p'')}} पर एक अलघुकरणीय गुणनखंड है, तो इसकी कोटि {{math|''n''}} को विभाजित करती है, क्योंकि इसका विभाजन क्षेत्र {{math|GF(''p''<sup>''n''</sup>)}} में समाहित है। इसके विपरीत, यदि कोटि {{math|''d''}}, {{math|GF(''p'')}} पर एक अलघुकरणीय मोनिक बहुपद है, तो यह कोटि {{math|''d''}} के क्षेत्र विस्तार को परिभाषित करता है, जो {{math|GF(''p''<sup>''n''</sup>)}} में निहित है और {{math|''P''}} के सभी मूल {{math|GF(''p''<sup>''n''</sup>)}} से संबंधित हैं और {{math|''X<sup>q</sup>'' − ''X''}} के मूल हैं। इस प्रकार {{math|''P''}}, {{math|''X<sup>q</sup>'' − ''X''}} को विभाजित करता है। चूंकि {{math|''X<sup>q</sup>'' − ''X''}} का कोई विविध गुणन खंड नहीं है, इसलिए यह सभी अलघुकरणीय मोनिक बहुपदों का गुणन है जो इसे विभाजित करते हैं।


इस संपत्ति का उपयोग बहुपदों की प्रत्येक डिग्री के अघुलनशील कारकों के उत्पाद की गणना करने के लिए किया जाता है {{math|GF(''p'')}}; अलग डिग्री गुणनखंड देखें।
इस गुण का उपयोग {{math|GF(''p'')}} पर बहुपदों की प्रत्येक कोटि के अलघुकरणीय गुणनखंड के गुणन की गणना करने के लिए किया जाता है। (भिन्न कोटि गुणनखंड देखें)


=== एक परिमित क्षेत्र पर दी गई डिग्री के मोनिक इरेड्यूसबल बहुपदों की संख्या ===
=== एक परिमित क्षेत्र पर दी गई कोटि के मोनिक अलघुकरणीय बहुपदों की संख्या ===


जो नंबर {{math|''N''(''q'', ''n'')}} डिग्री के मोनिक इरेड्यूसीबल बहुपद का {{math|''n''}} ऊपर
{{math|GF(''q'')}} पर डिग्री {{mvar|n}} के मोनिक अलघुकरणीय बहुपदों की संख्या {{math|''N''(''q'', ''n'')}} द्वारा दी गई है<ref>{{harvnb|Jacobson|2009|loc=§4.13}}</ref>
{{math|GF(''q'')}} द्वारा दिया गया है<ref>{{harvnb|Jacobson|2009|loc=§4.13}}</ref>
<math display="block">N(q,n)=\frac{1}{n}\sum_{d\mid n} \mu(d)q^{n/d},</math>
<math display="block">N(q,n)=\frac{1}{n}\sum_{d\mid n} \mu(d)q^{n/d},</math>
कहाँ पे {{math|''μ''}} मोबियस फ़ंक्शन है। यह सूत्र की संपत्ति का लगभग प्रत्यक्ष परिणाम है {{math|''X<sup>q</sup>'' − ''X''}} के ऊपर।
जहां {{math|''μ''}} मोबियस फलन है। यह सूत्र के गुणधर्म का लगभग प्रत्यक्ष परिणाम है {{math|''X<sup>q</sup>'' − ''X''}} के ऊपर।


उपरोक्त सूत्र द्वारा, डिग्री के इरेड्यूसिबल (जरूरी नहीं कि मोनिक) बहुपदों की संख्या {{math|''n''}} ऊपर {{math|GF(''q'')}} है {{math|(''q'' − 1)''N''(''q'', ''n'')}}.
उपरोक्त सूत्र द्वारा, डिग्री के अलघुकरणीय (जरूरी नहीं कि मोनिक) बहुपदों की संख्या {{math|''n''}} ऊपर {{math|GF(''q'')}} है {{math|(''q'' − 1)''N''(''q'', ''n'')}}


सटीक सूत्र असमानता का तात्पर्य है
सटीक सूत्र असमानता का तात्पर्य है
<math display="block">N(q,n)\geq\frac{1}{n} \left(q^n-\sum_{\ell\mid n, \ \ell \text{ prime}} q^{n/\ell}\right);</math>
<math display="block">N(q,n)\geq\frac{1}{n} \left(q^n-\sum_{\ell\mid n, \ \ell \text{ prime}} q^{n/\ell}\right);</math>
यह तेज है अगर और केवल अगर {{mvar|n}} कुछ प्रधान की शक्ति है।
यह उच्च होता है यदि और केवल यदि {{mvar|n}} अभाज्य की कोटि है। प्रत्येक {{mvar|q}} और प्रत्येक {{mvar|n}} के लिए, दाँयाँ हाथ की ओर धनात्मक है, {{math|GF(''q'')}} पर कोटि {{mvar|n}} का कम से कम एक अलघुकरणीय बहुपद है।
हरएक के लिए {{mvar|q}} और हर {{mvar|n}}, दाहिना हाथ धनात्मक है, इसलिए डिग्री का कम से कम एक अपरिवर्तनीय बहुपद है {{mvar|n}} ऊपर {{math|GF(''q'')}}.


== अनुप्रयोग ==
== अनुप्रयोग ==
क्रिप्टोग्राफी में, परिमित क्षेत्रों में या [[ अण्डाकार वक्र ]]ों में [[ असतत लघुगणक समस्या ]] की कठिनाई कई व्यापक रूप से उपयोग किए जाने वाले प्रोटोकॉल का आधार है, जैसे कि डिफी-हेलमैन प्रोटोकॉल। उदाहरण के लिए, 2014 में, विकिपीडिया के लिए एक सुरक्षित इंटरनेट कनेक्शन में एक बड़े परिमित क्षेत्र में अण्डाकार वक्र डिफी-हेलमैन प्रोटोकॉल ([[ ECDHE ]]) शामिल था।<ref>This can be verified by looking at the information on the page provided by the browser.</ref> कोडिंग सिद्धांत में, कई कोड परिमित क्षेत्रों में वेक्टर रिक्त स्थान के [[ रैखिक उप-स्थान ]] के रूप में बनाए जाते हैं।
कूटलेखन (क्रिप्टोग्राफी) में, परिमित क्षेत्रों या [[ अण्डाकार वक्र |अण्डाकार वक्रों]] में [[ असतत लघुगणक समस्या |असतत लघुगणक समस्या]] की कठिनाई कई व्यापक रूप से उपयोग किए जाने वाले प्रोटोकॉल का आधार है, जैसे कि डिफी-हेलमैन प्रोटोकॉल। उदाहरण के लिए, 2014 में, विकिपीडिया के लिए एक सुरक्षित इंटरनेट संयोजन में एक बड़े परिमित क्षेत्र में अण्डाकार वक्र डिफी-हेलमैन प्रोटोकॉल ([[ ECDHE |ECDHE]]) सम्मिलित था।<ref>This can be verified by looking at the information on the page provided by the browser.</ref> कोडिंग सिद्धांत में, कई कोड परिमित क्षेत्रों में वेक्टर रिक्त स्थान के [[ रैखिक उप-स्थान |रैखिक उप-स्थान]] के रूप में बनाए जाते हैं।          


कई [[ त्रुटि सुधार कोड ]] द्वारा परिमित फ़ील्ड का उपयोग किया जाता है, जैसे रीड-सोलोमन त्रुटि सुधार | रीड-सोलोमन त्रुटि सुधार कोड या [[ बीसीएच कोड ]]। परिमित क्षेत्र में लगभग हमेशा 2 की विशेषता होती है, क्योंकि कंप्यूटर डेटा बाइनरी में संग्रहीत होता है। उदाहरण के लिए, डेटा के एक बाइट की व्याख्या किस तत्व के रूप में की जा सकती है? <math>GF(2^8)</math>. एक अपवाद [[ PDF417 ]] बार कोड है, जो है <math>GF(929)</math>. कुछ सीपीयू में विशेष निर्देश होते हैं जो विशेषता 2 के परिमित क्षेत्रों के लिए उपयोगी हो सकते हैं, आमतौर पर कैरी-लेस उत्पाद की विविधताएं।
रीड-सोलोमन त्रुटि सुधार कोड या [[ बीसीएच कोड |बीसीएच कोड]] जैसे कई [[ त्रुटि सुधार कोड |त्रुटि सुधार कोडों]] द्वारा परिमित क्षेत्रों का उपयोग किया जाता है। परिमित क्षेत्र में लगभग हमेशा 2 की विशेषता होती है, क्योंकि कंप्यूटर डेटा बाइनरी में संग्रहीत होता है। उदाहरण के लिए, डेटा के एक बाइट को <math>GF(2^8)</math> के एक तत्व के रूप में समझा जा सकता है। एक अपवाद [[ PDF417 |PDF417]] बार कोड है, जो <math>GF(929)</math> है। कुछ सीपीयू में विशेष निर्देश होते हैं जो विशेषता 2 के परिमित क्षेत्रों के लिए उपयोगी हो सकते हैं, सामान्यतः कैरी-लेस उत्पाद की विविधताएं।


संख्या सिद्धांत में परिमित क्षेत्रों का व्यापक रूप से उपयोग किया जाता है, क्योंकि पूर्णांकों पर कई समस्याओं को [[ मॉड्यूलर अंकगणित ]] एक या कई अभाज्य संख्याओं को कम करके हल किया जा सकता है। उदाहरण के लिए, [[ परिमेय संख्या ]]ओं के क्षेत्र में [[ बहुपद गुणनखंड ]]और रैखिक बीजगणित के लिए सबसे तेज़ ज्ञात एल्गोरिदम, मॉड्यूलो एक या कई अभाज्य संख्याओं को कम करके आगे बढ़ते हैं, और फिर [[ चीनी शेष प्रमेय ]], [[ हेंसल लिफ्टिंग ]] या [[ एलएलएल एल्गोरिथम ]] का उपयोग करके समाधान का पुनर्निर्माण करते हैं।
संख्या सिद्धांत में परिमित क्षेत्रों का व्यापक रूप से उपयोग किया जाता है, क्योंकि पूर्णांकों पर कई समस्याओं को [[ मॉड्यूलर अंकगणित |मॉड्यूलर अंकगणित]] में एक या कई अभाज्य संख्याओं को कम करके हल किया जा सकता है। उदाहरण के लिए, [[ परिमेय संख्या |परिमेय संख्याओं]] के क्षेत्र में [[ बहुपद गुणनखंड |बहुपद गुणनखंड]] और रैखिक बीजगणित के लिए सबसे तेज़ ज्ञात एल्गोरिदम (विधि), इकाई एक या कई अभाज्य संख्याओं को कम करके आगे बढ़ते हैं और फिर [[ चीनी शेष प्रमेय |चीनी शेष प्रमेय]], [[ हेंसल लिफ्टिंग |हेंसल लिफ्टिंग]] या [[ एलएलएल एल्गोरिथम |एलएलएल एल्गोरिथम]] का उपयोग करके समाधान का पुनर्निर्माण करते हैं।


इसी तरह संख्या सिद्धांत में कई सैद्धांतिक समस्याओं को उनके कुछ या सभी अभाज्य संख्याओं में कमी के मॉड्यूल पर विचार करके हल किया जा सकता है। उदाहरण के लिए, [[ हस सिद्धांत ]] देखें। बीजगणितीय ज्यामिति के कई हालिया विकास इन मॉड्यूलर विधियों की शक्ति को बढ़ाने की आवश्यकता से प्रेरित थे। फ़र्मेट के अंतिम प्रमेय का विल्स का प्रमाण एक गहन परिणाम का एक उदाहरण है जिसमें परिमित क्षेत्रों सहित कई गणितीय उपकरण शामिल हैं।
इसी तरह संख्या सिद्धांत में कई सैद्धांतिक समस्याओं को उनके कुछ या सभी अभाज्य संख्याओं में कमी के मापदंड पर विचार करके हल किया जा सकता है। उदाहरण के लिए, [[ हस सिद्धांत |हस सिद्धांत]] देखें। बीजगणितीय ज्यामिति के कई हालिया विकास इन मापदंड विधियों की कोटि को बढ़ाने की आवश्यकता से प्रेरित थे। फ़र्मेट के अंतिम प्रमेय का विल्स का प्रमाण एक गहन परिणाम का एक उदाहरण है जिसमें परिमित क्षेत्रों सहित कई गणितीय उपकरण सम्मिलित हैं।


वेइल अनुमान परिमित क्षेत्रों में बीजगणितीय विविधता पर अंकों की संख्या से संबंधित है और सिद्धांत में [[ घातीय योग ]] और वर्ण योग अनुमान सहित कई अनुप्रयोग हैं।
वेइल अनुमान परिमित क्षेत्रों में बीजगणितीय विविधता पर अंकों की संख्या से संबंधित है और सिद्धांत में [[ घातीय योग |घातीय योग]] और वर्ण योग अनुमान सहित कई अनुप्रयोग हैं।


[[ साहचर्य ]] में परिमित क्षेत्रों का व्यापक अनुप्रयोग है, दो प्रसिद्ध उदाहरण [[ पीला ग्राफ ]] की परिभाषा और [[ पाले निर्माण ]] के लिए संबंधित निर्माण हैं। [[ अंकगणितीय संयोजन ]] में परिमित क्षेत्र<ref>{{Citation|last=Shparlinski|first=Igor E.|chapter=Additive Combinatorics over Finite Fields: New Results and Applications|publisher=DE GRUYTER|isbn=9783110283600|doi=10.1515/9783110283600.233|title=Finite Fields and Their Applications| year=2013|pages=233–272}}</ref> और परिमित क्षेत्र मॉडल<ref>{{Citation|last=Green|first=Ben|chapter=Finite field models in additive combinatorics|pages=1–28|publisher=Cambridge University Press|isbn=9780511734885| doi=10.1017/cbo9780511734885.002| title=Surveys in Combinatorics 2005|year=2005|arxiv=math/0409420|s2cid=28297089}}</ref><ref>{{Cite journal|last=Wolf|first=J.| date=March 2015|title=अंकगणितीय संयोजन में परिमित क्षेत्र मॉडल - दस वर्ष|journal=Finite Fields and Their Applications | volume=32|pages=233–274|doi=10.1016/j.ffa.2014.11.003|issn=1071-5797|doi-access=free}}</ref> व्यापक रूप से उपयोग किया जाता है, जैसे कि अंकगणितीय प्रगति पर ज़ेमेरेडी के प्रमेय में।
[[ साहचर्य |साहचर्य]] में परिमित क्षेत्रों का व्यापक अनुप्रयोग है, दो प्रसिद्ध उदाहरण [[ पीला ग्राफ |पाले ग्राफ़]] की परिभाषा और [[ पाले निर्माण |हैडमार्ड मैट्रिसेस]] के लिए संबंधित निर्माण हैं। [[ अंकगणितीय संयोजन |अंकगणितीय संयोजन]] में परिमित क्षेत्र<ref>{{Citation|last=Shparlinski|first=Igor E.|chapter=Additive Combinatorics over Finite Fields: New Results and Applications|publisher=DE GRUYTER|isbn=9783110283600|doi=10.1515/9783110283600.233|title=Finite Fields and Their Applications| year=2013|pages=233–272}}</ref> और परिमित क्षेत्र मॉडल<ref>{{Citation|last=Green|first=Ben|chapter=Finite field models in additive combinatorics|pages=1–28|publisher=Cambridge University Press|isbn=9780511734885| doi=10.1017/cbo9780511734885.002| title=Surveys in Combinatorics 2005|year=2005|arxiv=math/0409420|s2cid=28297089}}</ref><ref>{{Cite journal|last=Wolf|first=J.| date=March 2015|title=अंकगणितीय संयोजन में परिमित क्षेत्र मॉडल - दस वर्ष|journal=Finite Fields and Their Applications | volume=32|pages=233–274|doi=10.1016/j.ffa.2014.11.003|issn=1071-5797|doi-access=free}}</ref> व्यापक रूप से उपयोग किया जाता है, जैसे कि अंकगणितीय प्रगति पर ज़ेमेरेडी के प्रमेय में।


== एक्सटेंशन ==
== विस्तार ==


=== बीजीय बंद ===
=== बीजीय बंद ===
एक परिमित क्षेत्र {{math|''F''}} बीजगणितीय रूप से बंद नहीं है: बहुपद
एक परिमित क्षेत्र {{math|''F''}} बीजगणितीय रूप से बंद नहीं है। बहुपद    
<math display="block">f(T) = 1+\prod_{\alpha \in F} (T-\alpha),</math>
<math display="block">f(T) = 1+\prod_{\alpha \in F} (T-\alpha),</math>
में कोई जड़ नहीं है {{math|''F''}}, जबसे {{math|1=''f''&thinsp;(''α'') = 1}} सभी के लिए {{math|''α''}} में {{math|''F''}}.
के {{math|''F''}} में कोई मूल नहीं है, क्योंकि {{math|''F''}} में सभी {{math|''α''}} के लिए {{math|1=''f''&thinsp;(''α'') = 1}} है। 


[[ बीजीय बंद ]] को ठीक करें <math>\overline{\mathbb{F}}_q</math> का <math>\mathbb{F}_q</math>. नक्शा <math>\varphi_q \colon \overline{\mathbb{F}}_q \to \overline{\mathbb{F}}_q</math> प्रत्येक को भेजना {{math|''x''}} प्रति {{math|''x''<sup>''q''</sup>}} कहा जाता है {{math|''q''}}वें शक्ति फ्रोबेनियस ऑटोमोर्फिज्म। का उपक्षेत्र <math>\overline{\mathbb{F}}_q</math> द्वारा तय किया गया {{math|''n''}}की पुनरावृति <math>\varphi_q</math> बहुपद के शून्यकों का समुच्चय है {{math|''x''{{sup|''q''{{sup|''n''}}}} − x}}, जिसके व्युत्पन्न होने के बाद से अलग-अलग जड़ें हैं <math>\mathbb{F}_q[x]</math> है {{math|−1}}, जो कभी शून्य नहीं होता। इसलिए उस उपक्षेत्र में है {{math|''q''<sup>''n''</sup>}} तत्वों, तो यह की अनूठी प्रति है <math>\mathbb{F}_{q^n}</math> में <math>\overline{\mathbb{F}}_q</math>. का हर परिमित विस्तार <math>\mathbb{F}_q</math> में <math>\overline{\mathbb{F}}_q</math> क्या यह <math>\mathbb{F}_{q^n}</math> कुछ के लिए {{math|''n''}}, इसलिए
<math>\overline{\mathbb{F}}_q</math> <math>\mathbb{F}_q</math> के [[ बीजीय बंद |बीजगणितीय बंद]] को ठीक करें। प्रतिचित्र <math>\varphi_q \colon \overline{\mathbb{F}}_q \to \overline{\mathbb{F}}_q</math> प्रत्येक {{math|''x''}} को {{math|''x''<sup>''q''</sup>}} पर भेजना  कहा जाता है, {{math|''q''}}वें शक्ति फ्रोबेनियस ऑटोमोर्फिज्म कहलाता है। <math>\overline{\mathbb{F}}_q</math> का उपक्षेत्र <math>\varphi_q</math> के {{math|''n''}}वें की पुनरावृति द्वारा तय किया गया, जो शून्य का समुच्चय है। बहुपद {{math|''x''{{sup|''q''{{sup|''n''}}}} − x}}, जिसके व्युत्पन्न होने के बाद से अलग-अलग मूल होते हैं। क्योंकि <math>\mathbb{F}_q[x]</math> में इसका डेरिवेटिव {{math|−1}} है, जो कभी भी शून्य नहीं होता है। इसलिए उस उपक्षेत्र में है {{math|''q''<sup>''n''</sup>}} तत्व हैं, इसलिए यह <math>\mathbb{F}_{q^n}</math> में अद्वितीय प्रतिलिपि है। <math>\overline{\mathbb{F}}_q</math> का हर परिमित विस्तार यह <math>\mathbb{F}_{q^n}</math>है कुछ के लिए {{math|''n''}}, इसलिए
<math display="block">\overline{\mathbb{F}}_q = \bigcup_{n \ge 1} \mathbb{F}_{q^n}.</math>
<math display="block">\overline{\mathbb{F}}_q = \bigcup_{n \ge 1} \mathbb{F}_{q^n}.</math>
निरपेक्ष गैलोइस समूह <math>\mathbb{F}_q</math> [[ अनंत समूह ]] है
निरपेक्ष गैलोइस समूह <math>\mathbb{F}_q</math> [[ अनंत समूह |अनंत समूह]] है
<math display="block">\operatorname{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q) \simeq \varprojlim_n \operatorname{Gal}(\mathbb{F}_{q^n}/\mathbb{F}_q) \simeq \varprojlim_n (\mathbf{Z}/n\mathbf{Z}) = \widehat{\mathbf{Z}}.</math>
<math display="block">\operatorname{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q) \simeq \varprojlim_n \operatorname{Gal}(\mathbb{F}_{q^n}/\mathbb{F}_q) \simeq \varprojlim_n (\mathbf{Z}/n\mathbf{Z}) = \widehat{\mathbf{Z}}.</math>
किसी भी अनंत गैलोइस समूह की तरह, <math>\operatorname{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q)</math> [[ क्रुल टोपोलॉजी ]] से लैस हो सकता है, और फिर अभी दिए गए आइसोमोर्फिज्म टोपोलॉजिकल समूहों के आइसोमोर्फिज्म हैं।
किसी भी अनंत गैलोइस समूह की तरह, <math>\operatorname{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q)</math> [[ क्रुल टोपोलॉजी |क्रुल टोपोलॉजी]] से लैस हो सकता है और फिर अभी दिए गए आइसोमोर्फिज्म टोपोलॉजिकल समूहों के समरूप हैं। समूह <math>\operatorname{Gal}(\mathbb{F}_{q^n}/\mathbb{F}_q) \simeq \mathbf{Z}/n\mathbf{Z}</math> में <math>\varphi_q</math>की छवि में जनित्र {{math|1}} है, इसलिए <math>\varphi_q</math> इसके अनुरूप है। <math>1 \in \widehat{\mathbf{Z}}</math>. इस प्रकार है कि <math>\varphi_q</math> अनंत क्रम में है जो <math>\operatorname{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q)</math> का एक सघन उपसमूह उत्पन्न करता है, संपूर्ण समूह नहीं। क्योंकि तत्व <math>1 \in \widehat{\mathbf{Z}}</math> अनंत क्रम है और सघन उपसमूह उत्पन्न करता है <math>\mathbf{Z} \subsetneqq \widehat{\mathbf{Z}}.</math> एक का कहना है कि <math>\varphi_q</math> <math>\operatorname{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q)</math> का एक टोपोलॉजिकल जनित्र है।
की छवि <math>\varphi_q</math> समूह में <math>\operatorname{Gal}(\mathbb{F}_{q^n}/\mathbb{F}_q) \simeq \mathbf{Z}/n\mathbf{Z}</math> जनरेटर है {{math|1}}, इसलिए <math>\varphi_q</math> से मेल खाती है <math>1 \in \widehat{\mathbf{Z}}</math>. यह इस प्रकार है कि <math>\varphi_q</math> अनंत क्रम है और का एक घना उपसमूह उत्पन्न करता है <math>\operatorname{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q)</math>, संपूर्ण समूह नहीं, क्योंकि तत्व <math>1 \in \widehat{\mathbf{Z}}</math> अनंत क्रम है और घने उपसमूह उत्पन्न करता है <math>\mathbf{Z} \subsetneqq \widehat{\mathbf{Z}}.</math> एक कहता है <math>\varphi_q</math> का एक टोपोलॉजिकल जनरेटर है <math>\operatorname{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q)</math>.


==== अर्ध-बीजगणितीय बंद ====
==== अर्ध-बीजगणितीय बंद ====
हालांकि परिमित क्षेत्र (finite field) बीजगणितीय रूप से बंद (close) नहीं होते हैं, वे [[ अर्ध-बीजगणितीय रूप से बंद क्षेत्र ]] होते हैं| अर्ध-बीजगणितीय रूप से बंद (close), जिसका अर्थ है कि परिमित क्षेत्र में प्रत्येक [[ सजातीय बहुपद ]] (homogeneous polynomial)  में एक गैर-नगण्य (non-trivial) शून्य होता है जिसके घटक (components) क्षेत्र (field) में होते हैं यदि इसके चर की संख्या इसकी कोटि (डिग्री) से अधिक है। यह [[ एमिल आर्टिन ]] और [[ लियोनार्ड यूजीन डिक्सन ]] का अनुमान था जिसे [[ क्लाउड शेवेली ]] द्वारा सिद्ध किया गया था (देखें शेवेली-चेतावनी प्रमेय)।
यद्यपि परिमित क्षेत्र बीजगणितीय रूप से बंद नहीं होते हैं, वे [[ अर्ध-बीजगणितीय रूप से बंद क्षेत्र |अर्ध-बीजगणितीय रूप से बंद क्षेत्र]] होते हैं। अर्ध-बीजगणितीय रूप से बंद, जिसका अर्थ है कि परिमित क्षेत्र में प्रत्येक [[ सजातीय बहुपद |सजातीय बहुपद]] में एक गैर-नगण्य शून्य होता है जिसके घटक, क्षेत्र में होते हैं यदि इसके चर की संख्या इसकी कोटि से अधिक है। यह [[ एमिल आर्टिन |एमिल आर्टिन]] और [[ लियोनार्ड यूजीन डिक्सन |लियोनार्ड यूजीन डिक्सन]] का अनुमान था जिसे [[ क्लाउड शेवेली |क्लाउड शेवेली]] द्वारा सिद्ध किया गया था (देखें शेवेली-चेतावनी प्रमेय)।


=== वेडरबर्न की छोटी प्रमेय ===
=== वेडरबर्न की छोटी प्रमेय ===
एक विभाजन वलय ( डिवीजन रिंग ) क्षेत्र (field) का सामान्यीकरण है। विभाजन वलय ( डिवीजन रिंग )  को क्रमविनिमेय (कम्यूटेटिव) नहीं माना जाता है। कोई गैर-क्रमविनिमेय (नॉन कम्यूटेटिव ) परिमित विभाजन वलय ( डिवीजन रिंग ) नहीं हैं: वेडरबर्न की छोटी प्रमेय में कहा गया है कि सभी परिमित विभाजन वलय (डिवीजन रिंग) क्रमविनिमेय (कम्यूटेटिव) हैं, और इसलिए परिमित क्षेत्र (finite field) हैं। यह परिणाम तब भी कायम रहता है जब हम [[ वैकल्पिकता | वैकल्पिक]][[ संबद्धता |ता]] के लिए [[ संबद्धता ]] की सूक्ति को शिथिल (relax) करते हैं, अर्थात, आर्टिन-ज़ोर्न प्रमेय द्वारा सभी परिमित वैकल्पिक विभाजन वलय ( डिवीजन रिंग ) परिमित क्षेत्र हैं।<ref>{{cite book | last=Shult | first=Ernest E. | title=अंक और रेखाएँ। शास्त्रीय ज्यामिति की विशेषता| series=Universitext | location=Berlin | publisher=[[Springer-Verlag]] | year=2011 | isbn=978-3-642-15626-7 | zbl=1213.51001 | page=123 }}</ref>
एक विभाजन वलय क्षेत्र का सामान्यीकरण है। विभाजन वलय को क्रमविनिमेय नहीं माना जाता है। कोई गैर-क्रमविनिमेय परिमित विभाजन वलय नहीं हैं। वेडरबर्न की छोटी प्रमेय में कहा गया है कि सभी परिमित विभाजन वलय क्रमविनिमेय हैं और इसलिए परिमित क्षेत्र हैं। यह परिणाम तब भी लागू रहता है जब हम [[ वैकल्पिकता |वैकल्पिक]][[ संबद्धता |ता]] के लिए [[ संबद्धता |संबद्धता]] की सूक्ति को शिथिल करते हैं, अर्थात, आर्टिन-ज़ोर्न प्रमेय द्वारा सभी परिमित वैकल्पिक विभाजन वलय परिमित क्षेत्र हैं।<ref>{{cite book | last=Shult | first=Ernest E. | title=अंक और रेखाएँ। शास्त्रीय ज्यामिति की विशेषता| series=Universitext | location=Berlin | publisher=[[Springer-Verlag]] | year=2011 | isbn=978-3-642-15626-7 | zbl=1213.51001 | page=123 }}</ref>
 
 
== यह भी देखें ==
== यह भी देखें ==
*[[ अर्ध-परिमित क्षेत्र ]]
*[[ अर्ध-परिमित क्षेत्र ]]
* [[ एक तत्व के साथ फ़ील्ड ]]
* [[ एक तत्व के साथ फ़ील्ड ]]
* [[ परिमित क्षेत्र अंकगणित ]]
* [[ परिमित क्षेत्र अंकगणित ]]
* परिमित अंगूठी
* परिमित वलय
*[[ परिमित समूह ]]
*[[ परिमित समूह ]]
* [[ प्राथमिक एबेलियन समूह ]]
* [[ प्राथमिक एबेलियन समूह ]]
Line 415: Line 417:
{{Authority control}}
{{Authority control}}


{{DEFAULTSORT:Finite Field}}[[Category: परिमित क्षेत्र| ]]
{{DEFAULTSORT:Finite Field}}
 


[[Category: Machine Translated Page]]
[[Category:AC with 0 elements|Finite Field]]
[[Category:Created On 10/11/2022]]
[[Category:All articles lacking in-text citations|Finite Field]]
[[Category:Articles lacking in-text citations from February 2015|Finite Field]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Finite Field]]
[[Category:Articles with invalid date parameter in template|Finite Field]]
[[Category:Articles with short description|Finite Field]]
[[Category:Created On 10/11/2022|Finite Field]]
[[Category:Machine Translated Page|Finite Field]]
[[Category:Missing redirects|Finite Field]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description|Finite Field]]
[[Category:परिमित क्षेत्र| ]]

Latest revision as of 14:05, 24 November 2022

गणित में, एक परिमित क्षेत्र या गैलोइस क्षेत्र (इवरिस्ट गैलोइस के सम्मान में तथाकथित) एक क्षेत्र है जिसमें तत्वों की एक सीमित संख्या होती है। किसी भी क्षेत्र की तरह, एक परिमित क्षेत्र एक समुच्चय होता है, जिस पर गुणन, जोड़, घटाव और भाग के संचालन परिभाषित होते हैं और कुछ बुनियादी नियमों को पूरा करते हैं। परिमित क्षेत्रों के सबसे सामान्य उदाहरण पूर्णांक mod p द्वारा दिए गए हैं जब p एक अभाज्य संख्या है।

एक परिमित क्षेत्र का क्रम उसके तत्वों की संख्या है, जो या तो एक अभाज्य संख्या या एक अभाज्य घात है। प्रत्येक अभाज्य संख्या के लिए p और प्रत्येक धनात्मक पूर्णांक k के लिए क्रम के क्षेत्र हैं, जिनमें से सभी समरूपी हैं।

गणित और कंप्यूटर विज्ञान के कई क्षेत्रों में परिमित क्षेत्र मौलिक हैं, जिनमें संख्या सिद्धांत, बीजगणितीय ज्यामिति, गैलोइस सिद्धांत, परिमित ज्यामिति, क्रिप्टोग्राफी और कोडिंग सिद्धांत सम्मिलित हैं।

गुण

एक परिमित क्षेत्र एक परिमित समुच्चय है जो एक ऐसा क्षेत्र है जिसका अर्थ है कि गुणा, जोड़, घटाव और भाग (शून्य से भाग को छोड़कर) परिभाषित हैं और क्षेत्र सिद्धांतों के रूप में ज्ञात अंकगणित के नियमों के नियमों को संतुष्ट करते हैं।

परिमित क्षेत्र के तत्वों की संख्या को उसका क्रम या कभी-कभी उसका आकार कहा जाता है। क्रम q का एक परिमित क्षेत्र उपस्थित होता है यदि q एक अभाज्य संख्या है pk (जहां p एक अभाज्य संख्या है और k एक धनात्मक पूर्णांक है)। क्रम pk के क्षेत्र में, किसी भी तत्व की p प्रतियां जोड़ने पर परिणाम हमेशा शून्य होता है अर्थात क्षेत्र की विशेषता p है।

यदि q = pk, क्रम के सभी क्षेत्र q समरूपी हैं (नीचे § अस्तित्व और अद्वितीयता देखें नीचे)।[1] इसके अतिरिक्त, एक क्षेत्र में एक ही क्रम के दो अलग-अलग परिमित उपक्षेत्र नहीं हो सकते। इसलिए सभी परिमित क्षेत्रों को एक ही क्रम से पहचाना जा सकता है और उन्हें स्पष्ट रूप से , Fq या GF(q) के रूप में निरूपित किया जाता है जहां वर्ण GF का उपयोग "गैलॉइस फील्ड" के लिए होता है।[2] q क्रम के एक परिमित क्षेत्र में, बहुपद XqX में परिमित क्षेत्र के सभी q तत्व मूल के रूप में होते हैं। एक परिमित क्षेत्र के गैर-शून्य तत्व एक गुणक समूह बनाते हैं। यह समूह चक्रीय समूह है, इसलिए सभी गैर-शून्य तत्वों को एक ही तत्व की घातों के रूप में व्यक्त किया जा सकता है जिसे क्षेत्र का एक पूर्वग अवयव कहा जाता है। (सामान्य तौर पर किसी दिए गए क्षेत्र के लिए कई मौलिक तत्व होंगे)

परिमित क्षेत्रों के सबसे सरल उदाहरण अभाज्य क्रम के क्षेत्र हैं: प्रत्येक अभाज्य संख्या p के लिए, (क्रम)p का अभाज्य क्षेत्र, , पूर्णांक मापांक p, Z/pZ के रूप में निर्मित किया जा सकता है।

p क्रम के अभाज्य क्षेत्र के तत्वों को 0, ..., p − 1 श्रेणी में पूर्णांकों द्वारा दर्शाया जा सकता है। योग, अंतर और गुणनफल संगत पूर्णांक संक्रिया के परिणाम के p से विभाजन का शेषफल है। विस्तारित यूक्लिडीय कलनविधि का उपयोग करके किसी तत्व के गुणात्मक व्युत्क्रम की गणना की जा सकती है। (विस्तारित यूक्लिडियन कलनविधि § मॉड्यूलर पूर्णांक देखें)

मान लीजिए F एक परिमित क्षेत्र है। F में किसी भी तत्व x और किसी पूर्णांक n के लिए, nx द्वारा x की n प्रतियों के योग को निरूपित करें। सबसे छोटा धनात्मक n ऐसा है कि n ⋅ 1 = 0 क्षेत्र की विशेषता p है। यह गुणन को परिभाषित करने की अनुमति देता है , GF(p) के एक तत्व k का F के एक तत्व x द्वारा k लिए एक पूर्णांक प्रतिनिधि चुनकर। यह गुणन F को GF(p)-सदिश स्थल बनाता है। यह इस प्रकार है कि किसी पूर्णांक n के लिए F के तत्वों की संख्या pn है।

पहचान

(कभी-कभी फ्रेशमैन का सपना कहा जाता है) विशेषता p के क्षेत्र में सत्य है। यह द्विपद प्रमेय से अनुसरण करता है, क्योंकि (x + y)p के विस्तार का प्रत्येक द्विपद गुणांक पहले और अंतिम को छोड़कर, p का एक गुणक है।

फ़र्मेट की छोटी प्रमेय के अनुसार, यदि p एक अभाज्य संख्या है और x क्षेत्र GF(p) में है तो xp = x. इसका तात्पर्य समानता से है

GF(p) के बहुपदों के लिए। सामान्यतः GF(pn) में प्रत्येक तत्व बहुपद समीकरण xpnx = 0 को संतुष्ट करता है।

परिमित क्षेत्र का कोई भी परिमित क्षेत्र विस्तार वियोज्य (सेपरेबल) और सरल है। अर्थात्, यदि E एक परिमित क्षेत्र है और F, E का एक उपक्षेत्र है , तो E को F से एक एकल तत्व जिसका न्यूनतम बहुपद (क्षेत्र सिद्धांत) वियोज्य है से जोड़कर प्राप्त किया जाता है। एक शब्दावली का उपयोग करने के लिए, परिमित क्षेत्र परिपूर्ण हैं।

एक अधिक सामान्य बीजगणितीय संरचना जो एक क्षेत्र की अन्य सभी सूक्तियों को संतुष्ट करती है, लेकिन जिसके गुणन को क्रमविनिमेय होने की आवश्यकता नहीं होती है, उसे विभाजन वलय या कभी-कभी विषम क्षेत्र कहा जाता है। वेडरबर्न की छोटी प्रमेय के अनुसार, कोई भी परिमित विभाजन वलय, परिवर्तन योग्य होता है और इसलिए एक परिमित क्षेत्र होता है।

अस्तित्व और विशिष्टता

मान लीजिए q = pn एक अभाज्य घात है और F बहुपद का विभाजन क्षेत्र है

अभाज्य क्षेत्र GF(p) पर। इसका मतलब यह है कि F निम्नतम क्रम का एक परिमित क्षेत्र है, जिसमें P के q अलग-अलग मूल हैं (P का औपचारिक व्युत्पन्न P′ = −1 है , जिसका अर्थ है कि gcd(P, P ′) = 1, जिसका सामान्य अर्थ यह है कि विभाजन क्षेत्र, मूल का एक वियोज्य विस्तार है)। उपरोक्त पहचान दर्शाता है कि P के दो मूलों का योग और गुणनफल P के मूल हैं, साथ ही P के मूल का गुणनात्मक व्युत्क्रम भी हैं। दूसरे शब्दों में, P के मूल q क्रम का एक क्षेत्र बनाते हैं, जो विभाजन क्षेत्र की न्यूनतमता से F के बराबर है।

विभाजक क्षेत्रों के समरूपता तक की विशिष्टता का तात्पर्य इस प्रकार है कि क्रम के सभी क्षेत्र q समरूपी हैं। इसके अलावा, यदि कोई क्षेत्र F क्रम का एक क्षेत्र है q = pk एक उपक्षेत्र के रूप में, इसके तत्व हैं q की जड़ें XqX, तथा F में क्रम q का कोई अन्य उपक्षेत्र नहीं हो सकता।

संक्षेप में, हमारे पास निम्नलिखित वर्गीकरण प्रमेय है जिसे पहली बार 1893 में ई. एच. मूर द्वारा सिद्ध किया गया था:[1]

एक परिमित क्षेत्र का क्रम एक अभाज्य घात है। प्रत्येक अभाज्य घात के लिए q अनुक्रम के क्षेत्र होते हैं और वे सभी समरूपी होते हैं इन क्षेत्रों में प्रत्येक तत्व संतुष्ट करता है।

और बहुपद XqX कारक के रूप में

यह अनुसरण करता है कि GF(pn) के लिए एक उपक्षेत्र अनुक्रम सम्मिलित है GF(pm) यदि m, n का भाजक है उस स्थिति में, यह उपक्षेत्र अद्वितीय है। वास्तव में, बहुपद XpmX विभाजित XpnX यदि और केवल यदि m, n का भाजक है।

स्पष्ट निर्माण

गैर-अभाज्य क्षेत्र

p अभाज्य और n > 1 के साथ एक प्रमुख घात q = pn को देखते हुए, क्षेत्रGF(q) को स्पष्ट रूप से निम्नलिखित तरीके से स्पष्ट रूप से बनाया जा सकता है। सबसे पहले कोटि n के GF(p)[X] में एक अलघुकरणीय बहुपद P चुनते है (इस तरह का एक अलघुकरणीय बहुपद हमेशा मौजूद रहता है)। फिर भागफल वलय

P द्वारा उत्पन्न आदर्श द्वारा बहुपद वलय GF(p)[X] का क्रम q का एक क्षेत्र है।

अधिक स्पष्ट रूप से, GF(q) के तत्व GF(p) पर बहुपद हैं जिसकी कोटि निश्चित रूप से n से कम है। जोड़ और घटाना GF(p) पर बहुपदों के हैं। दो तत्वों का गुणन GF(p)[X] में P के गुणन द्वारा यूक्लिडियन विभाजन का शेषफल है। एक गैर-शून्य तत्व के गुणात्मक व्युत्क्रम की गणना विस्तारित यूक्लिडियन कलनविधि के साथ की जा सकती है। (देखें विस्तारित यूक्लिडियन कलनविधि § सरल बीजगणितीय क्षेत्र विस्तार)

GF(4) के निर्माण को छोड़कर, P के लिए कई संभावित विकल्प हैं, जो समरूपी परिणाम उत्पन्न करते हैं। यूक्लिडियन विभाजन को सरल बनाने के लिए, सामान्यतः P के लिए एक बहुपद चुनता है।

जो यूक्लिडियन विभाजन को बहुत कुशल बनाते हैं। हालाँकि, कुछ क्षेत्रों के लिए, विशेष रूप से विशेषता 2 में, Xn + aX + b के रूप में अलघुकरणीय बहुपद उपस्थित नहीं हो सकते हैं। विशेषता 2 में, यदि बहुपद Xn + X + 1 कम करने योग्य है, तो Xn + Xk + 1 को सबसे कम संभव k के साथ चुनने की अनुशंसा की जाती है जो बहुपद को अलघुकरणीय बनाता है। यदि ये सभी त्रिनाम लघुकरणीय हैं, तो कोई पेंटानोमियल्स Xn + Xa + Xb + Xc + 1 चुनता है , क्योंकि 1 से अधिक कोटि वाले बहुपद, सम संख्या वाले शब्दों के साथ, विशेषता 2 में कभी भी अलघुकरणीय नहीं होते हैं जिसमें 1 मूल होता है।[3] ऐसे बहुपद के लिए एक संभावित विकल्प कॉनवे बहुपद (परिमित क्षेत्र) द्वारा दिया जाता है। वे एक क्षेत्र के निरूपण और उसके उपक्षेत्रों के निरूपण के बीच एक निश्चित अनुकूलता सुनिश्चित करते हैं।

अगले खंडों में, हम दिखाएंगे कि ऊपर उल्लिखित सामान्य निर्माण विधि छोटे परिमित क्षेत्रों के लिए कैसे काम करती है।

चार तत्वों वाला क्षेत्र

सबसे छोटा गैर-अभाज्य क्षेत्र चार तत्वों वाला क्षेत्र है, जिसे सामान्यत: GF(4) या के रूप दर्शाया जाता है इसमें चार तत्व होते हैं जैसे कि तथा प्रत्येक के लिए अन्य संक्रिया के परिणाम वितरण नियम से सरलता से निकाले जा सकते हैं। पूर्ण संक्रिया सारिणी के लिए नीचे देखें।

इसे पिछले खंड के परिणामों से निम्नानुसार घटाया जा सकता है।

GF(2) के ऊपर, कोटि 2 का केवल एक अलघुकरणीय बहुपद है:

इसलिए, GF(4) के लिए पूर्ववर्ती खंड के निर्माण में यह बहुपद सम्मिलित होना चाहिए और
माना α, GF(4) में इस बहुपद के एक मूल को निरूपित करता है। यह बताता है कि

α2 = 1 + α,

और वह α तथा 1 + α, GF(4) के तत्व हैं जो GF(2) में नहीं हैं। GF(4) में संक्रिया की तालिकाएँ इसका परिणाम है और इस प्रकार हैं:

योग x+y गुणा xy विभाजन x/y
y
x
0 1 α 1 + α
0 0 1 α 1 + α
1 1 0 1 + α α
α α 1 + α 0 1
1 + α 1 + α α 1 0
y
x
0 1 α 1 + α
0 0 0 0 0
1 0 1 α 1 + α
α 0 α 1 + α 1
1 + α 0 1 + α 1 α
y
x
1 α 1 + α
0 0 0 0
1 1 1 + α α
α α 1 1 + α
1 + α 1 + α α 1

घटाव के लिए एक तालिका नहीं दी गई है, क्योंकि घटाव जोड़ के समान है, जैसा कि विशेषता 2 के प्रत्येक क्षेत्र के मामले में है।

तीसरी तालिका में, x को y से विभाजित करने के लिए, x के मानों को बाएं स्तंभ में पढ़ा जाना चाहिए और शीर्ष पंक्ति में y के मान। (क्योंकि 0 ⋅ z = 0 प्रत्येक z के लिए प्रत्येक वलय में 0 से विभाजन को अपरिभाषित रहना पड़ता है।) तालिकाओं से, यह देखा जा सकता है कि GF(4) की योगात्मक संरचना क्लेन फोर-समूह के लिए समरूपी है, जबकि गैर-शून्य गुणात्मक संरचना Z3 के लिए समरूपी है।

प्रतिचित्र

गैर-नगण्य क्षेत्र स्वसमाकृतिकता है, जिसे फ्रोबेनियस स्वसमाकृतिकता और गैलोइस सिद्धांत कहा जाता है, जो α को ऊपर बताए गए अलघुकरणीय बहुपद के दूसरे मूल 1 + α में भेजता है।


GF(p2) विषम अभाज्य p के लिए

GF(p2) के मामले में परिमित क्षेत्रों के गैर-अभाज्य क्षेत्रों को लागू करने के लिए, व्यक्ति को 2 कोटि का एक अलघुकरणीय बहुपद ज्ञात करना होता है। p = 2, यह पिछले अनुभाग में किया गया है। यदि p एक विषम अभाज्य संख्या है, तो GF(p) में r के साथ X2r के रूप में हमेशा अलघुकरणीय बहुपद होते हैं।

अधिक सटीक रूप से, बहुपद X2r, GF(p) पर अलघुकरणीय है यदि और केवल यदि r एक द्विघात गैर-अवशेष मापांक p है (यह लगभग एक द्विघात गैर-अवशेष की परिभाषा है)। p − 1/2 द्विघात गैर-अवशेष मापांक p हैं। उदाहरण के लिए, p = 3, 5, 11, 13, ..., के लिए 2 एक द्विघात गैर-अवशेष है तथा 3, p = 5, 7, 17, ....के लिए एक द्विघात गैर-अवशेष है यदि p ≡ 3 mod 4, यानी p = 3, 7, 11, 19, ..., कोई −1 ≡ p − 1 को एक द्विघात गैर-अवशेष के रूप में चुन सकता है, जो हमें एक बहुत ही सरल अलघुकरणीय बहुपद X2 + 1 प्राप्त करने की अनुमति देता है।


एक द्विघात गैर-अवशेष r को चुनने के बाद, α को r का एक प्रतीकात्मक वर्गमूल होने दें, जो कि एक प्रतीक है, जिसमें गुण α2 = r हैं, ठीक उसी तरह जैसे सम्मिश्र संख्या i का प्रतीकात्मक वर्गमूल −1 है। फिर, GF(p2) के तत्व सभी रैखिक व्यंजक हैं

GF(p) में a तथा b के साथ। GF(p2) पर संक्रिया निम्नानुसार परिभाषित किए गए हैं (लैटिन अक्षरों द्वारा दर्शाए गए GF(p) के तत्वों के बीच संक्रिया GF(p) संक्रिया हैं):


जीएफ(8) और जीएफ(27)

बहुपद

GF(2) तथा GF(3) पर अलघुकरणीय है अर्थात्, यह अलघुकरणीय मापांक 2 तथा 3 है (यह दिखाने के लिए पर्याप्त है कि इसकी GF(2) में कोई मूल नहीं है न ही GF(3) में)। यह इस प्रकार है कि GF(8) तथा GF(27) के तत्वों को व्यंजक द्वारा दर्शाया जा सकता है


जहाँ a, b, c

GF(2) या GF(3) (क्रमशः) के तत्व हैं और एक ऐसा प्रतीक है कि

इस प्रकार GF(8) तथा GF(27) पर जोड़, योगात्मक व्युत्क्रम और गुणन को निम्नानुसार परिभाषित किया जा सकता है।

निम्नलिखित सूत्रों में, लैटिन अक्षरों द्वारा निरूपित GF(2) या GF(3) के तत्वों के बीच की संक्रियाएँ की GF(2) या GF(3) में संक्रियाएँ हैं, क्रमश:


जीएफ(16)

बहुपद

GF(2) पर अलघुकरणीय है, अर्थात् यह अलघुकरणीय मापांक 2 है यह इस प्रकार है कि GF(16) के तत्व व्यंजक द्वारा दर्शाए जा सकते है

जहाँ a, b, c, d दोनों मे से एक 0 या 1 (के तत्व GF(2)), तथा α एक प्रतीक है कि
(अर्थात α को दिए गए अलघुकरणीय बहुपद के मूल के रूप में परिभाषित किया गया है)। जैसा कि GF(2) की विशेषता 2 है, GF(16) में प्रत्येक तत्व इसका योगात्मक व्युत्क्रम है। GF(16) पर जोड़ और गुणा को निम्नानुसार परिभाषित किया जा सकता है। निम्नलिखित सूत्रों में, लैटिन अक्षरों द्वारा दर्शाए गए GF(2) के तत्वों के बीच संक्रियाएँ GF(2) में संक्रियाएँ हैं।
क्षेत्र GF(16) में आठ अभाज्य तत्व हैं (ऐसे तत्व जिनमें. पूर्णांक घातों के रूप में GF(16) के सभी गैर-शून्य तत्व हैं)। ये तत्व के चार मूल हैं और उनके गुणनात्मक व्युत्क्रम हैं। विशेष रूप से, α एक अभाज्य तत्व है और अभाज्य तत्व हैं जिसमें m से कम और 15 के साथ सह अभाज्य (अर्थात 1, 2, 4, 7, 8, 11, 13, 14)।

गुणक संरचना

गैर-शून्य तत्वों का समूह GF(q) गुणन के तहत एक एबेलियन समूह है, क्रम q – 1 लैग्रेंज के प्रमेय (समूह सिद्धांत) द्वारा। लैग्रेंज की प्रमेय के अनुसार, एक भाजक उपस्थित है q – 1 का एक भाजक k ऐसा है कि xk = 1 प्रत्येक गैर-शून्य x के लिए GF(q) में। चूंकि समीकरण xk = 1 का किसी भी क्षेत्र में अधिक से अधिक k हल हैं, q – 1, k के लिए उच्चतम संभव मान है। परिमित एबेलियन समूहों की संरचना प्रमेय का तात्पर्य है कि यह गुणात्मक समूह चक्रीय समूह है, अर्थात सभी गैर-शून्य तत्व एक ही तत्व की घात हैं। सारांश:

GF(q) में गैर-शून्य तत्वों का गुणात्मक समूह चक्रीय है और एक तत्व मौजूद है a, ऐसे कि q – 1 गैर-शून्य तत्व GF(q) हैं a, a2, ..., aq−2, aq−1 = 1.

ऐसे तत्व a अभाज्य तत्व कहलाते हैं। जब तक q = 2, 3, अभाज्य तत्व अद्वितीय नहीं है। अभाज्य तत्वों की संख्या φ(q − 1) है जहां φ यूलर का टोटिएंट फलन है।

उपरोक्त परिणाम का तात्पर्य है कि GF(q) में प्रत्येक x के लिए xq = x। विशेष स्थिति जहां q अभाज्य है, फर्मेट की छोटी प्रमेय है।

असतत लघुगणक

यदि a, GF(q) में एक अभाज्य तत्व है, तो F में किसी भी गैर-शून्य तत्व x के लिए, 0 ≤ nq − 2 के साथ एक अद्वितीय पूर्णांक n होता है, जैसे कि

x = an.

इस पूर्णांक n को आधार a पर x का असतत लघुगणक कहा जाता है।

जबकि an की गणना बहुत जल्दी की जा सकती है, उदाहरण के लिए वर्ग द्वारा घातांक का उपयोग करके, व्युत्क्रम संक्रिया, असतत लघुगणक की गणना के लिए कोई ज्ञात सरल विधि नहीं है। इसका उपयोग विभिन्न क्रिप्टोग्राफिक प्रोटोकॉल में किया गया है, विवरण के लिए असतत लघुगणक देखें।

जब GF(q) गैर-शून्य तत्वों को उनके असतत लघुगणक द्वारा दर्शाया जाता है, तो गुणा और भाग आसान होता है, क्योंकि वे जोड़ और घटाव मापांक q – 1 तक कम हो जाते हैं। हालांकि, am + an के असतत लघुगणक की गणना करने के लिए अतिरिक्त मात्रा। पहचान .

am + an = an(amn + 1)

n = 0, ..., q − 2 के लिए, एक an + 1 के असतत लघुगणक की तालिका बनाकर इस समस्या को हल करने की अनुमति देता है जिसे ज़ेच के लघुगणक कहा जाता है (शून्य के असतत लघुगणक को −∞ के रूप में परिभाषित करना सुविधाजनक है)।

ज़ेच के लघुगणक बड़ी गणनाओं के लिए उपयोगी होते हैं, जैसे कि मध्यम आकार के क्षेत्रों में रैखिक बीजगणित, अर्थात, ऐसे क्षेत्र जो प्राकृतिक विधि को अप्रभावी बनाने के लिए पर्याप्त रूप से बड़े हैं, लेकिन बहुत बड़े नहीं हैं, क्योंकि किसी को उसी आकार की तालिका की पूर्व-गणना करनी होती है। क्षेत्र के आदेश के रूप में।

इकाई के मूल

परिमित क्षेत्र का प्रत्येक अशून्य तत्व इकाई का मूल है, जैसे GF(q) के हर अशून्य तत्वों के लिए xq−1 = 1 के रूप में।

यदि n एक धनात्मक पूर्णांक है, तो इकाई का n--वाँ अभाज्य मूल समीकरण xn = 1 का एक हल है जो कि किसी भी धनात्मक पूर्णांक m < n के लिए समीकरण xm = 1 का हल नहीं है। यदि a क्षेत्र F में इकाई का n वां अभाज्य मूल है, तो F में इकाई के सभी n मूल हैं, जो 1, a, a2, ..., an−1 हैं।

फील्ड GF(q) में इकाई का n वां अभाज्य मूल है यदि और केवल यदि n, q − 1 का भाजक है; यदि n, q − 1 का एक भाजक है, तो GF(q) में इकाई के n वें अभाज्य मूलों की संख्या φ(n) (यूलर का पूर्ण फलन) है। GF(q) में इकाई के n वें मूलों की संख्या gcd(n, q − 1) है।

p की विशेषता के क्षेत्र में, प्रत्येक (np) वां मूल इकाई का n वां मूल भी होता है। यह इस प्रकार है कि इकाई की अभाज्य (np) वां मूल कभी भी विशेषता p के क्षेत्र में उपस्थित नहीं होता हैं।

दूसरी ओर, यदि n, p का सह अभाज्य है, तो n वें साइक्लोटोमिक बहुपद के मूल p विशेषता के हर क्षेत्र में अलग हैं, क्योंकि यह बहुपद Xn − 1 का एक भाजक है जिसका विभेदक गैर-शून्य मापांक p है यह इस प्रकार है कि GF(p) पर nth साइक्लोटॉमिक बहुपद कारक अलग-अलग अलघुकरणीय बहुपदों में होते हैं जिनकी सभी कोटि समान होती है, d कहते हैं और यह कि GF(pd) विशेषता p का सबसे छोटा क्षेत्र है जिसमें इकाई के nth अभाज्य मूल होते हैं।

उदाहरण: GF(64)

क्षेत्र GF(64) में कई रोचक गुण हैं जो छोटे क्षेत्र साझा नहीं करते हैं। इसमें दो उपक्षेत्र हैं जैसे कि कोई भी दूसरे में समाहित नहीं है। सभी जनित्र (GF(2) पर कोटि 6 के न्यूनतम बहुपद वाले तत्व) अभाज्य तत्व नहीं हैं और अभाज्य तत्व गैलोइस समूह के अंतर्गत सभी संयुग्मित नहीं हैं।

इस क्षेत्र का क्रम 26, और 6 के विभाजक 1, 2, 3, 6 हैं, GF(2), GF(22) = GF(4), GF(23) = GF(8), तथा GF(64) ही GF(64) के उपक्षेत्र हैं । जैसा कि 2 तथा 3 सहअभाज्य हैं, GF(64) में GF(4) तथा GF(8) का प्रतिच्छेदन अभाज्य क्षेत्र GF(2) है।

इस प्रकार GF(4) तथा GF(8) के समुच्चय में 10 तत्व होते हैं। GF(64) के शेष 54 तत्व इस अर्थ में GF(64) उत्पन्न करते हैं कि किसी अन्य उपक्षेत्र में उनमें से कोई भी सम्मिलित नहीं है। यह इस प्रकार है कि वे GF(2) पर कोटि 6 के अलघुकरणीय बहुपदों के मूल हैं। इसका तात्पर्य है कि, GF(2) के ऊपर कोटि 6 के बिल्कुल 9 = 54/6 अलघुकरणीय मोनिक बहुपद हैं। इसे X64X के ऊपर GF(2) का फैक्टरिंग करके सत्यापित किया जा सकता है।

GF(64) के तत्व कुछ n विभाजक 63 के लिए इकाई के nth अभाज्य मूल हैं। इकाई के तीसरे और सातवें वें मूल क्रमशः GF(4) तथा GF(8) की हैं, {9, 21, 63} में कुछ n के लिए इकाई के 54 जनक nth अभाज्य मूल हैं। यूलर के टोटिएंट फलन से पता चलता है कि इकाई के 6 आदिम 9 वें मूल , इकाई के 12 अभाज्य 21 वें मूल और इकाई के 36 आदिम 63 वें मूल हैं। इन संख्याओं का योग करने पर फिर से 54 तत्व मिलते हैं।

GF(2) पर साइक्लोटोमिक बहुपदों का गुणनखंडन करके, कोई पाता है कि:

  • इकाई के 9 वें छह अभाज्य मूल, मूल हैं
    और सभी गैलोइस समूह की कार्रवाई के तहत संयुग्मित हैं।
  • इकाई के 21 वें बारह अभाज्य मूल, मूल हैं
    गैलोइस समूह की कार्रवाई के तहत वे दो कक्षाएँ बनाते हैं। चूंकि दो कारक एक दूसरे के पारस्परिक बहुपद हैं, एक मूल और इसका (गुणात्मक) व्युत्क्रम एक ही कक्षा से संबंधित नहीं है।
  • GF(64) के 36 अभाज्य तत्व के मूल हैं
    गैलोइस समूह की संक्रिया के तहत वे छह तत्वों की छह कक्षाओं में विभाजित हो गए।

इससे पता चलता है कि GF(64) के निर्माण के लिए सबसे अच्छा विकल्प इसे GF(2)[X] / (X6 + X + 1) के रूप में परिभाषित करना है। वास्तव में, यह जनक एक अभाज्य तत्व है और यह बहुपद अलघुकरणीय बहुपद है जो सबसे आसान यूक्लिडियन विभाजन उत्पन्न करता है।

फ्रोबेनियस स्वसमाकृतिकता और गैलोज सिद्धांत

इस खंड में, p एक अभाज्य संख्या है, और q = pn, p की एक घात है।

GF(q) में सर्वसमिका (x + y)p = xp + yp का तात्पर्य है कि प्रतिचित्र

एक GF(p)-रैखिक मानचित्र और का एक क्षेत्र स्व-रूपता GF(q) का एक क्षेत्र स्व-रूपता है, जो उपक्षेत्र GF(p) के प्रत्येक तत्व को ठीक करता है। फर्डिनेंड जॉर्ज फ्रोबेनियस के बाद इसे फ्रोबेनियस ऑटोमोर्फिज्म कहा जाता है।

φ की संरचना को k बार φk द्वारा निरूपित कर, हमारे पास है

यह पिछले भाग में दिखाया गया है कि φn तत्समक है। 0 < k < n के लिये, स्वरूपण φk ऑटोमोर्फिज्म नहीं है, अन्यथा, बहुपद
pk मूलों से अधिक होगा।

GF(p) का कोई अन्य GF(q) -स्वरूपण नहीं हैं। दूसरे शब्दों में, GF(pn) के बिल्कुल n GF(p)-ऑटोमोर्फिज्म है, जो हैं

गैलोइस सिद्धांत के संदर्भ में, इसका अर्थ है कि GF(pn), GF(p) का गैलोइस विस्तार है, जिसमें चक्रीय गैलोज समूह है।

तथ्य यह है कि फ्रोबेनियस मानचित्र विशेषण (सरजेक्टिव) है, इसका तात्पर्य है कि प्रत्येक परिमित क्षेत्र पूर्ण क्षेत्र है।

बहुपद गुणनखंड

यदि F एक परिमित क्षेत्र है, तो F में गुणांक के साथ एक गैर-स्थिर मोनिक बहुपद F पर अलघुकरणीय है, यदि यह F में गुणांक वाले दो गैर-स्थिर मोनिक बहुपदों का गुणनफल नहीं है।

चूंकि एक क्षेत्र पर प्रत्येक बहुपद वलय एक अद्वितीय गुणनखंडन अनुक्षेत्र है, एक परिमित क्षेत्र पर प्रत्येक मोनिक बहुपद को एक अद्वितीय तरीके से (कारकों के क्रम तक) अलघुकरणीय मोनिक बहुपद के गुणन में विभाजित किया जा सकता है। ।

परिमित क्षेत्र में बहुपद अलघुकरणीय और विभाजित बहुपदों के परीक्षण के लिए कुशल प्रणाली हैं। वे पूर्णांकों या परिमेय संख्याओं पर बहुपदों के गुणनखंड के लिए एक महत्वपूर्ण चरण हैं। कम से कम इस कारण से, प्रत्येक कंप्यूटर बीजगणित प्रणाली में परिमित क्षेत्रों पर या कम से कम, परिमित अभाज्य क्षेत्रों में बहुपदों के गुणनखंडन के लिए कार्य होते हैं।

दी गई कोटि के अलघुकरणीय बहुपद

बहुपद

एक क्षेत्र पर रैखिक गुणन खंड में क्रम q के गुणन खंड। अधिक सटीक रूप से, यह बहुपद क्रम q के क्षेत्र में एक कोटि के सभी मोनिक बहुपदों का गुणन है।

इसका तात्पर्य यह है कि, यदि q = pn तो XqX पर सभी मोनिक अलघुकरणीय बहुपदों का गुणनफल है जिसकी कोटि n को विभाजित करती है। वास्तव में, यदि P, XqX के GF(p) पर एक अलघुकरणीय गुणनखंड है, तो इसकी कोटि n को विभाजित करती है, क्योंकि इसका विभाजन क्षेत्र GF(pn) में समाहित है। इसके विपरीत, यदि कोटि d, GF(p) पर एक अलघुकरणीय मोनिक बहुपद है, तो यह कोटि d के क्षेत्र विस्तार को परिभाषित करता है, जो GF(pn) में निहित है और P के सभी मूल GF(pn) से संबंधित हैं और XqX के मूल हैं। इस प्रकार P, XqX को विभाजित करता है। चूंकि XqX का कोई विविध गुणन खंड नहीं है, इसलिए यह सभी अलघुकरणीय मोनिक बहुपदों का गुणन है जो इसे विभाजित करते हैं।

इस गुण का उपयोग GF(p) पर बहुपदों की प्रत्येक कोटि के अलघुकरणीय गुणनखंड के गुणन की गणना करने के लिए किया जाता है। (भिन्न कोटि गुणनखंड देखें)

एक परिमित क्षेत्र पर दी गई कोटि के मोनिक अलघुकरणीय बहुपदों की संख्या

GF(q) पर डिग्री n के मोनिक अलघुकरणीय बहुपदों की संख्या N(q, n) द्वारा दी गई है[4]

जहां μ मोबियस फलन है। यह सूत्र के गुणधर्म का लगभग प्रत्यक्ष परिणाम है XqX के ऊपर।

उपरोक्त सूत्र द्वारा, डिग्री के अलघुकरणीय (जरूरी नहीं कि मोनिक) बहुपदों की संख्या n ऊपर GF(q) है (q − 1)N(q, n)

सटीक सूत्र असमानता का तात्पर्य है

यह उच्च होता है यदि और केवल यदि n अभाज्य की कोटि है। प्रत्येक q और प्रत्येक n के लिए, दाँयाँ हाथ की ओर धनात्मक है, GF(q) पर कोटि n का कम से कम एक अलघुकरणीय बहुपद है।

अनुप्रयोग

कूटलेखन (क्रिप्टोग्राफी) में, परिमित क्षेत्रों या अण्डाकार वक्रों में असतत लघुगणक समस्या की कठिनाई कई व्यापक रूप से उपयोग किए जाने वाले प्रोटोकॉल का आधार है, जैसे कि डिफी-हेलमैन प्रोटोकॉल। उदाहरण के लिए, 2014 में, विकिपीडिया के लिए एक सुरक्षित इंटरनेट संयोजन में एक बड़े परिमित क्षेत्र में अण्डाकार वक्र डिफी-हेलमैन प्रोटोकॉल (ECDHE) सम्मिलित था।[5] कोडिंग सिद्धांत में, कई कोड परिमित क्षेत्रों में वेक्टर रिक्त स्थान के रैखिक उप-स्थान के रूप में बनाए जाते हैं।

रीड-सोलोमन त्रुटि सुधार कोड या बीसीएच कोड जैसे कई त्रुटि सुधार कोडों द्वारा परिमित क्षेत्रों का उपयोग किया जाता है। परिमित क्षेत्र में लगभग हमेशा 2 की विशेषता होती है, क्योंकि कंप्यूटर डेटा बाइनरी में संग्रहीत होता है। उदाहरण के लिए, डेटा के एक बाइट को के एक तत्व के रूप में समझा जा सकता है। एक अपवाद PDF417 बार कोड है, जो है। कुछ सीपीयू में विशेष निर्देश होते हैं जो विशेषता 2 के परिमित क्षेत्रों के लिए उपयोगी हो सकते हैं, सामान्यतः कैरी-लेस उत्पाद की विविधताएं।

संख्या सिद्धांत में परिमित क्षेत्रों का व्यापक रूप से उपयोग किया जाता है, क्योंकि पूर्णांकों पर कई समस्याओं को मॉड्यूलर अंकगणित में एक या कई अभाज्य संख्याओं को कम करके हल किया जा सकता है। उदाहरण के लिए, परिमेय संख्याओं के क्षेत्र में बहुपद गुणनखंड और रैखिक बीजगणित के लिए सबसे तेज़ ज्ञात एल्गोरिदम (विधि), इकाई एक या कई अभाज्य संख्याओं को कम करके आगे बढ़ते हैं और फिर चीनी शेष प्रमेय, हेंसल लिफ्टिंग या एलएलएल एल्गोरिथम का उपयोग करके समाधान का पुनर्निर्माण करते हैं।

इसी तरह संख्या सिद्धांत में कई सैद्धांतिक समस्याओं को उनके कुछ या सभी अभाज्य संख्याओं में कमी के मापदंड पर विचार करके हल किया जा सकता है। उदाहरण के लिए, हस सिद्धांत देखें। बीजगणितीय ज्यामिति के कई हालिया विकास इन मापदंड विधियों की कोटि को बढ़ाने की आवश्यकता से प्रेरित थे। फ़र्मेट के अंतिम प्रमेय का विल्स का प्रमाण एक गहन परिणाम का एक उदाहरण है जिसमें परिमित क्षेत्रों सहित कई गणितीय उपकरण सम्मिलित हैं।

वेइल अनुमान परिमित क्षेत्रों में बीजगणितीय विविधता पर अंकों की संख्या से संबंधित है और सिद्धांत में घातीय योग और वर्ण योग अनुमान सहित कई अनुप्रयोग हैं।

साहचर्य में परिमित क्षेत्रों का व्यापक अनुप्रयोग है, दो प्रसिद्ध उदाहरण पाले ग्राफ़ की परिभाषा और हैडमार्ड मैट्रिसेस के लिए संबंधित निर्माण हैं। अंकगणितीय संयोजन में परिमित क्षेत्र[6] और परिमित क्षेत्र मॉडल[7][8] व्यापक रूप से उपयोग किया जाता है, जैसे कि अंकगणितीय प्रगति पर ज़ेमेरेडी के प्रमेय में।

विस्तार

बीजीय बंद

एक परिमित क्षेत्र F बीजगणितीय रूप से बंद नहीं है। बहुपद

के F में कोई मूल नहीं है, क्योंकि F में सभी α के लिए f (α) = 1 है।

के बीजगणितीय बंद को ठीक करें। प्रतिचित्र प्रत्येक x को xq पर भेजना कहा जाता है, qवें शक्ति फ्रोबेनियस ऑटोमोर्फिज्म कहलाता है। का उपक्षेत्र के nवें की पुनरावृति द्वारा तय किया गया, जो शून्य का समुच्चय है। बहुपद xqn − x, जिसके व्युत्पन्न होने के बाद से अलग-अलग मूल होते हैं। क्योंकि में इसका डेरिवेटिव −1 है, जो कभी भी शून्य नहीं होता है। इसलिए उस उपक्षेत्र में है qn तत्व हैं, इसलिए यह में अद्वितीय प्रतिलिपि है। का हर परिमित विस्तार यह है कुछ के लिए n, इसलिए

निरपेक्ष गैलोइस समूह अनंत समूह है
किसी भी अनंत गैलोइस समूह की तरह, क्रुल टोपोलॉजी से लैस हो सकता है और फिर अभी दिए गए आइसोमोर्फिज्म टोपोलॉजिकल समूहों के समरूप हैं। समूह में की छवि में जनित्र 1 है, इसलिए इसके अनुरूप है। . इस प्रकार है कि अनंत क्रम में है जो का एक सघन उपसमूह उत्पन्न करता है, संपूर्ण समूह नहीं। क्योंकि तत्व अनंत क्रम है और सघन उपसमूह उत्पन्न करता है एक का कहना है कि का एक टोपोलॉजिकल जनित्र है।

अर्ध-बीजगणितीय बंद

यद्यपि परिमित क्षेत्र बीजगणितीय रूप से बंद नहीं होते हैं, वे अर्ध-बीजगणितीय रूप से बंद क्षेत्र होते हैं। अर्ध-बीजगणितीय रूप से बंद, जिसका अर्थ है कि परिमित क्षेत्र में प्रत्येक सजातीय बहुपद में एक गैर-नगण्य शून्य होता है जिसके घटक, क्षेत्र में होते हैं यदि इसके चर की संख्या इसकी कोटि से अधिक है। यह एमिल आर्टिन और लियोनार्ड यूजीन डिक्सन का अनुमान था जिसे क्लाउड शेवेली द्वारा सिद्ध किया गया था (देखें शेवेली-चेतावनी प्रमेय)।

वेडरबर्न की छोटी प्रमेय

एक विभाजन वलय क्षेत्र का सामान्यीकरण है। विभाजन वलय को क्रमविनिमेय नहीं माना जाता है। कोई गैर-क्रमविनिमेय परिमित विभाजन वलय नहीं हैं। वेडरबर्न की छोटी प्रमेय में कहा गया है कि सभी परिमित विभाजन वलय क्रमविनिमेय हैं और इसलिए परिमित क्षेत्र हैं। यह परिणाम तब भी लागू रहता है जब हम वैकल्पिकता के लिए संबद्धता की सूक्ति को शिथिल करते हैं, अर्थात, आर्टिन-ज़ोर्न प्रमेय द्वारा सभी परिमित वैकल्पिक विभाजन वलय परिमित क्षेत्र हैं।[9]

यह भी देखें

टिप्पणियाँ

  1. 1.0 1.1 Moore, E. H. (1896), "A doubly-infinite system of simple groups", in E. H. Moore; et al. (eds.), Mathematical Papers Read at the International Mathematics Congress Held in Connection with the World's Columbian Exposition, Macmillan & Co., pp. 208–242
  2. This latter notation was introduced by E. H. Moore in an address given in 1893 at the International Mathematical Congress held in Chicago Mullen & Panario 2013, p. 10.
  3. Recommended Elliptic Curves for Government Use (PDF), National Institute of Standards and Technology, July 1999, p. 3
  4. Jacobson 2009, §4.13
  5. This can be verified by looking at the information on the page provided by the browser.
  6. Shparlinski, Igor E. (2013), "Additive Combinatorics over Finite Fields: New Results and Applications", Finite Fields and Their Applications, DE GRUYTER, pp. 233–272, doi:10.1515/9783110283600.233, ISBN 9783110283600
  7. Green, Ben (2005), "Finite field models in additive combinatorics", Surveys in Combinatorics 2005, Cambridge University Press, pp. 1–28, arXiv:math/0409420, doi:10.1017/cbo9780511734885.002, ISBN 9780511734885, S2CID 28297089
  8. Wolf, J. (March 2015). "अंकगणितीय संयोजन में परिमित क्षेत्र मॉडल - दस वर्ष". Finite Fields and Their Applications. 32: 233–274. doi:10.1016/j.ffa.2014.11.003. ISSN 1071-5797.
  9. Shult, Ernest E. (2011). अंक और रेखाएँ। शास्त्रीय ज्यामिति की विशेषता. Universitext. Berlin: Springer-Verlag. p. 123. ISBN 978-3-642-15626-7. Zbl 1213.51001.


संदर्भ


बाहरी संबंध