www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Englisch
  Status Grammatik
  Status Lektüre
  Status Korrekturlesen
  Status Übersetzung
  Status Sonstiges (Englisch)

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
Forum "Gruppe, Ring, Körper" - Restklassenringberechnung
Restklassenringberechnung < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Restklassenringberechnung: Aufgabe
Status: (Frage) beantwortet Status 
Datum: 16:19 Sa 16.05.2015
Autor: havoc1

Aufgabe
Zu zeigen:
[mm] (\IZ/m\IZ)/(n\IZ/m\IZ) \cong (\IZ/ggt(m,n)\IZ) [/mm]

Ich soll obigen Isomorphismus zeigen. Ich habe abre keinerlei Idee wieso dies gelten sollte. Zumal ich schon Schwierigkeiten habe mir [mm] n\IZ/m\IZ [/mm] vorzustellen, wie geht man das am besten an?

        
Bezug
Restklassenringberechnung: Antwort
Status: (Antwort) fertig Status 
Datum: 17:07 Sa 16.05.2015
Autor: hippias

[mm] $n\IZ/m\IZ$ [/mm] wird eine lapidare Schreibweise fuer [mm] $n\cdot \IZ/m\IZ$ [/mm] sein: denn ohne weitere Voraussetzungen gilt nicht [mm] $m\IZ\leq n\IZ$. [/mm]

Und damit ergibt sich auch schon ein erster Ansatz zur Loesung des Problems: Zeige, dass [mm] $n\cdot \IZ/m\IZ= (n\IZ+m\IZ)/m\IZ$ [/mm] gilt und wende dann auf die linke Seite den 2. Isomorphiesatz an.

Eine andere oft nuetzliche Herangehensweise an solcherlei Probleme ist, einen surjektiven Homomorphismus zwischen den Gruppen zu finden, dessen Kern gleich dem Normalteiler ist. Dann folgt die Behauptung aus dem Homomorphiesatz.
Hier speziell wuerde ich einen surjektiven Homomorphismus [mm] $\phi:\IZ\to (\IZ/m\IZ)/(n\cdot \IZ/m\IZ)$ [/mm] finden, dessen Kern $= [mm] ggT(n,m)\IZ$ [/mm] ist.



Bezug
                
Bezug
Restklassenringberechnung: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 18:08 Sa 16.05.2015
Autor: havoc1

Ja, also ein Isomorphiesatz liegt hier nahe. Als surjektive Abbildung würde mir nur die naive Einbettung einfallen.
Das Problem dabei bleibt aber, den Kern zu berechnen. Und da sind wir wieder bei der Problematik...
Die natürliche Einbettung ist hier so unhandlich/unschön, dass sich mir die Berechnung des Kerns nicht erschließen mag.
Gibt es da einen Trick?

Oder liegt die Idee doch darin einen geschickteren Homomorphismus zu wählen?

Bezug
                        
Bezug
Restklassenringberechnung: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 18:31 Sa 16.05.2015
Autor: hippias

Ich weiss nicht, was Du mit naiver bzw. natuerlicher Einbettung meinst. Zeig' doch mal wie Du versucht hast ihren Kern zu berechnen (wobei nach einem Empfinden eine Einbettung eigentlich injektiv sein sollte).

Bezug
                        
Bezug
Restklassenringberechnung: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:04 Sa 16.05.2015
Autor: havoc1

Naja, ich hätte folgende Abbildung angegeben:
[mm] \phi:\IZ [/mm] -> [mm] (\IZ/m\IZ)/(n\IZ/m\IZ), [/mm] x [mm] \mapsto (x+m\IZ)+(n* \IZ/m\IZ) [/mm]

Diese ist surjektiv. Nun wäre der Kern zu berechnen.
Ker [mm] \phi [/mm] = {x [mm] \in \IZ [/mm] | [mm] (x+m\IZ)+(n\* \IZ/m\IZ)=0} [/mm]
={x [mm] \in \IZ [/mm] | [mm] (x+m\IZ)\in (n\* \IZ/m\IZ) [/mm] }

Zum einen: Bin ich bis hier her auf den richtigen weg? Falls ja, wie gehts heir weiter, hier kommt jetzt die Krux um den ggt wohl ins Spiel..

Bezug
                                
Bezug
Restklassenringberechnung: Antwort
Status: (Antwort) fertig Status 
Datum: 13:47 So 17.05.2015
Autor: hippias


> Naja, ich hätte folgende Abbildung angegeben:
>  [mm]\phi:\IZ[/mm] -> [mm](\IZ/m\IZ)/(n\IZ/m\IZ),[/mm] x [mm]\mapsto (x+m\IZ)+(n* \IZ/m\IZ)[/mm]

>  
> Diese ist surjektiv. Nun wäre der Kern zu berechnen.
>  Ker [mm]\phi[/mm]Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

= {x [mm]\in \IZ[/mm] | [mm](x+m\IZ)+(n\* \IZ/m\IZ)=0}[/mm]Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)


>  ={x
> [mm]\in \IZ[/mm] | [mm](x+m\IZ)\in (n\* \IZ/m\IZ)[/mm]Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

}

>  
> Zum einen: Bin ich bis hier her auf den richtigen weg?

Ja.

> Falls ja, wie gehts heir weiter, hier kommt jetzt die Krux
> um den ggt wohl ins Spiel..

Sei $x\in Kern\phi$. Mache Dir anhand der Definition klar, dass dann ein $y\in \IZ$ existiert, sodass $m\vert x-ny$. Kannst Du daraus schlussfolgern, dass dann $ggt(n,m)\vert x$ gilt? Versuche die umgekehrte Inklusion.

Bezug
                        
Bezug
Restklassenringberechnung: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 18:20 Mi 20.05.2015
Autor: matux

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


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