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 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
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenGruppe, Ring, KörperGruppenhomomorphismus
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Geschichte • Erdkunde • Sozialwissenschaften • Politik/Wirtschaft
Forum "Gruppe, Ring, Körper" - Gruppenhomomorphismus
Gruppenhomomorphismus < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Gruppenhomomorphismus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:19 Di 03.04.2012
Autor: dudelidei

Hallo,

ich glaube, ich habe eine recht einfache Frage, aber mir fehlt noch ein Denkschluss: Es geht um Folgendes:

Ich will die Anzahl von Gruppenhomomorphismen zwischen zyklischen Gruppen bestimmen.

Ich weiß, dass ich den Homomorphiesatz und Lagrange verwenden kann.

Ich weiß, dass die Anzahl der Gruppenhomomorphismen der Anzahl der Elemente aus der einen zyklischen Gruppe entsprechen, die, potenziert mit der Ordnung der anderen Gruppe, = 1 sind.

Also: [mm] \left | Grp(\IZ/m\IZ, \IZ/n\IZ) \right [/mm] | = [mm] \left | \left \{ a\epsilon\IZ/n\IZ\mid a^m = 1 \right \}\right [/mm] |

Wenn ich dies für Z/4Z auf Z/6Z betrachte, dann komm ich damit auf 2 Homomorphismen,da [mm] 5^4 [/mm] = 1 (mod 6) und [mm] 1^4 [/mm] = 1 (mod 6), also gibt es zwei.

Und jetzt die Frage: Wie kann ich dies auf m und n verallgemeinern? Sind das so viele, wie es zu m UND n teilerfremde Zahlen gibt? (Wenn m und n teilerfremd sind, habe ich in ähnlichen Fragen gelesen, "es gibt nur einen Homomorphismus, da m und n teilerfremd") Und warum wäre das dann so? Ich denke, dass hier Lagrange deutlich mehr gewusst hätte, weiß es auch jemand von Euch?

Vielen Dank!
Dudel


        
Bezug
Gruppenhomomorphismus: Antwort
Status: (Antwort) fertig Status 
Datum: 19:50 Di 03.04.2012
Autor: tobit09

Hallo Dudel,

> Ich will die Anzahl von Gruppenhomomorphismen zwischen
> zyklischen Gruppen bestimmen.

Zwischen endlichen zyklischen Gruppen genügt?

> Ich weiß, dass die Anzahl der Gruppenhomomorphismen der
> Anzahl der Elemente aus der einen zyklischen Gruppe
> entsprechen, die, potenziert mit der Ordnung der anderen
> Gruppe, = 1 sind.
>
> Also: [mm]\left | Grp(\IZ/m\IZ, \IZ/n\IZ) \right[/mm] | = [mm]\left | \left \{ a\epsilon\IZ/n\IZ\mid a^m = 1 \right \}\right[/mm]
> |

Das stimmt i.A. nur dann, wenn man [mm] $a^m=1$ [/mm] als [mm] $m\cdot [/mm] a=0$ liest.

Gesucht ist also die Anzahl der [mm] $a\in\IZ/n\IZ$, [/mm] deren Ordnung $m$ teilt.

> Und jetzt die Frage: Wie kann ich dies auf m und n
> verallgemeinern?

Da muss ich passen, daher lasse ich die Frage als nur teilweise beantwortet markiert.

> Sind das so viele, wie es zu m UND n
> teilerfremde Zahlen gibt?

Du meinst anscheinend etwas anderes als du schreibst: Es gibt stets unendlich viele zu m und n teilerfremde Zahlen.

