L'algèbre associative formée de toutes les matrices n×n à coefficients dans un anneau ou un corps donné, avec l'addition coefficient par coefficient et la multiplication matricielle habituelle, notée classiquement M_n(R) ou M_n(F).

Principe

Les matrices représentent les endomorphismes d'un module libre de rang n ; l'algèbre matricielle complète est simple et rend les transformations linéaires concrètes, ce qui rend les propriétés algébriques accessibles par des calculs de l'algèbre linéaire.

Démonstration

M_n(F) agit fidèlement sur l'espace vectoriel F^n par multiplication à gauche ; son centre est constitué des matrices scalaires, et sur un corps M_n(F) est une algèbre simple centrale, exemple type dans la classification Artin–Wedderburn.

Mauvaise application

Traiter une sous-algèbre propre de M_n(R), comme les matrices triangulaires supérieures, comme si elle partageait toutes les propriétés structurelles de l'algèbre matricielle complète (simplicité, même centre), ou confondre matrices sur anneaux non commutatifs avec matrices sur corps sans ajuster le comportement du centre et des modules.

Conséquence

Les algèbres matricielles fournissent des modèles concrets d'algèbres simples, réalisent des équivalences de Morita (les modules sur M_n(R) ≃ modules sur R dans bien des cadres) et rendent explicites les questions de représentation par l'algèbre linéaire.

Inversion

Les algèbres d'opérateurs linéaires sur des espaces de dimension infinie ou certaines sous-algèbres de M_n(R) (par ex. nilpotentes ou triangulaires) qui manquent de simplicité, de centralité ou de rang fini contrastent avec les algèbres matricielles complètes.

Limite

La définition dépend de l'anneau de base : sur des anneaux non commutatifs le centre et la simplicité peuvent échouer ; les matrices infinies ou indexées par des ensembles infinis sont exclues de l'algèbre matricielle à n fini ; les propriétés dépendent de l'anneau de base et du rang fini n.

Tension sémantique

Tension entre 'algèbre matricielle' comme objet concret de dimension finie et l'algèbre plus large de tous les opérateurs linéaires sur un module de dimension infinie ; aussi entre algèbres matricielles complètes et sous-algèbres matricielles de structure différente.

Synthèse

M_n(R) est l'algèbre des matrices n×n sur R, qui encode les endomorphismes d'un module libre de rang n et sert d'exemple canonique fini-dimensionnel d'objets simples et centraux lorsque la base est un corps.