Canoni ritmici a mosaico
Canoni ritmici a mosaico
Canoni ritmici a mosaico
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Capitolo 2. Condizioni di esistenza<br />
Si ha:<br />
1. A = {0, 2, 5, 7} ⇒ A(x) = 1 + x 2 + x 5 + x 7 =<br />
= (1 + x)(1 + x 2 )(1 − x + x 2 − x 3 + x 4 ) = Φ2(x)Φ4(x)Φ10(x)<br />
2. B = {0, 4} ⇒ B(x) = 1 + x 4 = Φ8(x)<br />
A tassella modulo 8 e Φ10(x)|A(x) ma 10 ∤ 8.<br />
Osserviamo che A = {0, 2, 5, 7} ≡ 5{0, 1, 2, 3} (mod 8) e (5, 8) = 1, e infatti A tassella<br />
con lo stesso ritmo interno B = {0, 4} del canone triviale, come si vedrà nel<br />
teorema 5.3.2.<br />
In generale consideriamo il canone triviale<br />
A ⊕ B = {0, 1, . . . , m − 1} ⊕ { 0, m, 2m, . . . , (n − 1)m} = Z/nmZ.<br />
Sappiamo (teorema 2.1.9) che per ogni k ∈ N, kA tassella; e se inoltre (k, nm) =<br />
1, si ha che (k, m =| A |) = 1, quindi (teorema 5.3.2) kA ⊕ B = Z/nmZ e per la<br />
proposizione A.4,<br />
(kA)(x) = A(x k ) = ∆m(x k <br />
) = Φd(x k <br />
) = Φdh(x) ,<br />
d|m, d>1<br />
d|m,d>1 h|k<br />
dunque per ogni d, h > 1 tali che d | m e h | k si ha dh ∤ nm e Φdh(x) | (kA)(x).<br />
Notiamo che il ritmo interno B rimane lo stesso, con B(x) = ∆n(x m ).<br />
2.2.3 Esempio.<br />
Cerchiamo un canone ritmico di ritmo interno A e periodo n tale che<br />
∃ p(x) irriducibile e non ciclotomico, tale che p(x) | A(x).<br />
L’idea, come nel caso precedente è quella di partire dal canone<br />
{0, 1, . . . , m − 1} ⊕ { 0, m, 2m, . . . , (k − 1)m} = Z/kmZ.<br />
Questa volta, invece di mescolare le voci, leggeremo il ritmo interno a partire da<br />
t > 0, ad esempio:<br />
per m = 3, k = 2 e t = 1, il pattern {0, 1, 2} letto da 1 diventa il pattern {0, 1, 5}, ed il<br />
canone diventa Z/6Z = {0, 1, 5} ⊕ {0, 3}:<br />
0<br />
1<br />
0 1 2 3 4 5<br />
pattern<br />
letto da 1<br />
−→<br />
0<br />
1<br />
0 1 2 3 4 5<br />
Il pattern così ottenuto è una traslazione di −t ( mod km) del pattern precedente,<br />
quindi tassella (osservazione 1.2.12), e si ha:<br />
32