परिमित क्षेत्र

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

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

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

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

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

यदि $q = p^{k}$, क्रम (order) के सभी क्षेत्र $q$  समरूपी  हैं (देखें  नीचे)। इसके अलावा, एक क्षेत्र  (फ़ील्ड)  में समान क्रम वाले दो भिन्न परिमित  क्षेत्र विस्तार  नहीं हो सकते हैं। इसलिए एक ही क्रम के साथ सभी परिमित क्षेत्रों (finite fields) की पहचान की जा सकती है, और उन्हें स्पष्ट रूप से निरूपित किया जाता है $$\mathbb{F}_{q}$$, $F_{q}$ या $GF(q)$, जहां अक्षर GF "गैलॉइस फील्ड" के लिए है। $q$  क्रम (order) के एक परिमित क्षेत्र में,  बहुपद  $X^{q} − X$ में परिमित क्षेत्र के सभी $q$ तत्व मूल के रूप में होते हैं। एक परिमित क्षेत्र के गैर-शून्य तत्व एक  गुणक समूह  बनाते हैं। यह समूह  चक्रीय समूह  है, इसलिए सभी गैर-शून्य तत्वों को एक ही तत्व की घातों के रूप में व्यक्त किया जा सकता है जिसे क्षेत्र का एक  आदिम तत्व (परिमित क्षेत्र)  कहा जाता है। (सामान्य तौर पर किसी दिए गए क्षेत्र के लिए कई मौलिक तत्व होंगे।)

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

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

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

पहचान (गणित)

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

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

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

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

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

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

संक्षेप में, हमारे पास निम्नलिखित वर्गीकरण प्रमेय है जिसे पहली बार 1893 में ई. एच. मूर द्वारा सिद्ध किया गया था: एक परिमित क्षेत्र का क्रम एक प्रमुख शक्ति है। हर प्रधान शक्ति के लिए $q$ आदेश के क्षेत्र हैं $q$, और वे सभी समरूपी हैं। इन क्षेत्रों में हर तत्व संतुष्ट $$x^q=x,$$ और बहुपद $X^{q} − X$ कारक के रूप में $$X^q-X= \prod_{a\in F} (X-a).$$

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

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

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

$GF(4)$ के निर्माण को छोड़कर, $P$ के लिए कई संभावित विकल्प हैं, जो समरूपी (isomorphic) परिणाम उत्पन्न करते हैं। यूक्लिडियन भाग (Euclidean division) को सरल बनाने के लिए, आमतौर पर P के लिए एक बहुपद चुनता है $$X^n + aX + b,$$ जो यूक्लिडियन भागों (Euclidean divisions) को बहुत कुशल बनाते हैं। हालाँकि, कुछ क्षेत्रों के लिए, विशेष रूप से विशेषता 2 में, $X^{n} + aX + b$  के रूप में अलघुकरणीय बहुपद ( irreducible polynomials) मौजूद नहीं हो सकते हैं। विशेषता $2$ में, यदि बहुपद  $X^{n} + X + 1$  कम करने योग्य है, तो $X^{n} + X^{k} + 1$  को सबसे कम संभव $k$ के साथ चुनने की अनुशंसा की जाती है जो बहुपद को अलघुकरणीय ( irreducible)  बनाता है।   यदि ये सभी  त्रिनाम  लघुकरणीय (reducible) हैं, तो कोई पेंटानोमियल्स $X^{n} + X^{a} + X^{b} + X^{c} +  1$ चुनता है, क्योंकि $1$ से अधिक कोटि वाले बहुपद, सम संख्या वाले शब्दों के साथ, विशेषता $2$ में कभी भी अलघुकरणीय ( irreducible)  नहीं होते हैं जिसमें 1 मूल होता है। ऐसे बहुपद के लिए एक संभावित विकल्प  कॉनवे बहुपद (परिमित क्षेत्र)  द्वारा दिया जाता है। वे एक क्षेत्र के निरूपण (representation)  और उसके उपक्षेत्रों के निरूपण ( representations) के बीच एक निश्चित अनुकूलता सुनिश्चित करते हैं।

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

