Une opération binaire * sur un ensemble satisfait la loi médiale (ou entropique) si pour tous éléments a,b,c,d on a (a*b)*(c*d) = (a*c)*(b*d). Cette identité impose une interchangeabilité par paires dans les doubles produits et est centrale dans la théorie des quasigroupes et semi-groupes médians.

Principe

La loi impose que le mélange de deux produits binaires indépendants peut être réordonné en échangeant les termes du milieu : l'opération se comporte affinement dans chaque facteur de sorte que les appariements par paires commutent au niveau des paires plutôt que des facteurs individuels.

Démonstration

Démonstration simple : dans tout groupe abélien de loi + la loi médiale est vérifiée car (a+b)+(c+d) = (a+c)+(b+d) par associativité et commutativité ; ceci montre que les groupes abéliens (et leurs images affines) fournissent des exemples médians canoniques.

Mauvaise application

Supposer que la loi médiale implique la commutativité ou l'associativité de l'opération sous-jacente est une erreur ; on peut avoir des quasigroupes médians non associatifs, donc utiliser la médialité pour réordonner des parenthésages arbitraires ou déduire la commutativité élément par élément est une mauvaise application.

Conséquence

La médialité entraîne des conclusions structurelles fortes : de nombreux quasigroupes médians sont affines sur des groupes abéliens (théorèmes de type Toyoda–Bruck), ce qui permet des représentations linéaires, des décompositions et la simplification d'équations fonctionnelles sur la structure.

Inversion

L'opposé est une opération non médiale où les doubles produits dépendent de l'ordre et aucune interchangeabilité pair-à-pair uniforme n'existe, empêchant les représentations affines linéaires et obstruant les théorèmes de classification connus.

Limite

S'applique aux opérations binaires sur des ensembles (semi-groupes, quasigroupes, boucles) ; elle suppose la clôture et un produit binaire bien défini et n'a pas de sens pour des opérations n-aires sans adaptation. Elle n'exige pas l'existence d'identité ou d'inverses sauf indication contraire.

Tension sémantique

Tension avec la commutativité ordinaire : la commutativité implique la médialité dans les contextes associatifs, mais la médialité peut tenir sans commutativité ni associativité ; elles se recoupent donc sans être équivalentes.

Synthèse

La loi médiale est une contrainte équationnelle rendant interchangeables les doubles produits par paires ; elle situe la structure entre le comportement commutatif-associatif complet et les opérations non associatives libres, permettant souvent une réduction affine à des données de groupe abélien.