10.4 Cyclotomic Polynomials and Wedderburn's Theorem

1.
a. img
c. img
e. img
Now img.
Finally img
3. Since n is odd, d|2n if and only if either d|n or d = 2b, b|n. Thus, by induction

img

Now observe that Φ2(x) = − Φ1(− x), and (by induction) Φ2d(x) = Φd(− x) if d < n. Hence

img

Thus Φn(− x) = Φ2n(x), as required.
5. If img, these fields are img and img respectively. Now img and img, so img. But gcd (m, n) = 1, so write 1 = rm + sn; r, img. Then img, so img. Thus img
6. a. If SR is a finite subring of the division ring S, then char S ≠ 0, say char S = p. Let img and let img. Then if 0 ≠ s img S, 1, s, . . ., sn are not linearly independent over img, so r0 + r1s + img + rnsn = 0, img. We may assume r0 ≠ 0 (can cancel s) so

img

7. Write σ(n) = ∑ d|nμ(d). If n = 1, σ(n) = μ(1) = 1. If img then μ(d) = 0 for any d|n with img. If we write m = p1p2 img pr, then σ(n) = σ(m). If d|m, then μ(d) = 1 if and only if d is the product of an even number (possibly 0) of the pi, and μ(d) = − 1 otherwise. Since half the divisors d are in each category, σ(m) = 0.
8. a. The sums are equal by replacing d by n/d throughout. Use the hint:

img

But ∑d|nμ(d) = 1 if and only if n = c by the preceding exercise. We have xn − 1 = ∏ d|nΦd(x). Fix x and take a formal logarithm:

img

Let σ(n) = log (xn − 1) and β(n) = log (Φn(x)). By M öbius we get

img

The result follows.
If formal logarithms are distasteful, repeat Exercise 8(a) with Σ replaced by Π and all coefficients replaced by exponents.
9. Write n/m = k so n = km. Thus d|m if and only if kd|n. Now Exercise 8(b) gives

img

..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset
3.148.113.111