Polynomdivison über einem Ring? |
02.05.2009, 09:56 | Felix | Auf diesen Beitrag antworten » | ||||||||
Polynomdivison über einem Ring? Meine Frage: Gilt dies auch über jedem Ring? Ich habe mir den Beweis nocheinmal durchgesehen und konnte keine Stelle entdecken, an der die Existenz eines neutralen/inversen Elements oder die Kommutativität (der Multiplikation) angewendet wurde. Nun wollte ich aber noch eine Bestätigung haben, ich könnte ja auch etwas übersehen haben. lg |
||||||||||
02.05.2009, 10:59 | DGU | Auf diesen Beitrag antworten » | ||||||||
Die angegebene Eigenschaft charakterisiert einen euklidischen Ring. Insbesondere sind solche Hauptidealringe. Allerdings ist R = Z[X] kein Hauptidealring (nimm z.B. das Ideal, das von 2 und X erzeugt wird), also nicht euklidisch. Über einem Körper anstatt über Z wäre (2,X) = (1) = R. |
||||||||||
02.05.2009, 11:08 | Felix | Auf diesen Beitrag antworten » | ||||||||
Hmm, dann hab ich wohl etwas übersehen.
Ja, das dieser Ring dann ein Hauptidealring ist folgt daraus (darum ist es mir auch gegangen). Welche Eigenschaften fehlen einem beliebigen Ring den um ein Hauptidealring zu sein ? |
||||||||||
02.05.2009, 11:18 | Mathespezialschüler | Auf diesen Beitrag antworten » | ||||||||
Das kann man nicht pauschal beantworten. Einem beliebigen Ring, der nicht Hauptidealring ist, fehlt einfach die Eigenschaft, dass alle Ideale Hauptideale sind (das ist einfach nur die Definition). Der Polynomring über einem kommutativen Ring ist genau dann ein Hauptidealring, wenn ein Körper ist. Im Übrigen sollte in dem Beweis doch dividiert werden. Sieh bitte noch einmal nach oder schildere uns deinen Beweis, falls das nicht der Fall sein sollte. |
||||||||||
02.05.2009, 11:48 | Felix | Auf diesen Beitrag antworten » | ||||||||
Mein Frage war falsch gestellt. Was ich eigentlich wissen wollte: Jeder Körper ist ein euklidscher Ring. Welche der 3 Eigenschaften (inverses/neutrales Element, Kommutativität) die ein Körper im Vergleich zu einem allgemeinen Ring mehr hat, ist dabei ausschlaggebend ?
Das dürfte meine Frage dann wohl auch beantworten (alle 3 )
Hier handelt es sich nur sehr indirekt um eine Aufgabe. Meine eigentliche Aufgabe war folgende: Sei z eine komplexe Zahl. Dann ist die Menge aller Polynome f über mit ein Ideal von . Diesen Teil hatte ich schon bewiesen. Im 2ten Teil sollte ich allerdings für den Fall z=i ein erzeugendes Element dieses Ideals angeben. Hier habe ich mir dann die Frage gestellt warum man annehmen kann, dass dieses Ideal ein Hauptideal ist. So bin ich auf meine Fragen gekommen ... |
||||||||||
02.05.2009, 12:13 | Elvis | Auf diesen Beitrag antworten » | ||||||||
Wieso ist ein Körper ein euklidischer Ring ??? In einem Körper kann man ohne Rest durch jedes von 0 verschiedene Element dividieren. Ein Polynomring über einem Körper ist ein euklidischer Ring, weil der "Euklidische Algorithmus" mit der Gradabbildung d=grad(f) funktioniert. |
||||||||||
Anzeige | ||||||||||
|
||||||||||
02.05.2009, 12:18 | Felix | Auf diesen Beitrag antworten » | ||||||||
Das hatte ich auch gemeint ... |
||||||||||
02.05.2009, 13:36 | Mathespezialschüler | Auf diesen Beitrag antworten » | ||||||||
Polynomringe bildet man i.A. nur über kommutativen Ringen und der Polynomring ist dann automatisch kommutativ. Nun gilt: . Also folgt Ein Hauptidealring ist ein Integritätsring, in dem jedes Ideal ein Hauptideal ist. Damit ein Integritätsring ist, muss also auch ein solcher sein. Ist sogar ein Körper, so ist dann auch jedes Ideal in ein Hauptideal. Man braucht also alle drei Eigenschaften.
Du meintest oben, du wärst den Beweis für die Aussage, dass ein Polynomring über einem Körper euklidisch ist, durchgegangen und hättest keine Division gesehen. Nur darauf hab ich mich bezogen. Wie sieht denn der Beweis aus?
Soll sein? Die Aufgabe "Geben Sie ein erzeugendes Element für das Ideal an" kann ja auch in Nicht-HIR gestellt werden. Dann soll man halt mit der Aufgabe zeigen, dass dieses Ideal ein Hauptideal ist und ein erzeugendes Element angeben. |
||||||||||
02.05.2009, 14:09 | Felix | Auf diesen Beitrag antworten » | ||||||||
Nein R ist ein Ring. Dann wirst du wohl recht haben, damit, dass man zeigen soll dass das Ideal ein Hauptideal ist. Die Aufgabenstellung ist nur so formuliert, dass ich dachte es wäre in jedem Fall so ...
Über Induktion nach . Habe jetzt entdeckt, dass der Induktionsanfang die Existenz des inversen Elements der Multiplikation voraussetzt(f=qg wobei alle Polynome den Grad 0 haben und somit Elemente des Rings sind). Außerdem wird im Induktionsschritt die Gradformel für Polynome angewandt, die Nullteilerfreiheit also die Existenz eines inversen Elements voraussetzt. Der Induktionsschritt läuft folgendermaßen ab: g hat einen Grad kleiner-gleich f (ansonsten f=r). Nun multipliziert man mit wobei , . Wenn man dieses Polynom noch mit einem geiegnetem Körperelement multipliziert erhält man ein Polynom vom Grad n das be den gleichen Koeffizienten wie hat. Daher ist ein Polynom dessen Grad kleiner n ist. Also können wir auf die Induktionsannahme anwenden: Man erhält |
||||||||||
02.05.2009, 14:17 | Mathespezialschüler | Auf diesen Beitrag antworten » | ||||||||
Beliebig kann der aber nicht sein. Um eine komplexe Zahl in das Polynom einzusetzen, muss man ja irgendeine sinnvolle Multiplikation von Ringelementen aus und komplexen Zahlen haben.
Nullteilerfreiheit ist nicht das Gleiche wie die Existenz eines Inversen! Es gibt nullteilerfreie Ringe, in denen keine Inversen existieren! Es gibt sogar nullteilerfreie Ringe ohne Eins, in denen also Inverse nicht einmal definiert werden können.
Und was für ein Element ist das wohl? Sei . Dann ist das obige gerade gegeben durch , noch eine Division! |
||||||||||
02.05.2009, 14:27 | Felix | Auf diesen Beitrag antworten » | ||||||||
Es ist doch die Menge der reelen Zahlen gemeint, da hab ich den feinen Unterschied zwischen fettgedruckt und nicht-fettgedruckt wohl übersehen.
Hmm, dass heißt dann wohl, dass die Existenz eines inversen und damit auch eines neutralen Elements gegeben sein muss. Ich finde aber keine Stelle an der man die Kommutativität eines Körpers benutzt |
||||||||||
02.05.2009, 16:34 | gast1 | Auf diesen Beitrag antworten » | ||||||||
RE: Polynomdivison über einem Ring?
Das einzige, was im Beweis verwendet wird, ist, dass der höchste Koeffizient von g eine Einheit ist. Mit dieser Voraussetzung stimmt die Aussage über jedem Ring (kommutativ mit 1). |
||||||||||
02.05.2009, 16:58 | Felix | Auf diesen Beitrag antworten » | ||||||||
RE: Polynomdivison über einem Ring?
Was meinst du mit eine Einheit? Was mich interessieren würde, ist an welcher Stelle in diesem Beweis die Kommutativität eines Körpers bezüglich der Multiplikation verwendet wird ? lg |
||||||||||
02.05.2009, 17:19 | gast1 | Auf diesen Beitrag antworten » | ||||||||
Eine Einheit ist ein multiplikativ invertierbares Element. Ich denke, die Kommutativität wird nicht benötigt. |
||||||||||
03.05.2009, 11:54 | Elvis | Auf diesen Beitrag antworten » | ||||||||
Stimmt genau, es gilt der Satz: Sei ein Ring und ein Polynom, dessen höchster Koeffizient eine Einheit ist. Dann gibt es zu jedem eindeutig bestimmte Polynome mit . Folgerung 1: Da für einen Schiefkörper jedes Element eine Einheit ist, ist euklidisch. Folgerung 2: Das gilt insbesondere für über einem Körper . |
||||||||||
03.05.2009, 11:57 | Felix | Auf diesen Beitrag antworten » | ||||||||
Ist dann auch jeder Polynomring über einem Schiefkörper ein Hauptidealring ? |
||||||||||
03.05.2009, 12:03 | Elvis | Auf diesen Beitrag antworten » | ||||||||
JA. Satz: Jeder euklidische Ring ist ein Hauptidealring. Satz: Jeder Hauptidealring ist noethersch. Satz: Jeder Hauptidealring ist faktoriell. |
||||||||||
03.05.2009, 12:05 | Felix | Auf diesen Beitrag antworten » | ||||||||
OK. Danke |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |