www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Lineare Algebra / Vektorrechnung" - Homomorphismus
Homomorphismus < Lin. Algebra/Vektor < Oberstufe < Schule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra / Vektorrechnung"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Homomorphismus: Aufgabe 7.
Status: (Frage) beantwortet Status 
Datum: 22:28 Di 07.11.2006
Autor: Joli1985

Aufgabe
Gibt es einen Surjektiven Homomorphismus der additiven Gruppe (Z,+) auf eine Gruppe (G,.),so ist G zyklisch,Beweis?

Ich habe ein Problem mit dem Begriff "surjektiver Homomorphismus" ,ich habe zwar eine Vorstellung was ein Homomorphismus ist,nur weiß ich nicht so genau was ein surjektiver Homomorphismus bedeutet.
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.


        
Bezug
Homomorphismus: Antwort
Status: (Antwort) fertig Status 
Datum: 02:10 Mi 08.11.2006
Autor: Frusciante

Hallo,

> Gibt es einen Surjektiven Homomorphismus der additiven
> Gruppe (Z,+) auf eine Gruppe (G,.),so ist G
> zyklisch,Beweis?
>  Ich habe ein Problem mit dem Begriff "surjektiver
> Homomorphismus" ,ich habe zwar eine Vorstellung was ein
> Homomorphismus ist,nur weiß ich nicht so genau was ein
> surjektiver Homomorphismus bedeutet.

Respekt, was alles heutzutage in der Schule gemacht wird (oder handelt es sich doch um eine Frage aus der Uni?).

Es gibt also eine surjektive homomorphe Abbildung [mm] $\alpha$ [/mm]

[mm] $\alpha:\ (\IZ,+)\to (G,\cdot)$ [/mm]

(Eine surjektive homomorphe Abbildung heißt übrigens auch kurz "Epimorphismus")

Surjektiv bedeutet einfach, dass jedes Element aus der Zielmenge [mm] $(G,\cdot)$ [/mm] durch die Abb. "getroffen" wird.
Man sagt auch, jedes Element aus der Zielmenge hat mindestens ein Urbild.

Nun sollst Du zeigen, dass [mm] $(G,\cdot)$ [/mm] zyklisch ist.
Dafür ist zu zeigen, dass ein erzeugendes Element [mm] $x\in [/mm] G$ existiert, so dass für alle Elemente [mm] $g\in [/mm] G$ gilt: Es existiert ein [mm] $n\in\IN$ [/mm] so dass [mm] $x^n=g$. [/mm]
(Jedes Element g ist also eine Potenz des erzeugenden Elementes x).

Dies ist der Ansatz zu Deinem Beweis. Du kannst die Homomorphismus-Eigenschaft von [mm] $\alpha$ [/mm] ausnutzen, um die Zyklizität von [mm] $\IZ$ [/mm] auf $G$ zu übertragen.

Versuch' das mal.

Grüße, Frusciante

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra / Vektorrechnung"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]