diff --git a/Algebra.tex b/Algebra.tex index 15a7ef2..91c648a 100644 --- a/Algebra.tex +++ b/Algebra.tex @@ -403,10 +403,10 @@ $e = 0, g^n = n \cdot g, \inv g = -g$ $a^r = e, b^s = e \implies a^{rs} = e, b^{rs} = e \overset{\text{abelsch}}{\implies} (ab)^rs = e \implies \ord_G(ab) \mid rs$ \\ Angenommen: $\ord_G(ab) < rs$. Dann $\exists p \in \Primes: (ab)^{\frac{rs}p} = e$. \\ - Sei oBdA $p\mid r (\implies p \nmid r, \text{ weil }(r, s) = 1)$ + Sei oBdA $p\mid r (\implies p \nmid s, \text{ weil }(r, s) = 1)$ \[ (ab)^{\frac{rs}p} = a^{\frac{rs}p} \cdot b^{\frac{rs}p} = (a^s)^{\frac rp} \cdot - {\underbrace{(b^s)}_{=e}}^{\frac{rs}p} = (a^s)^{\frac{rs}p} = e + {\underbrace{(b^s)}_{=e}}^{\frac{r}p} = (a^s)^{\frac{r}p} = e \] Die Ordnung von $a$ und daher von $a^s$ ist aber $r$ und daher sicher $> \frac rp$. \qed