Norm (Körpererweiterung)

Norm (Körpererweiterung)

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.

Inhaltsverzeichnis

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 NL / 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 NL / 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 NL / K,NM / L und NM / K, die in der folgenden, als Transitivität der Norm bezeichneten, Beziehung stehen:
NM / K(a) = NL / K(NM / L(a)) für alle a\in M.
  • Ist a\in K, so gilt NL / 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 σ 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

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

Einzelnachweise

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

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Norm — (von lateinisch norma ursprünglich ‚Winkelmaß‘, dann aber auch ‚Richtschnur‘, ‚Maßstab‘, ‚Regel‘, ‚Vorschrift‘) steht für: einen durch bestimmte Prozesse festgelegten, allgemein anerkannten Standard eine anerkannte Regel der Technik, siehe… …   Deutsch Wikipedia

  • 1-Norm — Dieser Artikel erklärt neben den gleichbedeutenden Begriffen normierter Raum und normierter Vektorraum per Weiterleitung auch die Begriffe Norm (Mathematik), Vektornorm, Halbnorm (Seminorm), Operatornorm, Matrixnorm und Frobeniusnorm. normierter… …   Deutsch Wikipedia

  • 2-Norm — Dieser Artikel erklärt neben den gleichbedeutenden Begriffen normierter Raum und normierter Vektorraum per Weiterleitung auch die Begriffe Norm (Mathematik), Vektornorm, Halbnorm (Seminorm), Operatornorm, Matrixnorm und Frobeniusnorm. normierter… …   Deutsch Wikipedia

  • 2 Norm — Dieser Artikel erklärt neben den gleichbedeutenden Begriffen normierter Raum und normierter Vektorraum per Weiterleitung auch die Begriffe Norm (Mathematik), Vektornorm, Halbnorm (Seminorm), Operatornorm, Matrixnorm und Frobeniusnorm. normierter… …   Deutsch Wikipedia

  • Frobenius-Norm — Dieser Artikel erklärt neben den gleichbedeutenden Begriffen normierter Raum und normierter Vektorraum per Weiterleitung auch die Begriffe Norm (Mathematik), Vektornorm, Halbnorm (Seminorm), Operatornorm, Matrixnorm und Frobeniusnorm. normierter… …   Deutsch Wikipedia

  • P-Norm — Dieser Artikel erklärt neben den gleichbedeutenden Begriffen normierter Raum und normierter Vektorraum per Weiterleitung auch die Begriffe Norm (Mathematik), Vektornorm, Halbnorm (Seminorm), Operatornorm, Matrixnorm und Frobeniusnorm. normierter… …   Deutsch Wikipedia

  • Äquivalenz (Norm) — Dieser Artikel erklärt neben den gleichbedeutenden Begriffen normierter Raum und normierter Vektorraum per Weiterleitung auch die Begriffe Norm (Mathematik), Vektornorm, Halbnorm (Seminorm), Operatornorm, Matrixnorm und Frobeniusnorm. normierter… …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”