## [Quandle](/fr/node/62322) Définition Un quandle est un rack idempotent : un ensemble X muni d'une opération binaire ▷ qui est auto-distributive à gauche, chaque translation à gauche L_a est une bijection, et de plus a ▷ a = a pour tout a. Les quandles abstraient la conjugaison et sont largement employés pour les invariants de nœuds. ## Principe Principe Ajouter l'idempotence aux axiomes du rack : les éléments agissent en permutant l'ensemble d'une manière qui se distribue sur la composition et se fixe eux-mêmes, codant une action de type conjugaison stable adaptée à l'invariance par des mouvements de type Reidemeister. ## Démonstration Démonstration La conjugaison de groupe fournit un quandle via a ▷ b = a b a^{-1} ; l'idempotence tient car a ▷ a = a a a^{-1} = a. Les quandles de cette forme (quandles de conjugaison) sont des exemples standards utilisés pour le coloriage de nœuds. ## Mauvaise application Mauvaise application Appliquer des conclusions propres aux quandles sur un rack général dépourvu d'idempotence (par exemple supposer des points fixes a ▷ a = a) ou confondre les invariants de cohomologie de quandle avec des invariants issus de structures algébriques non apparentées. ## Conséquence Conséquence Lorsqu'on les utilise correctement, les quandles produisent des invariants combinatoires robustes des nœuds et liens via des coloriages et de la cohomologie ; ils traduisent les mouvements de Reidemeister géométriques en identités algébriques qui préservent les classes de coloriage. ## Inversion Inversion Supprimer l'idempotence ramène à la notion moins contraignante de rack ; imposer l'associativité ou d'autres lois de groupe réduit de nombreux quandles à des exemples triviaux ou dérivés de groupes. ## Limite Limite Un quandle doit satisfaire l'auto-distributivité à gauche, la bijectivité des translations à gauche et l'idempotence ; il exclut les racks sans idempotence, les systèmes binaires généraux et les structures algébriques sans bijectivité globale des actions gauches. ## Tension sémantique Tension sémantique Tension sémantique entre « quandle » et les invariants géométriques des nœuds : les quandles offrent des codages algébriques discrets de diagrammes de nœuds, mais des structures algébriques distinctes (par exemple quandle vs biquandle) peuvent saisir des aspects d'isotopie différents. ## Synthèse Synthèse Un quandle est un rack idempotent : un système auto-distributif d'actions gauches inversibles qui fixe l'élément agissant, abstrait la conjugaison et sert de moteur algébrique pour les invariants de nœuds et les théories combinatoires associées.