Teorema de Lagrange
Afirma que para qualquer grupo finito G, a ordem de todo subgrupo H divide a ordem 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
O Teorema de Lagrange afirma que para qualquer grupo finito G, a ordem de todo subgrupo H deve dividir a ordem do grupo pai G. O quociente resultante é conhecido como o índice de H em G, representando o número de cossets à esquerda ou à direita únicos de H em G.
When to use: Use este teorema ao investigar os tamanhos potenciais de subgrupos ou o número de cossets dentro de um grupo finito. É essencial para verificar se um número inteiro específico pode teoricamente ser a ordem de um subgrupo para um determinado tamanho de grupo.
Why it matters: Este teorema é um pilar da álgebra abstrata, fornecendo a base para resultados mais complexos como o Teorema de Cauchy e os Teoremas de Sylow. Ele também sustenta a segurança criptográfica moderna, limitando as possíveis ordens de elementos em grupos cíclicos usados na criptografia.
Symbols
Variables
[G:H] = Index [G:H], |G| = Order of Group G, |H| = Order of Subgroup H
Walkthrough
Derivation
Derivação/Compreensão do Teorema de Lagrange
O Teorema de Lagrange afirma que para qualquer grupo finito G e qualquer subgrupo H, a ordem de H divide a ordem de G, e o quociente é o índice de H em G.
- G é um grupo finito.
- H é um subgrupo de G.
Definição de Cossets e Particionamento de G:
Isso significa que cada elemento de pertence a exatamente um cosset à esquerda de , e a união de todos os cossets à esquerda distintos é .
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$.Equinumerosidade de Cossets:
Isso estabelece que cada cosset à esquerda de tem o mesmo número de elementos que o próprio subgrupo .
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$.
Contagem de Elementos em G:
O grupo é a união disjunta de cossets à esquerda distintos, onde é o número de cossets à esquerda distintos.
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$.
Derivando o Teorema de Lagrange:
Somando os tamanhos dos cossets disjuntos, e sabendo que cada cosset tem tamanho , chegamos à fórmula do teorema, que mostra que a ordem de H divide a ordem 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]
Isolar [G:H]
Para tornar o índice [G:H] objeto do Teorema de Lagrange, divida ambos os lados da equação pela ordem do subgrupo 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
Visualize todo o grupo G como uma coleção de partições distintas e de tamanhos iguais, onde cada partição é um cosset formado por deslocamento do subgrupo H.
Free study cues
Insight
Canonical usage
Esta equação relaciona as contagens inteiras de elementos em um grupo finito, seu subgrupo e o número de classes laterais, todas grandezas adimensionais.
Dimension note
Todas as grandezas no Teorema de Lagrange - a ordem de um grupo (|G|), a ordem de um subgrupo (|H|) e o índice de um subgrupo ([G:H]) - são contagens inteiras de elementos ou classes laterais.
One free problem
Practice Problem
Um grupo finito G tem ordem de 48. Se H é um subgrupo de G com ordem de 12, qual é o índice de H em G?
Hint: O índice é a razão da ordem do grupo para a ordem do subgrupo.
The full worked solution stays in the interactive walkthrough.
Where it shows up
Real-World Context
No caso de computational group theory and cryptography (like RSA and Elliptic Curve Cryptography), Lagrange's theorem restricts the possible orders of elements, which ensures the security parameters of the cyclic groups being used.
Study smarter
Tips
- Observe que o teorema se aplica apenas a grupos finitos e não garante a existência de um subgrupo para cada divisor.
- O índice [G:H] deve ser sempre um número inteiro.
- Lembre-se de que a ordem de qualquer elemento em G também deve dividir a ordem de G porque os elementos geram subgrupos cíclicos.
Avoid these traps
Common Mistakes
- Aplicar o teorema a grupos infinitos onde o conceito de 'divisibilidade' de ordens não se aplica da mesma forma.
- Assumir que um subgrupo deve existir para cada divisor da ordem do grupo.
Common questions
Frequently Asked Questions
O Teorema de Lagrange afirma que para qualquer grupo finito G e qualquer subgrupo H, a ordem de H divide a ordem de G, e o quociente é o índice de H em G.
Use este teorema ao investigar os tamanhos potenciais de subgrupos ou o número de cossets dentro de um grupo finito. É essencial para verificar se um número inteiro específico pode teoricamente ser a ordem de um subgrupo para um determinado tamanho de grupo.
Este teorema é um pilar da álgebra abstrata, fornecendo a base para resultados mais complexos como o Teorema de Cauchy e os Teoremas de Sylow. Ele também sustenta a segurança criptográfica moderna, limitando as possíveis ordens de elementos em grupos cíclicos usados na criptografia.
Aplicar o teorema a grupos infinitos onde o conceito de 'divisibilidade' de ordens não se aplica da mesma forma. Assumir que um subgrupo deve existir para cada divisor da ordem do grupo.
No caso de computational group theory and cryptography (like RSA and Elliptic Curve Cryptography), Lagrange's theorem restricts the possible orders of elements, which ensures the security parameters of the cyclic groups being used.
Observe que o teorema se aplica apenas a grupos finitos e não garante a existência de um subgrupo para cada divisor. O índice [G:H] deve ser sempre um número inteiro. Lembre-se de que a ordem de qualquer elemento em G também deve dividir a ordem de G porque os elementos geram subgrupos cíclicos.
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