Irreduzibles Polynom

Irreduzibles Polynom

In der Algebra, einem Teilgebiet der Mathematik, ist ein irreduzibles Polynom ein Polynom, das sich nicht als Produkt zweier nicht invertierbarer Polynome schreiben lässt und somit nicht in „einfachere“ Polynome zerfällt. Ihre Bedeutung für die Polynomringe ist in den meisten Fällen (Polynome über faktoriellen Ringen) mit der Bedeutung von Primzahlen für natürliche Zahlen gleich.

Inhaltsverzeichnis

Definition

Die Definition lässt sich bereits für Integritätsringe formulieren. Es ist bekannt, dass der Polynomring über einem Integritätsring selbst nullteilerfrei ist. Dies ist der Grund, dass die Definitionen von irreduziblen Elementen übernommen werden kann. Da in vielen Fällen nur Körper behandelt werden und die Definition dort einfacher ist, wird auch die Definition für diesen Spezialfall aufgeführt. In der allgemeinen Definition kann man sich trivialerweise auf eine Variable beschränken.

Definition allgemein für Integritätsringe

Es sei R ein Integritätsring. Dann heißt ein Polynom f\in R[X] irreduzibel, wenn f\neq 0 nicht invertierbar in R[X] ist und für g,h\in R[X] und f = gh entweder g oder h invertierbar ist.

Definition speziell für Körper

Es sei K ein Körper. Dann heißt ein Polynom P\in K[X_1,\ldots,X_n] aus dem Polynomring in n Unbestimmten irreduzibel, wenn P nicht konstant ist und es keine nichtkonstanten Polynome Q,R\in K[X_1,\ldots,X_n] gibt, so dass P=Q\cdot R gilt. Falls solche Polynome existieren, so heißt P auch reduzibel oder zerlegbar.

Eine äquivalente Beschreibung lautet: Irreduzible Polynome sind genau die irreduziblen Elemente im Ring K[X_1,\ldots,X_n].

Primpolynome und irreduzible Polynome im Vergleich

Ein Polynom f\in R[X] heißt prim, oder Primpolynom, wenn für alle g,h\in R[X] mit der Eigenschaft f | gh folgt f | g oder f | h. Ist der Ring sogar faktoriell, so ist auch R[X] faktoriell (Satz von Gauß). Insbesondere sind alle Körper faktoriell und damit auch die zugehörigen Polynomringe.

Für Polynome über faktoriellen Ringen (also auch für Polynome über einem Körper) sind Primelemente auch irreduzible Elemente und umgekehrt. Es gilt zudem eine bis auf Assoziiertheit eindeutige Zerlegung von Polynomen in Primpolynome.

Es lassen sich in diesen faktoriellen Ringen die Irreduziblität von Polynomen auch auf die Irreduzibilität von Polynomen über dem Quotientenkörper zurückführen. Dieses Problem ist aber nicht zwangsläufig einfacher zu lösen. Man beachte dazu, dass ein Polynom aus einem faktoriellen Ring R genau dann prim ist, wenn das Polynom entweder konstant einer Primzahl ist, oder irreduzibel und primitiv (d.h. größter gemeinsamer Teiler aller Koeffizienten ist 1) in dem Quotientenkörper über R.

Irreduzibilitätskriterien

In sehr vielen Bereichen kommen Polynome in einer Variablen vor, deren Irreduzibilität weitere Folgerungen möglich macht, z. B. grundlegend in der Galoistheorie und exemplarisch als Anwendung das chromatische Polynom in der Graphentheorie. (Siehe auch Minimalpolynom). Wichtig ist es deshalb einfache Entscheidungskriterien für die Irreduzibilität zur Hand zu haben.

Das Irreduzibilitätskriterium von Eisenstein

Das Eisensteinkriterium ist ein hinreichendes Kriterium für die Irreduzibilität eines Polynoms in einer erweiterten Koeffizientenmenge. Sei dazu A ein Integritätsring, P=a_nX^n+a_{n-1}X^{n-1}+\cdots+a_1X+a_0\in A[X]\text{ mit }a_n\neq 0\text{ und }n>0 ein Polynom mit Koeffizienten aus A und K der Quotientenkörper von A. Findet man ein Primelement p\in A, so dass gilt:

  • p\nmid a_n,
  • p\mid a_i für i=0,1,2,\ldots,n-1 sowie
  • p^2\nmid a_0,

dann ist P irreduzibel über K[X]. Es wird häufig angewendet für A =\Z und K = \mathbb Q . Man kann die Bedingung der Teilbarkeit durch das Primelement p auch überall durch Enthaltensein in einem Primideal von A ersetzen.

Ist A faktoriell und das Polynom P primitiv, dh. der größte gemeinsame Teiler aller Koeffizienten ist 1, dann ist P auch in A[X] irreduzibel.

Reduktionskriterium

