Satz von Lagrange
Besagt, dass für jede endliche Gruppe G die Ordnung jeder Untergruppe H die Ordnung von G teilt.
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
Der Satz von Lagrange besagt, dass für jede endliche Gruppe G die Ordnung jeder Untergruppe H die Ordnung der übergeordneten Gruppe G teilen muss. Der entstehende Quotient wird als Index von H in G bezeichnet und gibt die Anzahl der verschiedenen Links- oder Rechtsnebenklassen von H in G an.
When to use: Verwende diesen Satz, wenn du mögliche Größen von Untergruppen oder die Anzahl von Nebenklassen in einer endlichen Gruppe untersuchst. Er ist wesentlich, um zu prüfen, ob eine bestimmte ganze Zahl theoretisch die Ordnung einer Untergruppe bei gegebener Gruppenordnung sein kann.
Why it matters: Dieser Satz ist ein Grundpfeiler der abstrakten Algebra und bildet die Grundlage für komplexere Resultate wie den Satz von Cauchy und die Sylow-Sätze. Er liegt außerdem moderner kryptographischer Sicherheit zugrunde, da er die möglichen Ordnungen von Elementen in zyklischen Gruppen einschränkt, die in der Verschlüsselung verwendet werden.
Symbols
Variables
[G:H] = Index [G:H], |G| = Order of Group G, |H| = Order of Subgroup H
Walkthrough
Derivation
Herleitung/Verständnis des Satzes von Lagrange
Der Satz von Lagrange besagt, dass für jede endliche Gruppe G und jede Untergruppe H die Ordnung von H die Ordnung von G teilt und der Quotient der Index von H in G ist.
- G ist eine endliche Gruppe.
- H ist eine Untergruppe von G.
Definition von Nebenklassen und Partitionierung von G:
Dies bedeutet, dass jedes Element von zu genau einer linken Nebenklasse von gehört und die Vereinigung aller disjunkten linken Nebenklassen ist.
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$.Gleichmächtigkeit der Nebenklassen:
Dies stellt sicher, dass jede linke Nebenklasse von die gleiche Anzahl von Elementen hat wie die Untergruppe selbst.
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$.
Zählen der Elemente in G:
Die Gruppe ist die disjunkte Vereinigung von verschiedenen linken Nebenklassen, wobei die Anzahl der verschiedenen linken Nebenklassen ist.
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$.
Herleitung des Satzes von Lagrange:
Durch Summieren der Größen der disjunkten Nebenklassen und im Wissen, dass jede Nebenklasse die Größe hat, gelangen wir zur Formel des Satzes, die zeigt, dass die Ordnung von H die Ordnung von G teilt.
$|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]
Nach [G:H] umstellen
Um den Index [G:H] zum Gegenstand des Satzes von Lagrange zu machen, dividieren Sie beide Seiten der Gleichung durch die Reihenfolge der Untergruppe 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
Stellen Sie sich die gesamte Gruppe G als eine Sammlung von disjunkten, gleich großen Partitionen vor, wobei jede Partition eine Nebenklasse ist, die durch Verschiebung der Untergruppe H gebildet wird.
Free study cues
Insight
Canonical usage
Diese Gleichung verknuepft die ganzzahligen Anzahlen von Elementen in einer endlichen Gruppe, ihrer Untergruppe und der Anzahl der Nebenklassen; all dies sind dimensionslose Groessen.
Dimension note
Alle Groessen in Lagranges Satz - die Ordnung einer Gruppe (|G|), die Ordnung einer Untergruppe (|H|) und der Index einer Untergruppe ([G:H]) - sind ganzzahlige Zaehlungen von Elementen oder Nebenklassen.
One free problem
Practice Problem
Eine endliche Gruppe G hat die Ordnung 48. Wenn H eine Untergruppe von G mit der Ordnung 12 ist, wie groß ist der Index von H in G?
Hint: Der Index ist das Verhältnis der Gruppenordnung zur Untergruppenordnung.
The full worked solution stays in the interactive walkthrough.
Where it shows up
Real-World Context
In der computergestützten Gruppentheorie und Kryptographie (wie RSA und Elliptische-Kurven-Kryptographie) schränkt der Satz von Lagrange die möglichen Ordnungen von Elementen ein, was die Sicherheitsparameter der verwendeten zyklischen Gruppen gewährleistet.
Study smarter
Tips
- Beachte, dass der Satz nur für endliche Gruppen gilt und nicht die Existenz einer Untergruppe für jeden Teiler garantiert.
- Der Index [G:H] muss immer eine ganze Zahl sein.
- Denke daran, dass auch die Ordnung jedes Elements in G die Ordnung von G teilen muss, da Elemente zyklische Untergruppen erzeugen.
Avoid these traps
Common Mistakes
- Den Satz auf unendliche Gruppen anwenden, bei denen das Konzept der 'Teilbarkeit' von Ordnungen nicht auf dieselbe Weise gilt.
- Annehmen, dass für jeden Teiler der Gruppenordnung eine Untergruppe existieren muss.
Common questions
Frequently Asked Questions
Der Satz von Lagrange besagt, dass für jede endliche Gruppe G und jede Untergruppe H die Ordnung von H die Ordnung von G teilt und der Quotient der Index von H in G ist.
Verwende diesen Satz, wenn du mögliche Größen von Untergruppen oder die Anzahl von Nebenklassen in einer endlichen Gruppe untersuchst. Er ist wesentlich, um zu prüfen, ob eine bestimmte ganze Zahl theoretisch die Ordnung einer Untergruppe bei gegebener Gruppenordnung sein kann.
Dieser Satz ist ein Grundpfeiler der abstrakten Algebra und bildet die Grundlage für komplexere Resultate wie den Satz von Cauchy und die Sylow-Sätze. Er liegt außerdem moderner kryptographischer Sicherheit zugrunde, da er die möglichen Ordnungen von Elementen in zyklischen Gruppen einschränkt, die in der Verschlüsselung verwendet werden.
Den Satz auf unendliche Gruppen anwenden, bei denen das Konzept der 'Teilbarkeit' von Ordnungen nicht auf dieselbe Weise gilt. Annehmen, dass für jeden Teiler der Gruppenordnung eine Untergruppe existieren muss.
In der computergestützten Gruppentheorie und Kryptographie (wie RSA und Elliptische-Kurven-Kryptographie) schränkt der Satz von Lagrange die möglichen Ordnungen von Elementen ein, was die Sicherheitsparameter der verwendeten zyklischen Gruppen gewährleistet.
Beachte, dass der Satz nur für endliche Gruppen gilt und nicht die Existenz einer Untergruppe für jeden Teiler garantiert. Der Index [G:H] muss immer eine ganze Zahl sein. Denke daran, dass auch die Ordnung jedes Elements in G die Ordnung von G teilen muss, da Elemente zyklische Untergruppen erzeugen.
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