Eine Algebra A über einem kommutativen Ring (häufig ein Körper), die zugleich ein Modul über diesem Ring und ein Ring ist, dessen Multiplikation assoziativ und bilinear bezüglich der Skalarmultiplikation ist; es gibt unitäre und nicht unitäre Varianten.

Prinzip

Kompatibilität zweier Strukturen: Die Ringmultiplikation muss bilinear zur Modulstruktur sein, sodass die Skalarmultiplikation mit der Algebra-Multiplikation verträglich ist und Assoziativität gilt.

Demonstration

Die Matrixalgebra M_n(F) über einem Körper F ist eine assoziative unitäre Algebra; die Polynomalgebra F[x] und Gruppenalgebren F[G] sind Standardbeispiele. Matrixmultiplikation ist etwa assoziativ und die Skalarmultiplikation verteilt sich über die Einträge.

Fehlanwendung

Anzunehmen, eine assoziative Algebra sei kommutativ (z. B. M_n(F) so behandeln, als ob ab = ba) oder zu erwarten, dass nichtinvertierbare Elemente Inverse besitzen. Einen Lie-Klammer als assoziative Multiplikation ohne Prüfung zu verwenden, ist ebenfalls falsch.

Konsequenz

Assoziative Algebren besitzen Modulrepräsentationen; Ideale und Zentrum steuern die Struktur, und Methoden der Ringtheorie (Idempotente, Radikale) dienen zur Klassifikation und Zerlegung; Darstellungstheorie macht Algebren zu linearen Operatoren.

Umkehrung

Ersetzt man die Multiplikation durch ein nichtassoziatives Produkt (z. B. Lie-Klammer), so fallen viele ringtheoretische Werkzeuge, die auf Assoziativität beruhen (Faktorisierung, Modulaktionen via Algebraabbildungen), weg.

Abgrenzung

Benötigt einen zugrundeliegenden kommutativen Skalarring und assoziative Multiplikation; schließt rein nichtassoziative Algebren (Jordan, Lie, sofern nicht aus Kommutatoren gewonnen) und Strukturen ohne kompatible Modulwirkung aus.

Semantische Spannung

Assoziative Algebra vs Ring: Begriffe überlappen, aber 'Algebra' betont die lineare Struktur über einem Basissing; Assoziative Algebra vs Lie-Algebra: Letztere hat eine antisymmetrische, nichtassoziative Klammer, die oft aus Kommutatoren in assoziativen Kontexten entsteht.

Synthese

Eine assoziative Algebra ist ein Ring mit Modulstruktur über einem Basissing, sodass das Produkt bilinear und assoziativ ist und ein einheitliches Setting für Darstellungen als lineare Operatoren und ringtheoretische Zerlegung bietet.