## [Symmetrischer Operad](/de/node/63590) Definition 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 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 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 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 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 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 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 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 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.