चार तत्वों वाला क्षेत्र
सबसे छोटा गैर-अभाज्य क्षेत्र (non-prime field) चार तत्वों वाला क्षेत्र है, जिसे आमतौर पर $GF(4)$ या $$\mathbb F_4.$$ के रूप दर्शाया जाता है इसमें चार तत्व $$0, 1, \alpha, 1+\alpha$$  होते हैं जैसे कि  $$\alpha^2=1+\alpha,$$ $$1\cdot\alpha = \alpha \cdot 1 = \alpha,$$ $$x+x=0,$$ तथा $$x\cdot 0=0\cdot x=0,$$  प्रत्येक  $$x\in \operatorname{GF}(4),$$  के लिए अन्य संक्रिया (operation) के परिणाम  वितरण कानून  (distributive law)  से आसानी से निकाले जा सकते हैं। पूर्ण संक्रिया सारिणी (complete operation tables) के लिए नीचे देखें।

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

$GF(2)$ के ऊपर, कोटि 2 का केवल एक अलघुकरणीय बहुपद है: $$X^2+X+1$$ इसलिए, $GF(4)$ के लिए पूर्ववर्ती खंड के निर्माण में यह बहुपद शामिल होना चाहिए, और $$\mathrm{GF}(4) = \mathrm{GF}(2)[X]/(X^2+X+1).$$ माना $α$, $GF(4)$ में इस बहुपद के एक मूल को निरूपित करता है। यह बताता है कि

और वह  $α^{2} = 1 + α$ तथा $α$,  $1 + α$  के तत्व हैं जो $GF(4)$ में नहीं हैं। $GF(2)$ में संचालन की तालिकाएँ इसका परिणाम है, और इस प्रकार हैं: घटाव के लिए एक तालिका नहीं दी गई है, क्योंकि घटाव जोड़ के समान है, जैसा कि विशेषता 2 के प्रत्येक क्षेत्र के मामले में है। तीसरी तालिका में, $GF(4)$ को $x+y$ से विभाजित करने के लिए, $x⋅y$ के मानों को बाएं स्तंभ में पढ़ा जाना चाहिए और शीर्ष पंक्ति में y के मान। (क्योंकि $x/y$ प्रत्येक $z$ के लिए प्रत्येक वलय (गणित) में 0 से विभाजन को अपरिभाषित रहना पड़ता है।) तालिकाओं से, यह देखा जा सकता है कि $x$  की योगात्मक संरचना क्लेन फोर-ग्रुप के लिए समरूपी (isomorphic) है, जबकि गैर-शून्य गुणात्मक संरचना Z3 के लिए समरूपी (isomorphic) है।

नक्शा $$ \varphi:x \mapsto x^2$$ गैर-नगण्य क्षेत्र (non-trivial field) स्वसमाकृतिकता (automorphism) है, जिसे #फ्रोबेनियस स्वसमाकृतिकता (Frobenius automorphism) और गैलोइस सिद्धांत कहा जाता है, जो $y$ को ऊपर बताए गए अलघुकरणीय बहुपद ( irreducible polynomials) $$X^2+X+1.$$  के दूसरे मूल $0$  में भेजता है

 $1$ विषम अभाज्य $α$ के लिए 

$1 + α$ के मामले में परिमित क्षेत्रों के #गैर-अभाज्य क्षेत्रों को लागू करने के लिए, व्यक्ति को 2 कोटि (degree) का एक अलघुकरणीय बहुपद ( irreducible polynomials) ज्ञात करना होता है।  $0$, यह पिछले अनुभाग में किया गया है। यदि $0$ एक विषम अभाज्य संख्या है, तो $1$ में $α$ के साथ $1 + α$ के रूप में हमेशा अलघुकरणीय बहुपद ( irreducible polynomials) होते हैं।

