बीजगणितीय संरचनाएँ और क्षेत्र अभिगृहीत
बीजगणितीय संरचनाएँ और क्षेत्र अभिगृहीत
जब भी हम भिन्नों का जोड़ करते हैं, रैखिक समीकरण हल करते हैं या वर्गमूल लेते हैं — हम Field के अभिगृहीतों का उपयोग कर रहे होते हैं। इस पोस्ट में हम द्विआधारी संक्रिया से प्रारम्भ करके Group, Ring, Integral Domain और Field तक का सोपान चढ़ेंगे, सभी नौ Field अभिगृहीत लिखेंगे, और उनसे व्युत्पन्न मुख्य गुण सिद्ध करेंगे।
द्विआधारी संक्रिया और बीजगणितीय सोपान
एक अरिक्त समुच्चय $S$ पर द्विआधारी संक्रिया (Binary Operation) एक फलन $\colon S\times S\to S$ है। हम $ab$ लिखते हैं। $S$ इस संक्रिया के अंतर्गत स्वाभाविक रूप से संवृत (Closed) है।
एक Field (क्षेत्र) समुच्चय $F$ है जिस पर $+$ और $\cdot$ परिभाषित हों और निम्न नौ अभिगृहीत संतुष्ट हों:
➕ योग के अभिगृहीत (A1–A4)
✖ गुणन के अभिगृहीत (M1–M4)
📏 वितरण नियम (Distributive Law — D)
मुख्य उदाहरण: $\mathbb{Q}$, $\mathbb{R}$, $\mathbb{C}$, $\mathbb{F}_p=\mathbb{Z}/p\mathbb{Z}$ (अभाज्य $p$)।
प्रतिउदाहरण: $\mathbb{Z}$ में (M4) असफल — $2\in\mathbb{Z}$ का गुणात्मक प्रतिलोम $\frac{1}{2}\notin\mathbb{Z}$। $\mathbb{Z}$ Integral Domain है, Field नहीं।
📖 Reference: Rudin, W., Principles of Mathematical Analysis, 3rd ed., Ch. 1, Definitions 1.12 & 1.17. Also: Apostol, T.M., Mathematical Analysis, 2nd ed., Ch. 1, §1.3–1.4.
← Sets and Basic Notation — बीजगणितीय संरचनाओं के वाहक समुच्चय।
← Logic and Proof Methods — व्युत्पन्न गुणों के Proofs में Direct Proof और Contradiction।
← Functions and Relations — Binary Operations, Functions $A\times A\to A$ हैं।
सरल स्पष्टीकरण — Field वास्तव में क्या है?
Field वह न्यूनतम बीजगणितीय संरचना है जिसमें चारों अंकगणितीय संक्रियाएँ — जोड़, घटाव, गुणा और भाग (अशून्य से) — सुपरिभाषित और नियमबद्ध हों। नौ अभिगृहीत वही विद्यालय के नियम हैं जो सटीक रूप से लिखे गए हैं।
वह एकमात्र अभिगृहीत जो Field को Ring या Integral Domain से अलग करता है: (M4) — प्रत्येक अशून्य अवयव का गुणात्मक प्रतिलोम होता है। यही भाग को सम्भव बनाता है। $\mathbb{Z}$ में $2$ का कोई प्रतिलोम नहीं ($\frac{1}{2}\notin\mathbb{Z}$), इसलिए $\mathbb{Z}$ Field नहीं। $\mathbb{Q}$ और $\mathbb{R}$ में प्रत्येक अशून्य $a$ का प्रतिलोम $\frac{1}{a}$ है, इसलिए दोनों Field हैं।
केवल नौ अभिगृहीतों से सिद्ध होता है — किसी भी Field $F$ में $a,b\in F$ के लिए:
- $0$ और $1$ की एकैकता: $a+b=a\Rightarrow b=0$; $ab=a$ ($a\neq0$) $\Rightarrow b=1$।
- द्विनिषेध: $-(-a)=a$।
- शून्य गुणनफल: $a\cdot 0=0$ सभी $a$ के लिए।
- चिह्न नियम: $(-a)b=-(ab)$; विशेष रूप से $(-a)(-b)=ab$।
- शून्य-भाजक नहीं: $ab=0\Rightarrow a=0$ या $b=0$।
- लघुकरण (Cancellation): $a+b=a+c\Rightarrow b=c$; $ab=ac$, $a\neq0\Rightarrow b=c$।
हल किए गए उदाहरण (Solved Examples)
आवश्यकता: $y\in\mathbb{Q}$ ऐसा कि $\tfrac{3}{5}+y=0$।
प्रत्याशी: $y=-\tfrac{3}{5}\in\mathbb{Q}$।
सत्यापन: $\dfrac{3}{5}+\left(-\dfrac{3}{5}\right)=\dfrac{3-3}{5}=0$। $\checkmark$
योगात्मक प्रतिलोम $\mathbb{Q}$ में विद्यमान है; अभिगृहीत (A4) संतुष्ट है। $\blacksquare$
चरण 1. (A3) से: $0+0=0$।
चरण 2. $a$ से गुणा: $a(0+0)=a\cdot0$।
चरण 3. (D) से: $a\cdot0+a\cdot0=a\cdot0$।
चरण 4. दोनों पक्षों में $-(a\cdot0)$ जोड़ें (A4):
$a\cdot0+(a\cdot0+(-(a\cdot0)))=a\cdot0+(-(a\cdot0))$
$a\cdot0+0=0$ (A4, A2, A3 से), अतः $a\cdot0=0$। $\blacksquare$
रणनीति: किसी अशून्य अवयव के लिए (M4) असफल दिखाएँ।
प्रत्याशी: $a=2\in\mathbb{Z}$, $a\neq0$।
मान लें (M4) सत्य है: तब $\exists\,b\in\mathbb{Z}$ जो $2b=1$ संतुष्ट करे, अर्थात् $b=\frac{1}{2}$। किन्तु $\frac{1}{2}\notin\mathbb{Z}$ — विरोधाभास।
व्यापक तर्क: $|n|\geq2$ वाले किसी $n\in\mathbb{Z}$ के लिए यदि $nb=1$ ($b\in\mathbb{Z}$) हो, तो $n\mid1$ ($\mathbb{Z}$ में), अतः $n=\pm1$ — विरोध। अतः (M4) अनेक अवयवों के लिए असफल। $\mathbb{Z}$ Field नहीं है। $\blacksquare$
भाग (i): $(-a)(-b)=ab$।
पहले $(-a)b=-(ab)$ सिद्ध करें: $ab+(-a)b=(a+(-a))b=0\cdot b=0$ (D, A4, उदाहरण 2 से)। अतः $(-a)b$ का योगात्मक प्रतिलोम $ab$ है, अर्थात् $(-a)b=-(ab)$।
$b$ के स्थान पर $-b$ रखें: $(-a)(-b)=-(a(-b))=-(-(ab))=ab$ (A4 से $-(-ab)=ab$)। $\blacksquare$
भाग (ii): $ab=0\Rightarrow a=0$ या $b=0$।
माना $ab=0$ और $a\neq0$। Field होने से (M4) द्वारा $a^{-1}$ अस्तित्व में है। $ab=0$ को $a^{-1}$ से गुणा करें: $a^{-1}(ab)=a^{-1}\cdot0$। बायाँ पक्ष $=(a^{-1}a)b=1\cdot b=b$ (M2, M4, M3 से)। दायाँ पक्ष $=0$ (उदाहरण 2 से)। अतः $b=0$। $\blacksquare$
त्वरित पुनरावृत्ति कार्ड (Quick Revision Cards)
📊 A — नौ अभिगृहीत
- (A1) $x+y=y+x$
- (A2) $(x+y)+z=x+(y+z)$
- (A3) $\exists 0$: $0+x=x$
- (A4) $\exists{-x}$: $x+(-x)=0$
- (M1–M4) गुणन के लिए समान; (M3): $1\neq0$
- (D) $x(y+z)=xy+xz$
- व्युत्पन्न: $a\cdot0=0$; $(-a)(-b)=ab$; शून्य-भाजक नहीं
⚙️ B — शर्तें एवं विशेष स्थितियाँ
- (M4) केवल $x\neq0$ के लिए; $0$ का गुणात्मक प्रतिलोम नहीं
- $1\neq0$ अनिवार्य; $\{0\}$ अकेले Field नहीं
- $\mathbb{Z}$: Integral Domain, Field नहीं
- $\mathbb{Q},\mathbb{R},\mathbb{C},\mathbb{F}_p$: सभी Fields
- Field ⊂ Integral Domain ⊂ Ring
- $-a$ = योगात्मक प्रतिलोम; $a^{-1}$ = गुणात्मक प्रतिलोम
🎯 C — परीक्षा युक्तियाँ
- 🔵 CSIR NET: Field नहीं — एक $x\neq0$ दिखाएँ जिसका $x^{-1}$ न हो
- 🟢 GATE: Proof के प्रत्येक चरण पर अभिगृहीत लेबल करें
- 🟠 IIT JAM: Ring ⊃ Int. Domain ⊃ Field — उदाहरण सहित जानें
- 🔴 B.Sc. Raj.: Field सिद्ध करते समय सभी 9 अभिगृहीत जाँचें
सामान्य त्रुटियाँ (Common Mistakes)
❌ इन भूलों से बचें
गलत: "$\mathbb{Z}$ में सामान्य अंकगणित काम करता है, इसलिए यह Field है।" | सही: $\mathbb{Z}$ में (M4) असफल है — $2$ का गुणात्मक प्रतिलोम $\mathbb{Z}$ में नहीं है। $\mathbb{Z}$ केवल Integral Domain है।
गलत: $\{0\}$ को Field मान लेना। | सही: (M3) में $1\neq0$ अनिवार्य है। इसके बिना $\{0\}$ (जहाँ $0=1$) सभी अभिगृहीत संतुष्ट करता।
गलत: "$0^{-1}$ अस्तित्व में है क्योंकि प्रत्येक अवयव का प्रतिलोम है।" | सही: (M4) केवल अशून्य अवयवों के लिए है। $0\cdot b=0\neq1$ सदा, अतः $0$ का गुणात्मक प्रतिलोम कभी नहीं होता।
गलत: $a^{-1}$ के स्थान पर $-a$ लिखना। | सही: $-a$ = योगात्मक प्रतिलोम ($a+(-a)=0$); $a^{-1}$ = गुणात्मक प्रतिलोम ($aa^{-1}=1$, केवल $a\neq0$ के लिए)।
वास्तविक अनुप्रयोग (Real-World Applications)
Cryptography — AES
AES $\mathbb{F}_{2^8}$ (256-अवयवीय Finite Field) पर काम करता है। योग = XOR; (M4) प्रत्येक Encryption चरण की प्रत्यावर्तनीयता सुनिश्चित करता है।
Error-Correcting Codes
Reed–Solomon Codes (QR Codes, CDs, अंतरिक्ष संचार) Finite Fields पर निर्मित हैं। Field संरचना से त्रुटि की अद्वितीय पुनर्प्राप्ति सुनिश्चित होती है।
Quantum Mechanics
Quantum अवस्था-समष्टियाँ $\mathbb{C}$ पर Vector Spaces हैं। सभी Observable राशियाँ और Unitary Transformations $\mathbb{C}$ के Field अभिगृहीतों पर निर्भर हैं।
Galois Theory
सामान्य पंचघात समीकरण की हल-असम्भव्यता Field Extensions के अध्ययन से सिद्ध होती है — Field अभिगृहीतों का सीधा प्रयोग।
सारांश सारणी एवं मुख्य परिणाम
| संरचना | अतिरिक्त आवश्यकता | उदाहरण | प्रतिउदाहरण |
|---|---|---|---|
| Group | साहचर्य, तत्समक, प्रतिलोम | $(\mathbb{Z},+)$ | $(\mathbb{N},+)$ |
| Ring (वलय) | दो संक्रियाएँ, वितरण नियम | $(\mathbb{Z},+,\cdot)$ | $(\mathbb{N},+,\cdot)$ |
| Integral Domain | शून्य-भाजक नहीं, $1\neq0$ | $\mathbb{Z}$ | $\mathbb{Z}/6\mathbb{Z}$ |
| Field (क्षेत्र) | (M4): $x\neq0\Rightarrow x^{-1}$ हो | $\mathbb{Q},\mathbb{R},\mathbb{F}_p$ | $\mathbb{Z}$ |
बीजगणितीय सोपान:
\(\text{Group} \;\supset\; \text{Ring} \;\supset\; \text{Integral Domain} \;\supset\; \text{Field}\)
Field $(F,+,\cdot)$ में सभी नौ अभिगृहीत (A1–A4, M1–M4, D) संतुष्ट होते हैं।
मुख्य व्युत्पन्न गुण: $ab=0\Rightarrow a=0$ या $b=0$ (शून्य-भाजक नहीं)।
सम्बंधित पोस्ट एवं आगे का अध्ययन
← पूर्वापेक्षाएँ: Sets and Basic Notation — वाहक समुच्चय | Logic and Proof Methods — Direct Proof और Contradiction | Functions and Relations — Binary Operations।
→ Next Topic: Concequences of field axioms.
📖 अतिरिक्त पाठन: Rudin, Ch. 1, §§1.12–1.38; Apostol, Ch. 1, §§1.3–1.6; Bartle & Sherbert, Ch. 2, §2.1.
How did you find this post?
Tap a reaction — counts are saved permanently on our server.
Have a question, doubt, or thought about this post? Choose how you want to join the discussion below.
💬 Comment on Telegram — No account needed