MathematicsÁlgebra AbstrataUniversity
OCRAPOntarioNSWCBSEGCE O-LevelMoECAPS

Teorema de Lagrange Calculator

Afirma que para qualquer grupo finito G, a ordem de todo subgrupo H divide a ordem 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

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

[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: 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

  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