## [Álgebra de Hopf](/es/node/63776) Definición Una álgebra de Hopf es una bialgebra (un álgebra asociativa con una estructura de coalgebra coasociativa compatible: comultiplicación Δ y counit ε) provista de una antipoda S, una aplicación lineal que actúa como inversa categórica para la convolución y satisface axiomas que hacen compatibles las estructuras algebraica y coalgebraica. ## Principio Principio La antipoda junto con la comultiplicación y el counit proporciona una noción de inversión y dualidad: las álgebras de Hopf codifican objetos de simetría cuyas categorías de representaciones son monoïdales y a menudo rígidas, permitiendo convoluciones y construcciones duales. ## Demostración Demostración El álgebra de grupo K[G] de un grupo G se convierte en un álgebra de Hopf con Δ(g)=g⊗g, ε(g)=1 y S(g)=g^{-1}. El álgebra envolvente universal U(g) de una álgebra de Lie es otro ejemplo clásico, con Δ determinado sobre generadores. ## Aplicación incorrecta Aplicación incorrecta Confundir una bialgebra con un álgebra de Hopf suponiendo que la antipoda existe automáticamente es un error grave; del mismo modo, asumir que los duales en dimensión finita siempre producen duales de Hopf genuinos sin cuidado topológico conduce a fallos. ## Consecuencia Consecuencia Si se cumplen los axiomas de Hopf, se disponen de herramientas de dualidad, productos de convolución sobre aplicaciones lineales, la construcción de categorías de módulos y comodulos con productos tensoriales y resultados estructurales usados en grupos cuánticos y teoría de grupos algebraicos. ## Inversión Inversión La inversión es una bialgebra carente de antipoda o coalgebras sin estructuras algebraicas compatibles; sin antipoda no se pueden formar operaciones tipo inversión ni garantizar un comportamiento monoïdal rígido en categorías de representación. ## Límite Límite Requiere mapas algebraicos y coalgebraicos compatibles sobre el mismo espacio vectorial (o módulo) y la existencia de una antipoda que satisfaga las identidades de Hopf; excluye bialgebras puras, coalgebras puras y estructuras que requieren duales completados sin topología. ## Tensión semántica Tensión semántica Existe tensión entre las álgebras de Hopf y nociones afines como quasi-Hopf o weak Hopf, donde los axiomas se relajan; tales relajaciones cambian un antipoda o la coasociatividad estricta por mayor flexibilidad de simetría a costa de complicar las afirmaciones de dualidad estándar. ## Síntesis Síntesis Una álgebra de Hopf es un único objeto lineal con estructuras de álgebra y coalgebra entrelazadas más una antipoda que realiza una inversión abstracta; empaqueta la dualidad algebraica y coalgebraica para modelar simetría, ofrecer convoluciones y respaldar teorías de representación tensoriales.