Cyclotomy definitions