www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

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
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenGruppe, Ring, KörperGruppenhomomorphismen finden
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Gruppe, Ring, Körper" - Gruppenhomomorphismen finden
Gruppenhomomorphismen finden < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Gruppenhomomorphismen finden: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 12:05 Di 20.03.2007
Autor: Fylosofus

Aufgabe
Seien m, n natürliche Zahlen. Bestimmen Sie alle Gruppenhomomorphismen

f:Z/m −> Z/n .

( Z Körper der ganzen Zahlen )

Hallo!

Sehr viel Information ist in dieser Aufgabenstellung ja nun nicht gegeben... Also ich könnte mir sowieso einfach + additiv als Gruppenhomomorphismus vorstellen, und falls n eine Primzahl ist, auch * multiplikativ ...

Wie gehe ich vor, um wirklich alle Gruppenhomomorphismen zu ermitteln und zu beweisen dass es keine weiteren gibt ?

vielen Grüße,

Leon

        
Bezug
Gruppenhomomorphismen finden: Antwort
Status: (Antwort) fertig Status 
Datum: 13:00 Di 20.03.2007
Autor: statler

Mahlzeit Leon!

> Seien m, n natürliche Zahlen. Bestimmen Sie alle
> Gruppenhomomorphismen
>  
> f:Z/m −> Z/n .
>  
> ( Z Körper der ganzen Zahlen )

> Sehr viel Information ist in dieser Aufgabenstellung ja nun
> nicht gegeben...

Aber man weiß z. B., daß es sich um zyklische Gruppen handelt. Und man hat den Homomorphiesatz
G/ker(f) [mm] \cong [/mm] im(f)
Und man hat den Satz von Lagrange (|H| teilt |G|)
Das ist eine ganze Menge und reicht, um mal loszulegen.

Gruß aus HH-Harburg
Dieter


Bezug
        
Bezug
Gruppenhomomorphismen finden: Antwort
Status: (Antwort) fertig Status 
Datum: 10:21 Mi 21.03.2007
Autor: angela.h.b.


> Seien m, n natürliche Zahlen. Bestimmen Sie alle
> Gruppenhomomorphismen
>  
> f:Z/m −> Z/n .
>  
> ( Z Körper der ganzen Zahlen )


> Sehr viel Information ist in dieser Aufgabenstellung ja nun
> nicht gegeben... Also ich könnte mir sowieso einfach +
> additiv als Gruppenhomomorphismus vorstellen, und falls n
> eine Primzahl ist, auch * multiplikativ ...
>  
> Wie gehe ich vor, um wirklich alle Gruppenhomomorphismen zu
> ermitteln und zu beweisen dass es keine weiteren gibt ?


Hallo,

ich gehe davon aus, daß Du nicht die Algebravorlesung hörst, sondern "Mathe für ...".
Daher möchte ich Dieters Hinweise noch um ein paar Dinge ergänzen, die vielleicht zum Verständnis beitragen.

Es geht hier um zyklische Gruppen der Ordnung m bzw. n.
Sämtliche zyklische Gruppen der Ordnung m sind isomorph, ob Du Dir da jetzt eine multiplikative oder additive Gruppe drunter vorstellst, ist im Prinzip egal - sofern sie wirklich zyklisch ist und m Elemente hat.

Dies ist bei [mm] \IZ_n, [/mm] womit üblicherweise die [mm] (\IZ_n, [/mm] +), die additive Gruppe der Restklassen modulo m gemeint sind, der Fall.

Aber nun ganz große Vorsicht: auch für eine Primzahl p ist [mm] \IZ_p [/mm] mit der Multiplikation keine Gruppe! Bedenke, daß in [mm] \IZ_p [/mm] die 0 enthalten ist...

Natürlich hat - wie jede Sage - Dein Gedanke einen wahren Kern: nimmst Du aus der Menge der Restklassen modulo einer Primzahl die Null heraus, betrachtest also [mm] \IZ_p^{\*}, [/mm] die Einheitengruppe von [mm] \IZ_p, [/mm] hast Du eine zyklische Gruppe bzgl der Multiplikation. Diese hat allerdings einen Schönheitsfehler, jedenfalls soweit das Deine Aufgabe betrifft: sie hat nicht p Elemente!

Die Moral von der Geschicht': in Deiner Aufgabe sollst Du mit an Sicherheit die additiver Gruppe der Restklassen betrachten.
Aus den oben erwähnten Isomorphiegründen gilt Dein Ergebnis, welches Du aus Betrachtung dieses Falls gewinnst, dann für sämtliche Homomorphismen zwischen zyklischen Gruppen der Ordnung m und n. Die Mühe lohnt sich also.

Zur Vorgehensweise:

Jede zyklische Gruppe hat ein erzeugendes Element, wenn Du die Restklassen mod m bzw. n betrachtest, erzeugt die 1 die Gruppe.

Deshalb reduziert sich die Frage nach den möglichen Homomorhismen auf die Frage: auf welche Elemente darf ich die 1 abbilden?

Hierbei ist zu bedenken:

[mm] 0_n=\varphi(0_m)=\varphi(m*1_m)=m*\varphi(1_m), [/mm]

"m*1" meint hier:" [mm] \underbrace{1+...+1}_{m-mal}". [/mm]

Du mußt Deine Abbildung also so "organisieren", daß Du die [mm] 1_m [/mm] auf ein Element [mm] \varphi(1_m) [/mm] abbildest, dessen Ordnung (falls [mm] \varphi(1_m)\not=0_n) [/mm] ein Teiler von m ist.

Gruß v. Angela



Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]