Norm (Körpererweiterung)

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

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 im Gegensatz zur Vektornorm auch Körpernorm genannt.

Definition[Bearbeiten]

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[Bearbeiten]

  • Genau 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 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.
  • 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 L/K eine endliche Körpererweiterung mit [L:K] = qr, wobei r die Anzahl der Elemente \sigma in \operatorname{Hom}_{K}(L,\bar{K}), der Menge aller K-Homomorphismen von L in den algebraischen Abschluss \bar{K} von K, sei. Dann gilt[1] für jedes Element a \in L
N_{L/K}(a) = \left(\,\prod_{i = 1}^{r} \sigma_{i} (a)\right)^q
Ist L/K insbesondere galoissch mit Galoisgruppe \operatorname{Gal}(L/K), so bedeutet dies
N_{L/K}(a)=\prod_{\sigma\in\operatorname{Gal}(L/K)}\sigma(a).

Beispiele[Bearbeiten]

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[Bearbeiten]

Einzelnachweise[Bearbeiten]

  1. Bosch, Algebra 5. Auflage, 2004, S.196ff