Algebraisches Element

aus Wikipedia, der freien Enzyklopädie

(Weitergeleitet von Transzendentes Element)

Die Begriffe algebraisches und transzendentes Element treten in der abstrakten Algebra auf und verallgemeinern das Konzept von algebraischen und transzendenten Zahlen.

Ist L/K eine Körpererweiterung, dann heißt ein Element a von L algebraisch über K, wenn es ein vom Nullpolynom verschiedenes Polynom mit Koeffizienten in K gibt, das a als Nullstelle hat. Ein Element, für das kein solches Polynom existiert, heißt transzendent über K.

Für die Erweiterung $\Bbb C / \Bbb Q$ stimmen diese Begriffe mit denen der algebraischen bzw. transzendenten Zahl überein.

[Bearbeiten] Beispiele

Die Quadratwurzel von 2 ist algebraisch über $\Bbb Q$ , denn sie ist eine Nullstelle des Polynoms $X 2 - 2$ , dessen Koeffizienten rational sind.
Die Kreiszahl π und die Eulersche Zahl $e$ sind transzendent über $\Bbb Q$ , aber algebraisch über $\Bbb R$ , denn sie sind als reelle Zahlen definiert. Allgemeiner gilt:
Jedes Element a des Körpers K ist algebraisch über K, denn es ist Nullstelle des linearen Polynoms $X - a$ .
Jede komplexe Zahl, die sich durch rationale Zahlen, die Grundrechenarten +,-,*,/ und Wurzelziehen (mit natürlichen Wurzelexponenten) bilden lässt, ist algebraisch über $\Bbb Q$ .
Aus der Galoistheorie folgt aber andererseits, dass es über $\Bbb Q$ algebraische Zahlen gibt, die sich nicht auf diese Weise darstellen lassen; vergleiche hierzu den Satz von Abel-Ruffini.
Über dem Körper $\Bbb Q_p$ der p-adischen Zahlen ist e (als Grenzwert der Reihe der reziproken Fakultäten) algebraisch, denn für p>2 ist e^p und für p=2 ist e⁴ in $\Bbb Q_p$ enthalten.
Bildet man zu einem beliebigen Körper K den Körper der Formalen Laurentreihen K((X)), so ist die formale Variable X ein transzendentes Element dieser Erweiterung.

[Bearbeiten] Eigenschaften

Die folgenden Bedingungen sind äquivalent für ein Element a aus L (einem Oberkörper von K):

a ist algebraisch über K
die Körpererweiterung K(a)/K hat endlichen Grad, d.h. K(a) ist als K-Vektorraum endlichdimensional.
K[a] = K(a).

Dabei ist K[a] die Ringadjunktion von a an K, die aus allen Elemente von L besteht, die sich als g(a) mit einem Polynom g über K schreiben lassen; K(a) ist dessen Quotientenkörper in L und besteht aus allen Elementen von L, die sich als g(a)/h(a) mit Polynomen g und h über K (h(a) ungleich 0) schreiben lassen.

Diese Charakterisierung kann genutzt werden, um zu zeigen, dass Summe, Differenz, Produkt und Quotient von über K algebraischen Elementen wieder algebraisch über K sind. Die Menge aller über K algebraischen Elemente von L bildet einen Zwischenkörper der Erweiterung L/K, den so genannten algebraischen Abschluss in L.

[Bearbeiten] Minimalpolynom

Ist a algebraisch über K, dann gibt es viele Polynome $g\in K[X]$ mit $g (a) = 0$ . Es gibt aber genau ein normiertes Polynom von kleinstem Grad mit Nullstelle a, dieses heißt das Minimalpolynom von a über K. Aus ihm kann man viele Eigenschaften von a ablesen. Zum Beispiel ist der Grad dieses Polynoms gleich dem Erweiterungsgrad von $K (a) / K$ .