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 Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-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
StartseiteMatheForenGruppe, Ring, KörperTeilringe
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Deutsch • Englisch • Französisch • Latein • Spanisch • Russisch • Griechisch
Forum "Gruppe, Ring, Körper" - Teilringe
Teilringe < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Teilringe: nicht isomorph
Status: (Frage) beantwortet Status 
Datum: 20:20 Mi 24.11.2010
Autor: clemenum

Aufgabe
Zeige, dass die Teilringe [mm] $\mathbb{Z}[\sqrt{2}]$ [/mm] und [mm] $\mathbb{Z}[i]$ [/mm] von [mm] $\mathbb{R}$ [/mm] nicht zueinander isomorph sind.

Mein Vorschlag wäre hier ein Widerspruchsbeweis.
Nur, weiß ich leider nicht, wie ich die Annahme, dass es eine isomorphe Abbildung zwischen diesen beiden Mengen gibt, zu einem Widerspruch führen soll, kann mir da jemand helfen?

        
Bezug
Teilringe: Antwort
Status: (Antwort) fertig Status 
Datum: 20:29 Mi 24.11.2010
Autor: felixf

Moin!

> Zeige, dass die Teilringe [mm]\mathbb{Z}[\sqrt{2}][/mm] und
> [mm]\mathbb{Z}[i][/mm] von [mm]\mathbb{R}[/mm] nicht zueinander isomorph sind.[/i][/mm]
> [mm][i] Mein Vorschlag wäre hier ein Widerspruchsbeweis. [/i][/mm]
> [mm][i]Nur, weiß ich leider nicht, wie ich die Annahme, dass es [/i][/mm]
> [mm][i]eine isomorphe Abbildung zwischen diesen beiden Mengen [/i][/mm]
> [mm][i]gibt, zu einem Widerspruch führen soll, kann mir da jemand [/i][/mm]
> [mm][i]helfen? [/i][/mm]

Der eine Ring enthaelt ein Element, dessen Quadrat gleich -1 ist.

Worauf wird so ein Element unter einem Isomorphismus abgebildet?

LG Felix


Bezug
                
Bezug
Teilringe: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 20:37 Mi 24.11.2010
Autor: clemenum

Wegen der Existenz einer umkehrbareindeutigen Abbildung, muss es es eine identische Abbildung geben, daher nehme ich an, dass so ein Element wieder auf sich selbst abgebildet wird??? (Sry, wenn das ein Blödsinn ist, ich stehe nur gerade auf der Leitung)

Bezug
                        
Bezug
Teilringe: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 21:20 Fr 26.11.2010
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
                
Bezug
Teilringe: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 11:45 Do 25.11.2010
Autor: clemenum

Also, ich betrachte beispielsweise die Abbildung:
[mm] $\phi: \mathbb{C} [/mm] -> [mm] \mathbb{R}$ [/mm]
$ x [mm] \mapsto x^2 [/mm] $
Da kann ich ja sagen:
[mm] $\phi(ii)=\phi(-1)=1=\phi(i)\cdot\phi(i) [/mm] = [mm] i^2\cdot i^2=i^4=1$ [/mm] Also wird dadurch zumindest ein Homomorphismus definiert. Wie weiß ich nun, wann hier ein Isomorphismus definiert wrd und wie sehe ich, dass es zwischen diesen beiden Ringen keinen geben kann.
Ich meine, der eine lautet ja
[mm] $\mathbb{Z}[\sqrt{2}]:=\{a+b\sqrt{2}|a,b \in \mathbb{Z} \}$ [/mm]
[mm] $\mathbb{Z}[i]:= \{a+bi|a,b \in Z\}$ [/mm]

Kann mir da jemand einen Tipp geben

Bezug
                        
Bezug
Teilringe: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 11:59 Do 25.11.2010
Autor: clemenum

Liebe Mitglieder!

Ich habe nur die eine Frage an euch:
Reicht das Argument aus, dass ich sage, dass unter einem Isomorphismus von [mm] $\mathbb{Z}[i] [/mm] nach [mm] $\mathbb{Z}{\sqrt{2}}$ [/mm] beispielsweise [mm] $\sqrt{2}$ [/mm] nicht getroffen werden kann, was ja die Surjektivität widerlegt und damit, dass es einen Isomorphismu geben kann.

Ich bitte euch nur um ein ja oder nein! ;)    

Bezug
                                
Bezug
Teilringe: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 12:25 Sa 27.11.2010
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
                        
Bezug
Teilringe: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 12:25 Sa 27.11.2010
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
                
Bezug
Teilringe: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 12:59 Do 25.11.2010
Autor: clemenum

Ich betrachte folgende Abbildung:

[mm] $\phi: \mathbb{Z} [/mm] -> [mm] \mathbb{Z}[i] [/mm]
[mm] a+b\sqrt{2}$ [/mm] -> a+bi
$x [mm] \mapsto x^2 [/mm] $

Da sieht man sofort, dass nur reelle Zahlen als Bilder unter $phi$ vorkommen, jedoch keine reinkomplexen, was ja die Bijektivität widerlegt...

Ist meine Argumentation in Ordnung?

Bezug
                        
Bezug
Teilringe: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 13:22 Sa 27.11.2010
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
        
Bezug
Teilringe: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 21:52 Mi 24.11.2010
Autor: clemenum

Ok, bitte verzeiht mir die letzhin "dumme" Frage.

Ich habe nur keine Idee wie diese Ringe definiert sind und was hier überhaupt zu zeigen ist, ich meine, was hier formal zu zeigen ist, in der Homomorphismenschreibweise für phi.
Kann mir das jemand sagen, dann kenn ich mich aus, würde mich jedenfalls sehr freuen! ;)

Bezug
                
Bezug
Teilringe: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 22:21 Fr 26.11.2010
Autor: matux

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


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