English
The dihedral quandle of size n is the conjugation quandle obtained from the dihedral group restricted to reflections; equivalently, it is the set Z_n with the standard dihedral quandle structure. In particular, Dihedral(n) is the cyclic group modulo n viewed as a quandle via conjugation.
Русский
Диэдральный куандл порядка n есть сопряжённый куандл группы диэдра, ограниченной до отражений; эквивалентно это множество Z_n с обычной диэдральной структурой куандла. То есть Dihedral(n) соответствует Z_n как куандл.
LaTeX
$$$\mathrm{Dihedral}(n) = \mathbb{Z}/n\mathbb{Z}$$$
Lean4
/-- The dihedral quandle. This is the conjugation quandle of the dihedral group restricted to flips.
Used for Fox n-colorings of knots. -/
def Dihedral (n : ℕ) :=
ZMod n