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

एक परिमित क्षेत्र (finite field) परिमित रूप से कई तत्वों वाला एक क्षेत्र होता है; प्रत्येक अभाज्य घात के लिए ऐसा केवल एक ही क्षेत्र होता है, जिसकी संरचना समृद्ध और संगणना की दृष्टि से उपयोगी होती है।

Definition

एक परिमित क्षेत्र एक ऐसा क्षेत्र है जिसमें परिमित रूप से कई तत्व होते हैं; इसका क्रम (order) आवश्यक रूप से एक अभाज्य की घात होता है, और इसे अभाज्य क्षेत्र (prime field) पर एक उपयुक्त बहुपद के विभाजन क्षेत्र (splitting field) के रूप में निर्मित किया जाता है।

Scope

यह विषय विशेषता और अभाज्य उपक्षेत्र, अभाज्य-घात क्रम द्वारा परिमित क्षेत्रों का वर्गीकरण, गुणात्मक समूह की चक्रीय संरचना, फ्रोबेनियस ऑटोमोर्फिज्म, उपक्षेत्र संरचना, और विभाजन क्षेत्रों (splitting fields) और बहुपद वलयों (polynomial rings) के भागफल (quotients) के रूप में परिमित क्षेत्रों के निर्माण को शामिल करता है।

Core questions

• एक परिमित क्षेत्र के कौन से क्रम हो सकते हैं?
• किसी दिए गए क्रम के परिमित क्षेत्रों को कैसे वर्गीकृत किया जाता है?
• एक परिमित क्षेत्र के गुणात्मक समूह की संरचना क्या है?
• फ्रोबेनियस ऑटोमोर्फिज्म और उपक्षेत्र एक परिमित क्षेत्र को कैसे व्यवस्थित करते हैं?

Key theories

परिमित क्षेत्रों का वर्गीकरण

प्रत्येक अभाज्य घात के लिए, समरूपता तक, उस क्रम का ठीक एक परिमित क्षेत्र मौजूद होता है, जिसे उस बहुपद के विभाजन क्षेत्र के रूप में महसूस किया जाता है जिसके मूल (roots) ठीक उसके तत्व होते हैं।

चक्रीय गुणात्मक समूह

एक परिमित क्षेत्र के शून्येतर तत्व गुणन के तहत एक चक्रीय समूह बनाते हैं, इसलिए क्षेत्र में एक आदिम तत्व (primitive element) होता है जो सभी शून्येतर तत्वों को घातों के रूप में उत्पन्न करता है।

फ्रोबेनियस ऑटोमोर्फिज्म

विशेषता अभाज्य तक बढ़ाना एक क्षेत्र ऑटोमोर्फिज्म (field automorphism) है, फ्रोबेनियस मानचित्र, जो अपने अभाज्य क्षेत्र पर एक परिमित क्षेत्र के चक्रीय गैलोज़ समूह को उत्पन्न करता है और इसकी उपक्षेत्र संरचना को नियंत्रित करता है।

Clinical relevance

परिमित क्षेत्र कोडिंग सिद्धांत और क्रिप्टोग्राफी के लिए मूलभूत हैं, जहाँ रीड-सोलोमन और अन्य त्रुटि-सुधार कोड, दीर्घवृत्तीय-वक्र क्रिप्टोसिसटम (elliptic-curve cryptosystems), और उन्नत एन्क्रिप्शन मानक (Advanced Encryption Standard) सभी परिमित क्षेत्रों पर गणना करते हैं, और परिमित ज्यामिति और अंतर सेटों (difference sets) के माध्यम से कॉम्बिनेटरिक्स (combinatorics) के लिए भी महत्वपूर्ण हैं।

History

गैलोज़ ने सर्वांगसमताओं (congruences) का अध्ययन करते हुए अभाज्य-घात क्रम के क्षेत्रों का परिचय दिया, इसलिए परिमित क्षेत्रों को गैलोज़ क्षेत्र भी कहा जाता है। ई. एच. मूर ने 1893 में सिद्ध किया कि प्रत्येक परिमित क्षेत्र अपने क्रम द्वारा समरूपता (isomorphism) तक निर्धारित होता है, और डिक्सन ने बीसवीं शताब्दी की शुरुआत में उनके सिद्धांत को बड़े पैमाने पर विकसित किया।

Key figures

• Évariste Galois
• E. H. Moore
• Leonard Eugene Dickson

Seminal works

• dummit2004
• lang2002
• hungerford1974

Frequently asked questions

एक परिमित क्षेत्र का क्रम अभाज्य-घात क्यों होना चाहिए?

एक परिमित क्षेत्र में एक सबसे छोटा उपक्षेत्र होता है जो एक अभाज्य के मॉड्यूलो पूर्णांकों के लिए समरूपी होता है, इसकी विशेषता, और उस उपक्षेत्र पर एक परिमित-आयामी सदिश समष्टि (vector space) होता है। इसलिए इसका आकार उस अभाज्य की घात होता है जो आयाम तक बढ़ा होता है, एक अभाज्य घात।

क्या समान आकार के दो परिमित क्षेत्र वास्तव में समान होते हैं?

हाँ, समरूपता तक। प्रत्येक अभाज्य घात के लिए उस क्रम का एक अद्वितीय परिमित क्षेत्र होता है, यही कारण है कि उन्हें उनके आकार से स्पष्ट रूप से दर्शाया जाता है। विभिन्न निर्माण, जैसे विभिन्न अलघुकरणीय बहुपद (irreducible polynomials), समरूपी क्षेत्र उत्पन्न करते हैं।