04.03.2013 Views

Canoni ritmici a mosaico

Canoni ritmici a mosaico

Canoni ritmici a mosaico

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!