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.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is related to the properties and computational problems of conjugation groups and their structure groups. Specifically, the author explores how to start from so - called C - groups (i.e., groups that only contain conjugation relations and power relations) to study the properties of the structure groups $\text{As}(\text{Conj}(G))$ of these groups and has solved the following key problems:
1. **Embedding of structure groups**: For a C - group $G$, it is proved that $\text{As}(\text{Conj}(G))$ can be embedded into $G\times\mathbb{Z}^m$, where $m$ is the number of conjugate classes of $G$.
2. **Calculation of homology groups**: As an application, the author calculates the second homology group $H_2(\text{Conj}(S_n))$ of the conjugation group of the symmetric group $S_n$ and reveals its rich torsion elements.
### Overview of main content
#### 1. Quandle and structure group
A quandle is an algebraic structure that appears in different mathematical contexts. A quandle can be constructed by conjugation operations. For example, given a group $G$, a quandle $\text{Conj}(G)$ can be constructed. Conversely, a group $\text{As}(Q)$ can be constructed from any quandle $Q$. These groups are useful in practical applications but difficult to calculate.
#### 2. Definition and properties of C - groups
C - groups are those that can be represented as groups containing only conjugation relations and power relations. A typical example is the symmetric group $S_n$. The author proves that for a C - group $G$, the structure group $\text{As}(\text{Conj}(G))$ can be embedded into $G\times\mathbb{Z}^m$, where $m$ is the number of conjugate classes of $G$.
#### 3. Applications and results
Through the above - mentioned embedding, the author deduces information about the torsion elements, center, and derived group of $\text{As}(\text{Conj}(G))$. In particular, the author calculates the second homology group $H_2(\text{Conj}(S_n))$ of the quandle of the symmetric group $S_n$ and reveals its rich torsion elements.
### Formula summary
The key formulas involved in the paper include:
- **Definition of structure group**:
\[
\text{As}(Q)=\langle e_a, a\in Q\mid e_a e_b = e_b e_{a\triangleleft b}, a, b\in Q\rangle
\]
- **Calculation of second homology group**:
\[
H_2(Q)\cong\bigoplus_{O\in\text{Orb}(Q)}(\text{Stab}_{\text{As}(Q)}(a_O)\cap\ker(\varepsilon))
\]
where $\text{Orb}(Q)$ is the set of orbits of $Q$ under the action of the inner automorphism group $\text{Inn}(Q)$, and $\varepsilon$ is the degree mapping.
### Conclusion
Through the study of C - groups, this paper provides an effective method to understand and calculate the structure groups of quandles and their homology groups, especially the second homology group of the quandle of the symmetric group $S_n$. This not only deepens our understanding of quandle theory but also provides an important tool for applications in related fields.