www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

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
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenGruppe, Ring, KörperBerlekamp Algorithmus
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" - Berlekamp Algorithmus
Berlekamp Algorithmus < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Berlekamp Algorithmus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:15 Fr 12.07.2013
Autor: martinii

Aufgabe
Faktorisieren Sie mit Hilde des Berlekamp-Algorithmus das Polynom [mm] f(x)=x^3+2x^2+x+1, f\in\IF_{5}[x] [/mm] in irreduzible Faktoren.

Hallo zusammen,
ich habe zu dieser Aufgabe eine Frage.
Also das Berechnen der Matrix ist kein Problem.
Für diese Aufgabe lautet die Matrix:

[mm] \pmat{ 0 & 2 & 4 \\ 0 & 3 & 1 \\ 0 & 0 & 0} [/mm]

Weiter soll
[mm] \pmat{ 0 & 2 & 4 \\ 0 & 3 & 1 \\ 0 & 0 & 0} [/mm] * [mm] \pmat{b_{0}\\b_{1}\\b_{2}}=\pmat{0\\0\\0} [/mm]

sein.
GLS gelöst -->  [mm] b_{1} [/mm] = [mm] 3b_{2}. [/mm]

Soweit so gut. Wenn jetzt  [mm] b_{1} [/mm] = [mm] b_{2}= b_{3}=0 [/mm] gewesen wäre, dann hätte man sagen können f ist in [mm] \IF_{5}[x [/mm] irreduzibel. Das ist ja hier nicht der Fall.

Ich weiß jetzt aber nicht wie ich hier weiter machen soll. Im skript steht man solle ein nicht konstantes Polynom wählen welches im Kern liegt. Wie soll das Polynom aber aussehen? Ich weiß nicht so recht, wie ich darauf komme. Ebenso muss auch ein [mm] \alpha \in\IF_{5}[x] [/mm] gewählt werden um damit dann den ggt [mm] (f,g-\alpha) [/mm] zu berechnen. [mm] \alpha [/mm] kann doch dann nur 0,1,2,3,4 sein oder?

Vielleicht kann mir ja jemand von euch weiterhelfen :-)

LG



        
Bezug
Berlekamp Algorithmus: Antwort
Status: (Antwort) fertig Status 
Datum: 13:01 Sa 13.07.2013
Autor: felixf

Moin!

> Faktorisieren Sie mit Hilde des Berlekamp-Algorithmus das
> Polynom [mm]f(x)=x^3+2x^2+x+1, f\in\IF_{5}[x][/mm] in irreduzible
> Faktoren.
>
>  Hallo zusammen,
> ich habe zu dieser Aufgabe eine Frage.
>  Also das Berechnen der Matrix ist kein Problem.
> Für diese Aufgabe lautet die Matrix:
>  
> [mm]\pmat{ 0 & 2 & 4 \\ 0 & 3 & 1 \\ 0 & 0 & 0}[/mm]

Diese Matrix entspricht ja einer linearen Abbildung, die Polynome auf irgend etwas abbildet. Du solltest herausfinden, welche Basis des Polynomrings verwendet wird, damit du Elemente aus dem Kern als Polynom schreiben kannst.

