**Let
be a positive integer and
be a primitive
-th
root of unity.
**

(17) |

(18) |

(19) |

(20) |

(21) |

(22) |

(23) |

(24) |

(25) |

(26) |

(27) |

Hence for we have

(28) |

since .

(29) |

(30) |

*If
is a field, then this a special case of the Chinese Remaindering Theorem
where
for
.
*

*
*

2008-01-07