अधिक सटीक रूप से, बहुपद $1$, $1$ पर अलघुकरणीय ( irreducible) है यदि और केवल यदि $0$ एक द्विघात गैर-अवशेष मॉड्यूल  $1 + α$  है (यह लगभग एक द्विघात गैर-अवशेष (quadratic non-residue) की परिभाषा है)। $α$ द्विघात गैर-अवशेष (quadratic non-residue) मॉड्यूल $α$ हैं। उदाहरण के लिए, $α$, के लिए $1 + α$ एक द्विघात गैर-अवशेष (quadratic non-residue) है  तथा  $0$,  $1$.के लिए एक द्विघात गैर-अवशेष (quadratic non-residue) है  यदि $1 + α$, यानी $1 + α$, कोई  $α$ को एक द्विघात गैर-अवशेष (quadratic non-residue)  के रूप में चुन सकता है, जो हमें एक बहुत ही सरल अलघुकरणीय बहुपद  (irreducible polynomials) $1$  प्राप्त करने की अनुमति देता है।

एक द्विघात गैर-अवशेष (quadratic non-residue) $0$ को चुनने के बाद,  $x$ को  $y$ का एक प्रतीकात्मक वर्गमूल माने यह एक प्रतीक है, जिसमें गुण (property)  $0$ हैं, ठीक उसी तरह जैसे सम्मिश्र संख्या $1$ का प्रतीकात्मक वर्गमूल $α$ है।  फिर, $1 + α$ के तत्व सभी रैखिक व्यंजक (linear expressions) हैं                      $$a+b\alpha,$$ $0$ में $0$ तथा $0$ के साथ। $0$ पर संक्रिया (operations) निम्नानुसार परिभाषित किए गए हैं (लैटिन अक्षरों द्वारा दर्शाए गए $0$ के तत्वों के बीच संक्रिया (operations) $1$ संक्रिया (operations) हैं): $$\begin{align} -(a+b\alpha)&=-a+(-b)\alpha\\ (a+b\alpha)+(c+d\alpha)&=(a+c)+(b+d)\alpha\\ (a+b\alpha)(c+d\alpha)&=(ac + rbd)+ (ad+bc)\alpha\\ (a+b\alpha)^{-1}&=a(a^2-rb^2)^{-1}+(-b)(a^2-rb^2)^{-1}\alpha \end{align}$$

जीएफ(8) और जीएफ(27)
बहुपद $$X^3-X-1$$ $0$ तथा $1$ पर अलघुकरणीय ( irreducible) है अर्थात्, यह अलघुकरणीय मोडुलो $α$ तथा $1 + α$ है  (यह दिखाने के लिए पर्याप्त है कि इसकी $α$ में कोई मूल नहीं है न ही $0$ में)। यह इस प्रकार है कि  $α$ तथा $1 + α$  के तत्वों को  अभिव्यक्ति (गणित)  द्वारा दर्शाया जा सकता है $$a+b\alpha+c\alpha^2,$$

जहाँ $1$  $1 + α$ या $0$ (क्रमशः) के तत्व हैं और $$\alpha$$ एक ऐसा प्रतीक है कि $$\alpha^3=\alpha+1.$$ इस प्रकार $1 + α$ तथा $1$ पर जोड़, योगात्मक व्युत्क्रम और गुणन को निम्नानुसार परिभाषित किया जा सकता है; निम्नलिखित सूत्रों में, लैटिन अक्षरों द्वारा निरूपित $α$ या $x$ के तत्वों के बीच की संक्रियाएँ क्रमशः  $y$ या $1$ में संक्रियाएँ हैं,  क्रमश: $$ \begin{align} -(a+b\alpha+c\alpha^2)&=-a+(-b)\alpha+(-c)\alpha^2 \qquad\text{(for } \mathrm{GF}(8), \text{this operation is the identity)}\\ (a+b\alpha+c\alpha^2)+(d+e\alpha+f\alpha^2)&=(a+d)+(b+e)\alpha+(c+f)\alpha^2\\ (a+b\alpha+c\alpha^2)(d+e\alpha+f\alpha^2)&=(ad + bf+ce)+ (ae+bd+bf+ce+cf)\alpha+(af+be+cd+cf)\alpha^2 \end{align} $$

जीएफ(16)
बहुपद                  $$X^4+X+1$$

