Lagrange's Theorem (Teorema de Lagrange) Calculator
Establece que para cualquier grupo finito G, el orden de cada subgrupo H divide el orden de G.
Formula first
Overview
*Lagrange's Theorem* (El Teorema de Lagrange) establece que para cualquier grupo finito G, el orden de cada subgrupo H debe dividir el orden del grupo padre G. El cociente resultante se conoce como el índice de H en G, representando el número de clases laterales izquierdas o derechas únicas de H en 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: Utilice este teorema al investigar los tamaños potenciales de subgrupos o el número de clases laterales dentro de un grupo finito. Es esencial para verificar si un entero específico puede ser teóricamente el orden de un subgrupo para un tamaño de grupo dado.
Why it matters: Este teorema es una piedra angular del álgebra abstracta, proporcionando la base para resultados más complejos como el *Cauchy's Theorem* (Teorema de Cauchy) y los *Sylow's Theorems* (Teoremas de Sylow). También sustenta la seguridad criptográfica moderna al limitar los órdenes posibles de elementos en grupos cíclicos utilizados en la encriptación.
Avoid these traps
Common Mistakes
- Aplicar el teorema a grupos infinitos donde el concepto de 'divisibilidad' de órdenes no se aplica de la misma manera.
- Asumir que debe existir un subgrupo para cada divisor del orden del grupo.
One free problem
Practice Problem
Un grupo finito G tiene un orden de 48. Si H es un subgrupo de G con un orden de 12, ¿cuál es el índice de H en G?
Hint: El índice es la razón entre el orden del grupo y el orden del 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