Assoziative Algebra

Assoziative Algebra ist ein Begriff aus der abstrakten Algebra, einem Teilgebiet der Mathematik. Es handelt sich um eine algebraische Struktur, die den Begriff des Vektorraums bzw. des Moduls dahingehend erweitert, dass zusätzlich zur Vektoraddition eine assoziative Multiplikation als innere Verknüpfung definiert wird.

In anderen Worten, eine assoziative Algebra ist eine $K$-Algebra respektive $R$-Algebra, deren Multiplikation zusätzlich assoziativ ist.

Definition

Ein Vektorraum $A$ über einem Körper $K$ oder ein Modul $A$ über einem Ring $R$ zusammen mit einer bilinearen Abbildung genannt Multiplikation

$\cdot \colon A\times A\longrightarrow A,\quad (a,b)\longmapsto a\cdot b$

heißt assoziative Algebra, wenn für alle $a,b,c\in A$ das folgende Assoziativgesetz gilt:

$a\cdot (b\cdot c)=(a\cdot b)\cdot c.$

Es handelt sich also um eine spezielle Algebra über einem Körper oder eine spezielle Algebra über einem kommutativen Ring.

Wenn die Multiplikation zusätzlich kommutativ ist, dann spricht man von einer kommutativen assoziativen Algebra.

Erläuterungen

Der Vektorraum respektive der Modul $A$, der eine assoziative Algebra ist, besitzt nun neben

• der Addition: $a+b\in A$ für $a,b\in A$,
• der Skalarmultiplikation: $s\cdot a\in A$ für $a\in A$ und $s\in K$ respektive im Falle des Moduls $s\in R$,

eine zusätzliche Operation

• die Multiplikation $a\cdot b\in A$ für $a,b\in A$,

welche dem Assoziativgesetz unterliegt.

Der Raum $A$ zusammen mit der Addition und der Skalarmultiplikation bildet die Vektorraum-Struktur $(A,+,\cdot _{s})$, während $A$ zusammen mit der Addition und der Multiplikation die Ring-Struktur $(A,+,\cdot )$ bildet (wobei hier $\cdot _{s}$ die Skalarmultiplikation sein soll).

Beispiele

• Die Menge aller Polynome mit Koeffizienten aus einem Körper $K$ bilden (mit der üblichen Multiplikation) eine assoziative Algebra über diesem Körper.
• Die Endomorphismen eines Vektorraums $V$ bilden mit der Verkettung eine assoziative Algebra. Hierbei ist die Verknüpfung $*$ nicht kommutativ, sofern die Dimension von $V$ größer als 1 ist.
• Ist $V$ ein unendlichdimensionaler Vektorraum und betrachtet man nur die Endomorphismen mit endlich-dimensionalem Bild, erhält man ein Beispiel, bei dem $*$ kein Einselement hat.
• Der Vektorraum aller reell- oder komplexwertigen Funktionen auf einem beliebigen topologischem Raum bildet eine assoziative Algebra; dabei werden die Funktionen punktweise addiert und multipliziert.
• Der Vektorraum aller stetigen reell- oder komplexwertigen Funktionen auf einem Banachraum bildet eine assoziative Algebra, bzw. sogar eine Banach-Algebra.
• Der Matrizenraum aller $(n\times n)$-Matrizen bildet zusammen mit der Matrizenmultiplikation eine assoziative Algebra.
• Die komplexen Zahlen bilden eine assoziative Algebra über dem Körper der reellen Zahlen.
• Die Quaternionen sind eine assoziative Algebra über dem Körper der reellen Zahlen, aber nicht über den komplexen Zahlen.

Literatur

• Serge Lang: Algebra. Revised 3rd Edition, Springer-Verlag, 2002, ISBN 0-387-95385-X