Artin-Wederburn dice que si tienes un algebra semisimple, entonces es un producto de la matriz de álgebras sobre la división de los anillos.
Supongamos que $C$ es una fusión de la categoría más de los números complejos (si usted quiere asumir fundamental o cosas similares, eso está bien, pero no asuma simétrica o trenzado). Supongamos que $X$ es un álgebra de objeto en $C$. Que es $X$ es un objeto en $C$ junto con una multiplicación mapa de $X \otimes X \rightarrow X$ y una unidad de etc. Llamamos a $X$ semisimple si la categoría de $X$-módulo de objetos en $C$ es semisimple. Hay algunas buenas analógica de Artin-Wedderburn?
