Eine binäre Operation * auf einer Menge erfüllt das mediale (oder entropische) Gesetz, wenn für alle a,b,c,d gilt: (a*b)*(c*d) = (a*c)*(b*d). Diese Identität erzwingt eine paarweise Vertauschbarkeit bei Doppelprodukten und ist zentral in der Strukturtheorie medialer Quasigruppen und Halbringe.

Prinzip

Das Gesetz schreibt vor, dass das Vermischen zweier unabhängiger binärer Produkte durch Austausch der mittleren Terme umgeordnet werden kann: die Operation wirkt affin in jedem Faktor, sodass Paarbildungen auf Paar-Ebene kommutieren, nicht notwendigerweise auf Einzelelementebene.

Demonstration

Ein einfaches Beispiel: In jeder abelschen Gruppe mit + gilt das mediale Gesetz, denn (a+b)+(c+d) = (a+c)+(b+d) durch Assoziativität und Kommutativität; dies zeigt, dass abelsche Gruppen (und ihre affinen Bilder) kanonische mediale Beispiele liefern.

Fehlanwendung

Zu behaupten, Medialität impliziere volle Kommutativität oder Assoziativität der zugrundeliegenden Operation ist falsch; es gibt nichtassoziative mediale Quasigruppen, daher führt die Verwendung von Medialität zur freien Umordnung beliebiger Parenthesierungen oder zur Folgerung individueller Kommutativität zu Fehlschlüssen.

Konsequenz

Medialität führt zu starken Strukturfolgen: Viele mediale Quasigruppen sind affin über abelschen Gruppen (Toyoda–Bruck-Sätze), was lineare Darstellungen, Zerlegungssätze und Vereinfachung funktionaler Gleichungen ermöglicht.

Umkehrung

Das Gegenteil ist eine nicht-mediale Operation, bei der Doppelprodukte reihenempfindlich sind und keine einheitliche paarweise Vertauschbarkeit gilt; dies verhindert affine-lineare Repräsentationen und blockiert bekannte Klassifikationssätze.

Abgrenzung

Gilt für binäre Operationen auf Mengen (Halbringe, Quasigruppen, Schleifen); sie setzt Abschluss und ein wohldefiniertes binäres Produkt voraus und ist ohne Anpassung nicht auf n-äre Operationen übertragbar. Sie verlangt nicht automatisch Identität oder Inverse.

Semantische Spannung

Spannung gegenüber gewöhnlicher Kommutativität: Kommutativität impliziert in assoziativen Kontexten Medialität, doch kann Medialität ohne Kommutativität oder Assoziativität bestehen; sie überschneiden sich, sind aber verschieden.

Synthese

Das mediale Gesetz ist eine äquationale Einschränkung, die Doppelprodukte paarweise umtauschbar macht; es positioniert die Struktur zwischen vollständigem kommutativ-assoziativem Verhalten und freien nichtassoziativen Operationen und erlaubt oft eine affine Reduktion auf abelsche Gruppendaten.