Eine Menge X mit einer binären Operation ▷ derart, dass für alle a in X die Linkstranslation L_a(x)=a ▷ x eine Bijektion von X ist und die Operation links selbstdistributiv ist: a ▷ (b ▷ c) = (a ▷ b) ▷ (a ▷ c). Racks erfassen algebraische Selbstwirkung ohne Idempotenz zu verlangen.

Prinzip

Links-Selbstdistributivität kombiniert mit invertierbaren linken Aktionen: Die grundlegende Idee ist, dass Elemente als Permutationen auf der Menge wirken und diese Aktionen sich über die Operation verteilen, wodurch ein konjugationsähnliches Verhalten kodiert wird.

Demonstration

Konjugation in einer Gruppe liefert ein Rack: Setze X = G und a ▷ b = a b a^{-1}; die Linksmultiplikation durch a ist eine Bijektion und die Selbstdistributivität folgt aus der Assoziativität der Gruppe, wodurch eine kanonische Rack-Struktur entsteht.

Fehlanwendung

Idempotenz (a ▷ a = a) oder Kommutativität anzunehmen; nicht jedes Rack ist idempotent oder abelsch, daher kann die Anwendung spezieller Quandle-Argumente oder abelscher Überlegungen auf ein allgemeines Rack fehlerhaft sein.

Konsequenz

Richtige Verwendung liefert einen Rahmen für Rack-Kohomologie und kombinatorische Invarianten (durch Färbungen) für Knoten und Zöpfe, sobald zusätzliche Bedingungen hinzugefügt werden.

Umkehrung

Wird die Bijektivität der Linkstranslationen entfernt, entstehen linksdistributive Magmen, in denen Aktionen nicht notwendigerweise invertierbar sind; das Entfernen der Selbstdistributivität ergibt Permutationsaktionen ohne algebraische Kohärenz.

Abgrenzung

Racks verlangen die globale Bijektivität jeder Linkstranslation und Links-Selbstdistributivität; sie schließen willkürliche binäre Operationen, nichtinvertierbare Aktionen und Strukturen aus, die zusätzlich Idempotenz erzwingen (diese sind Quandles).

Semantische Spannung

Semantische Spannung zwischen 'Rack' und 'Quandle': Ein Quandle ist ein idempotentes Rack, der Unterschied liegt also in der Forderung a ▷ a = a; gegenüber der Gruppe abstrahiert das Rack die Konjugation ohne zugrundeliegende Gruppenmultiplikation.

Synthese

Ein Rack ist ein System, in dem jedes Element als Permutation auf der Menge wirkt und diese Aktionen sich über die Operation verteilen; es fasst konjugationsartige Symmetrien abstrakt zusammen und ist nützlich in der Knotentheorie und der Theorie algebraischer Aktionen.