Merge pull request #2 from JaMeZ-B/master

Included corrections and changes from Jannes, thanks too :)
Änderung im Beweis von 1.6

Es ist essentiell wichtig zu erwähnen, dass k \neq n ist, da im Beweis ja die Klassengleichung benutzt wird, und damit p| |Z(G)| gilt, muss auch jedes [G:Z_G(x)] durch p teilbar sein. Dies ist aber erst dann durch die Feststellung [G:Z_G(x)]=p^{n-k} gegeben, wenn n \neq k ist.
Kleinigkeit: Klammern im Nenner vom Beweis 1.8
Kleine Änderung zuum k_i im Beweis 1.8

Das Problem war, dass k_i keine ganze Zahl ist, und man deshalb nicht direkt von Teilbarkeit sprechen kann.
Änderung in Satz 1.9 (Frattini-Argument)

Das stand so an der Tafel, darauf ist auch die darunterstehende Bemerkung bezogen. (Denn nach der Bemerkung ist wegen N_G(P) \leq N_G(H)=G ist N_G(P)\cdot H = H \cdot N_G(P) ).
Beweis/Rechnung zur Bemerkung in 1.9

Kannst selbst entscheiden ob das überflüssig ist :P
Schönheitsänderungen im Beweis von 1.10

1)  \abs* zu [...] gemacht, ist doch richtig so, oder?
2)  Ein paar unpassende "Wegen"s zu "Es ist"s gemacht, macht für mich so mehr Sinn. Keine Beweiskomponenten geändert.
Tipp"fehler" in 1.11 und 1.12
Marginnote zu einfachen Gruppen, bei Def. 1.11

Hab ich das syntaktisch so richtig gemacht??
Minor fixes on gdbgauda's changes, thx!