Ein Operad, das für jede Arität n eine verträgliche Wirkung der symmetrischen Gruppe S_n auf der Menge (oder dem Raum) der n‑stelligen Operationen trägt, so dass Operationen bis auf Permutation der Eingaben definiert sind und die Kompositionsabbildungen diese Permutationswirkungen respektieren.

Prinzip

Mehrstellige Operationen sollen eine natürliche Äquivarianz gegenüber Vertauschungen (Permutation) ihrer Eingaben besitzen; die Wirkung der symmetrischen Gruppen organisiert das Umordnen von Eingaben und erzwingt Kohärenz der Kompositionen unter Permutationen.

Demonstration

Das kommutative Operad hat in jeder Arität eine triviale S_n‑Wirkung und kodiert strikt kommutative n‑äre Operationen; das Endomorphismen‑Operad eines Vektorraums trägt die Permutation der Tensorfaktoren und zeigt, wie Symmetrie der Eingaben konkret realisiert wird.

Fehlanwendung

Ein symmetrisches Operad wie ein nicht‑symmetrisches zu behandeln, indem man die S_n‑Wirkungen ignoriert: etwa eine symmetrische Struktur zur Modellierung eindeutig geordneter Operationen zu verwenden (z. B. Programme mit positionsabhängiger Semantik) entfernt notwendige Unterscheidungen zwischen Eingabeplätzen.

Konsequenz

Korrekt angewandt kodieren symmetrische Operaden algebraische Strukturen mit permutierbaren Eingaben und erlauben Quotienten und Invarianten unter Permutation; so lassen sich darstellungstheoretische Informationen der symmetrischen Gruppen auf Algebren über dem Operad übertragen.

Umkehrung

Ein nicht‑symmetrisches Operad (plain operad) lässt eine S_n‑Wirkung weg; Kompositionen achten nur die formale Einfügereihenfolge, nicht Permutationen, sodass die Theorie beschriftete Eingabepositionen unterscheidet.

Abgrenzung

Ausgeschlossen sind hierzyklische Operaden (mit Rotation von Ein‑/Ausgangsrollen), PROPs (mit mehreren Ausgängen) sowie farbige Operaden, deren symmetrische Aktionen farbabhängig sein können; gemeint ist allein das Vorhandensein von S_n‑Wirkungen auf n‑ären Stellen und deren Kompatibilität mit Komposition.

Semantische Spannung

Verwechslungsgefahr besteht mit dem Begriff ‚Operad in der Kategorie symmetrischer Sequenzen‘ oder mit symmetrischer Monoidalität; die Spannung liegt zwischen Symmetrie als intrinsischer Wirkung auf Operationen und Symmetrie als Eigenschaft der Umgebungskategorie.

Synthese

Ein symmetrisches Operad ist das algebraische Instrument, das n‑äre Kompositionsregeln mit expliziter Symmetrieunterstützung durch symmetrische Gruppen verknüpft, sodass Eingabepermutationen kontrolliert und mit den Operadgesetzen verträglich sind.