Un quandle es un rack idempotente: un conjunto X con una operación binaria ▷ que es auto-distributiva por la izquierda, cada traslación izquierda L_a es una biyección, y además a ▷ a = a para todo a. Los quandles abstraen la conjugación y se usan ampliamente en invariantes de nudos.

Principio

Añadir idempotencia a los axiomas del rack: los elementos actúan permutando el conjunto de forma que se distribuye sobre la composición y se fijan a sí mismos, codificando una acción estable tipo conjugación adecuada para la invariancia bajo movimientos tipo Reidemeister.

Demostración

La conjugación de grupo da un quandle mediante a ▷ b = a b a^{-1}; la idempotencia se cumple porque a ▷ a = a a a^{-1} = a. Los quandles de conjugación son ejemplos estándar usados en coloraciones de nudos.

Aplicación incorrecta

Aplicar conclusiones específicas de quandle a un rack general sin idempotencia (por ejemplo suponer puntos fijos a ▷ a = a) o confundir invariantes de cohomología de quandle con invariantes de estructuras algebraicas no relacionadas.

Consecuencia

Bien utilizados, los quandles producen invariantes combinatorios robustos de nudos y enlaces mediante coloraciones y cohomología; traducen los movimientos de Reidemeister geométricos en identidades algebraicas que preservan clases de coloreo.

Inversión

Quitar la idempotencia vuelve a la noción menos restrictiva de rack; imponer asociatividad u otras leyes de grupo colapsa muchos quandles a ejemplos triviales o derivados de grupos.

Límite

Un quandle debe satisfacer auto-distributividad izquierda, biyección de las traslaciones izquierdas e idempotencia; excluye racks sin idempotencia, sistemas binarios generales y estructuras algebraicas sin biyección global de las acciones izquierdas.

Tensión semántica

Tensión semántica entre 'quandle' y invariantes geométricos de nudos: los quandles ofrecen codificaciones algebraicas discretas de diagramas de nudos, pero distintas estructuras algebraicas (p. ej. quandle frente a biquandle) pueden captar diferentes rasgos de isotopía.

Síntesis

Un quandle es un rack idempotente: un sistema auto-distributivo de acciones izquierdas invertibles que fija al elemento actuante, abstrae la conjugación y funciona como motor algebraico para invariantes de nudos y teorías combinatorias relacionadas.