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 Schulmathe
  Status Primarstufe
  Status Mathe Klassen 5-7
  Status Mathe Klassen 8-10
  Status Oberstufenmathe
    Status Schul-Analysis
    Status Lin. Algebra/Vektor
    Status Stochastik
    Status Abivorbereitung
  Status Mathe-Wettbewerbe
    Status Bundeswettb. Mathe
    Status Deutsche MO
    Status Internationale MO
    Status MO andere Länder
    Status Känguru
  Status 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
StartseiteMatheForenAlgebraKonjugierte in Polynom
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Algebra" - Konjugierte in Polynom
Konjugierte in Polynom < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Konjugierte in Polynom: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:58 Do 13.01.2011
Autor: Harris

Hi! Ich habe eine Frage:

[mm] \alpha, \beta [/mm] seien algebraisch über [mm] \IQ. [/mm]
[mm] \alpha=\alpha_1,...,\alpha_n [/mm] seien die Konjugierten (also Nullstellen des Minimalpolynoms) von [mm] \alpha. [/mm]
[mm] \beta=\beta_1,...,\beta_m [/mm] seien die Konjugierten von [mm] \beta. [/mm]

Für [mm] \IQ(\alpha,\beta) [/mm] sei [mm] \theta [/mm] das primitive Element, also [mm] \IQ(\alpha,\beta)=\IQ(\theta). [/mm]

Nun hab ich ein Polynom [mm] p(x,y)\in\IZ[x,y] [/mm] k-ten Grades.

Gibt es irgendeinen Satz, der irgendetwas über
[mm] \produkt_{i=1}^{n}\produkt_{j=1}^{m} p(\alpha_i,\beta_j) [/mm]
aussagt?

Ist dieses Produkt ein Polynom [mm] q(\theta) [/mm] mit dem Grad nmk?

Wäre super, wenn es hierzu irgendwas gäbe. Hier is ja nix mit dem Satz über elementarsymmetrische Funktionen anzufangen.

        
Bezug
Konjugierte in Polynom: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 16:27 Do 13.01.2011
Autor: Harris

Sorry, hab mir nen Schmarrn zusammengereimt.
War echt ne dumme Frage. Einfach ignorieren! ;)

Bezug
        
Bezug
Konjugierte in Polynom: Antwort
Status: (Antwort) fertig Status 
Datum: 17:32 Do 13.01.2011
Autor: felixf

Moin,

auch wenn sich das schon fuer dich erledigt hat, hier etwas fuer die Allgemeinheit:

> [mm]\alpha, \beta[/mm] seien algebraisch über [mm]\IQ.[/mm]
>  [mm]\alpha=\alpha_1,...,\alpha_n[/mm] seien die Konjugierten (also
> Nullstellen des Minimalpolynoms) von [mm]\alpha.[/mm]
>  [mm]\beta=\beta_1,...,\beta_m[/mm] seien die Konjugierten von
> [mm]\beta.[/mm]
>  
> Für [mm]\IQ(\alpha,\beta)[/mm] sei [mm]\theta[/mm] das primitive Element,
> also [mm]\IQ(\alpha,\beta)=\IQ(\theta).[/mm]
>  
> Nun hab ich ein Polynom [mm]p(x,y)\in\IZ[x,y][/mm] k-ten Grades.
>  
> Gibt es irgendeinen Satz, der irgendetwas über
>  [mm]\produkt_{i=1}^{n}\produkt_{j=1}^{m} p(\alpha_i,\beta_j)[/mm]
>  
> aussagt?

Da wir mit [mm] $\IQ$ [/mm] einen perfekten Koerper haben sind die Minimalpolynome separabel. Also gilt mit []dem hier, wenn [mm] $m_\alpha$ [/mm] und [mm] $m_\beta$ [/mm] die entsprechenden Minimalpolynome sind: [mm] $\prod_i \prod_j p(\alpha_i, \beta_j) [/mm] = [mm] \prod_i res(m_\beta(X), p(\alpha_i, [/mm] X)) = [mm] res(m_\alpha(T), [/mm] f(T))$, wobei $f(T) = [mm] res(m_\beta(X), [/mm] p(T, X)) [mm] \in \IQ[T]$ [/mm] ist.

Insbesondere ist das Resultat eine rationale Zahl.

Da die Resultante ein polynomieller Ausdruck ist, kann man das Produkt [mm] $\prod_i \prod_j p(\alpha_i, \alpha_j)$ [/mm] als polynomiellen Ausdruck in den Koeffizienten von [mm] $m_\alpha$ [/mm] und [mm] $m_\beta$ [/mm] auffassen.

> Ist dieses Produkt ein Polynom [mm]q(\theta)[/mm] mit dem Grad nmk?

Soll das Polynom nur von $n, m, p$ abhaengen? Oder darf es auch von [mm] $\alpha$ [/mm] und [mm] $\beta$ [/mm] abhaengen? In letzteren Fall hat es Grad 0 :-)

LG Felix


Bezug
                
Bezug
Konjugierte in Polynom: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 19:15 Do 13.01.2011
Autor: Harris

Ne... mein eigentliches Problem ist:

Ich habe eine algebraische Zahl

[mm] \alpha(t,k)=\summe_{n=0}^{D_1-1}\summe_{m=0}^{D_2-1} a_{mn} P_{m,n,t}(\beta_1(k),\beta_2,\beta_3,\beta_4) [/mm]
wobei [mm] a_{mn}\in\IZ [/mm] durch diese Überlegung zu suchen sind (mittels []Lemma von Siegel), [mm] \beta_j [/mm] auch algebraisch, [mm] \beta_1 [/mm] hängt von k ab, [mm] \alpha [/mm] selbst hängt von t und k ab, das Polynom ist [mm] P_{m,n,t}\in\IZ[w,x,y,z], [/mm] wobei die Grade und Koeffizienten von P von den 3 Variablen m,n (über die summiert wird) und t abhängen. Hierfür sei t=1...T, k=1...K

Nun ist ja offensichtlich [mm] \alpha\in\IQ(\beta_1,\beta_2,\beta_3,\beta_4)=\IQ(\theta) [/mm] mit [mm] \theta [/mm] primitivem Element vom Grad [mm] \delta. [/mm]

Deswegen kann ich [mm] \alpha [/mm] ja auch als [mm] \summe_{i=0}^{\delta-1} b_i\theta^i [/mm] ausdrücken.

Problem: Nun soll ich irgendwie aus der Differenz der beiden Summen [mm] KT\delta [/mm] Gleichungen mit den [mm] D_1 D_2 [/mm] Unbekannten [mm] a_{mn} [/mm] machen, aber ich hab total Probleme, die 4 algebraischen Zahlen [mm] \beta_1...\beta_4 [/mm] zu [mm] \theta [/mm] zu verwandelt und gleichzeitig [mm] KT\delta [/mm] Gleichungen hinzukriegen, da es ja (weil [mm] \alpha [/mm] von t,k abhängt) nur KT Gleichungen wären.

Fürs Lemma von Siegel lässt sich dann Problemlos [mm] D_1D_2>KT\delta [/mm] wählen.

Hat irgendwer ne Idee? Ich kau da schon ewig rum :(
Wäre so geil :)

Edit: Hab was vergessen: [mm] \beta_1(k) [/mm] sind lediglich rationale Vielfache von der gleichen algebraischen Zahl, also insbesondere [mm] \IQ(\beta_1(i))=\IQ(\beta_1(j)) [/mm]

Bezug
                        
Bezug
Konjugierte in Polynom: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:20 Sa 22.01.2011
Autor: matux

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


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