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

Polynomringe: Aufgabe 1
Status: (Frage) beantwortet Status 
Datum: 09:21 Sa 07.12.2013
Autor: ElizabethBalotelli

Aufgabe
Zu c [mm] \in \IR [/mm] betrachte [mm] K_c:=\IR\left[ X \right]/(X^2+c). [/mm] BEweise:
Für welche c ist [mm] K_c [/mm] ein Körper? Für welche c ist [mm] K_c [/mm] isomorph zu [mm] \IR [/mm] ? Für welche c ist [mm] K_c [/mm] isomorph zu [mm] \IC? [/mm]

Bevor es um die ganzen Fragen geht, würde ich gerne wissen, wie genau man sich so einen Polynomring vorstellen kann. Ich teile den Ring praktisch durch modulo [mm] X^2+c [/mm] und bekomme dann Reste?
Die Definition von Körper ist ja praktisch ein komm. Ring, der auch für alle Elemente dieses Ringes die inversen Multiplikativen erhält.
Wie gehe ich vor, wenn ich wissen will für welche c das der Fall ist? Und wir kann ich mir die Isomorphie zwischen [mm] \IR [/mm] und diesem [mm] K_c [/mm] anschaulich vorstellen?

Wär nett, wenn mir jemand helfen könnte =)
Liebe Grüße,
E. Balotelli

        
Bezug
Polynomringe: Antwort
Status: (Antwort) fertig Status 
Datum: 09:45 Sa 07.12.2013
Autor: angela.h.b.


> Zu c [mm]\in \IR[/mm] betrachte [mm]K_c:=\IR\left[ X \right]/(X^2+c).[/mm]
> BEweise:
> Für welche c ist [mm]K_c[/mm] ein Körper? Für welche c ist [mm]K_c[/mm]
> isomorph zu [mm]\IR[/mm] ? Für welche c ist [mm]K_c[/mm] isomorph zu [mm]\IC?[/mm]
> Bevor es um die ganzen Fragen geht, würde ich gerne
> wissen, wie genau man sich so einen Polynomring vorstellen
> kann.

Hallo,

"vorstellen" sollst Du Dir gar nichts.

Der Ring der Polynome [mm] \IR[X] [/mm] enthält als Elemente Polynome mit Koeffizienten aus [mm] \IR, [/mm]
die Verknüpfungen sind die Addition und die Multiplikation von Polynomen , so wie sie in der VL definiert wurden.

In dieser Aufgabe soll nun [mm] \IR[X] [/mm] modulo [mm] X^2+c [/mm] betrachtet werden.

Deine Mitschrift sollte Dir sagen:

[mm] f\equiv [/mm] g <==> [mm] (X^2+c) [/mm] teilt f-g.


[mm] \IR\left[ X \right]/(X^2+c) [/mm] enthält die Äquivalenzklassen modulo [mm] X^2+c. [/mm]

In [f] sind alle Polynome, für die die Differenz mit f teilbar ist duch [mm] X^2+c. [/mm]


Du könntest ja mal ein paar Polynome aufschreiben, die etwa in

[mm] [X^3+2X^2+1] [/mm] enthalten sind, um ein Gefühl für die Sache zu bekommen.


> Ich teile den Ring praktisch durch modulo [mm]X^2+c[/mm] und
> bekomme dann Reste?
> Die Definition von Körper ist ja praktisch ein komm.
> Ring, der auch für alle Elemente dieses Ringes die
> inversen Multiplikativen erhält.
> Wie gehe ich vor, wenn ich wissen will für welche c das
> der Fall ist?

Du mußt halt irgendwie überlegen, für welche c jedes Element außer dem Nullelement ein inverses hat.

>  Und wir kann ich mir die Isomorphie zwischen
> [mm]\IR[/mm] und diesem [mm]K_c[/mm] anschaulich vorstellen?

Am besten gar nicht.
Sie sind isomorph, wenn es einen Isomorphismus gibt.

LG Angela
>

> Wär nett, wenn mir jemand helfen könnte =)
> Liebe Grüße,
> E. Balotelli


Bezug
                
Bezug
Polynomringe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:50 Mo 09.12.2013
Autor: ElizabethBalotelli

kann.
>  
> Hallo,
>  
> "vorstellen" sollst Du Dir gar nichts.
>  
> Der Ring der Polynome [mm]\IR[X][/mm] enthält als Elemente Polynome
> mit Koeffizienten aus [mm]\IR,[/mm]
>  die Verknüpfungen sind die Addition und die
> Multiplikation von Polynomen , so wie sie in der VL
> definiert wurden.
>  
> In dieser Aufgabe soll nun [mm]\IR[X][/mm] modulo [mm]X^2+c[/mm] betrachtet
> werden.
>  
> Deine Mitschrift sollte Dir sagen:
>  
> [mm]f\equiv[/mm] g <==> [mm](X^2+c)[/mm] teilt f-g.
>  
>
> [mm]\IR\left[ X \right]/(X^2+c)[/mm] enthält die Äquivalenzklassen
> modulo [mm]X^2+c.[/mm]
>  
> In [f] sind alle Polynome, für die die Differenz mit f
> teilbar ist duch [mm]X^2+c.[/mm]

Also teilbar ohne Rest, dann?? Dann befindet sich praktisch für f-g das g in der Restklasse von Modulo [mm] X^2+c? [/mm]

>  
>
> Du könntest ja mal ein paar Polynome aufschreiben, die
> etwa in
>
> [mm][X^3+2X^2+1][/mm] enthalten sind, um ein Gefühl für die Sache
> zu bekommen.
>  

Also zum Beispiel [mm] X^3 [/mm] ist ein darin enthaltenes Polynom. Ich hab jetzt mal c=1 gewählt. Wenn ich jetzt das mache was du sagst, und [mm] X^3+2X^2+1-X^3 [/mm] nehme, so bekomme ich ja [mm] 2X^2+2, [/mm] was durch [mm] X^2+1 [/mm] ohne Rest teilbar ist.  Aber wenn ich für [mm] g:=2X^2 [/mm] nehme und das von f abziehe, ist die Differenz nicht durch [mm] X^2+1 [/mm] teilbar. Also liegt in dem Fall [mm] 2X^2 [/mm] nicht in der Restklasse, hab ich das so richtig verstanden?!

>
> > Ich teile den Ring praktisch durch modulo [mm]X^2+c[/mm] und
>  > bekomme dann Reste?

>  > Die Definition von Körper ist ja praktisch ein komm.

>  > Ring, der auch für alle Elemente dieses Ringes die

>  > inversen Multiplikativen erhält.

>  > Wie gehe ich vor, wenn ich wissen will für welche c

> das
>  > der Fall ist?

>  
> Du mußt halt irgendwie überlegen, für welche c jedes
> Element außer dem Nullelement ein inverses hat.

Eigentlich besteht  [mm]\IR\left[ X \right]/(X^2+c)[/mm] doch aus den Restklassen, das heißt hier zum Beispiel dem [mm] X^3. [/mm] Dieses muss multipliziert mit irgendetwas eins ergeben, damit es ein Körper wäre. Und dieses Inverse muss wiederum in der Restklasse liegen. Aber hängt das mit dem c zusammen? Bisher sehe ich da gar keinen Zusammenhang...

>  
> >  Und wir kann ich mir die Isomorphie zwischen

>  > [mm]\IR[/mm] und diesem [mm]K_c[/mm] anschaulich vorstellen?

>  
> Am besten gar nicht.
>  Sie sind isomorph, wenn es einen Isomorphismus gibt.
>  
> LG Angela
>  >
>  > Wär nett, wenn mir jemand helfen könnte =)

>  > Liebe Grüße,

>  > E. Balotelli


Bezug
                        
