matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Schulmathe
  Status Primarstufe
  Status Mathe Klassen 5-7
  Status Mathe Klassen 8-10
  Status Oberstufenmathe
    Status Schul-Analysis
    Status Lin. Algebra/Vektor
    Status Stochastik
    Status Abivorbereitung
  Status Mathe-Wettbewerbe
    Status Bundeswettb. Mathe
    Status Deutsche MO
    Status Internationale MO
    Status MO andere Länder
    Status Känguru
  Status Sonstiges

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 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
StartseiteMatheForenAlgebraGruppenhomomorphismus
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Algebra" - Gruppenhomomorphismus
Gruppenhomomorphismus < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Gruppenhomomorphismus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:10 Fr 26.10.2012
Autor: Lu-

Aufgabe
Ist m [mm] \in \IZ [/mm] , m>1 , so ist [mm] \phi: \IZ [/mm] -> [mm] \IZ_m [/mm] , [mm] \phi(x) [/mm] = [mm] \overline{x} [/mm] (Restklasse von x modulo m) einEpimorphismus.


Hallo zusammen,
Das es ein homomorphismus ist folgt aus [mm] \overline{x+y} [/mm] = [mm] \overline{x}+\overline{y} [/mm]
Warum ist es ein Epimorphismus aber  kein Isomorphismus?
Die injektivität:
Sei [mm] \phi(x) [/mm] = [mm] \phi(y) [/mm]
<=> [mm] \overline{x} [/mm] = [mm] \overline{y} [/mm]
<=> [mm] x+m\IZ [/mm] = y + m [mm] \IZ [/mm]


        
Bezug
Gruppenhomomorphismus: Hinweise
Status: (Antwort) fertig Status 
Datum: 18:21 Fr 26.10.2012
Autor: weightgainer

Hi!

Du verwechselst den Begriff "Epimorphismus".

Daraus ergeben sich auch die anderen Probleme, denn die Abbildung ist offensichtlich NICHT injektiv (das ist anschaulich klar - mehrere ganze Zahlen werden auf dieselbe Restklasse abgebildet, formal kannst du es dann noch aufschreiben), aber sie ist surjektiv (denn es gibt keine Restklasse, für die du keine ganze Zahl findest, so dass sie darauf abgebildet wird - auch das kannst du formal recht einfach aufschreiben).


lg weightgainer

Bezug
                
Bezug
Gruppenhomomorphismus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:28 Fr 26.10.2012
Autor: Lu-

Hallo, danke für den Post.

Könntest du mir vlt. ein gegenbsp für die Injektivität nennen, sodass ich mir das besser vorstellen kann=??

Danke,lg

Bezug
                        
Bezug
Gruppenhomomorphismus: Antwort
Status: (Antwort) fertig Status 
Datum: 18:35 Fr 26.10.2012
Autor: weightgainer

Nehme $m=5$.

Dann bekommst du 5 Restklassen, z.B. identifiziert durch die Reste 0, 1, 2, 3, 4.

Jetzt landen z.B. 1, 6, 11, 16 alle in der gleichen Restklasse, also ist die Abbildung nicht injektiv.

Andererseits findest du für alle diese Restklassen mind. eine ganze Zahl, die dann auch drin landet, z.B. die Vertreter 0, 1, 2, 3, 4.

Bezug
                        
Bezug
Gruppenhomomorphismus: Antwort
Status: (Antwort) fertig Status 
Datum: 18:40 Fr 26.10.2012
Autor: HJKweseleit

Nimm [mm] \IZ \mapsto \IZ_5. [/mm]

Dann ist 3 [mm] \mapsto [/mm] 3 und 8 [mm] \mapsto [/mm] 3 und 13 [mm] \mapsto [/mm] 3 und 18 [mm] \mapsto [/mm] 3 usw., weil alle diese Zahlen den Rest 3 beim Dividieren durch 5 lassen. Alle Zahlen mit 3 und 8 als Endziffer werden auf 3 abgebildet, also sogar unendlich viele.

Bezug
        
Bezug
Gruppenhomomorphismus: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 18:33 Fr 26.10.2012
Autor: Schadowmaster

moin,

Nochmal zum besseren Verständnis die einzelnen Begriffe:

Homomorphismus - Abbildung, die verträglich mit Verknüpfungen ist. Ein Gruppenhomomorphismus [mm] $\phi$ [/mm] zwischen zwei Gruppen $(G,*)$ und [mm] $(H,\circ)$ [/mm] muss also [mm] $\phi(a*b) [/mm] = [mm] \phi(a)\circ \phi(b)$ [/mm] für alle $a,b [mm] \in [/mm] G$ erfüllen.

Epimorphismus - Ein surjektiver Homomorphismus
Monomorphismus - Ein injektiver Homomorphismus
Isomorphismus - Ein bijektiver Homomorphismus


Für Gruppen weniger relevant:

Endomorphismus - Ein Homomorphismus, bei dem Definitions- und Zielbereich übereinstimmen (meistens sind Def. und Zielbereich hier Vektorräume)

Automorphismus - Ein Isomorphismus, bei dem Def. und Zielbereich übereinstimmen, also ein bijektiver Endomorphismus (meist sind Def. und Zielbereich hier Körper)

lg

Schadow

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


^ Seitenanfang ^
www.schulmatheforum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]