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

लैग्रेंज का प्रमेय (Lagrange's Theorem)

बताता है कि किसी भी परिमित समूह G के लिए, प्रत्येक उपसमूह H का क्रम G के क्रम को विभाजित करता है।

Understand the formulaSee the free derivationOpen the full walkthrough
Open Full WalkthroughTry 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

लैग्रेंज का प्रमेय बताता है कि किसी भी परिमित समूह G के लिए, प्रत्येक उपसमूह H का क्रम मूल समूह G के क्रम को विभाजित करना चाहिए। परिणामी भागफल को G में H का सूचकांक (index) कहा जाता है, जो G में H के अद्वितीय वाम (left) या दक्षिण (right) सह-समूहों (cosets) की संख्या का प्रतिनिधित्व करता है।

When to use: किसी परिमित समूह के भीतर उपसमूहों के संभावित आकारों या सह-समूहों की संख्या की जांच करते समय इस प्रमेय का उपयोग करें। यह सत्यापित करने के लिए आवश्यक है कि क्या कोई विशिष्ट पूर्णांक किसी दिए गए समूह आकार के लिए उपसमूह का सैद्धांतिक रूप से क्रम हो सकता है।

Why it matters: यह प्रमेय अमूर्त बीजगणित का एक आधारशिला है, जो कॉशी के प्रमेय (Cauchy's Theorem) और स्यलो के प्रमेय (Sylow's Theorems) जैसे अधिक जटिल परिणामों के लिए आधार प्रदान करता है। यह एन्क्रिप्शन में उपयोग किए जाने वाले चक्रीय समूहों (cyclic groups) में तत्वों के संभावित क्रम को सीमित करके आधुनिक क्रिप्टोग्राफ़िक सुरक्षा का भी समर्थन करता है।

Symbols

Variables

[G:H] = Index [G:H], |G| = Order of Group G, |H| = Order of Subgroup H

[G:H]
Index [G:H]
Variable
|G|
Order of Group G
Variable
|H|
Order of Subgroup H
Variable

Walkthrough

Derivation

Derivation/Understanding of Lagrange's Theorem

Lagrange's Theorem states that for any finite group G and any subgroup H, the order of H divides the order of G, and the quotient is the index of H in G.

1

Definition of Cosets and Partitioning G:

This means that every element of belongs to exactly one left coset of , and the union of all distinct left cosets is .

Let $H$ be a subgroup of a finite group $G$. For any $a \in G$, the left coset of $H$ containing $a$ is $aH = \{ah \mid h \in H\}$. The set of all distinct left cosets of $H$ in $G$ forms a partition of $G$.
2

Equinumerosity of Cosets:

This establishes that every left coset of has the same number of elements as the subgroup itself.

For any $a \in G$, the mapping $f: H \to aH$ defined by $f(h) = ah$ is a bijection. Therefore, $|aH| = |H|$ for all $a \in G$.
3

Counting Elements in G:

The group is the disjoint union of distinct left cosets, where is the number of distinct left cosets.

Since the distinct left cosets partition $G$, we can write $G = a_1H \cup a_2H \cup \dots \cup a_kH$, where $a_iH \cap a_jH = \emptyset$ for $i \neq j$.
4

Deriving Lagrange's Theorem:

By summing the sizes of the disjoint cosets, and knowing each coset has size , we arrive at the theorem's formula, which shows that the order of H divides the order of G.

$|G| = |a_1H| + |a_2H| + \dots + |a_kH|$. Since $|a_iH| = |H|$ for all $i$, we have $|G| = k \cdot |H|$. The number of distinct left cosets, $k$, is defined as the index of $H$ in $G$, denoted by $[G:H]$. Thus, $|G| = [G:H] \cdot |H|$.

Result

$|G| = |a_1H| + |a_2H| + \dots + |a_kH|$. Since $|a_iH| = |H|$ for all $i$, we have $|G| = k \cdot |H|$. The number of distinct left cosets, $k$, is defined as the index of $H$ in $G$, denoted by $[G:H]$. Thus, $|G| = [G:H] \cdot |H|$.

Source: A First Course in Abstract Algebra by John B. Fraleigh

Free formulas

Rearrangements

Solve for [G:H]

[जी:एच] को विषय बनाएं

सूचकांक [जी:एच] को लैग्रेंज प्रमेय का विषय बनाने के लिए, समीकरण के दोनों पक्षों को उपसमूह एच, |एच| के क्रम से विभाजित करें।

Difficulty: 2/5

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

Visual intuition

Graph

Graph type: hyperbolic

Why it behaves this way

Intuition

पूरे समूह G को अलग-अलग, समान आकार के विभाजनों के संग्रह के रूप में कल्पना करें, जहाँ प्रत्येक विभाजन एक कॉसेट है जो उपसमूह H को स्थानांतरित करके बनता है।

Term
परिमित समूह G में कुल अलग-अलग तत्वों की संख्या।
समूह के समग्र 'आकार' या 'जनसंख्या' का प्रतिनिधित्व करता है।
Term
उपसमूह H में कुल अलग-अलग तत्वों की संख्या।
बड़े समूह के भीतर एक छोटे, आत्मनिर्भर संरचना (उपसमूह) के 'आकार' का प्रतिनिधित्व करता है।
Term
G में H के अलग-अलग बाएँ (या दाएँ) कॉसेट की संख्या।
यह दर्शाता है कि उपसमूह H के कितने 'खंड' या 'विभाजन' G को बिना अतिव्यापी के पूरी तरह से कवर करने के लिए आवश्यक हैं।

Free study cues

Insight

Canonical usage

This equation relates the integer counts of elements in a finite group, its subgroup, and the number of cosets, all of which are dimensionless quantities.

Dimension note

All quantities in Lagrange's Theorem-the order of a group (|G|), the order of a subgroup (|H|), and the index of a subgroup ([G:H])-are integer counts of elements or cosets.

One free problem

Practice Problem

एक परिमित समूह G का क्रम 48 है। यदि H, G का एक उपसमूह है जिसका क्रम 12 है, तो G में H का सूचकांक क्या है?

Hint: सूचकांक समूह के क्रम को उपसमूह के क्रम से विभाजित करने का अनुपात है।

The full worked solution stays in the interactive walkthrough.

Where it shows up

Real-World Context

कम्प्यूटेशनल समूह सिद्धांत (computational group theory) और क्रिप्टोग्राफी (जैसे RSA और इलिप्टिक कर्व क्रिप्टोग्राफी) में, लैग्रेंज का प्रमेय चक्रीय समूहों में उपयोग किए जाने वाले सुरक्षा मापदंडों को सुनिश्चित करके, तत्वों के संभावित क्रमों को सीमित करता है।

Study smarter

Tips

  • ध्यान दें कि प्रमेय केवल परिमित समूहों पर लागू होता है और हर भाजक के लिए उपसमूह के अस्तित्व की गारंटी नहीं देता है।
  • [G:H] का सूचकांक हमेशा एक पूर्णांक होना चाहिए।
  • याद रखें कि G में किसी भी तत्व का क्रम भी G के क्रम को विभाजित करना चाहिए क्योंकि तत्व चक्रीय उपसमूह उत्पन्न करते हैं।

Avoid these traps

Common Mistakes

  • अनंत समूहों (infinite groups) पर प्रमेय लागू करना जहां क्रमों की 'विभाज्यता' की अवधारणा उसी तरह लागू नहीं होती है।
  • यह मानना कि समूह क्रम के हर भाजक के लिए एक उपसमूह मौजूद होना चाहिए।

Common questions

Frequently Asked Questions

Lagrange's Theorem states that for any finite group G and any subgroup H, the order of H divides the order of G, and the quotient is the index of H in G.

किसी परिमित समूह के भीतर उपसमूहों के संभावित आकारों या सह-समूहों की संख्या की जांच करते समय इस प्रमेय का उपयोग करें। यह सत्यापित करने के लिए आवश्यक है कि क्या कोई विशिष्ट पूर्णांक किसी दिए गए समूह आकार के लिए उपसमूह का सैद्धांतिक रूप से क्रम हो सकता है।

यह प्रमेय अमूर्त बीजगणित का एक आधारशिला है, जो कॉशी के प्रमेय (Cauchy's Theorem) और स्यलो के प्रमेय (Sylow's Theorems) जैसे अधिक जटिल परिणामों के लिए आधार प्रदान करता है। यह एन्क्रिप्शन में उपयोग किए जाने वाले चक्रीय समूहों (cyclic groups) में तत्वों के संभावित क्रम को सीमित करके आधुनिक क्रिप्टोग्राफ़िक सुरक्षा का भी समर्थन करता है।

अनंत समूहों (infinite groups) पर प्रमेय लागू करना जहां क्रमों की 'विभाज्यता' की अवधारणा उसी तरह लागू नहीं होती है। यह मानना कि समूह क्रम के हर भाजक के लिए एक उपसमूह मौजूद होना चाहिए।

कम्प्यूटेशनल समूह सिद्धांत (computational group theory) और क्रिप्टोग्राफी (जैसे RSA और इलिप्टिक कर्व क्रिप्टोग्राफी) में, लैग्रेंज का प्रमेय चक्रीय समूहों में उपयोग किए जाने वाले सुरक्षा मापदंडों को सुनिश्चित करके, तत्वों के संभावित क्रमों को सीमित करता है।

ध्यान दें कि प्रमेय केवल परिमित समूहों पर लागू होता है और हर भाजक के लिए उपसमूह के अस्तित्व की गारंटी नहीं देता है। [G:H] का सूचकांक हमेशा एक पूर्णांक होना चाहिए। याद रखें कि G में किसी भी तत्व का क्रम भी G के क्रम को विभाजित करना चाहिए क्योंकि तत्व चक्रीय उपसमूह उत्पन्न करते हैं।

References

Sources

  1. Dummit and Foote, Abstract Algebra
  2. Fraleigh, A First Course in Abstract Algebra
  3. Wikipedia: Lagrange's theorem (group theory)
  4. Abstract Algebra by David S. Dummit and Richard M. Foote
  5. Contemporary Abstract Algebra by Joseph A. Gallian
  6. Dummit, David S., and Richard M. Foote. Abstract Algebra. 3rd ed. John Wiley & Sons, 2004.
  7. Wikipedia contributors. 'Lagrange's theorem (group theory).' Wikipedia, The Free Encyclopedia.
  8. A First Course in Abstract Algebra by John B. Fraleigh