Teorema de Lagrange Calculator
Afirma que para qualquer grupo finito G, a ordem de todo subgrupo H divide a ordem de G.
Formula first
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.
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: 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.
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.
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.
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