Un opérade muni, pour chaque entier n, d'une action compatible du groupe symétrique S_n sur l'ensemble (ou l'espace) des opérations n‑aires, de sorte que les opérations soient définies à permuation d'arguments près et que les lois de composition respectent ces actions de permutation.

Principe

Les opérations à plusieurs entrées doivent porter une équivariance naturelle par permutation de ces entrées ; l'action des groupes symétriques organise le réarrangement des entrées et impose la cohérence des compositions sous permutations.

Démonstration

L'opérade commutative possède une action triviale de S_n en chaque arité, codant des opérations n‑aires strictement commutatives ; l'opérade des endomorphismes d'un espace vectoriel porte l'action qui permute les facteurs tensoriels, montrant concrètement comment la symétrie des entrées se réalise.

Mauvaise application

Traiter un opérade symétrique comme un opérade non symétrique en ignorant les actions de S_n : par exemple, utiliser une structure symétrique pour modéliser des opérations ordonnées (comme des instructions de programme où les positions ont des sémantiques distinctes) fait disparaître des distinctions essentielles entre positions d'entrée.

Conséquence

Bien appliqués, les opérades symétriques codent des structures algébriques dont les entrées sont permutables (commutatives, de Lie, associatives à permutation près) et permettent de former des quotients et invariants par permutation, transférant des informations de représentation des groupes symétriques vers les algèbres sur l'opérade.

Inversion

Un opérade non symétrique omet toute action de S_n ; les compositions n'entretiennent que l'ordre formel des entrées et non leurs permutations, si bien que la théorie distingue strictement les positions d'entrée étiquetées.

Limite

Le concept exclut les opérades cycliques (qui autorisent aussi la rotation rôle sortie/entrée), les PROP (qui gèrent plusieurs sorties) et les opérades colorées dont l'action symétrique peut dépendre de la couleur ; il concerne seulement la présence d'actions de S_n sur les emplacements n‑aires et leur compatibilité aux compositions.

Tension sémantique

On peut confondre avec « opérade dans la catégorie des suites symétriques » ou avec une structure monoïdale symétrique ; la tension porte entre la symétrie comme action intrinsèque sur les opérations et la symétrie comme propriété de la catégorie ambiante.

Synthèse

Une opérade symétrique est le dispositif algébrique qui combine règles de composition n‑aires et équivariance explicite par les groupes symétriques, de sorte que permuter les entrées est une opération contrôlée et cohérente compatible avec les lois opéradiques.