##  [Rack](/de/node/62320) 

 Definition

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

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

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

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

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

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

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

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

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.