$α$ पर अलघुकरणीय ( irreducible) है, अर्थात् यह अलघुकरणीय मोडुलो $1 + α$ है यह इस प्रकार है कि $0$ के तत्व अभिव्यक्ति (गणित) द्वारा दर्शाए जा सकते है $$a+b\alpha+c\alpha^2+d\alpha^3,$$ जहाँ $0$  दोनों मे से एक $0$ या $0$ (के तत्व $1$), तथा $1$ एक प्रतीक है कि $$\alpha^4=\alpha+1$$ (अर्थात $1 + α$ को दिए गए अलघुकरणीय बहुपद (irreducible polynomials)  के मूल के रूप में परिभाषित किया गया है)। जैसा कि $α$ की विशेषता $α$ है, $α$ में प्रत्येक तत्व इसका योगात्मक व्युत्क्रम है। $1$ पर जोड़ और गुणा को निम्नानुसार परिभाषित किया जा सकता है; निम्नलिखित सूत्रों में, लैटिन अक्षरों द्वारा दर्शाए गए $1 + α$ के तत्वों के बीच संक्रियाएँ  $1 + α$ में संक्रियाएँ हैं। $$ \begin{align} (a+b\alpha+c\alpha^2+d\alpha^3)+(e+f\alpha+g\alpha^2+h\alpha^3)&=(a+e)+(b+f)\alpha+(c+g)\alpha^2+(d+h)\alpha^3\\ (a+b\alpha+c\alpha^2+d\alpha^3)(e+f\alpha+g\alpha^2+h\alpha^3)&=(ae+bh+cg+df) +(af+be+bh+cg+df +ch+dg)\alpha\;+\\ &\quad\;(ag+bf+ce +ch+dg+dh)\alpha^2 +(ah+bg+cf+de +dh)\alpha^3 \end{align} $$ फील्ड $1 + α$ में आठ अभाज्य तत्व (primitive elements) हैं (ऐसे तत्व जिनमें. पूर्णांक घातों (integer powers) के रूप में $α$ के सभी गैर-शून्य तत्व हैं )। ये तत्व $$X^4+X+1$$ के चार मूल हैं और उनके गुणनात्मक व्युत्क्रम हैं। विशेष रूप से, $1$ एक अभाज्य तत्व (primitive elements  है, और अभाज्य तत्व (primitive elements)  हैं $$\alpha^m$$ जिसमें  $m$  से कम और 15 के साथ सह अभाज्य (अर्थात 1, 2, 4, 7, 8, 11, 13, 14)।

गुणक संरचना
गैर-शून्य तत्वों का सेट $x$ गुणन के तहत एक एबेलियन समूह  है,  क्रम  $y$ लैग्रेंज के प्रमेय (समूह सिद्धांत) द्वारा | लैग्रेंज की प्रमेय  के अनुसार, एक भाजक मौजूद है q – 1 का एक भाजक $x$ ऐसा है कि $0 ⋅ z = 0$ प्रत्येक गैर-शून्य $GF(4)$ के लिए   $α$ में । चूंकि समीकरण  $1 + α$ का किसी भी क्षेत्र में अधिक से अधिक $GF(p^{2})$ हल हैं, $p$, $GF(p^{2})$ के लिए उच्चतम संभव मान है। परिमित एबेलियन समूहों # की संरचना प्रमेय का तात्पर्य है कि  यह गुणात्मक समूह चक्रीय समूह है, अर्थात सभी गैर-शून्य तत्व एक ही तत्व की घात हैं। सारांश:

ऐसे तत्व $p = 2$ अभाज्य तत्व (primitive elements) कहलाते हैं। जब तक $p$, अभाज्य तत्व (primitive elements) अद्वितीय (unique) नहीं है। अभाज्य तत्वों (primitive elements) की संख्या $GF(p)$ है जहां $r$ यूलर का टोटिएंट फलन है।

उपरोक्त परिणाम का तात्पर्य है कि $X^{2} − r$ में प्रत्येक $X^{2} − r$ के लिए  $GF(p)$  ।  विशेष स्थिति जहां $r$ अभाज्य है, फर्मेट की छोटी प्रमेय है।

असतत लघुगणक
यदि $p$, $p − 1⁄2$ में एक अभाज्य तत्व (primitive element) है, तो $p$ में किसी भी गैर-शून्य तत्व $p = 3, 5, 11, 13, ...$ के लिए, $2$ के साथ एक अद्वितीय पूर्णांक $3$  होता है, जैसे कि

इस पूर्णांक $p = 5, 7, 17, ...$ को आधार $p ≡ 3 mod 4$ पर $p = 3, 7, 11, 19, ...$ का  असतत लघुगणक  (discrete logarithm) कहा जाता है।

जबकि $−1 ≡ p − 1$ की गणना बहुत जल्दी की जा सकती है, उदाहरण के लिए वर्ग द्वारा घातांक  का उपयोग करके, व्युत्क्रम संक्रिया, असतत लघुगणक की गणना के लिए कोई ज्ञात कुशल विधि (efficient algorithm) नहीं है। इसका उपयोग विभिन्न   क्रिप्टोग्राफिक प्रोटोकॉल  में किया गया है, विवरण के लिए असतत लघुगणक देखें।

जब $X^{2} + 1$ गैर-शून्य तत्वों को उनके असतत लघुगणक द्वारा दर्शाया जाता है, तो गुणा और भाग आसान होता है, क्योंकि वे जोड़ और घटाव मॉड्यूल $r$ तक कम हो जाते हैं।  हालांकि,  $α$ के असतत लघुगणक की गणना करने के लिए अतिरिक्त मात्रा।  पहचान. $r$ के लिए, एक $α^{2} = r$ के असतत लघुगणक की तालिका बनाकर इस समस्या को हल करने की अनुमति देता है जिसे Zech के लघुगणक कहा जाता है (शून्य के असतत लघुगणक को $i$ के रूप में परिभाषित करना सुविधाजनक है)।

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

एकता की जड़ ें   इकाई के मूल
परिमित क्षेत्र का प्रत्येक अशून्य तत्व इकाई का मूल है, जैसे $−1$  के हर अशून्य तत्वों के लिए  $GF(p^{2})$ के रूप में।

यदि $GF(p)$ एक धनात्मक पूर्णांक है, तो इकाई का $a$--वाँ अभाज्य (primitive) मूल समीकरण $b$ का एक हल है जो कि किसी भी धनात्मक पूर्णांक  $GF(p^{2})$  के लिए समीकरण $GF(p)$ का हल नहीं है। यदि $GF(p)$ क्षेत्र $GF(2)$ में इकाई का $GF(3)$ वां अभाज्य मूल (primitive root) है, तो $2$ में इकाई के सभी $3$  मूल हैं, जो $GF(2)$ हैं।

फील्ड $GF(3)$ में इकाई का $GF(8)$ वां अभाज्य मूल (primitive root) है यदि और केवल यदि $GF(27)$, $a, b, c$ का भाजक है; यदि $GF(2)$, q − 1 का एक भाजक है, तो $GF(3)$ में इकाई  के $GF(8)$ वें अभाज्य मूलों (primitive roots) की संख्या $GF(27)$ (यूलर का पूर्ण फलन) है। $GF(2)$ में इकाई  के $GF(3)$ वें मूलोंकी संख्या $GF(2)$ है।

$GF(3)$ की विशेषता के क्षेत्र में, प्रत्येक $GF(2)$ वां मूल इकाई का $2$ वां मूल भी होता है। यह इस प्रकार है कि इकाई की अभाज्य $GF(16)$ वां मूल कभी भी विशेषता p के क्षेत्र में मौजूद नहीं होता हैं।

दूसरी ओर, यदि $a, b, c, d$, $0$ का सह अभाज्य  है, तो $1$ वें साइक्लोटोमिक बहुपद (cyclotomic polynomial)  के मूल $GF(2)$ विशेषता के हर क्षेत्र में अलग हैं, क्योंकि यह बहुपद  $α$ का एक भाजक है जिसका  विभेदक  (discriminant) $n^n$ गैर-शून्य मोडुलो $p$ है यह इस प्रकार है कि $α$ पर $GF(2)$th साइक्लोटॉमिक बहुपद (cyclotomic polynomial) कारक अलग-अलग अलघुकरणीय बहुपदों में होते हैं जिनकी सभी कोटि समान होती है, $2$ कहते हैं, और यह कि  $GF(16)$  विशेषता $GF(16)$ का सबसे छोटा क्षेत्र है जिसमें इकाई के $GF(2)$th अभाज्य मूल (primitive roots) होते हैं।

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

इस क्षेत्र का क्रम $α$, और $GF(q)$ के विभाजक $q – 1$ हैं, $k$, $x^{k} = 1$, $x$, तथा $GF(q)$ ही $x^{k} = 1$ के उपक्षेत्र हैं । जैसा कि $k$ तथा $q – 1$ सहअभाज्य (co-prime) हैं, $k$ में $GF(q)$ तथा $a$  का प्रतिच्छेदन प्रमुख क्षेत्र $q – 1$ है।

इस प्रकार $GF(q)$ तथा $a, a^{2}, ..., a^{q−2}, a^{q−1} = 1$ के समुच्चय (union) में $a$ तत्व होते हैं। $q = 2, 3$ के शेष $φ(q − 1)$ तत्व इस अर्थ में $φ$ उत्पन्न करते हैं कि किसी अन्य उपक्षेत्र में उनमें से कोई भी शामिल नहीं है। यह इस प्रकार है कि वे $GF(q)$ पर कोटि $x$ के अलघुकरणीय बहुपदों के मूल (roots) हैं। इसका तात्पर्य है कि, $x^{q} = x$ के ऊपर कोटि $q$ के बिल्कुल $a$ अलघुकरणीय मोनिक बहुपद हैं। इसे $GF(q)$ के  ऊपर $F$ का फैक्टरिंग करके सत्यापित किया जा सकता है।

$x$ के तत्व कुछ $0 ≤ n ≤ q − 2$ विभाजक $n$ के लिए इकाई के $x = a^{n}$th अभाज्य मूल हैं। इकाई के तीसरे और सातवें वें मूल क्रमशः $n$ तथा $a$ की हैं, $x$ में कुछ $a^{n}$ के लिए इकाई के $GF(q)$ जनक (generator) $q – 1$th अभाज्य मूल हैं। यूलर के टोटिएंट फलन से पता चलता है कि इकाई के $a^{m} + a^{n}$ आदिम $a^{m} + a^{n} = a^{n}(a^{m−n} + 1)$ वें मूल, इकाई के $n = 0, ..., q − 2$ अभाज्य $a^{n} + 1$ वें मूल और इकाई के $−∞$ आदिम $GF(q)$ वें मूल हैं। इन संख्याओं का योग करने पर फिर से $x^{q−1} = 1$ तत्व मिलते हैं।

$n$ पर साइक्लोटोमिक बहुपदों का गुणनखंडन करके, कोई पाता है कि:
 * इकाई के $n$ वें छह अभाज्य मूल, मूल हैं         $$X^6+X^3+1,$$ और सभी गैलोइस समूह की कार्रवाई के तहत संयुग्मित (conjugate) हैं।
 * इकाई के $x^{n} = 1$ वें बारह अभाज्य मूल, मूल हैं        $$(X^6+X^4+X^2+X+1)(X^6+X^5+X^4+X^2+1).$$ गैलोइस समूह की कार्रवाई के तहत वे दो कक्षाएँ बनाते हैं। चूंकि दो कारक एक दूसरे के  पारस्परिक बहुपद  हैं, एक मूल और इसका (गुणात्मक) व्युत्क्रम एक ही कक्षा से संबंधित नहीं है।
 * $m < n$ के $x^{m} = 1$ अभाज्य तत्व के मूल हैं $$(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).$$ गैलोइस समूह की कार्रवाई के तहत वे छह तत्वों की छह कक्षाओं में विभाजित हो गए।

इससे पता चलता है कि $a$ के निर्माण के लिए सबसे अच्छा विकल्प इसे $F$  के रूप में परिभाषित करना है। वास्तव में, यह जनक (generator) एक अभाज्य तत्व है, और यह बहुपद अलघुकरणीय बहुपद है जो सबसे आसान यूक्लिडियन विभाजन (Euclidean division) उत्पन्न करता है।

Frobenius automorphism और Galois सिद्धांत
इस खंड में, $n$ एक अभाज्य संख्या है, और $F$, $n$ की एक घात है।

$1, a, a^{2}, ..., a^{n−1}$ में सर्वसमिका $GF(q)$ का तात्पर्य है कि मानचित्र (map) $$ \varphi:x \mapsto x^p$$ एक $n$-रैखिक मानचित्र और का एक क्षेत्र स्व-रूपता $n$ का एक क्षेत्र स्व-रूपता है,  जो उपक्षेत्र $q − 1$  के प्रत्येक तत्व को ठीक करता है।  फर्डिनेंड जॉर्ज फ्रोबेनियस  के बाद इसे  फ्रोबेनियस ऑटोमोर्फिज्म  कहा जाता है।

$n$ की संरचना को $GF(q)$ बार $n$  द्वारा निरूपित कर, हमारे पास है $$ \varphi^k:x \mapsto x^{p^k}.$$ यह पिछले भाग में दिखाया गया है कि $φ(n)$ तत्समक है। $GF(q)$ के लिये, स्वरूपण (automorphism) $n$ सर्वसमिका नहीं है, अन्यथा, बहुपद $$X^{p^k}-X$$$gcd(n, q − 1)$ मूलों से अधिक होगा।

$p$ का कोई अन्य $(np)$ -स्वरूपण (automorphism) नहीं हैं। दूसरे शब्दों में, $n$  के बिल्कुल  $(np)$ $n$-स्वरूपण (automorphism) है, जो हैं $$\mathrm{Id}=\varphi^0, \varphi, \varphi^2, \ldots, \varphi^{n-1}.$$ गैलोइस सिद्धांत के संदर्भ में, इसका अर्थ है कि $p$, $n$ का गैलोइस विस्तार है, जिसमें चक्रीय गैलोज समूह है।

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

बहुपद गुणनखंड
यदि $p$ एक परिमित क्षेत्र है, तो $X^{n} − 1$  में गुणांक के साथ एक गैर-स्थिर  मोनिक बहुपद  $GF(p)$ पर अलघुकरणीय (irreducible)  है, यदि यह $n$  में गुणांक वाले दो गैर-स्थिर मोनिक बहुपदों का गुणनफल नहीं है।

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

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

दी गई डिग्री के अमिट बहुपद
बहुपद $$X^q-X$$ आदेश के क्षेत्र में रैखिक कारकों में कारक $d$. अधिक सटीक रूप से, यह बहुपद क्रम के क्षेत्र में डिग्री एक के सभी मोनिक बहुपदों का उत्पाद है $GF(p^{d})$.

इसका तात्पर्य यह है कि, यदि $p$ फिर $n$ सभी मोनिक इरेड्यूसिबल बहुपदों का गुणनफल है $GF(64)$, जिसकी डिग्री विभाजित होती है $GF(2)$. वास्तव में, यदि $6$ एक अपरिवर्तनीय कारक है $2^{6}$ का $6$, इसकी डिग्री विभाजित होती है $1, 2, 3, 6$, क्योंकि इसका विभाजन क्षेत्र में समाहित है $GF(2)$. इसके विपरीत, यदि $GF(2^{2}) = GF(4)$ एक इरेड्यूसिबल मोनिक बहुपद ओवर है $GF(2^{3}) = 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)$ द्वारा दिया गया है $$N(q,n)=\frac{1}{n}\sum_{d\mid n} \mu(d)q^{n/d},$$ कहाँ पे $GF(2)$ मोबियस फ़ंक्शन है। यह सूत्र की संपत्ति का लगभग प्रत्यक्ष परिणाम है $6$ के ऊपर।