Bezug
Polynomringe: Antwort
Status: (Antwort) fertig Status 
Datum: 23:09 Mo 09.12.2013
Autor: angela.h.b.


> > In dieser Aufgabe soll nun [mm]\IR[X][/mm] modulo [mm]X^2+c[/mm] betrachtet
> > werden.
> >
> > Deine Mitschrift sollte Dir sagen:
> >
> > [mm]f\equiv[/mm] g <==> [mm](X^2+c)[/mm] teilt f-g.
> >
> >
> > [mm]\IR\left[ X \right]/(X^2+c)[/mm] enthält die Äquivalenzklassen
> > modulo [mm]X^2+c.[/mm]
> >
> > In [f] sind alle Polynome, für die die Differenz mit f
> > teilbar ist duch [mm]X^2+c.[/mm]

>

> Also teilbar ohne Rest, dann??

Hallo,

ja, natürlich: ohne Rest.

Es ist [mm] g\in [/mm] [f]
<==>
es gibt ein Polynom [mm] p\in \IR[X] [/mm] mit [mm] (f-g)=p(X^2+c) [/mm]



> Dann befindet sich praktisch
> für f-g das g in der Restklasse von Modulo

Ich verstehe den Inhalt des Satzes nicht.

> >
> >
> > Du könntest ja mal ein paar Polynome aufschreiben, die
> > etwa in
> >
> > [mm][X^3+2X^2+1][/mm] enthalten sind, um ein Gefühl für die Sache
> > zu bekommen.
> >
> Also zum Beispiel [mm]X^3[/mm] ist ein darin enthaltenes Polynom.
> Ich hab jetzt mal c=1 gewählt.

Achso.

> Wenn ich jetzt das mache
> was du sagst, und [mm]X^3+2X^2+1-X^3[/mm] nehme, so bekomme ich ja
> [mm]2X^2+2,[/mm]

Echt?
Ich bekomme  [mm] X^3+2X^2+1-X^3=2X^2+1, [/mm]
was nicht ohne Rest durch [mm] X^2+1 [/mm] zu teilen ist.


> was durch [mm]X^2+1[/mm] ohne Rest teilbar ist. Aber wenn
> ich für [mm]g:=2X^2[/mm] nehme und das von f abziehe, ist die
> Differenz nicht durch [mm]X^2+1[/mm] teilbar. Also liegt in dem Fall
> [mm]2X^2[/mm] nicht in der Restklasse, hab ich das so richtig
> verstanden?!

Ich glaube, Du hast es verstanden.


> > Du mußt halt irgendwie überlegen, für welche c jedes
> > Element außer dem Nullelement ein inverses hat.

> Eigentlich besteht [mm]\IR\left[ X \right]/(X^2+c)[/mm] doch aus
> den Restklassen,

Ja, die Elemente sind Restklassen modulo [mm] (X^2+c) [/mm]

> das heißt hier zum Beispiel dem [mm]X^3.[/mm]

Nein.
[mm] X^3 [/mm] ist ein Polynom und eine Restklasse.

[mm] [X^3] [/mm] ist eine Restklasse, nämlich
[mm] [X^3]:={f\in \IR[X]| (X^2+c) \quad teilt \quad X^3-f\} [/mm]

> Dieses muss multipliziert mit irgendetwas eins ergeben,
> damit es ein Körper wäre.

Ich frage mich gerade, ob Dir vielleicht ein Satz zur Verfügung steht, welcher Dir sagt, wann
K[X]/(p) ein Körper ist.
Vielleicht schaust Du mal nach.

LG Angela
 

Bezug
        
Bezug
Polynomringe: Antwort
Status: (Antwort) fertig Status 
Datum: 17:56 Mo 09.12.2013
Autor: UniversellesObjekt

Nur als Stichwort, das in diesem Zusammenhang nützlich sein könnte: Maximales Ideal

Liebe Grüße,
UniversellesObjekt

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


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