Un conjunto X con una operación binaria ▷ tal que para todo a en X la traslación izquierda L_a(x)=a ▷ x es una biyección de X, y la operación es auto-distributiva por la izquierda: a ▷ (b ▷ c) = (a ▷ b) ▷ (a ▷ c). Los racks modelan una autoacción algebraica sin exigir idempotencia.

Principio

Auto-distributividad a la izquierda más acciones izquierdas invertibles: la idea definitoria es que los elementos actúan sobre el conjunto por permutaciones y esas acciones se distribuyen sobre la operación, codificando un comportamiento análogo a la conjugación.

Demostración

La conjugación en un grupo produce un rack: tomar X = G y a ▷ b = a b a^{-1}; la multiplicación izquierda por a es una biyección y la auto-distributividad sigue de la asociatividad del grupo, generando una estructura de rack canónica.

Aplicación incorrecta

Asumir idempotencia (a ▷ a = a) o conmutatividad; no todo rack es idempotente ni abeliano, por lo que usar argumentos específicos de quandle o razonamientos abelianos sobre un rack general puede ser inválido.

Consecuencia

Un uso correcto proporciona un marco para teorías de cohomología de racks y da invariantes combinatorios (mediante coloraciones) para nudos y trenzas cuando se añaden condiciones extra.

Inversión

Quitar la biyección de las traslaciones izquierdas produce magmas izquierdamente distributivos donde las acciones pueden no ser invertibles; suprimir la auto-distributividad da acciones por permutaciones sin coherencia algebraica.

Límite

Los racks requieren la biyección global de cada traslación izquierda y la auto-distributividad izquierda; excluyen operaciones binarias arbitrarias, acciones no invertibles y estructuras que además imponen idempotencia (esos son quandles).

Tensión semántica

Tensión semántica entre 'rack' y 'quandle': un quandle es un rack idempotente, la diferencia está en exigir a ▷ a = a; frente al 'grupo', el rack abstrae la conjugación sin la multiplicación de grupo subyacente.

Síntesis

Un rack es un sistema donde cada elemento actúa sobre el conjunto mediante una permutación y estas acciones se distribuyen sobre la operación; captura de forma abstracta simetrías estilo conjugación útiles en teoría de nudos y teoría de acciones algebraicas.