A knot or a spatial graph is called achiral or amphichaeral
if it is equivalent to its mirror image
.
Otherwise
is called chiral.
It is well known, for example, that a trefoil (
) is chiral and
the figure-eight knot (
) is achiral.
In [RkSn00*], a new proof of the chirality of trefoil
was given using quandle homology theory.
Their result can be expressed by the difference in values of
the -cocycle invariant with
the dihedral quandle
.
Specifically, in Example
, the value of the invariant
for a trefoil
is
, and
one computes
, so that
and
are not equivalent.
In [Sat04*],
for infinitely many spatial graphs called Suzuki's -curves,
it was proved that they are
chiral. The
-cocycle invariants of dihedral quandles
with the Mochizuki's cocycle
were used to prove this fact.
In Fig.
, a special family of Suzuki's
-curves
are depicted, with a coloring by
.
Suzuki's
-curves have the property that any proper subgraph is
trivially embedded, but they are non-trivial (the embeddings are not planar
although there are planar embeddings), so that any method that uses
proper subgraphs can not be applied effectively.