Proof of (1.12): \ Let be a primitive p th root of unity and recall that as ideals in Q. Define to be the sum on the left side of (1.12) for each j, so that

which belongs to the ideal , for . Therefore , belongs to . However, since each is a rational integer, it must be divisible by where is the smallest multiple of , which is , and (1.12) follows immediately.
Annotation Form Interface

          Your name: 
     E-Mail address: 
 Annotation Subject: 
        Related URL: