Mathematicsअमूर्त बीजगणित (Abstract Algebra)University

AQAAPOntarioNSWCBSEGCE O-LevelMoECAPS

कक्षा-स्थिरीकारक प्रमेय (Orbit-Stabilizer Theorem)

एक समूह के आकार को किसी तत्व की कक्षा (orbit) और समूह क्रिया (group action) के तहत उसके स्थिरीकारक उपसमूह (stabilizer subgroup) के आकार से संबंधित करता है।

Understand the formulaSee the free derivationOpen the full walkthrough

∣ G ∣ = ∣ G \cdot x ∣ \cdot ∣ G_{x} ∣

Open Full Walkthrough Try Calculator

This public page keeps the free explanation visible and leaves premium worked solving, advanced walkthroughs, and saved study tools inside the app.

Core idea

Overview

कक्षा-स्थिरीकारक प्रमेय (Orbit-Stabilizer Theorem) एक समूह और एक समुच्चय पर कार्य करने वाले समूह के बीच एक मौलिक संबंध स्थापित करता है, जो उस समुच्चय के तत्वों की समरूपता (symmetry) से संबंधित है। यह बताता है कि समूह का आकार किसी तत्व की कक्षा के आकार और उसके स्थिरीकारक उपसमूह (stabilizer subgroup) के क्रम (order) के गुणनफल के बराबर होता है।

When to use: इस प्रमेय का उपयोग तब करें जब आपको समरूपता (symmetry) के तहत अद्वितीय व्यवस्थाओं (unique arrangements) की संख्या की गणना करने या समरूपता समूह (symmetry group) के आकार को निर्धारित करने की आवश्यकता हो। यह तब लागू होता है जब भी एक परिमित समूह (finite group) G एक परिमित समुच्चय X पर कार्य करता है।

Why it matters: यह प्रमेय संयोजक विज्ञान (combinatorics), रसायन विज्ञान (molecular symmetry), और क्रिस्टल विज्ञान (crystallography) में समूह सिद्धांत (group theory) अनुप्रयोगों का आधारशिला है। यह गणितज्ञों को निश्चित बिंदुओं (fixed points) और स्थिरीकारक (stabilizers) पर ध्यान केंद्रित करके जटिल गिनती की समस्याओं को सरल बनाने की अनुमति देता है।

Walkthrough

Derivation

Derivation/Understanding of Orbit-Stabilizer Theorem

This derivation establishes the Orbit-Stabilizer Theorem, which states that for a group acting on a set, the size of an element's orbit is equal to the index of its stabilizer subgroup in the group.

Define Orbit and Stabilizer:

We begin by defining the two key concepts of the theorem: the orbit $O_{x}$ , which is the set of all elements in $X$ that $x$ can be mapped to by an action of $G$ , and the stabilizer $G_{x}$ , which is the subgroup of $G$ whose elements fix $x$ .

Let G be a group acting on a set X . For any x \in X, O_{x} = {g \cdot x ∣ g \in G} is the orbit of x . G_{x} = {g \in G ∣ g \cdot x = x} is the stabilizer of x .

Construct a Coset Map:

We construct a function $ϕ$ that maps each left coset of the stabilizer $G_{x}$ to an element in the orbit $O_{x}$ . It is crucial to show that this map is well-defined, meaning the choice of representative for a coset does not alter the resulting element in the orbit.

Define a map ϕ : G / G_{x} \to O_{x} by ϕ (g G_{x}) = g \cdot x . This map is well-defined: if g G_{x} = h G_{x}, then h^{- 1} g \in G_{x}, so h^{- 1} g \cdot x = x ⟹ g \cdot x = h \cdot x .

Prove Bijectivity of the Map:

We demonstrate that the map $ϕ$ is both surjective (every element in the orbit is the image of some coset) and injective (distinct cosets map to distinct elements in the orbit). This establishes a one-to-one correspondence between the set of left cosets and the orbit.

The map ϕ is surjective: for any y \in O_{x}, there exists g \in G such that y = g \cdot x, so ϕ (g G_{x}) = y . The map ϕ is injective: if ϕ (g G_{x}) = ϕ (h G_{x}), then g \cdot x = h \cdot x ⟹ h^{- 1} g \cdot x = x ⟹ h^{- 1} g \in G_{x} ⟹ g G_{x} = h G_{x} .

Conclude the Theorem:

Because a bijection exists between the set of left cosets $G / G_{x}$ and the orbit $O_{x}$ , their cardinalities must be equal. By definition, the cardinality of $G / G_{x}$ is the index $[G : G_{x}]$ , thus proving the Orbit-Stabilizer Theorem.

Since ϕ is a bijection, the number of elements in its domain equals the number of elements in its codomain. Thus, ∣ G / G_{x} ∣ = ∣ O_{x} ∣. By definition, the number of left cosets of G_{x} in G is the index [G : G_{x}] . Therefore, ∣ O_{x} ∣ = [G : G_{x}] .

Result

Since ϕ is a bijection, the number of elements in its domain equals the number of elements in its codomain. Thus, ∣ G / G_{x} ∣ = ∣ O_{x} ∣. By definition, the number of left cosets of G_{x} in G is the index [G : G_{x}] . Therefore, ∣ O_{x} ∣ = [G : G_{x}] .

Source: Dummit, D. S., & Foote, R. M. (2004). Abstract Algebra (3rd ed.). John Wiley & Sons.

Free formulas

Rearrangements

Solve for $G$

जी को विषय बनाएं

G

ऑर्बिट-स्टेबलाइज़र प्रमेय से प्रारंभ करें। प्रमेय सीधे समूह G के क्रम को व्यक्त करता है, जिससे G बीजीय पुनर्व्यवस्था की आवश्यकता के बिना वैचारिक विषय बन जाता है।

Difficulty: 2/5

Solve for $G \cdot x$

Gx को विषय बनाएं

G \cdot x

ऑर्बिट-स्टेबलाइजर प्रमेय से शुरू करें, जो एक समूह के क्रम को एक कक्षा के आकार और उसके स्टेबलाइजर से संबंधित करता है। कक्षा $G \cdot x$ को विषय बनाने के लिए, इसके आकार का प्रतिनिधित्व करने वाले शब्द को अलग करें, फिर संकल्पनात्मक रूप से कक्षा की पहचान करें।

Difficulty: 2/5

Solve for $G_{x}$

Gx को विषय बनाएं

G_{x}

ऑर्बिट-स्टेबलाइज़र प्रमेय से प्रारंभ करें। $G_{x}$ को विषय बनाने के लिए, दोनों पक्षों को $∣ G \cdot x ∣$ से विभाजित करें।

Difficulty: 2/5

The static page shows the finished rearrangements. The app keeps the full worked algebra walkthrough.

Why it behaves this way

Intuition

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

Term

समूह G में तत्वों (या संचालन) की कुल संख्या।

समूह के समग्र 'आकार' या 'क्रम' का प्रतिनिधित्व करता है, जो बताता है कि कितने अलग-अलग परिवर्तन उपलब्ध हैं।

Term

सेट X में उन अलग-अलग तत्वों की संख्या जिन्हें समूह G की क्रिया द्वारा x को मैप किया जा सकता है।

यह x की 'पहुंच' है: समूह के परिवर्तनों के तहत x कितने अद्वितीय पदों या रूपों को ले सकता है।

Term

समूह G में उन तत्वों की संख्या जो x को लागू होने पर अपरिवर्तित छोड़ देते हैं।

यह x की 'आंतरिक समरूपता' को मापता है: कितने परिवर्तन x को 'ठीक' करते हैं, इसे उसकी मूल स्थिति में लौटाते हैं।

Free study cues

Insight

Canonical usage

This equation relates the sizes of finite sets (groups, orbits, and stabilizers), which are all dimensionless integer counts.

Dimension note

All quantities in the Orbit-Stabilizer Theorem (|G|, |G $\cdot$ x|, | $G_{x}$ |) are counts of elements in finite sets (groups, orbits, and subgroups). As such, they are inherently dimensionless positive integers.

One free problem

Practice Problem

क्रम 24 का एक समूह G एक समुच्चय X पर कार्य करता है। यदि किसी तत्व x के स्थिरीकारक (stabilizer) में ठीक 4 तत्व हैं, तो x की कक्षा (orbit) का आकार क्या है?

Hint: कक्षा के आकार और स्थिरीकारक के आकार का गुणनफल समूह के क्रम के बराबर होता है।

The full worked solution stays in the interactive walkthrough.

Where it shows up

Real-World Context

कक्षा-स्थिरीकारक प्रमेय (Orbit-Stabilizer Theorem) के संदर्भ में, कक्षा-स्थिरीकारक प्रमेय (Orbit-Stabilizer Theorem) मापों को ऐसी मान में बदलने के लिए इस्तेमाल होता है जिसे समझा जा सके। परिणाम इसलिए महत्वपूर्ण है क्योंकि यह गणना को मॉडल के आकार, परिवर्तन दर, प्रायिकता या प्रतिबंध से जोड़ने में मदद करता है।

Study smarter

Tips

सुनिश्चित करें कि समूह क्रिया (group action) समुच्चय पर सही ढंग से परिभाषित है।
स्थिरीकारक (stabilizer) हमेशा G का एक उपसमूह (subgroup) होता है, इसलिए इसका क्रम समूह के क्रम को विभाजित करना चाहिए।
एक स्पष्ट स्थिरीकारक (stabilizer) वाले प्रतिनिधि तत्व (representative element) को चुनना अक्सर गणना को सरल बनाता है।

Avoid these traps

Common Mistakes

समुच्चय X के आकार को किसी विशेष तत्व की कक्षा के आकार के साथ भ्रमित करना।
यह मान लेना कि समुच्चय के सभी तत्वों का कक्षा का आकार समान होता है।
स्थिरीकारक (stabilizer) को केंद्रीयकारक (centralizer) या अन्य उपसमूहों (subgroups) के रूप में गलत समझना।

Common questions

Frequently Asked Questions

This derivation establishes the Orbit-Stabilizer Theorem, which states that for a group acting on a set, the size of an element's orbit is equal to the index of its stabilizer subgroup in the group.

इस प्रमेय का उपयोग तब करें जब आपको समरूपता (symmetry) के तहत अद्वितीय व्यवस्थाओं (unique arrangements) की संख्या की गणना करने या समरूपता समूह (symmetry group) के आकार को निर्धारित करने की आवश्यकता हो। यह तब लागू होता है जब भी एक परिमित समूह (finite group) G एक परिमित समुच्चय X पर कार्य करता है।

यह प्रमेय संयोजक विज्ञान (combinatorics), रसायन विज्ञान (molecular symmetry), और क्रिस्टल विज्ञान (crystallography) में समूह सिद्धांत (group theory) अनुप्रयोगों का आधारशिला है। यह गणितज्ञों को निश्चित बिंदुओं (fixed points) और स्थिरीकारक (stabilizers) पर ध्यान केंद्रित करके जटिल गिनती की समस्याओं को सरल बनाने की अनुमति देता है।

समुच्चय X के आकार को किसी विशेष तत्व की कक्षा के आकार के साथ भ्रमित करना। यह मान लेना कि समुच्चय के सभी तत्वों का कक्षा का आकार समान होता है। स्थिरीकारक (stabilizer) को केंद्रीयकारक (centralizer) या अन्य उपसमूहों (subgroups) के रूप में गलत समझना।

सुनिश्चित करें कि समूह क्रिया (group action) समुच्चय पर सही ढंग से परिभाषित है। स्थिरीकारक (stabilizer) हमेशा G का एक उपसमूह (subgroup) होता है, इसलिए इसका क्रम समूह के क्रम को विभाजित करना चाहिए। एक स्पष्ट स्थिरीकारक (stabilizer) वाले प्रतिनिधि तत्व (representative element) को चुनना अक्सर गणना को सरल बनाता है।

References

Sources

Dummit and Foote, Abstract Algebra
Herstein, Topics in Algebra
Wikipedia: Orbit-stabilizer theorem
Dummit, David S., and Richard M. Foote. Abstract Algebra. 3rd ed. John Wiley & Sons, 2004.
Gallian, Joseph A. Contemporary Abstract Algebra. 9th ed. Cengage Learning, 2017.
Dummit and Foote Abstract Algebra
Gallian Contemporary Abstract Algebra
Dummit, D. S., & Foote, R. M. (2004). Abstract Algebra (3rd ed.). John Wiley & Sons.

कक्षा-स्थिरीकारक प्रमेय (Orbit-Stabilizer Theorem)

Overview

Derivation

Define Orbit and Stabilizer:

Construct a Coset Map:

Prove Bijectivity of the Map:

Conclude the Theorem:

Rearrangements

Intuition

Insight

Practice Problem

Real-World Context

Tips

Common Mistakes

Related Formulas

Lagrange's Theorem

Fermat's Little Theorem

Euler's Totient Function

Frequently Asked Questions

Sources