Une algèbre A sur un anneau commutatif (souvent un corps) qui est à la fois un module sur cet anneau et un anneau dont la multiplication est associative et bilinéaire par rapport à l'action scalaire ; il existe des variantes unitaires ou non unitaires.

Principe

Compatibilité de deux structures : la multiplication de l'anneau doit être bilinéaire pour la structure de module, de sorte que la multiplication scalaire commute avec la multiplication dans l'algèbre et que l'associativité soit satisfaite.

Démonstration

L'algèbre de matrices M_n(F) sur un corps F est une algèbre associative unitaire ; l'algèbre des polynômes F[x] et les algèbres de groupe F[G] sont des exemples classiques. Par exemple, la multiplication de matrices est associative et la multiplication scalaire se distribue sur les coefficients.

Mauvaise application

Prêter à une algèbre associative la commutativité (par exemple considérer M_n(F) comme si ab = ba) ou présumer l'existence d'inverses pour des éléments non inversibles. Traitement d'un crochet de Lie comme multiplication associative sans vérification est également incorrect.

Conséquence

Les algèbres associatives admettent des représentations modulaires, les idéaux et le centre contrôlent la structure, et les outils de la théorie des anneaux (idempotents, radicaux) permettent de les classifier et décomposer ; la représentation rend les éléments de l'algèbre opérateurs linéaires.

Inversion

Remplacer la multiplication par un produit non associatif (par ex. un crochet de Lie) : de nombreux outils de la théorie des anneaux reposant sur l'associativité (factorisation, actions modulaires via des morphismes d'algèbres) ne s'appliquent plus directement.

Limite

Nécessite un anneau scalaire commutatif sous-jacent et une multiplication associative ; exclut les algèbres purement non associatives (Jordan, Lie sauf si issues d'un commutateur) et les structures sans action modulaire compatible.

Tension sémantique

Algèbre associative vs anneau : les termes se chevauchent mais l'algèbre met l'accent sur la structure linéaire sur un anneau de base ; algèbre associative vs algèbre de Lie : cette dernière a un crochet antisymétrique et non associatif souvent dérivé du commutateur dans les contextes associatifs.

Synthèse

Une algèbre associative est un anneau muni d'une structure linéaire sur un anneau de base de sorte que le produit est bilinéaire et associatif, fournissant un cadre unifié pour représenter les éléments comme opérateurs linéaires et appliquer des méthodes de décomposition en théorie des anneaux.