Normal Subgroup: Definition, Properties, and Examples | सामान्य उपसमूह: परिभाषा, गुण और उदाहरण
Normal Subgroup: Definition, Properties, and Examples | सामान्य उपसमूह: परिभाषा, गुण और उदाहरण
सामान्य उपसमूह (Normal Subgroup) समूह सिद्धांत (Group Theory) की एक मूलभूत अवधारणा है, जो समूहों की संरचना और उनके विभाजन (Factorization) को समझने में मदद करती है। यह एक ऐसा उपसमूह होता है जो समूह के प्रत्येक तत्व के साथ संयोजन (Conjugation) के बाद भी अपरिवर्तित रहता है।
1️⃣ सामान्य उपसमूह की परिभाषा (Definition of Normal Subgroup)
किसी समूह (G, *) का एक उपसमूह N सामान्य (Normal) कहलाता है यदि वह निम्नलिखित शर्त पूरी करे:
∀ a ∈ G, aN = Na
अर्थात्, प्रत्येक a ∈ G के लिए बाएँ कोसेट (Left Coset) और दाएँ कोसेट (Right Coset) समान हों।
या समतुल्य रूप से:
∀ a ∈ G, aNa⁻¹ = N
इस स्थिति में N को Normal Subgroup कहा जाता है और इसे प्रतीकात्मक रूप में लिखा जाता है:
N ⊲ G
2️⃣ सामान्य उपसमूह के गुण (Properties of Normal Subgroup)
- Identity Element हमेशा Normal Subgroup में होता है।
- पूरा समूह G स्वयं भी G का Normal Subgroup होता है।
- यदि N ⊲ G, तो ∀ a ∈ G और n ∈ N ⇒ a n a⁻¹ ∈ N
- Normal Subgroup के सभी बाएँ और दाएँ कोसेट समान होते हैं।
- Normal Subgroup का उपयोग Quotient Group (G/N) बनाने में होता है।
3️⃣ सामान्य उपसमूह का उदाहरण (Examples of Normal Subgroup)
उदाहरण 1:
(Z, +) — Integers under addition
किसी भी n ∈ Z के लिए nZ = {nk | k ∈ Z}
क्योंकि जोड़ के अंतर्गत प्रत्येक कोसेट समान व्यवहार करता है, इसलिए nZ एक Normal Subgroup है।
उदाहरण 2:
G = (Z₆, +₆), N = {0, 3}
- N उपसमूह है क्योंकि 3 + 3 ≡ 0 mod 6
- और हर कोसेट समान रूप से व्यवहार करता है ⇒ N ⊲ G
उदाहरण 3:
G = Group of all 2×2 invertible matrices under multiplication
N = Set of scalar matrices (kI) where k ≠ 0
यह N, G का Normal Subgroup है क्योंकि प्रत्येक matrix conjugation के बाद भी scalar form में रहता है।
4️⃣ बाएँ और दाएँ कोसेट (Left and Right Cosets)
किसी समूह G और उपसमूह N के लिए:
- Left Coset: aN = {a * n | n ∈ N}
- Right Coset: Na = {n * a | n ∈ N}
यदि ∀ a ∈ G ⇒ aN = Na, तो N सामान्य उपसमूह कहलाता है।
5️⃣ सामान्य उपसमूह की पहचान के तरीके (Tests for Normality)
- 1. Conjugation Test: यदि ∀ a ∈ G ⇒ aNa⁻¹ = N
- 2. Coset Test: यदि सभी बाएँ और दाएँ कोसेट समान हों।
- 3. Homomorphism Test: किसी समूह के होमोमॉर्फिज़्म का kernel हमेशा Normal Subgroup होता है।
6️⃣ सामान्य उपसमूह के गुणधर्म (Theorems)
- यदि H ⊲ G और K ⊲ G ⇒ H ∩ K ⊲ G
- यदि H ⊲ G और K ⊲ G ⇒ HK ⊲ G (यदि G Abelian है)
- यदि φ : G → G' एक होमोमॉर्फिज़्म है, तो ker(φ) ⊲ G
7️⃣ सामान्य उपसमूह से Quotient Group बनाना (Formation of Quotient Group)
यदि N ⊲ G, तो G/N = {aN | a ∈ G} एक समूह बनाता है।
यह नया समूह Quotient Group कहलाता है, और इसका ऑपरेशन निम्न प्रकार परिभाषित है:
(aN)(bN) = (ab)N
उदाहरण:
G = (Z₆, +₆), N = {0, 3}
तब G/N = {N, 1+N, 2+N}
जो Z₃ के समान संरचना रखता है।
8️⃣ Cayley Table द्वारा उदाहरण
G = (Z₄, +₄), N = {0, 2}
+₄ | 0 1 2 3 ---|--------- 0 | 0 1 2 3 1 | 1 2 3 0 2 | 2 3 0 1 3 | 3 0 1 2
यहाँ N सामान्य उपसमूह है क्योंकि 1N = N1 और 3N = N3।
9️⃣ सामान्य उपसमूह के अनुप्रयोग (Applications)
- Group Homomorphism और Quotient Groups की संरचना में।
- Abstract Algebra और Modular Arithmetic में।
- Cryptography और Coding Systems में।
- Symmetry और Geometric Transformations में।
🔟 निष्कर्ष (Conclusion)
सामान्य उपसमूह समूह सिद्धांत में संरचना की स्थिरता का प्रतिनिधित्व करता है। यह हमें बताता है कि समूह को कैसे छोटे भागों में विभाजित किया जा सकता है और हर भाग किस प्रकार समूह के नियमों का पालन करता है। “Normal subgroups are the building blocks of group structure.”
Related Post
- Introduction to Set Theory: Definition, Representation, and Types of Sets | समुच्चय सिद्धांत का परिचय और प्रकार
- Venn Diagrams and Proofs of General Set Identities | वेन आरेख और समुच्चय की सामान्य पहचानें
- Relations: Definition, Representation, and Types of Relations | संबंध: परिभाषा, निरूपण और प्रकार
- Composition of Relations and Their Properties | संबंधों का संयोजन और उनके गुण
- Equivalence Relations: Definition, Examples, and Applications | समतुल्यता संबंध: परिभाषा, उदाहरण और अनुप्रयोग
- Partial Ordering Relations and POSET | आंशिक क्रम संबंध और आंशिक क्रमित समुच्चय
- Hasse Diagram and Its Construction | हैस आरेख और उसका निर्माण
- Lattice Theory: Concepts and Properties | लैटिस सिद्धांत: अवधारणाएँ और गुण
- Theorem Proving Techniques in Discrete Mathematics | प्रमेय सिद्ध करने की तकनीकें
- Introduction to Algebraic Structures: Definition and Basic Properties | बीजगणितीय संरचना: परिभाषा और मूलभूत गुण
- Semigroup: Definition, Properties, and Examples | सेमीग्रुप: परिभाषा, गुण और उदाहरण
- Monoid: Concept, Identity Element, and Properties | मोनॉइड: अवधारणा, एकात्मक तत्व और गुण
- Groups: Definition, Properties, and Examples | समूह: परिभाषा, गुण और उदाहरण
- Abelian Group: Definition and Properties | एबेलियन समूह: परिभाषा और गुण
- Cyclic Group: Definition, Properties, and Generators | चक्रीय समूह: परिभाषा, गुण और जनक तत्व
- Normal Subgroup: Definition, Properties, and Examples | सामान्य उपसमूह: परिभाषा, गुण और उदाहरण
- Rings and Fields: Definitions, Properties, and Standard Results | रिंग्स और फील्ड्स: परिभाषा, गुणधर्म और मानक परिणाम
- Recurrence Relation and Generating Functions: Introduction and Applications | आवर्ती संबंध और जनरेटिंग फंक्शन: परिचय और अनुप्रयोग
- Lattice and Hasse Diagram: Definition, Construction, and Properties | लैटिस और हास्से आरेख: परिभाषा, निर्माण और गुण
- Propositional Logic: Definition, Logical Operations, and Truth Tables | प्रपोज़िशनल लॉजिक: परिभाषा, लॉजिकल ऑपरेशन और ट्रुथ टेबल्स
- First Order Logic and Predicates: Definition, Quantifiers, and Normal Forms | प्रथम क्रम तर्क और प्रेडिकेट्स: परिभाषा, क्वांटिफ़ायर्स और नार्मल फॉर्म्स
- Graph Theory: Introduction, Terminology, Types of Graphs, Paths, and Graph Coloring | ग्राफ सिद्धांत: परिचय, पारिभाषिक शब्दावली, ग्राफ के प्रकार, पथ और रंगन
- Logic Proofs, Boolean Algebra, and Applications of Graph Theory | तर्क प्रमाण, बूलीय बीजगणित और ग्राफ सिद्धांत के अनुप्रयोग
- Applications of Discrete Structures in Computer Science — Logic Circuits, Databases, and Algorithms | कंप्यूटर विज्ञान में डिस्क्रीट स्ट्रक्चर के अनुप्रयोग: लॉजिक सर्किट्स, डेटाबेस और एल्गोरिद्म
- Algebra of Proposition: Laws, Identities, and Simplifications | प्रपोजिशन का बीजगणित: नियम, पहचाने और सरलीकरण
- Logical Implication and Logical Equivalence: Definition, Rules, and Applications | तार्किक निष्कर्ष और तार्किक समानता: परिभाषा, नियम और अनुप्रयोग
- Shortest Path in Weighted Graph: Dijkstra and Bellman-Ford Algorithms | भारित ग्राफ में सबसे छोटा पथ: डीजकस्ट्रा और बेलमैन-फोर्ड एल्गोरिद्म
- Determinant and Trace of a Matrix | मैट्रिक्स का डेटर्मिनेंट और ट्रेस
- Cholesky Decomposition: Concept and Applications | चोलस्की डीकंपोज़िशन: सिद्धांत और अनुप्रयोग
- Eigen Decomposition: Eigenvalues and Eigenvectors Explained | आइगेन डीकंपोज़िशन: आइगेनवैल्यू और आइगेनवेक्टर का विश्लेषण
- Singular Value Decomposition (SVD): Concept and Computation | सिंगुलर वैल्यू डीकंपोज़िशन: सिद्धांत और गणना
- Gradient of a Matrix: Rules and Derivation | मैट्रिक्स का ग्रेडिएंट: नियम और व्युत्पत्ति
- Useful Identities for Computing Gradient | ग्रेडिएंट की गणना के लिए उपयोगी सूत्र
- Test of Hypothesis: Concept and Formulation | परिकल्पना परीक्षण: अवधारणा और निर्माण
- Type-I and Type-II Errors: Understanding Statistical Decision Making | टाइप-I और टाइप-II त्रुटियाँ: सांख्यिकीय निर्णय की समझ
- Time Series Analysis: Concepts, Components, and Forecasting Methods | टाइम सीरीज़ विश्लेषण: अवधारणाएँ, घटक और पूर्वानुमान विधियाँ
- Analysis of Variance (ANOVA): Concept, Assumptions, and Computation | विभेदन विश्लेषण (ANOVA): अवधारणा, मान्यताएँ और गणना