Canoni ritmici a mosaico
Canoni ritmici a mosaico
Canoni ritmici a mosaico
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Dimostrazione:<br />
1. (x − 1)(x p−1 + . . . + 1) = x p − 1 = d|p Φd(x) ⇒ Φp(x) = x p−1 + . . . + 1.<br />
2. Poiché<br />
si ha:<br />
ζ pα 1−1 1 ...p αn−1<br />
n<br />
n<br />
= e i 2π n pα 1−1 1 ...p αn−1<br />
n = e i2π pα1−1 1<br />
Φp1...pn (ζ pα 1−1 1 ...p αn−1<br />
n<br />
n<br />
Φn(x) è il polinomio minimo di ζn, quindi<br />
inoltre<br />
deg Φp1...pn (xpα 1−1 1 ...p αn−1<br />
e<br />
...p αn−1<br />
n<br />
p α1 1 pα2 2 ...pαn n = e i 2π n p1...pn = ζp1...pn<br />
) = 0.<br />
Φp1...pn (xpα 1−1 1 ...p αn−1<br />
n ) | Φn(x),<br />
n ) = p α1−1<br />
1<br />
(p1 − 1) . . . p αn−1<br />
n (pn − 1) = φ(n) = deg Φn(x)<br />
cont Φp1...pn (xpα 1−1 1 ...p αn−1<br />
n ) = cont Φn = 1,<br />
quindi Φp1...pn (xpα 1−1 1 ...p αn−1<br />
n ) = Φn(x).<br />
3. n dispari ⇒ deg Φ2n(x) = φ(2n) = φ(n) = deg Φn(−x), inoltre cont Φ2n(x) =<br />
cont Φn(−x) = 1, quindi, poiché Φ2n è il polinomio minimo di ζ2n, basta vedere<br />
che Φn(−ζ2n) = 0, cioè che −ζ2n è una radice primitiva n-sima dell’unità,<br />
e infatti:<br />
• ζ 2n<br />
2n = 1 ⇒ ζn 2n = −1 ⇒ (−ζ2n) n = 1 e<br />
• se m < n:<br />
– m pari ⇒ (−ζ2n) m = ζm 2n 1,<br />
– m dispari ⇒ (−ζ2n) m = −ζm 2n e se fosse = 1 si avrebbe ζm 2n = −1 ⇒<br />
= 1 con 2m < 2n, assurdo.<br />
ζ 2m<br />
2n<br />
4. • p | n, sia α ∈ N tale che pα | n ma pα+1 ∤ n, n = pα+1m. Poiché p ∤ m<br />
si ha: deg Φpn(x) = φ(pn) = φ(pα+1m) = pα (p − 1)φ(m) = ppα−1 (p −<br />
1)φ(m) = pφ(n) = deg Φn(x p ), e cont Φpn(x) = cont Φn(x p ) = 1. Φpn(x)<br />
è il polinomio minimo delle radici pn-sime dell’unità, quindi basta dimostrare<br />
che Φn(ζ p pn) = 1, ma questo è vero perché ζ p 2π i<br />
pn = e pn p = ei 2π n =<br />
ζn.<br />
• p ∤ n, quindi<br />
deg Φn(x p ) = pφ(n) = φ(n) + (p − 1)φ(n) =<br />
= deg Φn(x) + deg Φpn(x) = deg (Φn(x)Φpn(x)),<br />
83