MathematicsAlgèbre abstraiteUniversity
OCRAPOntarioNSWCBSEGCE O-LevelMoECAPS

Théorème de Lagrange Calculator

Énonce que pour tout groupe fini G, l’ordre de tout sous-groupe H divise l’ordre de 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

Le théorème de Lagrange affirme que pour tout groupe fini G, l’ordre de tout sous-groupe H doit diviser l’ordre du groupe parent G. Le quotient obtenu est appelé l’indice de H dans G, représentant le nombre de classes à gauche ou à droite distinctes de H dans G.

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

Apply it well

When To Use

When to use: Utilisez ce théorème lorsque vous étudiez les tailles possibles des sous-groupes ou le nombre de classes dans un groupe fini. Il est essentiel pour vérifier si un entier donné peut théoriquement être l’ordre d’un sous-groupe pour une taille de groupe donnée.

Why it matters: Ce théorème est une pierre angulaire de l’algèbre abstraite, fournissant la base de résultats plus complexes comme le théorème de Cauchy et les théorèmes de Sylow. Il soutient également la sécurité cryptographique moderne en limitant les ordres possibles des éléments dans les groupes cycliques utilisés pour le chiffrement.

Avoid these traps

Common Mistakes

  • Appliquer le théorème à des groupes infinis où la notion de 'divisibilité' des ordres ne s’applique pas de la même manière.
  • Supposer qu’un sous-groupe doit exister pour chaque diviseur de l’ordre du groupe.

One free problem

Practice Problem

Un groupe fini G a un ordre de 48. Si H est un sous-groupe de G d’ordre 12, quel est l’indice de H dans G ?

Hint: L’indice est le rapport entre l’ordre du groupe et celui du sous-groupe.

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