El álgebra asociativa constituida por todas las matrices n×n sobre un anillo o cuerpo fijo con suma por entradas y la multiplicación matricial habitual, denotada comúnmente M_n(R) o M_n(F).

Principio

Las matrices codifican endomorfismos de un módulo libre de rango n; el álgebra matricial completa es simple y representa transformaciones lineales de manera concreta, lo que hace accesibles las propiedades algebraicas mediante cálculos de álgebra lineal.

Demostración

M_n(F) actúa fielmente sobre el espacio vectorial F^n por multiplicación por la izquierda; su centro consiste en matrices escalares, y sobre un cuerpo M_n(F) es un álgebra simple central y un ejemplo paradigmático en la clasificación de Artin–Wedderburn.

Aplicación incorrecta

Tratar una subálgebra propia de M_n(R), como las matrices triangulares superiores, como si compartiera todas las propiedades estructurales del álgebra matricial completa (simplicidad, mismo centro), o confundir matrices sobre anillos no conmutativos con matrices sobre cuerpos sin ajustar centro y comportamiento de módulos.

Consecuencia

Las álgebras matriciales proporcionan modelos concretos de álgebras simples, realizan equivalencias de Morita (módulos sobre M_n(R) ≃ módulos sobre R en muchos marcos) y hacen explícitas las cuestiones de representación mediante álgebra lineal.

Inversión

Álgebras de operadores lineales sobre espacios de dimensión infinita o ciertas subálgebras de M_n(R) (por ejemplo nilpotentes o triangulares) que carecen de simplicidad, centralidad o rango finito contrastan con las álgebras matriciales completas.

Límite

La definición depende del anillo base: sobre anillos no conmutativos el centro y la simplicidad pueden fallar; las matrices infinitas o indexadas por conjuntos infinitos están excluidas del álgebra matricial de rango finito n; las propiedades dependen del anillo base y del rango finito n.

Tensión semántica

Tensión entre 'álgebra matricial' como objeto concreto de dimensión finita y la álgebra más amplia de todos los operadores lineales sobre un espacio de dimensión infinita; también entre álgebras matriciales completas y subálgebras matriciales con distinta estructura.

Síntesis

M_n(R) es el álgebra de matrices n×n sobre R, que codifica endomorfismos de un módulo libre de rango n y sirve como ejemplo canónico finito-dimensional de construcciones simples y centrales cuando la base es un cuerpo.