On the lattice of subquandles of a Takasaki quandle

Abstract

Let A be an abelian group. If for any we define , then is a quandle called the Takasaki quandle and is denoted by T(A). In this article, we focus on the lattice of subquandles of a finite Takasaki quandle T(A), denoted by . Indeed, we characterize the subquandles of T(A) and show that is the lattice of cosets of A if and only if A is an odd abelian group or its 2-Sylow subgroup is a cyclic group. Further, we determine the homotopy type of the lattice of subquandles of T(A) which is the wedge of r spheres of dimension d, where r is the number of prime numbers dividing and d is determined by applying the fundamental theorem of finite abelian groups. Furthermore, we prove that is graded if and only if A is an odd abelian group or its 2-Sylow subgroup is cyclic or its 2-Sylow subgroup is elementary abelian. Moreover, we show that the lattice of subquandles of a finite Takasaki quandle is determined by a unique Takasaki quandle. In other words, we show that the lattices of subquandles of two finite Takasaki quandles T(A) and T(B) are isomorphic if and only if A and B are isomorphic. However, the lattice of subquandles of a quandle which is not a Takasaki quandle can be isomorphic to the lattice of subquandles of a Takasaki quandle. We show this by providing a quandle Q of order 8 which is not a Takasaki quandle, but is isomorphic to