Das Kefk Network Wiki befindet sich im Testbetrieb.

Norm (Körpererweiterung)

Aus Kefk.

In der Körpertheorie ist die Norm einer Körpererweiterung eine spezielle, der Erweiterung zugeordnete Abbildung. Sie bildet jedes Element des größeren Körpers auf den kleineren Körper ab.

Dieser Normbegriff unterscheidet sich wesentlich vom Begriff der Norm eines normierten Vektorraums, er wird daher manchmal auch Körpernorm im Gegensatz zur Vektornorm genannt.

Definition

Es sei $L / K$ eine endliche Körpererweiterung. Ein fest gewähltes Element $a\in L$ definiert eine $K$ -lineare Abbildung

$L\to L,\quad x\mapsto ax.$

Ihre Determinante heißt die Norm von $a$ , geschrieben $N L / K (a)$ . Sie ist ein Element von $K$ ; die Norm ist also eine Abbildung

$N_{L/K}\colon L\to K,\quad a\mapsto N_{L/K}(a).$

Eigenschaften

Nur für $a = 0$ gilt $N L / K (a) = 0$ .
Die Norm ist multiplikativ, d.h.

$N_{L/K}(ab)=N_{L/K}(a)\cdot N_{L/K}(b)$ für alle $a,b\in L$ .

Eingeschränkt auf die multiplikativen Gruppen ist die Norm also ein Homomorphismus

$N_{L/K}\colon L^\times\to K^\times.$

Ist $a\in K$ , so gilt $N L / K (a) = a [L : K]$ .
Ist $a \in L$ mit dem Minimalpolynom $f \in K[X]$ vom Grad $d$ , $a_0 \in K$ das Absolutglied von $f$ und $r = [L : K (a)]$ , dann gilt:

$N_{L/K}(a) = (-1)^{dr} a_0^r$

Ist $M / L$ eine weitere endliche Körpererweiterung, dann hat man die drei Normfunktionen $N L / K, N M / L$ und $N M / K$ , die in der folgenden, als Transitivität der Norm bezeichneten, Beziehung stehen:

N M / K (a) = N L / K (N M / L (a))

für alle $a\in M$ .

Die Norm für Galoiserweiterungen

Ist $L / K$ galoissch mit Galoisgruppe $\operatorname{Gal}(L/K)$ , so gilt

$N_{L/K}(a)=\prod_{\sigma\in\operatorname{Gal}(L/K)}\sigma(a).$

Beispiele

Die Norm der komplexen Zahlen über den reellen Zahlen bildet jede komplexe Zahl auf das Quadrat ihres absoluten Betrags ab. Es ist also $N_{\mathbb{C}/\mathbb{R}}(a+ib) = \sigma_1(a+ib)\sigma_2(a+ib) = id(a+ib)\overline{(a+ib)} = (a+ib)(a-ib) = a^2 + b^2$ .
Die Norm von $\mathbb Q(\sqrt2)/\mathbb Q$ ist die Abbildung

$a+b\sqrt2\mapsto a^2-2b^2$ für $a,b\in\mathbb Q$ .

Die Norm von $\mathbb F_{q^n}/\mathbb F_q$ ist die Abbildung

$x\mapsto x^{1+q+q^2+\ldots+q^{n-1}}.$

Siehe auch

Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Norm_%28K%C3%B6rpererweiterung%29, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.

Von „http://www.kefk.org/wiki/Norm_%28K%C3%B6rpererweiterung%29“

Kategorien: Algebra | Wikipedia

Norm (Körpererweiterung)

Aus Kefk.

Inhaltsverzeichnis

Definition

Eigenschaften

Die Norm für Galoiserweiterungen

Beispiele

Siehe auch

Diese Seite

Persönliche Werkzeuge

Navigation

Kefk Network

Mitmachen

Ressourcen

Suche

Werkzeuge

Andere Sprachen