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

Existenz Ringmonomorphismus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 14:15 So 03.07.2011
Autor: Sindacco

Hallo,

ich habe zwei kommutative Ringe R, S mit 1 und einen Ringhomomorphismus f:R->S, sowie ein Ideal I in S.

Ich möchte nun zeigen, dass ein Monomorphismus zwischen [mm] R/f^{-1}(I) [/mm] und S/I existiert.

Unser Übungsleiter hat uns den Tipp gegeben, wir sollten den Homomorphiesatz verwenden. Leider weiß ich nicht genau wie.

Mir fehlt da auch jeglicher Ansatz, wäre nett, wenn mir mal jemand einen Tipp geben könnte.

Gruß

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

        
Bezug
Existenz Ringmonomorphismus: Antwort
Status: (Antwort) fertig Status 
Datum: 15:07 So 03.07.2011
Autor: felixf

Moin!

> ich habe zwei kommutative Ringe R, S mit 1 und einen
> Ringhomomorphismus f:R->S, sowie ein Ideal I in S.
>  
> Ich möchte nun zeigen, dass ein Monomorphismus zwischen
> [mm]R/f^{-1}(I)[/mm] und S/I existiert.
>  
> Unser Übungsleiter hat uns den Tipp gegeben, wir sollten
> den Homomorphiesatz verwenden. Leider weiß ich nicht genau
> wie.

Wende den Homomorphismus auf [mm] $\pi \circ [/mm] f$ an, wobei [mm] $\pi [/mm] : S [mm] \to [/mm] S/I$ die kanonische Projektion ist.

Was ist der Kern der Verkettung?

LG Felix


Bezug
                
Bezug
Existenz Ringmonomorphismus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:45 So 03.07.2011
Autor: Sindacco

Mal angenommen g sei der gesuchte Monnmorphismus. Dann soll ich g auf [mm] \pi \circ [/mm] f anwenden. Dann bekomm ich doch

g [mm] \circ \pi \circ [/mm] f ?

Aber dann wirft mich [mm] \pi [/mm] in S/I, für g brauch ich aber ein Ideal aus [mm] R/f^{-1}(I)? [/mm]

Oder hab ich das falsch verstanden?



Bezug
                        
Bezug
Existenz Ringmonomorphismus: Antwort
Status: (Antwort) fertig Status 
Datum: 18:47 So 03.07.2011
Autor: felixf

Moin!

> Mal angenommen g sei der gesuchte Monnmorphismus. Dann soll
> ich g auf [mm]\pi \circ[/mm] f anwenden. Dann bekomm ich doch

Was meinst du mit "darauf anwenden"? [mm] $\pi \circ [/mm] f$ ist ein Homomorphismus $R [mm] \to [/mm] S/I$, waehrend $g$ ein Homomorphismus [mm] $R/f^{-1}(I) \to [/mm] S/I$ ist.

> g [mm]\circ \pi \circ[/mm] f ?

Das macht keinen Sinn. [mm] $\pi \circ [/mm] f$ geht nicht nach [mm] $R/f^{-1}(I)$, [/mm] sondern nach $S/I$.

> Aber dann wirft mich [mm]\pi[/mm] in S/I, für g brauch ich aber ein
> Ideal aus [mm]R/f^{-1}(I)?[/mm]
>  
> Oder hab ich das falsch verstanden?

Offenbar ja.

Was besagt denn der Homomorphiesatz?

LG Felix


Bezug
                                
Bezug
Existenz Ringmonomorphismus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:06 So 03.07.2011
Autor: Sindacco

Achso, ich glaub jetzt hab ich's.

Du meintest wohl nicht "Homomorphismus anwenden" sondern "Homomorphiesatz anwenden".

Dann ist [mm] ker(\pi \circ [/mm] f) = {a [mm] \in [/mm] R : f(a) [mm] \in [/mm] I} = [mm] f^{-1}(I). [/mm]
Mit Homom'satz folgt

[mm] R/f^{-1}(I) \cong (\pi \circ [/mm] f)(R) = [mm] \pi(f(R)). [/mm]

Da f(R) [mm] \subset [/mm] S folgt [mm] \pi(f(R)) \subset [/mm] S/I.

Daraus ergibt sich, dass die Abbildung

[mm] x:R/f^{-1}(I) \to [/mm] S/I

ein Monomorphismus ist [mm] (ker(x)=f^{-1}(I) [/mm] ??).

Richtig?
Das heißt doch insbesondere, dass [mm] R/f^{-1}(I) [/mm] einem Unterring von S/I entspricht, oder?

Bezug
                                        
Bezug
Existenz Ringmonomorphismus: Antwort
Status: (Antwort) fertig Status 
Datum: 20:33 So 03.07.2011
Autor: felixf

Moin

> Du meintest wohl nicht "Homomorphismus anwenden" sondern
> "Homomorphiesatz anwenden".

Oh. Ja, genau das wollte ich schreiben...

> Dann ist [mm]ker(\pi \circ[/mm]Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

f) = {a [mm]\in[/mm] R : f(a) [mm]\in[/mm]Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

I} =

> [mm]f^{-1}(I).[/mm]
>  Mit Homom'satz folgt
>  
> [mm]R/f^{-1}(I) \cong (\pi \circ[/mm] f)(R) = [mm]\pi(f(R)).[/mm]
>  
> Da f(R) [mm]\subset[/mm] S folgt [mm]\pi(f(R)) \subset[/mm] S/I.
>  
> Daraus ergibt sich, dass die Abbildung
>  
> [mm]x:R/f^{-1}(I) \to[/mm] S/I
>
> ein Monomorphismus ist [mm](ker(x)=f^{-1}(I)[/mm] ??).
>  
> Richtig?

Ja.

>  Das heißt doch insbesondere, dass [mm]R/f^{-1}(I)[/mm] einem
> Unterring von S/I entspricht, oder?

Genau!

LG Felix


Bezug
                                                
Bezug
Existenz Ringmonomorphismus: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 20:56 So 03.07.2011
Autor: Sindacco

Das is ja cool :)

Auch hier nochmals danke für deine Hilfe!

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


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