Kategorie

A B C D E
F G H I J
K L M N O
P Q R S T
U V W X Y
Z 0      

algebraische unabha ngigkeit

aa ab ac ad ae af ag ah ai aj ak al am
an ao ap aq ar as at au av aw ax ay az

Algebraische Unabhängigkeit

In der abstrakten Algebra ist die algebraische Unabhängigkeit eine Eigenschaften von Elementen einer transzendenten Körpererweiterung, welche besagt, dass diese Elemente keine nichttriviale Polynomgleichung mit Koeffizienten im Grundkörper erfüllen.

Beispiele

Beispiele von komplexen Zahlen, die über Q algebraisch unabhängig sind, sind schwerer zu finden (gibt es überhaupt "aufschreibbare" Beispiele?), obwohl es bewiesenermaßen unendlich viele über Q algebraisch unabhängige komplexe Zahlen gibt. Leicht ist es dagegen, Beispiele in anderen Körpern zu finden:
  • Im rationalen Funktionenkörper Q(X, Y) in zwei Unbestimmten X und Y über den rationalen Zahlen sind die Elemente X und Y algebraisch unabhängig, denn nach Definition dieses Körpers ist das einzige Polynom in zwei Variablen, das an der Stelle (X, Y) gleich 0 ist, das Nullpolynom.

Definition

Sei L/K eine Körpererweiterung. Seien v1, ..., vn Elemente von L. Gibt es ein vom Nullpolynom verschiedenes Polynom f in n Variablen und Koeffizienten in K, d.h. f in K[X1, ..., Xn]\\{0}, so dass

f(v1, ..., vn) = 0,
dann heißen v1, ..., vn algebraisch abhängig.

Existiert kein solches Polynom, dann heißen die Elemente algebraisch unabhängig.

Dieser Begriff kann auf unendliche Teilmengen M von L erweitert werden, indem man eine Menge M algebraisch abhängig nennt, wenn sie eine algebraisch abhängige endliche Teilmenge hat.

Mit Polynomen erhält man auch die Abhängigkeit von Inversen, denn z.B. stehen X = e und Y = 1/e in der Polynom-Beziehung XY = 1.

Jedes über dem Grundkörper K algebraische Element ist algebraisch abhängig, denn es erfüllt ein Polynom über K. (So wie der Nullvektor eines Vektorraums allein schon linear abhängig ist.)

Ähnlich zum in Vektorräumen verwendeten Konzept der Linearkombination (lineares homogenes Polynom), welches den Begriff der linearen Unabhängigkeit liefert, betrachtet man manchmal bei Körpererweiterungen algebraische Kombinationen transzendenter Elemente, d.h. beliebige (gebrochenrationale) Polynome mit Koeffizienten im Grundkörper.

Ein maximales System algebraisch unabhängiger Elemente heißt Transzendenzbasis, ihre Mächtigkeit heißt Transzendenzgrad der Erweiterung.

Impressum

Datenschutzerklärung