## [Condición de Identidad Polinómica (PI)](/es/node/63882) Definición 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 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 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 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 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 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 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 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 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.