Norm (Körpererweiterung)

In der Körpertheorie der Mathematik 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

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

• 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \bar{K}} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} , sei. Dann gilt für jedes Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a \in L}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N_{L/K}(a) = \left(\,\prod_{i = 1}^{r} \sigma_{i} (a)\right)^q}

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L/K} insbesondere galoissch mit Galoisgruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Gal}(L/K)} , so bedeutet dies

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 ihr Betragsquadrat ab. Es ist also

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb Q(\sqrt2)/\mathbb Q} ist die Abbildung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a+b\sqrt2\mapsto a^2-2b^2} für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a,b\in\mathbb Q} .

• Die Norm von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb F_{q^n}/\mathbb F_q} ist die Abbildung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\mapsto x^{1+q+q^2+\ldots+q^{n-1}}} .

Siehe auch

• Spur (Körpererweiterung)
• Diskriminante
• pythagoreischer Körper
• Hilberts Satz 90