04.03.2013 Views

Canoni ritmici a mosaico

Canoni ritmici a mosaico

Canoni ritmici a mosaico

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Capitolo 2. Condizioni di esistenza<br />

• Se k = m la traslazione cambia solo l’ordine delle voci, senza alterarne il<br />

motivo, che rimane A, infatti, come prima, R(x) = 1 e quindi A(x) = ∆m(x):<br />

gli unici polinomi irriducibili che dividono A(x) sono ciclotomici.<br />

Sia ora 0 < k < m. Abbiamo due possibilità:<br />

1. m = 2k,<br />

2. m 2k,<br />

corrispondenti alle due proprietà:<br />

1. R(x) è reciproco (definizione A.5),<br />

2. R(x) non è reciproco.<br />

Basta infatti scrivere<br />

R(x) = 1 − x m−k + x m − x 2m−k + x 2m + . . . − x (n−1)m−k + x (n−1)m<br />

per osservare che R(x) è reciproco se e solo se<br />

cioè se e solo se m = 2k.<br />

(n − 1)m − (m − k) = (n − 1)m − k ,<br />

Nel primo caso, si vede facilmente che R(x) = ∆2n−1(−x k ), quindi ogni polinomio<br />

irriducibile che divide R(x) divide anche Φd(−x k ), dove d | 2n − 1 e d > 1.<br />

Poiché 2n − 1 è dispari, anche ogni suo divisore lo è, quindi (per la proposizione<br />

A.4(3)) Φd(−x k ) = Φ2d(x k ). Se ne deduce che i fattori irriducibili di R(x) sono polinomi<br />

ciclotomici, di conseguenza tali sono anche i fattori irriducibili di A(x).<br />

Nel secondo caso, R(x) non è reciproco.<br />

In entrambi i casi, R(x) ha un numero dispari di termini, quindi R(1) 0 (ed anche<br />

R(−1) in verità), e quindi (per la prop. A.6) tutti i polinomi ciclotomici che dividono<br />

R(x) sono reciproci.<br />

Il prodotto di polinomi reciproci è un polinomio reciproco, quindi se per assurdo<br />

tutti i fattori irriducibili di R(x) fossero polinomi ciclotomici, allora R(x) sarebbe<br />

reciproco.<br />

Abbiamo supposto il contrario: quindi deve esistere un polinomio, irriducibile, non<br />

ciclotomico, che divide R(x), e di conseguenza anche A(x).<br />

Ricapitolando, abbiamo dimostrato la seguente<br />

2.2.4 Proposizione. Siano m, n, k ∈ N tali che nm > 0 e k ≤ m.<br />

Sia A il ritmo interno del canone ottenuto traslando di −k il ritmo interno del<br />

canone triviale<br />

{0, . . . , m − 1} ⊕ {0, m, . . . , (n − 1)m} = Z/nmZ.<br />

I fattori irriducibili di A(x) sono tutti polinomi ciclotomici se e solo se m = hk con<br />

h ∈ {0, 1, 2}.<br />

34

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

Saved successfully!

Ooh no, something went wrong!