Teorema di Lagrange Calculator
Afferma che per ogni gruppo finito G, l'ordine di ogni sottogruppo H divide l'ordine di G.
Formula first
Overview
Il Teorema di Lagrange afferma che per ogni gruppo finito G, l'ordine di ogni sottogruppo H deve dividere l'ordine del gruppo genitore G. Il quoziente risultante è noto come indice di H in G, che rappresenta il numero di classi laterali sinistre o destre uniche di H in 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: Usare questo teorema quando si investigano le possibili dimensioni dei sottogruppi o il numero di classi laterali all'interno di un gruppo finito. È essenziale per verificare se un intero specifico può teoricamente essere l'ordine di un sottogruppo per una data dimensione di gruppo.
Why it matters: Questo teorema è una pietra angolare dell'algebra astratta, fornendo la base per risultati più complessi come il Teorema di Cauchy e i Teoremi di Sylow. Sottende anche la sicurezza crittografica moderna limitando gli ordini possibili degli elementi nei gruppi ciclici utilizzati nella crittografia.
Avoid these traps
Common Mistakes
- Applicare il teorema a gruppi infiniti dove il concetto di 'divisibilità' degli ordini non si applica allo stesso modo.
- Presumere che debba esistere un sottogruppo per ogni divisore dell'ordine del gruppo.
One free problem
Practice Problem
Un gruppo finito G ha un ordine di 48. Se H è un sottogruppo di G con un ordine di 12, qual è l'indice di H in G?
Hint: L'indice è il rapporto tra l'ordine del gruppo e l'ordine del sottogruppo.
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