Algebra über einem Körper

Eine Algebra über einem Körper $K$, Algebra über $K$ oder $K$-Algebra (früher auch als lineare Algebra bezeichnet) ist ein Vektorraum über einem Körper $K$, der um eine mit der Vektorraumstruktur verträgliche Multiplikation erweitert wurde. Je nach Kontext wird dabei mitunter zusätzlich gefordert, dass die Multiplikation das Assoziativgesetz oder das Kommutativgesetz erfüllt oder dass die Algebra bezüglich der Multiplikation ein Einselement besitzt.

Definition

Eine Algebra $A$ über einem Körper $K$ oder kurz $K$-Algebra ist ein $K$-Vektorraum mit einer $K$-bilinearen Verknüpfung

$A\times A\to A,$

Multiplikation genannt, die durch $x\cdot y$ oder $xy$ symbolisiert wird. (Diese Verknüpfung ist unabhängig von der Multiplikation im Körper und derjenigen von Körperelementen mit Vektoren; die Verwendung desselben Symbols führt jedoch nicht zu Verwechslungen, da aus dem Kontext hervorgeht, welche Verknüpfung gemeint ist.)

Explizit bedeutet die Bilinearität, dass für alle Elemente $x,y,z\in A$ und alle Skalare $\lambda \in K$ gilt:

• $(x+y)\cdot z=x\cdot z+y\cdot z$
• $x\cdot (y+z)=x\cdot y+x\cdot z$
• $\lambda (x\cdot y)=(\lambda x)\cdot y=x\cdot (\lambda y)$

Ist der zugrundeliegende Körper der Körper der reellen Zahlen $\mathbb {R}$, so nennt man die Algebra auch reelle Algebra.

Verallgemeinerung

Der Begriff der $K$-Algebra lässt sich durch Ersetzen des Körpers mit einem kommutativen Ring zu einer $R$-Algebra, der Algebra über einem kommutativen Ring, verallgemeinern. Hierbei ist in der Definition „Vektorraum“ durch „Modul“ auszutauschen.

Unteralgebren und Ideale

Eine Unteralgebra $U$ einer Algebra $A$ über einem Körper $K$ ist ein Unterraum von $A$, der neben der Addition und der Multiplikation mit einem Skalar, also einem Element von $K$, auch unter der in $A$ definierten Multiplikation abgeschlossen ist, d. h. $u,v\in U\Rightarrow uv\in U$. Dann ist $U$ eine eigenständige Algebra. Fasst man die komplexen Zahlen als reelle Algebra auf, so bilden zum Beispiel die reellen, nicht aber die imaginären Zahlen eine Unteralgebra der komplexen Zahlen.

Ist darüber hinaus

$v\in U\Rightarrow av\in U$

mit einem beliebigen Element $a$ von $A$, so heißt $U$ ein linksseitiges Ideal von $A$. Entsprechend heißt $U$, falls

$v\in U\Rightarrow va\in U$

rechtsseitiges Ideal von $A$ ist. Ist beides der Fall oder gar $A$ kommutativ, so heißt $U$ einfach ein Ideal von $A$. Falls die Algebra $A$ keine nicht-trivialen Ideale besitzt, heißt sie einfach.

Weitere Attribute und Beispiele

Assoziative Algebren

Eine assoziative Algebra ist eine $K$-Algebra, in der für die Multiplikation das Assoziativgesetz gilt und die somit ein Ring ist. Beispiele:

• Die Algebra der $n\times n$-Matrizen über einem Körper; die Multiplikation ist hierbei die Matrizenmultiplikation.
• Die Inzidenzalgebra einer partiell geordneten Menge.
• Algebren von linearen Operatoren von einem $K$-Vektorraum in sich selbst; die Multiplikation ist hier die Hintereinanderausführung. Eine Algebra heißt zerfallend, wenn sie isomorph zu einer Matrixalgebra ist.
• Die Gruppenalgebra $K[G]$ zu einer Gruppe $G$; hierbei bilden die Gruppenelemente eine $K$-Basis des $K$-Vektorraums $K[G]$, und die Algebra-Multiplikation ist die bilineare Fortsetzung der Gruppenmultiplikation.
• Die Algebra $K[x]$ der Polynome mit Koeffizienten in $K$ in einer Unbekannten $x$.
• Die Algebra $K[x_{1},\dotsc ,x_{n}]$ der Polynome mit Koeffizienten in 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} in mehreren Unbekannten 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_1,\dotsc,x_n} .
• Eine Funktionenalgebra erhält man, indem man einen Funktionenraum von Funktionen von einer Menge 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 M} in einen Körper 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} mit folgender punktweisen Multiplikation versieht:

  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 (f\cdot g)(x) := f(x)\cdot g(x),\qquad f,g\colon M\to K, x\in M} .

• Eine Körpererweiterung 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} ist eine assoziative Algebra über 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} . So ist z. B. 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 \R} eine 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 \Q} -Algebra und 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 \Complex} kann als 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 \Q} -Algebra oder als 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 \R} -Algebra betrachtet werden.
• Die Algebra 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 H} der Hamiltonschen Quaternionen ist eine vierdimensionale assoziative unitäre reelle Algebra, welche als Schiefkörper sogar eine Divisionsalgebra ist. Sie ist eine endlichdimensionale zentraleinfache Algebra (Azumaya-Algebra) über dem Körper 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 \R} . Als echte Teilkörper enthält sie verschiedene Kopien 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 \iota_\epsilon(\Complex) = \R[\epsilon]} des Körpers 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 \C} der komplexen Zahlen, die ihrerseits den echten Teilkörper 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 \R} der reellen Zahlen enthalten, welcher das Zentrum 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 \mathbb H \supsetneq \R[\epsilon] \supsetneq \R= Z(\mathbb H)} . Dabei liefert jedes 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 \epsilon\in\mathbb H} mit 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 \epsilon^2 = -1} eine Einbettung 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 \iota_\epsilon\colon \Complex \to \mathbb H} des Körpers 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 \Complex} in 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 H} , dessen isomorphes Bild gerade 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 \R[\epsilon]} ist. Somit stattet zwar jede dieser Einbettungen die reelle Algebra 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 H} mit einer Struktur eines komplexen Vektorraums aus, doch ist die Multiplikation der Quaternionenalgebra bezogen auf diese komplexe Vektorraumstruktur nicht bilinear über 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 \Complex} , sondern nur über 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 Z(\mathbb H) = \R} . Daher bilden die Quaternionen keine komplexe Algebra.

Kommutative Algebren

Eine kommutative Algebra ist eine 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} -Algebra, in der für die Multiplikation das Kommutativgesetz gilt. Beispiele:

• Im mathematischen Teilgebiet Kommutative Algebra werden Algebren betrachtet, die assoziativ und kommutativ sind. Dazu gehören die oben genannten Polynomalgebren, die Funktionenalgebren und die Körpererweiterungen.
• Genetische Algebren sind kommutative Algebren mit einigen zusätzlichen Eigenschaften, in denen das Assoziativgesetz im Allgemeinen nicht erfüllt ist.

Unitäre Algebren

Eine unitäre Algebra ist eine Algebra mit einem neutralen Element der Multiplikation, dem Einselement (vgl. unitärer Ring). Beispiele:

• Matrizenalgebren mit der Einheitsmatrix als Einselement.
• Eine Algebra von Vektorraumendomorphismen mit der Identität als Einselement.
• Einselement einer Inzidenzalgebra ist die Funktion 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 \delta(a,b) := \begin{cases} 1\quad&\mbox{falls }a=b, \\ 0 &\mbox{sonst.}\end{cases}}
• Jede Gruppenalgebra ist unitär: das Einselement der Gruppe ist auch Einselement der Algebra.
• Das konstante Polynom 1 ist Einselement einer Polynomalgebra.
• Der Körper K mit seiner Körpermultiplikation als Algebra-Multiplikation ist als 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} -Algebra assoziativ, kommutativ und unitär.