उपरोक्त सूत्र द्वारा, डिग्री के इरेड्यूसिबल (जरूरी नहीं कि मोनिक) बहुपदों की संख्या $GF(2)$ ऊपर $6$ है $9 = 54⁄6$.

सटीक सूत्र असमानता का तात्पर्य है $$N(q,n)\geq\frac{1}{n} \left(q^n-\sum_{\ell\mid n, \ \ell \text{ prime}} q^{n/\ell}\right);$$ यह तेज है अगर और केवल अगर $n$ कुछ प्रधान की शक्ति है। हरएक के लिए $q$ और हर $n$, दाहिना हाथ धनात्मक है, इसलिए डिग्री का कम से कम एक अपरिवर्तनीय बहुपद है $n$ ऊपर $X^{64} − X$.

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

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

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

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

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

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

बीजीय बंद
एक परिमित क्षेत्र $GF(2)$ बीजगणितीय रूप से बंद नहीं है: बहुपद $$f(T) = 1+\prod_{\alpha \in F} (T-\alpha),$$ में कोई जड़ नहीं है $GF(64)$, जबसे $n$ सभी के लिए $63$ में $n$.

बीजीय बंद को ठीक करें $$\overline{\mathbb{F}}_q$$ का $$\mathbb{F}_q$$. नक्शा $$\varphi_q \colon \overline{\mathbb{F}}_q \to \overline{\mathbb{F}}_q$$ प्रत्येक को भेजना $GF(4)$ प्रति $GF(8)$ कहा जाता है ${9, 21, 63}$वें शक्ति फ्रोबेनियस ऑटोमोर्फिज्म। का उपक्षेत्र $$\overline{\mathbb{F}}_q$$ द्वारा तय किया गया $n$की पुनरावृति $$\varphi_q$$ बहुपद के शून्यकों का समुच्चय है $54$, जिसके व्युत्पन्न होने के बाद से अलग-अलग जड़ें हैं $$\mathbb{F}_q[x]$$ है $n$, जो कभी शून्य नहीं होता। इसलिए उस उपक्षेत्र में है $6$ तत्वों, तो यह की अनूठी प्रति है $$\mathbb{F}_{q^n}$$ में $$\overline{\mathbb{F}}_q$$. का हर परिमित विस्तार $$\mathbb{F}_q$$ में $$\overline{\mathbb{F}}_q$$ क्या यह $$\mathbb{F}_{q^n}$$ कुछ के लिए $9$, इसलिए $$\overline{\mathbb{F}}_q = \bigcup_{n \ge 1} \mathbb{F}_{q^n}.$$ निरपेक्ष गैलोइस समूह $$\mathbb{F}_q$$ अनंत समूह  है $$\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}}.$$ किसी भी अनंत गैलोइस समूह की तरह, $$\operatorname{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q)$$ क्रुल टोपोलॉजी  से लैस हो सकता है, और फिर अभी दिए गए आइसोमोर्फिज्म टोपोलॉजिकल समूहों के आइसोमोर्फिज्म हैं। की छवि $$\varphi_q$$ समूह में $$\operatorname{Gal}(\mathbb{F}_{q^n}/\mathbb{F}_q) \simeq \mathbf{Z}/n\mathbf{Z}$$ जनरेटर है $12$, इसलिए $$\varphi_q$$ से मेल खाती है $$1 \in \widehat{\mathbf{Z}}$$. यह इस प्रकार है कि $$\varphi_q$$ अनंत क्रम है और का एक घना उपसमूह उत्पन्न करता है $$\operatorname{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q)$$, संपूर्ण समूह नहीं, क्योंकि तत्व $$1 \in \widehat{\mathbf{Z}}$$ अनंत क्रम है और घने उपसमूह उत्पन्न करता है $$\mathbf{Z} \subsetneqq \widehat{\mathbf{Z}}.$$ एक कहता है $$\varphi_q$$ का एक टोपोलॉजिकल जनरेटर है $$\operatorname{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q)$$.

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

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

यह भी देखें

 * अर्ध-परिमित क्षेत्र
 * एक तत्व के साथ फ़ील्ड
 * परिमित क्षेत्र अंकगणित
 * परिमित अंगूठी
 * परिमित समूह
 * प्राथमिक एबेलियन समूह
 * हैमिंग स्पेस

संदर्भ

 * W. H. Bussey (1905) "Galois field tables for pn ≤ 169", Bulletin of the American Mathematical Society 12(1): 22–38,
 * W. H. Bussey (1910) "Tables of Galois fields of order < 1000", Bulletin of the American Mathematical Society 16(4): 188–206,

बाहरी संबंध

 * Finite Fields at Wolfram research.