Una operación binaria * en un conjunto satisface la ley medial (o entrópica) si para todos los elementos a,b,c,d se cumple (a*b)*(c*d) = (a*c)*(b*d). Esta identidad impone una intercambiabilidad por pares en productos dobles y es central en la teoría estructural de cuasigrupos y semigrupos mediales.

Principio

La ley dispone que la mezcla de dos productos binarios independientes puede reordenarse intercambiando los términos centrales: la operación se comporta de forma afín en cada factor, de modo que los emparejamientos por pares conmutan a nivel de pares en vez de factores individuales.

Demostración

Demostración sencilla: en cualquier grupo abeliano con operación + se cumple la ley medial porque (a+b)+(c+d) = (a+c)+(b+d) por asociatividad y conmutatividad; esto muestra que los grupos abelianos (y sus imágenes afines) dan ejemplos mediales canónicos.

Aplicación incorrecta

Asumir que la medialidad implica conmutatividad o asociatividad completas de la operación subyacente es incorrecto; existen cuasigrupos mediales no asociativos, por lo que usar medialidad para reordenar cualquier parentetización o deducir conmutatividad punto a punto es un error.

Consecuencia

La medialidad conduce a fuertes conclusiones estructurales: muchos cuasigrupos mediales son afines sobre grupos abelianos (teoremas tipo Toyoda–Bruck), lo que permite representaciones lineales, teoremas de descomposición y simplificación de ecuaciones funcionales en la estructura.

Inversión

El caso opuesto es una operación no medial en la que los productos dobles dependen del orden y no existe una intercambiabilidad uniforme por pares, impidiendo las representaciones afines y obstruyendo los teoremas de clasificación conocidos.

Límite

Se aplica a operaciones binarias sobre conjuntos (semigrupos, cuasigrupos, bucles); presupone clausura y un producto binario bien definido y no tiene sentido directo para operaciones n-arias sin adaptación. No exige identidad ni inversos salvo que se indique.

Tensión semántica

Tensión con la conmutatividad ordinaria: la conmutatividad implica medialidad en contextos asociativos, pero medialidad puede darse sin conmutatividad ni asociatividad; por tanto, se solapan pero no son equivalentes.

Síntesis

La ley medial es una restricción ecuacional que hace intercambiables los productos dobles por pares; sitúa la estructura entre el comportamiento totalmente conmutativo-auxociativo y operaciones no asociativas libres, y suele permitir una reducción afín a datos de grupo abeliano.