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.
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
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
- 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