Skript - Universität Paderborn
Skript - Universität Paderborn
Skript - Universität Paderborn
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
(xi) Sei 1 ≠ a > 0. Dann ist<br />
1.4 Homomorphismen, Normalteiler und Quotientengruppen 19<br />
ϕ: (R, +) → (R + , ·), x ↦→ a x<br />
ein Isomorphismus.<br />
⊓⊔<br />
Übung 1.4.1. Sei ϕ: G → H ein Isomorphismus, dann ist auch ϕ −1 : H → G ein Isomorphismus.<br />
Definition 1.4.3. Sei G eine Gruppe. Für g ∈ G setze κ g : G → G, x ↦→ gxg −1 .<br />
Diese Abbildung heißt die Konjugation mit g. Die Elemente von G der Form<br />
gxg −1 mit g ∈ G heißen die Konjugierten von x. Die Menge aller Konjugierten<br />
von x heißt die Konjugationsklasse von x. Die κ g mit g ∈ G heißen innere<br />
Automorphismen von G (Übung: κ g ∈ Aut(G)).<br />
Proposition 1.4.4. Seien G, H und K Gruppen.<br />
(i) Sei ϕ ∈ Hom(G, H). Dann gilt ϕ(e G ) = e H und ϕ(g −1 ) = ϕ(g) −1 für alle<br />
g ∈ G.<br />
(ii) Seien ϕ ∈ Hom(G, H) und ψ ∈ Hom(H, K). Dann gilt ψ ◦ ϕ ∈ Hom(G, K).<br />
(iii) Aut(G) ist eine Gruppe bzgl. der Verknüpfung von Abbildungen.<br />
Beweis. Idee:<br />
1.3.2.<br />
Dies folgt sofort aus den Definitionen und dem Untergruppenkriterium<br />
(i) Wir haben<br />
ϕ(g)e H = ϕ(g) = ϕ(ge G ) = ϕ(g)ϕ(e G )<br />
und durch Kürzen von links erhalten wir e H = ϕ(e G ). Also gilt<br />
ϕ(g)ϕ(g −1 ) = ϕ(gg −1 ) = ϕ(e G ) = e H = ϕ(g)ϕ(g) −1<br />
und wieder durch Kürzung ϕ(g −1 ) = ϕ(g) −1 .<br />
(ii) ψ ◦ ϕ(g 1 g 2 ) = ψ ( ϕ(g 1 )ϕ(g 2 ) ) = ( ψ ◦ ϕ(g 1 ) )( ψ ◦ ϕ(g 2 ) ) .<br />
(iii) Dies folgt nach obigem leicht mit dem Untergruppenkriterium 1.3.2, angewandt<br />
auf Aut(G) ⊆ Bij(G), und Übung 1.4.1.<br />
⊓⊔<br />
Definition 1.4.5. Sei ϕ ∈ Hom(G, H). Dann heißen<br />
ker ϕ := {x ∈ G | ϕ(x) = e H } und im ϕ := {ϕ(x) | x ∈ G}<br />
der Kern und das Bild von ϕ.<br />
Proposition 1.4.6. Sei ϕ ∈ Hom(G, H).<br />
(i) ker ϕ ≤ G und im ϕ ≤ H.<br />
(ii) ϕ ist genau dann injektiv, wenn ker ϕ = {e G }.