Abstract:This paper describes some algebraic properties of the species of finite topological quandles. We construct two twisted bialgebra structures on this species, one of the first kind and one of the second kind. The obstruction for the structure to match the double twisted bialgebra axioms is explicitly described.
What problem does this paper attempt to address?
This paper aims to explore some algebraic properties of finite topological quandles. Specifically, the author constructs two twisted bialgebra structures, one belonging to the first type and the other to the second type. The paper also clearly describes the reasons why these structures do not fully conform to the axioms of double - twisted bialgebra.
### Background and Objectives of the Paper
1. **Quandles**:
- A quandle is an algebraic structure consisting of a set \(Q\) and a binary operation \(\lhd: Q\times Q\rightarrow Q\), which satisfies the following three conditions:
- For each \(a\in Q\), \(a\lhd a = a\).
- For each pair \(a, b\in Q\), there exists a unique \(c\in Q\) such that \(a = c\lhd b\).
- For each \(a, b, c\in Q\), \((a\lhd b)\lhd c=(a\lhd c)\lhd(b\lhd c)\).
- These conditions are derived from the axiomatization of the three Reidemeister moves of knot diagrams. Quandles have wide applications in knot theory and related fields.
2. **Finite Topological Quandles**:
- A finite topological quandle refers to a topological quandle with a finite underlying set. They occur naturally in the study of knots and links, and topological quandles provide a method for studying the geometry of these structures.
3. **Species Formalism**:
- Species formalism, proposed by A. Joyal, is an important tool for combinatorics. It studies the properties of objects by formalizing the concept of "combinatorial equivalence" without worrying about their specific representations.
### Main Results
1. **External Coproduct**:
- An external coproduct \(\Delta\) is defined. For a finite topological quandle \((X, T, \lhd)\) on any finite set \(X\), it is defined as:
\[
\Delta: Q^{\text{T}}X\rightarrow (Q^{\text{T}}\otimes Q^{\text{T}})X=\bigoplus_{Z\subseteq X} Q^{\text{T}}Z\otimes Q^{\text{T}}(X\setminus Z)
\]
\[
(X, T, \lhd)\mapsto\sum_{Y\text{ is a sub - quandle of }X}(Y, T|_Y, \lhd)\otimes(X\setminus Y, T|_{X\setminus Y}, \lhd_{X, Y})
\]
where \(\lhd_{X, Y}\) is an explicit quandle structure on \(X\setminus Y\).
2. **Internal Coproduct**:
- An internal coproduct \(\Gamma\) is defined. For a finite topological quandle \((X, T, \lhd)\) on any finite set \(X\), it is defined as:
\[
\Gamma(X, T, \lhd)=\sum_{T'\preccurlyeq T}(T'\text{ is }Q\text{-compatible})(X, T', \lhd)\otimes(X,