www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 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 "Algebra" - Zerfällungskörper -Basis
Zerfällungskörper -Basis < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Zerfällungskörper -Basis: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 21:45 Mo 14.06.2010
Autor: T_sleeper

Aufgabe
Geben Sie eine Basis des Zerfällungskörpers von [mm] X^3-2 [/mm] über [mm] \mathbb{Q} [/mm] an.

Hallo,

es sollte gelten: [mm] X^{3}-2=(X-\sqrt[3]{2})\left( X+\sqrt[3]{2}\left( -\frac{1}{2}+\frac{i}% {2}\sqrt{3}\right) \right) \left( X+\sqrt[3]{2}\left( -\frac{1}{2}% -\frac{i}{2}\sqrt{3}\right) \right). [/mm]

Ganz naiv hätte ich jetzt den Zerfällungskörper so aufgeschrieben: [mm] \mathbb{Q}(\sqrt[3]{2},\sqrt[3]{2}\zeta_3,\sqrt[3]{2}\zeta_{3}^{2}). [/mm]

Er wird aber überall nur so angegeben: [mm] \mathbb{Q}(\sqrt[3]{2},\zeta_3). [/mm]

Warum reicht es wenn man nur die eine primite komplexe Einheitswurzel adjungiert. Ist in dem entstandenen Körper die andere automatisch drin?

Wenn ich von [mm] \mathbb{Q}(\sqrt[3]{2},\zeta_3) [/mm] ausgehe, komme ich zu der Basis: [mm] {1,\sqrt[3]{2},\sqrt[3]{4},\sqrt[3]{2}\zeta_3,\sqrt[3]{4}\zeta_3}. [/mm]

In der Basis ist dann [mm] (\zeta_3)^2 [/mm] nicht enthalten.
Wieso ist das so?

Gruß Sleeper

        
Bezug
Zerfällungskörper -Basis: Antwort
Status: (Antwort) fertig Status 
Datum: 22:53 Mo 14.06.2010
Autor: felixf

Hallo!

> Geben Sie eine Basis des Zerfällungskörpers von [mm]X^3-2[/mm]
> über [mm]\mathbb{Q}[/mm] an.
>  Hallo,
>  
> es sollte gelten: [mm]X^{3}-2=(X-\sqrt[3]{2})\left( X+\sqrt[3]{2}\left( -\frac{1}{2}+\frac{i}% {2}\sqrt{3}\right) \right) \left( X+\sqrt[3]{2}\left( -\frac{1}{2}% -\frac{i}{2}\sqrt{3}\right) \right).[/mm]
>  
> Ganz naiv hätte ich jetzt den Zerfällungskörper so
> aufgeschrieben:
> [mm]\mathbb{Q}(\sqrt[3]{2},\sqrt[3]{2}\zeta_3,\sqrt[3]{2}\zeta_{3}^{2}).[/mm]
>  
> Er wird aber überall nur so angegeben:
> [mm]\mathbb{Q}(\sqrt[3]{2},\zeta_3).[/mm]
>  
> Warum reicht es wenn man nur die eine primite komplexe
> Einheitswurzel adjungiert. Ist in dem entstandenen Körper
> die andere automatisch drin?

Na klar, [mm] $\IQ(\sqrt[]{2}, \zeta_3)$ [/mm] ist doch ein Koerper und enthaelt somit auch [mm] $\zeta_3^2 [/mm] = [mm] \zeta_3 \cdot \zeta_3$. [/mm]

> Wenn ich von [mm]\mathbb{Q}(\sqrt[3]{2},\zeta_3)[/mm] ausgehe, komme
> ich zu der Basis:
> [mm]{1,\sqrt[3]{2},\sqrt[3]{4},\sqrt[3]{2}\zeta_3,\sqrt[3]{4}\zeta_3}.[/mm]

[ok]

> In der Basis ist dann [mm](\zeta_3)^2[/mm] nicht enthalten.
>  Wieso ist das so?

Warum sollte [mm] $\zeta_3^2$ [/mm] da drinnen enthalten sein? Das muss doch ueberhaupt nicht.

Es ist doch [mm] $\zeta_3^2 [/mm] + [mm] \zeta_3 [/mm] + 1 = 0$, also [mm] $\zeta_3^2 [/mm] = [mm] -\zeta_3 [/mm] - 1$, womit sich [mm] $\zeta_3^2$ [/mm] bzgl. dieser Basis darstellen laesst.

LG Felix


Bezug
                
Bezug
Zerfällungskörper -Basis: Grad der Erweiterung
Status: (Frage) überfällig Status 
Datum: 13:20 Mi 16.06.2010
Autor: T_sleeper

Hey,
ja darauf hätte ich selber kommen sollen.

Ich muss mich nochmal dem Ganzen widmen. Wenn wir das Polynom [mm] X^3-2 [/mm] haben und den Zerfällungskörper über [mm] \mathbb{Q} [/mm] berechnen wollen, dann berechne ich zunächst die Nullstellen. Dies sind [mm] \sqrt[3]{2},\sqrt[3]{2}\zeta_{3},\sqrt[3]{2}\zeta_{3}^{2}, [/mm] d.h. der Zerfällungskörper ist [mm] \mathbb{Q}(\sqrt[3]{2},\sqrt[3]{2}\zeta_{3}). [/mm] Jetzt möchte ich den Grad bestimmen. Ich mache das zunächst mit dem Gradsatz, also [mm] [\mathbb{Q}(\sqrt[3]{2},\sqrt[3]{2}\zeta_{3}):\mathbb{Q}]=[\mathbb{Q}(\sqrt[3]{2},\sqrt[3]{2}\zeta_{3}):\mathbb{Q}(\sqrt[3]{2})][\mathbb{Q}(\sqrt[3]{2}):\mathbb{Q}]. [/mm]

Es gilt recht offensichtlich [mm] [\mathbb{Q}(\sqrt[3]{2}):\mathbb{Q}]=3, [/mm] weil [mm] X^{3}-2 [/mm] Minimalpolyonm ist.

Betrachte ich nun das Minimalpolynom von [mm] \sqrt[3]{2}\zeta_{3} [/mm] über [mm] \mathbb{Q}(\sqrt[3]{2}), [/mm] so ist das [mm] \frac{X^{3}-2}{X-\sqrt[3]{2}}\in\mathbb{Q}(\sqrt[3]{2})[X]. [/mm] Und das hat Grad 2.

Also kommt bei dem Grad des Zerfällungskörper 6 raus über [mm] \mathbb{Q}. [/mm] Ist das zunächst richtig so?

Eigentlich gehts mir vielmehr um folgendes:

Ich betrachte einzeln [mm] \mathbb{Q}(\sqrt[3]{2}) [/mm] und [mm] \mathbb{Q}(\sqrt[3]{2}\zeta_{3}) [/mm] und will Basen bestimmen. Recht schnell geht das bei [mm] \mathbb{Q}(\sqrt[3]{2}), [/mm] steht ja schon im vorherigen Post.

Was ist aber eine Basis von [mm] \mathbb{Q}(\sqrt[3]{2}\zeta_{3}) [/mm] als Vektorraum über [mm] \mathbb{Q}? [/mm] Die sollte auch die Dimenson 3 haben.

Ich dachte zunächst an [mm] B=\{1,\sqrt[3]{2}\zeta_{3},\sqrt[3]{4}\zeta_{3}^{2}\}. [/mm] Ist das richtig (ist nur geraten)?

Bezug
                        
Bezug
Zerfällungskörper -Basis: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:20 Fr 18.06.2010
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]