##  [Mediales Gesetz](/de/node/61522) 

 Definition

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

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

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

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

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

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

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

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

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.