Abstract
We adapt the commutator theory of universal algebra to the particular setting of racks and quandles, exploiting a Galois connection between congruences and certain normal subgroups of the displacement group. Congruence properties, such as abelianness and centrality, are reflected by the corresponding relative displacement groups, and the global properties, solvability and nilpotence, are reflected by the properties of the whole displacement group.
To show the new tool in action, we present three applications: nonexistence theorems for quandles (no connected involutory quandles of order 2(k), no latin quandles of order equivalent to 2 (mod 4)), a non-colorability theorem (knots with trivial Alexander polynomial are not colorable by solvable quandles; in particular, by finite latin quandles), and a strengthening of Glauberman's results on Bruck loops of odd order.