Es sei wieder A ein Integritätsring mit Quotientenkörper K und p\in A ein Primelement. Ein Polynom f=\sum_{k=0}^na_kX^k\in A[X] mit p\nmid a_n ist dann (nicht notwendigerweise genau dann) irreduzibel in K[X], wenn das Polynom mit den modulo p reduzierten Koeffizienten in A / pA[X] irreduzibel ist.

Beispiele

  • Über Körpern gilt:
    • Jedes Polynom vom Grad 1 ist irreduzibel. Besitzt ein irreduzibles Polynom eine Nullstelle, so hat es Grad 1.
    • Insbesondere hat jedes irreduzible Polynom über einem algebraisch abgeschlossenen Körper wie \mathbb C Grad 1.
    • Jedes Polynom über K vom Grad 2 oder vom Grad 3 ist genau dann irreduzibel, wenn es keine Nullstelle in K hat.[1]
  • Jedes irreduzible Polynom über den reellen Zahlen hat Grad 1 oder 2, folglich entweder die Form aX + b mit a\ne0 oder aX2 + bX + c mit b2 − 4ac < 0. Das hängt damit zusammen, dass der algebraische Abschluss \mathbb C Grad 2 über \mathbb R hat.
  • f(X)\in \Z [X] irreduzibel über \Z \Leftrightarrow f(X)=\pm p für eine Primzahl aus \Z, oder f(X) ist primitiv und irreduzibel über \mathbb Q [X]
  • X^p-X+1\in \mathbb F_p[X] ist irreduzibel. Weil das Polynom invariant unter der von X\mapsto X+1 induzierten Abbildung ist, müsste es sonst in Linearfaktoren zerfallen, was aber nicht sein kann, da das Polynom in \mathbb F_p keine Nullstelle besitzt.
  • 2X^5+30X^3-60X^2+90\in\Q[X] ist irreduzibel. Dies folgt aus dem Eisensteinkriterium nur mit dem Primelement p = 5.
  • Für eine Primzahl p ist das Polynom Xnp für n\in\mathbb{N}, n\geq 1, irreduzibel über \mathbb{Q}. Das Minimalpolynom von \sqrt[n]{p} über \mathbb{Q} ist also Xnp. Als Folgerung ergibt sich beispielsweise, dass die Quadratwurzel aus 2 eine irrationale Zahl ist (oder eine n-te Wurzel aus einer Primzahl mit n > 0).
  • X^p-Y\in \mathbb F _p[X,Y] (oder als Element aus \left(\mathbb F _p(Y)\right)[X]- man beachte, dass es primitiv ist.) ist irreduzibel (Eisensteinsches Kriterium). Das Primelement ist dabei Y\in \mathbb F _p[Y]. Dieses Polynom ist allerdings nicht separabel, dh. es hat im algebraischen Abschluss von \mathbb F_p(Y) eine mehrfache Nullstelle. Dieses Phänomen tritt nicht in \Q auf.
  • Das Polynom 8X^5+7X^4+21X^2-15X+22\in \Z [X] ist irreduzibel, denn es ist primitiv und ein irreduzibles Polynom in den rationalen Zahlen. Man wende dazu das Reduktionskriterium an. Das Polynom mit den reduzierten Koeffizienten modulo 7 ist dabei X^5-X+1\in \mathbb F _7[X] und dies ist irreduzibel.

Einzelnachweise

  1. Ed Dubinsky, Uri Leron: Learning abstract algebra with ISETL. S. 232 (Satz 6.17).

Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Irreduzibles Element — In der Algebra ist ein Integritätsring oder Integritätsbereich ein nullteilerfreier kommutativer Ring mit einem Einselement, das von Null verschieden ist. Alternativ kann man einen Integritätsring definieren als einen kommutativen Ring mit 1, in… …   Deutsch Wikipedia

  • Eisenstein-Polynom — Das Eisensteinkriterium oder auch Irreduzibilitätskriterium von Eisenstein ist in der Algebra ein Kriterium um nachzuweisen, ob ein gegebenes Polynom ein irreduzibles Polynom ist. Es lassen sich damit leichter Aussagen über die Teilbarkeit von… …   Deutsch Wikipedia

  • Primitives Polynom — In der Theorie mathematischer Körper ist ein primitives Polynom das Minimalpolynom eines primitiven Elements einer Körpererweiterung GF(pm) über GF(p). Anders ausgedrückt ist ein Polynom F(X) mit den Koeffizienten aus ein primitives Polynom, wenn …   Deutsch Wikipedia

  • separables Polynom — separables Polynom,   Algebra: ein über einem Körper K irreduzibles nichtkonstantes Polynom, das in keinem Erweiterungskörper von K mehrfache Nullstellen besitzt …   Universal-Lexikon

  • Primpolynom — In der Algebra, einem Teilgebiet der Mathematik, ist ein irreduzibles Polynom ein Polynom, das sich nicht als Produkt zweier nicht invertierbarer Polynome schreiben lässt und somit nicht in „einfachere“ Polynome zerfällt. Ihre Bedeutung für die… …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Integrabel — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kollinear — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”