Abstract:Quandles are certain algebraic structures showing up in different mathematical contexts. A group $G$ with the conjugation operation forms a quandle, $\operatorname{Conj}(G)$. In the opposite direction, one can construct a group $\operatorname{As}(Q)$ starting from any quandle $Q$. These groups are useful in practice, but hard to compute. We explore the group $\operatorname{As}(\operatorname{Conj}(G))$ for so-called $\overline{C}$-groups $G$. These are groups admitting a presentation with only conjugation and power relations. Symmetric groups $S_n$ are typical examples. We show that for $\overline{C}$-groups, $\operatorname{As}(\operatorname{Conj}(G))$ injects into $G \times \mathbb{Z}^m$, where $m$ is the number of conjugacy classes of $G$. From this we deduce information about the torsion, center, and derived group of $\operatorname{As}(\operatorname{Conj}(G))$. As an application, we compute the second quandle homology group of $\operatorname{Conj}(S_n)$ for all $n$, and unveil rich torsion therein.

Constructions of Quandles over Groups and Rings

Conjugation groups and structure groups of quandles

On Profinite Quandles

Homogeneous quandles with commutative inner automorphism groups

Quandles with one nontrivial column

Homogeneous quandles with abelian inner automorphism groups and vertex-transitive graphs

Computing the associated groups of quandles with tools from group homology theory

Groups, conjugation and powers

Multivariate Alexander quandles, VI. Metabelian groups and 2-component links

The adjoint group of an Alexander quandle

Multivariate Alexander quandles, V. Constructing the medial quandle of a link

On the representation theory of cyclic and dihedral quandles

n-valued quandles and associated bialgebras

Knot groups, quandle extensions and orderability

Classification of generalized Alexander quandles

On the Euler characteristics for quandles

Dynamics of quandle orders

Quantum loop groups for arbitrary quivers

On the quandles of isometries of the hyperbolic 3-space

The Grothendieck ring of quantum double of quaternion group