> (Wenn m und n teilerfremd sind,
> habe ich in ähnlichen Fragen gelesen, "es gibt nur einen
> Homomorphismus, da m und n teilerfremd") Und warum wäre
> das dann so?

Wie viele [mm] $a\in\IZ/n\IZ$, [/mm] deren Ordnung $m$ teilt, gibt es dann? Als Ordnung von solchen $a$ kommt nur die 1 in Frage, da eine solche Ordnung sowohl m als auch n teilen muss. Und welche Elemente von [mm] $\IZ/n\IZ$ [/mm] haben Ordnung 1? Nur das neutrale Element 0. Also ist die gesuchte Anzahl gerade 1.

Viele Grüße
Tobias

Bezug
                
Bezug
Gruppenhomomorphismus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:33 Di 03.04.2012
Autor: dudelidei


Hallo Tobias, danke! (Zu dem [mm] a^m [/mm] und a*m: Ja, ich muss aufpassen mit der multiplikativen und additiven Schreibweise ... )

Aber: Ist Dein letzter Abchnitt nicht die Verallgemeinerung? Du sagst, was mir auch einleuchtend erscheint, dass die Ordnung der Elemente sowohl m und auch n teilen müssen. Wenn m und n teilerfremd, dann gibt es nur den Homomorphismus "alles auf die 0", da es nur eine Ordnung gibt, die beide teilt.

Bei meinem Beispiel Z/4Z --> Z/6Z gibt es jedoch zwei Elemente in der Z/6Z, deren Ordnung 4 (=m) teilen, nämlich die 3 und die 6. Und damit gibt es zwei Gruppenhomomorphismen. (Und damit ist meine alte Argumentation, warum es zwei geben soll, falsch).

Weiteres Bsp:
Wenn dies so stimmte, dann müsste es 4 Homomorphismen geben, die Z/4Z auf Z/12Z abbilden, da die 3,6,9,0 Ordnungen in Z/12Z haben, die die 4 teilen.

Oder?


Bezug
                        
Bezug
Gruppenhomomorphismus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:43 Di 03.04.2012
Autor: dudelidei


??: Also ich hab da jetzt nochmal draufgeschaut.

Kann es sein, dass es einfach ggt(m,n) viele Homomorphismen gibt? Kann es so einfach sein? Mir erscheint dies gerade ziemlich offensichtlich, aber warum steht das nirgendwo falls es stimmt? Stimmt es?

Danke, falls sich da jemand auskennt.


Bezug
                                
Bezug
Gruppenhomomorphismus: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 22:07 Di 03.04.2012
Autor: hippias

Jede zyklische Gruppe ist direktes Produkt von zyklischen Gruppen von Primzahlpotenzordnung. Zwischen Gruppen von Primzahlpotenzordnung kann es nur dann einen nichttrivialen Homomorphismus geben, wenn die Primzahlen gleich sind. Ferner ist ein Homomorphismus durch das Bild eines Erzeugers eindeutig bestimmt.
Aus dem Bauch gibt es zu [mm] $a\in \IZ_{p^{m}}$ [/mm] genau dann einen Homomorphismus [mm] $:\IZ_{p^{n}}\to \IZ_{p^{m}}$ [/mm] mit [mm] $1\mapsto [/mm] a$, wenn [mm] $p^{m}a= [/mm] 0$. Diese Anzahl ist $= [mm] p^{n}$, [/mm] falls [mm] $n\leq [/mm] m$ und $= [mm] p^{m}$, [/mm] falls $n>m$, also gleich dem ggT.

Ich hoffe, ich habe keinen dummen Fehler gemacht.

Bezug
                                
Bezug
Gruppenhomomorphismus: Antwort
Status: (Antwort) fertig Status 
Datum: 08:45 Mi 04.04.2012
Autor: tobit09


> Kann es sein, dass es einfach ggt(m,n) viele Homomorphismen
> gibt? Kann es so einfach sein? Mir erscheint dies gerade
> ziemlich offensichtlich, aber warum steht das nirgendwo
> falls es stimmt? Stimmt es?

Ja, tatsächlich!

Man kann ohne Bezug auf zyklische Gruppen von Primzahlpotenzordnung argumentieren:

Gesucht ist die Anzahl der [mm] $a\in\{0,1,\ldots,n-1\}$ [/mm] mit [mm] $m\cdot\overline{a}=\overline{0}$ [/mm] in [mm] $\IZ/n\IZ$, [/mm] also die Anzahl der [mm] $a\in\{0,1,\ldots,n-1\}$ [/mm] mit [mm] $n|(m\cdot [/mm] a)$ in [mm] $\IZ$. [/mm]

Sei g=ggT(n,m), so können wir n und m schreiben als

     [mm] $n=g\cdot [/mm] n'$
     [mm] $m=g\cdot [/mm] m'$

mit [mm] $n',m'\in\IN$ [/mm] teilerfremd.

Es gilt die Äquivalenz

     [mm] $n|(m\cdot a)\iff n'|(m'\cdot a)\iff [/mm] n'|a$.

Also sind die gesuchten [mm] $a\in\{0,1,\ldots,n-1\}$ [/mm] gerade

     [mm] $0,n',2n',\ldots,(g-1)n'$. [/mm]

Dies sind wie gewünscht g viele!

Bezug
                        
Bezug
Gruppenhomomorphismus: Antwort
Status: (Antwort) fertig Status 
Datum: 07:57 Mi 04.04.2012
Autor: tobit09


> Bei meinem Beispiel Z/4Z --> Z/6Z gibt es jedoch zwei
> Elemente in der Z/6Z, deren Ordnung 4 (=m) teilen, nämlich
> die 3 und die 6. Und damit gibt es zwei
> Gruppenhomomorphismen. (Und damit ist meine alte
> Argumentation, warum es zwei geben soll, falsch).
>
> Weiteres Bsp:
>  Wenn dies so stimmte, dann müsste es 4 Homomorphismen
> geben, die Z/4Z auf Z/12Z abbilden, da die 3,6,9,0
> Ordnungen in Z/12Z haben, die die 4 teilen.
>
> Oder?

[ok] Alles richtig!

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


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