Wenn das aus dem jeweiligen Kontext klar ist, werden die Eigenschaften „assoziativ“, „kommutativ“ und „unitär“ in der Regel nicht explizit genannt. Hat eine Algebra kein Einselement, so kann man eines adjungieren; jede Algebra ist also in einer unitären enthalten.

Nicht-assoziative Algebren

Manche Autoren bezeichnen eine 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} -Algebra als nicht-assoziativ, wenn das Assoziativgesetz nicht vorausgesetzt wird. (Diese Begriffsbildung führt allerdings zu der etwas verwirrenden Konsequenz, dass insbesondere jede assoziative Algebra auch nicht-assoziativ ist.) Einige Beispiele für Algebren, die nicht notwendigerweise assoziativ sind:

• Eine Divisionsalgebra ist eine Algebra, in der man „dividieren“ kann, d. h. in der alle Gleichungen 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 ax=b} und 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 ya=b} für $a\neq 0$ stets eindeutig lösbar sind. Eine Divisionsalgebra muss weder kommutativ noch assoziativ noch unitär sein.
• Der Alternativkörper 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 O} der Cayleyschen Oktaven ist eine achtdimensionale unitäre reelle Algebra, welche die assoziative Algebra 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 H} der Hamiltonschen Quaternionen echt umfasst.
• Eine Lie-Algebra ist eine Algebra, in der die beiden folgenden Bedingungen gelten (in Lie-Algebren wird das Produkt meist als 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,y]} geschrieben):
  • $[x,x]=0$
  • $[x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0$ (Jacobi-Identität)
• Der reelle Vektorraum 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 \R^3} mit dem Kreuzprodukt. Diese reelle Algebra ist insbesondere eine Lie-Algebra.
• Eine Baric-Algebra ist eine Algebra $A$, für die es einen nichttrivialen Algebrenhomomorphismus $w\colon A\to K$ gibt.

Algebrenhomomorphismen

Die Homomorphismen zwischen $K$-Algebren, das heißt die strukturerhaltenden Abbildungen, sind K-lineare Abbildungen, die zusätzlich multiplikativ sind. Haben die Algebren Einselemente, so fordert man in der Regel zusätzlich, dass auch diese aufeinander abgebildet werden. Das heißt:

Eine Abbildung $f\colon A\rightarrow B$ zwischen zwei $K$-Algebren ist ein Homomorphismus, falls folgendes gilt:

• $f(\lambda x)=\lambda f(x)$   für alle   $\lambda \in K,x\in A$
• $f(x+y)=f(x)+f(y)$   für alle   $x,y\in A$
• $f(x\cdot y)=f(x)\cdot f(y)$   für alle   $x,y\in A$
• Gegebenenfalls $f(1)=1$,   wobei mit 1 die Einselemente in den Algebren bezeichnet seien.

Es gelten dann die üblichen Sätze. Die Kerne von Homomorphismen sind genau die zweiseitigen Ideale. 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 f\colon A\rightarrow B} ein Homomorphismus, so gilt das Analogon zum Homomorphiesatz, das heißt die induzierte 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 \overline{f}\colon A/\mathrm{ker}(f) \rightarrow f(A),\, a+\mathrm{ker}(f) \mapsto f(a)}

ist wohldefiniert und ein Algebrenisomorphismus 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/\mathrm{ker}(f) \cong f(A)} , das heißt ein bijektiver Algebrenhomomorphismus, die Umkehrabbildung ist automatisch ebenfalls ein Algebrenhomomorphismus. Damit lassen sich auch die Isomorphiesätze auf Algebren übertragen, denn die üblichen Beweise führen diese auf den Homomorphiesatz zurück.