Un operad provisto para cada aridad n de una acción compatible del grupo simétrico S_n sobre el conjunto (o espacio) de operaciones n‑arias, de modo que las operaciones se definen hasta permutación de las entradas y las composiciones respetan dichas acciones.

Principio

Las operaciones de múltiples entradas deben llevar una equivarianza natural frente a permutaciones de esas entradas; la acción de los grupos simétricos organiza el reordenamiento de entradas y asegura la coherencia de las composiciones ante permutaciones.

Demostración

El operad conmutativo tiene una acción trivial de S_n en cada aridad, codificando operaciones n‑arias estrictamente conmutativas; el operad de endomorfismos de un espacio vectorial lleva la permutación de factores tensoriales, mostrando cómo se realiza la simetría de entradas.

Aplicación incorrecta

Tratar un operad simétrico como no simétrico ignorando las acciones de S_n: por ejemplo, usar una estructura simétrica para modelar operaciones inherentemente ordenadas (como instrucciones de programa con semánticas posicionales distintas) hace desaparecer distinciones esenciales entre posiciones de entrada.

Consecuencia

Aplicado correctamente, un operad simétrico codifica estructuras algebraicas con entradas permutables y permite formar cocientes e invariantes por permutación, facilitando el transporte de información de representación de los grupos simétricos a las álgebras sobre el operad.

Inversión

Un operad no simétrico omite cualquier acción de S_n; las composiciones solo respetan el orden formal de entradas y no sus permutaciones, por lo que la teoría distingue las posiciones de entrada etiquetadas.

Límite

Quedan fuera los operads cíclicos (que permiten rotación entre salida/entrada), los PROPs (que gestionan múltiples salidas) y los operads coloreados cuya acción simétrica puede depender del color; aquí se trata solo de la presencia de acciones de S_n en ranuras n‑arias y su compatibilidad con la composición.

Tensión semántica

Se puede confundir con 'operad en la categoría de sucesiones simétricas' o con una estructura monoidal simétrica; la tensión está entre la simetría como acción intrínseca sobre operaciones y la simetría como propiedad de la categoría ambiente.

Síntesis

Un operad simétrico es el mecanismo algebraico que combina reglas de composición n‑aria con equivarianza explícita bajo grupos simétricos, de modo que permutar entradas es una operación controlada y coherente compatible con las leyes operádicas.