We give a construction of
quandle cocycles from group cocycles, especially, for any integer p ≥ 3, quandle
cocycles of the dihedral quandle Rp from group cocycles of the cyclic group ℤ∕p. We
show that a group 3-cocycle of ℤ∕p gives rise to a nontrivial quandle 3-cocycle of Rp.
When p is an odd prime, since dim𝔽pHQ3(Rp; 𝔽p) = 1, our 3-cocycle is a
constant multiple of the Mochizuki 3-cocycle up to coboundary. Dually, we
construct a group cycle represented by a cyclic branched covering branched
along a knot K from the quandle cycle associated with a colored diagram of
K.
Keywords
quandle homology, group homology, cyclic branched covering