On core quandles of groups
Abstract
We review the definition of a quandle, and in particular of the core quandle Core(G) of a group G, which consists of the underlying set of G, with the binary operation x y = x y-1 x. This is an involutory quandle, i.e., satisfies the identity x (x y) = y in addition to the other identities defining a quandle. Trajectories (xi)i∈Z in groups and in involutory quandles (in the former context, sequences of the form xi = x zi where x,z∈ G, among other characterizations; in the latter, sequences satisfying xi+1= xi\,xi-1) are examined. A family of necessary conditions for an involutory quandle to be embeddable in the core quandle of a group is noted. Some implications are established between identities holding in groups and in their core quandles. Upper and lower bounds are obtained on the number of elements needed to generate the quandle Core(G) for G a finitely generated group. Several questions are posed.