巡回群の直積は巡回群であるとは限らない。