> Weiter soll
> [mm]\pmat{ 0 & 2 & 4 \\ 0 & 3 & 1 \\ 0 & 0 & 0}[/mm] *
> [mm]\pmat{b_{0}\\b_{1}\\b_{2}}=\pmat{0\\0\\0}[/mm]
>  
> sein.
>  GLS gelöst -->  [mm]b_{1}[/mm] = [mm]3b_{2}.[/mm]
>  
> Soweit so gut. Wenn jetzt  [mm]b_{1}[/mm] = [mm]b_{2}= b_{3}=0[/mm] gewesen
> wäre, dann hätte man sagen können f ist in [mm]\IF_{5}[x[/mm]
> irreduzibel. Das ist ja hier nicht der Fall.
>
> Ich weiß jetzt aber nicht wie ich hier weiter machen soll.
> Im skript steht man solle ein nicht konstantes Polynom
> wählen welches im Kern liegt. Wie soll das Polynom aber
> aussehen? Ich weiß nicht so recht, wie ich darauf komme.

Wie ich oben schrieb: du musst herausfinden, welche Basis des Polynomrings (bzw. welches Polynomrings - vermutlich Polynome vom Grad [mm] $\le [/mm] 2$?) verwendet wurde. Damit kannst du dann Elemente aus dem Kern als Polynom hinschreiben.

> Ebenso muss auch ein [mm]\alpha \in\IF_{5}[x][/mm] gewählt werden
> um damit dann den ggt [mm](f,g-\alpha)[/mm] zu berechnen. [mm]\alpha[/mm]
> kann doch dann nur 0,1,2,3,4 sein oder?

Ja.

LG Felix


Bezug
                
Bezug
Berlekamp Algorithmus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:50 Mo 15.07.2013
Autor: martinii

Hallo Felix,

zunächst einmal danke für deine Antwort.

Allerdings Blicke ich immer noch nicht so durch.
Ich weiß, dass wir hier als nicht konstantes Polynom [mm] x^2+3x [/mm] gewählt haben.  Aber weiß nicht so recht warum.
Hätte ich nicht auch zum Beipsiel [mm] x^2+x [/mm] nehmen können.
Wie bestimme ich denn hiervon die Basis? Irgendwie stehe ich auf dem Schlauch.

LG


Bezug
                        
Bezug
Berlekamp Algorithmus: Antwort
Status: (Antwort) fertig Status 
Datum: 23:24 Di 16.07.2013
Autor: felixf

Moin,

hast du schon herausgefunden, bezueglich welchen Basen die Matrix aufgestellt wurde? Das ist hier absolut essentiell!

> Allerdings Blicke ich immer noch nicht so durch.
>  Ich weiß, dass wir hier als nicht konstantes Polynom
> [mm]x^2+3x[/mm] gewählt haben.  Aber weiß nicht so recht warum.

Weil es im Kern der zugehoerigen linearen Abbildung liegt. Ganz im Gegensatz zu [mm] $x^2 [/mm] + x$.

Ich vermute jetzt mal, dass die Basis [mm] $x^0, x^1, x^2$ [/mm] ist. Damit entspricht ein Vektor [mm] $\pmat{ b_0 \\ b_1 \\ b_2 }$ [/mm] dem Polynom [mm] $b_0 x^0 [/mm] + [mm] b_1 x^1 [/mm] + [mm] b_2 x^2$. [/mm] Und wenn der Kern bzgl. der Basis durch die Gleichung [mm] $b_1 [/mm] = 3 [mm] b_2$ [/mm] gegeben ist, dann sind im Kern gerade alle Polynome der Form $3 [mm] \lambda [/mm] x + [mm] \lambda x^2$, $\lambda \in \IF_5$. [/mm] Insbesondere ist $3 x + [mm] x^2$ [/mm] von dieser Form, $x + [mm] x^2$ [/mm] dagegen nicht.

LG Felix


Bezug
                                
Bezug
Berlekamp Algorithmus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 12:43 Do 18.07.2013
Autor: martinii

Ok. Das habe ich eigentlich verstanden.

Ich habe dann eine andere Aufgabe nachgerechnet. Der erste Teil war wieder kein Problem.

[mm] f=x^4+2 \in \IF_{3} [/mm]
Als Basen haben wir [mm] x^0, x^1, x^2, x^3 [/mm] genommen

Matrix ist [mm] \pmat{ 0 & 0 & 0 & 0 \\ 0 & 2 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 2 } [/mm]

Weiter soll ja folgendes berechnet werden:
  [mm] \pmat{ 0 & 0 & 0 & 0 \\ 0 & 2 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 2 } [/mm] * [mm] \pmat{ b_1 \\ b_2 \\ b_3 } [/mm] = [mm] \pmat{0 \\ 0 \\ 0 } [/mm]

--> [mm] b_1 [/mm] = [mm] b_3. [/mm]

Dann hätte ich jetzt gesagt dass mein Polynom bzgl. des Kerns so aussieht: [mm] x+x^3. [/mm]

Nun wurde bei der Aufgabe aber auch mit dem Polynom [mm] x+x^2+x^3 [/mm] oder [mm] x+2x^2+x^3 [/mm] gerechnet. Warum hier die [mm] x^2 [/mm] oder [mm] 2x^2? [/mm] Mein [mm] b_2 [/mm] ist ja beliebig. Folgt das daraus?


Bezug
                                        
Bezug
Berlekamp Algorithmus: Antwort
Status: (Antwort) fertig Status 
Datum: 11:36 Fr 19.07.2013
Autor: felixf

Moin!

> Ok. Das habe ich eigentlich verstanden.
>
> Ich habe dann eine andere Aufgabe nachgerechnet. Der erste
> Teil war wieder kein Problem.
>  
> [mm]f=x^4+2 \in \IF_{3}[/mm]
>  Als Basen haben wir [mm]x^0, x^1, x^2, x^3[/mm]
> genommen
>  
> Matrix ist [mm]\pmat{ 0 & 0 & 0 & 0 \\ 0 & 2 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 2 }[/mm]
>  
>  
> Weiter soll ja folgendes berechnet werden:
>    [mm]\pmat{ 0 & 0 & 0 & 0 \\ 0 & 2 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 2 }[/mm]
> * [mm]\pmat{ b_1 \\ b_2 \\ b_3 }[/mm] = [mm]\pmat{0 \\ 0 \\ 0 }[/mm]

Da fehlen dir aber ein paar Eintraege bei den Vektoren!

> --> [mm]b_1[/mm] = [mm]b_3.[/mm]

Da hat's aber noch mehr Bedingungen! Der Kern ist dreidimensional!

(Das ist uebrigens Stoff aus der linaren Algebra 1.)

> Dann hätte ich jetzt gesagt dass mein Polynom bzgl. des
> Kerns so aussieht: [mm]x+x^3.[/mm]

Das ist ein moegliches Polynom aus dem Kern.

> Nun wurde bei der Aufgabe aber auch mit dem Polynom
> [mm]x+x^2+x^3[/mm] oder [mm]x+2x^2+x^3[/mm] gerechnet. Warum hier die [mm]x^2[/mm]
> oder [mm]2x^2?[/mm] Mein [mm]b_2[/mm] ist ja beliebig. Folgt das daraus?

Ja. (Das hast du oben allerdings nicht geschrieben.)

Berechne eine Basis vom Kern. Alles was sich als Linearkombination dieser Basis schreiben laesst und nicht konstant ist (als Polynom aufgefasst!) kommt in Frage.

LG Felix


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


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]