Lagrange's Theorem Calculator
States that for any finite group G, the order of every subgroup H divides the order of G.
Formula first
Overview
Lagrange's Theorem states that for any finite group G, the order of every subgroup H must divide the order of the parent group G. The resulting quotient is known as the index of H in G, representing the number of unique left or right cosets of H in G.
Symbols
Variables
[G:H] = Index [G:H], |G| = Order of Group G, |H| = Order of Subgroup H
Apply it well
When To Use
When to use: Use this theorem when investigating the potential sizes of subgroups or the number of cosets within a finite group. It is essential for verifying whether a specific integer can theoretically be the order of a subgroup for a given group size.
Why it matters: This theorem is a cornerstone of abstract algebra, providing the foundation for more complex results like Cauchy's Theorem and Sylow's Theorems. It also underpins modern cryptographic security by limiting the possible orders of elements in cyclic groups used in encryption.
Avoid these traps
Common Mistakes
- Applying the theorem to infinite groups where the concept of 'divisibility' of orders doesn't apply the same way.
- Assuming that a subgroup must exist for every divisor of the group order.
One free problem
Practice Problem
A finite group G has an order of 48. If H is a subgroup of G with an order of 12, what is the index of H in G?
Solve for:
Hint: The index is the ratio of the group order to the subgroup order.
The full worked solution stays in the interactive walkthrough.
References
Sources
- Dummit and Foote, Abstract Algebra
- Fraleigh, A First Course in Abstract Algebra
- Wikipedia: Lagrange's theorem (group theory)
- Abstract Algebra by David S. Dummit and Richard M. Foote
- Contemporary Abstract Algebra by Joseph A. Gallian
- Dummit, David S., and Richard M. Foote. Abstract Algebra. 3rd ed. John Wiley & Sons, 2004.
- Wikipedia contributors. 'Lagrange's theorem (group theory).' Wikipedia, The Free Encyclopedia.
- A First Course in Abstract Algebra by John B. Fraleigh