Théorème de Lagrange
Énonce que pour tout groupe fini G, l’ordre de tout sous-groupe H divise l’ordre de G.
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
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.
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.
Symbols
Variables
[G:H] = Index [G:H], |G| = Order of Group G, |H| = Order of Subgroup H
Walkthrough
Derivation
Dérivation/Compréhension du théorème de Lagrange
Le théorème de Lagrange stipule que pour tout groupe fini G et tout sous-groupe H, l'ordre de H divise l'ordre de G, et le quotient est l'indice de H dans G.
- G est un groupe fini.
- H est un sous-groupe de G.
Définition des classes à gauche et partition de G :
Cela signifie que chaque élément de appartient exactement à une classe à gauche de , et l'union de toutes les classes à gauche distinctes est .
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$.Équinumérosité des classes :
Cela établit que chaque classe à gauche de a le même nombre d'éléments que le sous-groupe lui-même.
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$.
Comptage des éléments dans G :
Le groupe est l'union disjointe de classes à gauche distinctes, où est le nombre de classes à gauche distinctes.
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$.
Dérivation du théorème de Lagrange :
En sommant les tailles des classes disjointes, et sachant que chaque classe a la taille , nous arrivons à la formule du théorème, qui montre que l'ordre de H divise l'ordre de 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]
Isoler [G:H]
Pour faire de l'indice [G:H] le sujet du théorème de Lagrange, divisez les deux côtés de l'équation par l'ordre du sous-groupe H, |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
Visualisez le groupe G entier comme une collection de partitions distinctes et de taille égale, où chaque partition est une classe formée par le décalage du sous-groupe H.
Free study cues
Insight
Canonical usage
Cette équation relie les nombres entiers d'éléments d'un groupe fini, de son sous-groupe et le nombre de classes latérales, qui sont tous des grandeurs sans dimension.
Dimension note
Toutes les quantités du théorème de Lagrange — l'ordre d'un groupe (|G|), l'ordre d'un sous-groupe (|H|) et l'indice d'un sous-groupe ([G:H]) — sont des nombres entiers d'éléments ou de classes latérales.
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.
Where it shows up
Real-World Context
En théorie algorithmique des groupes et en cryptographie (comme RSA et la cryptographie sur courbes elliptiques), le théorème de Lagrange restreint les ordres possibles des éléments, ce qui garantit les paramètres de sécurité des groupes cycliques utilisés.
Study smarter
Tips
- Notez que le théorème ne s’applique qu’aux groupes finis et ne garantit pas l’existence d’un sous-groupe pour chaque diviseur.
- L’indice [G:H] doit toujours être un entier.
- Rappelez-vous que l’ordre de tout élément de G doit aussi diviser l’ordre de G, car les éléments engendrent des sous-groupes cycliques.
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.
Common questions
Frequently Asked Questions
Le théorème de Lagrange stipule que pour tout groupe fini G et tout sous-groupe H, l'ordre de H divise l'ordre de G, et le quotient est l'indice de H dans G.
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.
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.
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.
En théorie algorithmique des groupes et en cryptographie (comme RSA et la cryptographie sur courbes elliptiques), le théorème de Lagrange restreint les ordres possibles des éléments, ce qui garantit les paramètres de sécurité des groupes cycliques utilisés.
Notez que le théorème ne s’applique qu’aux groupes finis et ne garantit pas l’existence d’un sous-groupe pour chaque diviseur. L’indice [G:H] doit toujours être un entier. Rappelez-vous que l’ordre de tout élément de G doit aussi diviser l’ordre de G, car les éléments engendrent des sous-groupes cycliques.
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