MathematicsAbstract AlgebraUniversity
OCRAPOntarioNSWCBSEGCE O-LevelMoECAPS

Lagrange's Theorem Calculator

States that for any finite group G, the order of every subgroup H divides the order of G.

Use the free calculatorCheck the variablesOpen the advanced solver
This is the free calculator preview. Advanced walkthroughs stay in the app.
Result
Ready
Index [G:H]

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

Index [G:H]
Order of Group G
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?

Order of Group G48
Order of Subgroup H12

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

  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