La propiedad de que un álgebra asociativa A satisface una identidad polinómica no nula: existe un polinomio no nulo f en variables no conmutativas tal que f(a1,...,an)=0 para todas las sustituciones de elementos ai en A.

Principio

La condición PI impone relaciones polinómicas que se anulan identicamente en el álgebra; sitúa al álgebra entre el libre total (sin identidades) y el conmutativo (muchas identidades) y organiza restricciones estructurales y de representación.

Demostración

La álgebra de matrices n×n, M_n(k), satisface el polinomio estándar de grado 2n (teorema de Amitsur–Levitzki); cualquier álgebra conmutativa satisface la identidad del conmutador [x,y]=0 y por tanto es PI de bajo grado.

Aplicación incorrecta

Suponer que un álgebra PI debe ser conmutativa o de dimensión finita; al contrario, creer que la ausencia de identidades polinómicas implica siempre comportamiento caótico es incorrecto. La característica del cuerpo base afecta a las identidades válidas.

Consecuencia

Las álgebras PI disfrutan de una rica teoría estructural (las identidades definen T-ideales, se aplican técnicas de traza reducida y polinomios centrales); muchas álgebras PI se embeben en anillos de matrices sobre anillos conmutativos o tienen representaciones con cotas en el grado.

Inversión

Las álgebras no-PI, como la álgebra asociativa libre, no satisfacen identidades polinómicas no triviales y muestran máxima complejidad no conmutativa (a menudo GKdim infinito y teoría de representaciones salvaje).

Límite

La condición PI se formula respecto a un anillo/cuerpo base y a identidades polinómicas asociativas; difiere de las relaciones polinómicas en álgebras conmutativas o de las identidades en álgebras de Lie y debe comprobarse en la álgebra asociativa libre apropiada.

Tensión semántica

PI vs conmutatividad vs identidades en otras variedades: PI es más débil que la conmutatividad pero más fuerte que la ausencia de identidades; las identidades en álgebras asociativas se comportan distinto que en Lie o Jordan, por lo que las comparaciones requieren cuidado.

Síntesis

La condición PI afirma la existencia de una relación polinómica asociativa no trivial que se anula en el álgebra, restringiendo su comportamiento no conmutativo y permitiendo teoremas estructurales tipo matrices y límites en las representaciones.