Some updates to cyclic groups section