Professional Documents
Culture Documents
net/publication/265035122
CITATIONS READS
10 181
2 authors:
Some of the authors of this publication are also working on these related projects:
Philosophy of mathematics, Categories, Grothendieck, théories de la traduction, Fernando Zalamea View project
All content following this page was uploaded by Dan Tudor Vuza on 04 November 2014.
2
ON SOME IN ANATOL VIERU'S MODAL THEORY
3
MORENO ANDREATTA | DAN T. VUZA
Z = G MG :
12 3 4
0 3 6 9
0 0 3 6 9
4 4 7 10 1
8 8 11 2 5
4
ON SOME IN ANATOL VIERU'S MODAL THEORY
q3 = 1 ; 1 123 = 1 mod 3 ;
q4 = ,1 ; ,1 12 4 = 1 mod 4 ;
3 (x) = 12
3 q 3 x = 4x ; 4 (x) =
12 q x = ,3x :
4 4
5 = 8 + 9 = 4 5 , 3 5 = 4 2 , 3 1;
7 = 4 + 3 = 4 7 , 3 7 = 4 1 , 3 3;
11 = 8 + 3 = 4 11 , 3 11 = 4 2 , 3 3 :
Remark 1. Many theoretical works ([2], [8] and [10]) have already shown the
musical interest of the decomposition of the cyclic group Z12 into a direct sum
of its maximal p-groups from a theoretical, analytical and compositional point
of view.
Theorem 5. Let 'i : Zn ! Zpki be the canonic map. The map ' : Zn !
m
Q
Z ki dened by
i=1 p ,
'(z) = '1(z); : : : ; 'm (z)
is a ring homomorphism with inverse given by
Xm n
(z1 ; : : : ; zm ) 7! pki qi zi :
i=1
P any Zn-valued sequence f we put fi (x) = i f (x) . We will say that
,
For
f = i fi is the decomposition of f corresponding to the decomposition of Zn
in p-groups.
5
MORENO ANDREATTA | DAN T. VUZA
Then f is kln-periodic.
, , ,
P, r o o f. From 1 , T l f = T k 1 , T l f one ,deduces,that 1, T l f =
T ki 1 , T l f for any, i 1, and in particular
,
that 1 , T kl 1 , T l f = 0. By
the same argument, 1 , T kl f = T li 1 , T kl f for any i 1. This means that
,1
nX !
,
1,T kln ,
f = 1, T
, kl n f=
, ,
T kli 1 , T kl f = n 1 , T kl f = 0 :
i=0
6. Decomposition algorithm
1. Write the decomposition of n
N
Y
n= pkj j
j =1
into prime factors.
8
ON SOME IN ANATOL VIERU'S MODAL THEORY
i=1 pj i=1 pj
we have the decomposition of any periodic sequence in a reducible and
reproducible component.
Example 5. Decomposition in reducible and reproducible components. Let f
be the following Z12-valued sequence.
f = (0 0 7 7 4 4 3 3 4 4 7 7) :
The sequences corresponding to the decomposition of Z12 = G3 G4 are re-
L
spectively
f1 = (0 0 1 1 1 1 0 0 1 1 1 1)
f2 = (0 0 3 3 0 0 3 3 0 0 3 3)
0 0 1
1 1 1
0 0 1
1 1 1
2 2 1
4 mod 3 2 2 1
4 mod 12 8 8 4
9
MORENO ANDREATTA | DAN T. VUZA
0 0 3 3
0 0 3 3
0 0 3 3
0 0 1 1
3 mod 4 0 0 3 3
, 3 mod 12 0 0 3 3
8 8 4 8 8 4 8 8 4 8 8 4
0 0 3 3 0 0 3 3 0 0 3 3
fred 8 8 7 11 8 4 11 11 4 8 11 7
frep 4 4 0 8 8 0 4 4 0 8 8 0
fj (Z) and, for all integer pj dividing n , let prj be the highest power of pj
dividing the period m of f . According to the Theorem 7, fj is prj -periodic.
A well known result of algebra gives the existence of x 2 Z verifying x = xj
mod prj for all j . It follows that fj (x) = fj (xj ) for all j , i.e.,
X X X
yj = fj (xj ) = fj (x) = f (x) 2 f (Z) :
j j j
Theorem 21. For any subset M Zn it does exist an element u 2 Zn and
a reproducible sequence f such that f (Z) = u + M .
P r o o f . It does exist an integer m such that m ^ n = 1 and the m-periodic
sequence g such that g(Z) = M . Since m ^ n = 1, the inverse m,1 of m
mP,1
mod n does exist. We set u = ,m,1 g(i) and f (x) = u + g(x). It follows
mP,1 i=0
that f (i) = 0, which gives the reproducibility of f due to the Corollary 18.
i=0
10
ON SOME IN ANATOL VIERU'S MODAL THEORY
,1
dP
of f , where d is odd. By Theorem 14 one has f (2r i) = 0. Since f (2r i) 2
i=0
f3; 9g , it follows that some integers k1 ; k2 must exist such that 3k1 + 9k2 = 0
mod 12, k1 + k2 = d . This means that
3k1 + 9(d , k1) = 0 mod 12 ;
6k1 + 9d = 0 mod 12 ;
2 9d = ,2 6k1 = 0 mod 12 ;
3d = 0 mod 2 :
But because of the oddness of d one would conclude that 3 = 0 mod 2, which
is absurd.
Example 6. Modal classes of sets of values of Z12-valued reducible sequences
f0g + f0g = f0g ;
f0g + f6; 6g = f6; 6g ;
f0g + f9; 3g = f9; 3g ;
f0g + f6; 3; 3g = f6; 3; 3g ;
f0g + f3; 3; 3; 3g = f3; 3; 3; 3g ;
f8; 4g + f0g = f8; 4g ;
f8; 4g + f6; 6g = f4; 2; 4; 2g ;
f8; 4g + f9; 3g = f5; 3; 1; 3g ;
f8; 4g + f6; 3; 3g = f1; 2; 1; 3; 2; 3g ;
f8; 4g + f3; 3; 3; 3g = f1; 2; 1; 2; 1; 2; 1; 2g ;
f4; 4; 4g + f0g = f4; 4; 4g ;
f4; 4; 4g + f6; 6g = f2; 2; 2; 2; 2; 2g ;
f4; 4; 4g + f9; 3g = f3; 1; 3; 1; 3; 1; 3; 1g ;
f4; 4; 4g + f6; 3; 3g = f1; 1; 2; 1; 1; 2; 1; 1; 2g ;
f4; 4; 4g + f3; 3; 3; 3g = f1; 1; 1; 1; 1; 1; 1; 1; 1; 1; 1; 1g :
8. The reproducibility of rareed and repeating sequences
Let f be a periodic Zn-valued sequence and let d be a positive integer.
Definition 6. The rareed sequence frar obtained from the sequence f is
given by the following relation:
11
MORENO ANDREATTA | DAN T. VUZA
,
f xd if x = 0 mod d ;
frar(x) =
0 if x 6= 0 mod d :
The integer d is called the factor of insertion.
Definition 7. The repeating sequence obtained from f is the sequence frpt
dened by
frpt(x) = f xd
where [r] means the highest integer r . The integer d is called the factor of
repetition.
We will write frar;d and frpt;d when we want to make evident the presence
of the factor d . It follows that
frar;d1d2 = (frar;d1 )rar;d2 ; (1)
frpt;d1d2 = (frpt;d1 )rpt;d2 :
Problem. Find the relationship between the reproducibility of f , frar and
frpt .
Lemma 22. ,1
dX
frpt = T ifrar :
i=0
P r o o f . This result is a trivial consequence of the denition of rareed and
repeating sequences.
Definition 8. A sequence f is called d-reproducible if (T d , 1)m f = 0 for
an integer m 1.
Lemma 23. If f is a d-reproducible sequence then f is reproducible.
P r o o f . Let f be d-reproducible. We write down the decomposition
f = fred + frep ; fred 2 Red ; frep 2 Rep :
It follows that (T d , 1)m f = f and (T , 1)m fred = Dm fred = 0. According to
the identity
,1
dX
T d , 1 = P (T )(T , 1) ; P (T ) = T i; (2)
i=0
one has that
f = (T d , 1)m f = P (T )m (T , 1)m f
= P (T )m (T , 1)m fred + P (T )m (T , 1)m frep
= P (T )m (T , 1)m frep 2 Rep :
12
ON SOME IN ANATOL VIERU'S MODAL THEORY
13
MORENO ANDREATTA | DAN T. VUZA
,1 i
dP
Lemma 25. If d ^ n = 1 and if T f is reproducible then f is reproducible.
i=0
P r o o f . Let's write down the decomposition
f = fred + frep ; fred 2 Red ; frep 2 Rep ;
P (T )f = P (T )fred + P (T )frep ;
where P (T ) is given by (2). Since P (T )f 2 Rep (by hypothesis) and also
P (T )frep 2 Rep, one has P (T )fred 2 Red \ Rep = f0g . This leads to the
relation
(T d , 1)fred = (T , 1)P (T )fred = 0 ;
which means that fred is d-periodic. Since fred is reducible, it is also m-periodic
where m is an integer that divides n . This means that f is d ^ m-periodic, which
gives the 1-periodicity, i.e., f is a constant. In conclusion
f = z + frep ; z 2 Zn ; frep 2 Rep ;
P (T )f = dz + P (T )frep :
By using the same argument dz 2 Red \ Rep = f0g , i.e., z = 0 since the
multiplication by d is an automorphism of Zn .
Theorem 26. The reproducibility of f is equivalent to that of frpt .
P r o o f . If f is reproducible, then (Theorem 24) frar is reproducible, which
means that (Lemma 22) frpt is reproducible, too.
Let's now suppose that frpt is reproducible. As in the proof of Theorem 24
one may just consider the case where f takes its values in a p- group and d
is prime. If d = p one uses the same argument as in the proof of Theorem 24.
If d 6= p , then (Lemmas 22 and 25) frar is reproducible, which leads to the
conclusion that (Theorem 24) f is reproducible too.
REFERENCES
[1] ANDREATTA, M. : Group-theoretical Methods applied to Music, unpublished Disserta-
tion, University of Sussex, 1997.
[2] BALZANO, G. : The group-theoretic description of 12-fold and microtonal pitch systems,
Computer Music J. 4 (1980), 66{84.
[3] BUDDEN, F. J.: The Fascination of Groups, Cambridge University Press, 1972.
[4] CHEMILLIER, M. : Structure et Methode algebriques en informatique musicale, (These de
doctorat), L. I. T. P., Institut Blaise Pascal (1990).
[5] HALSEY, D.|HEWITT, E. : Eine gruppentheoretische Methode in der Musik-theorie,
Jahresber. Deutsch. Math.-Verein. 80 (1978), 151{207.
14
ON SOME IN ANATOL VIERU'S MODAL THEORY
[6] LEWIN, D. : Generalized Musical Intervals and Transformations, Yale University Press,
1987.
[7] MAZZOLA, G. et. al. : The Topos of Music|Geometric Logic of Concepts, Theory and
Performance, Birkauser (to appear)2001.
[8] MAZZOLA, G. : A Symmetry-Oriented Mathematical Model of Classical Counterpoint and
Related Neurophysiological Investigations by Depth-EEG, Dans Symmetry II, CAMWA,
Pergamon Press, 1989.
[9] STEIN, S. K.|SZABO , S. : Algebra and Tiling, The Carus Mathematical Monographs,
Vol. 25, AMS, Providence, 1994.
[10] VIERU, A.: Cartea modurilor, 1 (Le livre des modes, 1) (Muzicala, Bucarest, 1980, ed.),
Revised ed. The book of modes, 1993.
[11] VUZA, D. T.: Some Mathematical Aspects of David Lewin's Book Generalized Musical
Intervals and Transformations, Perspectives of New Music 26 (1988), 258{287.
[12] VUZA, D. T.: Supplementary Sets | Theory and Algorithms, Muzica 1 (1995), 75{99.
[13] VUZA, D. T.: Aspects mathematiques dans la theorie modale d' Anatol Vieru, Parts 1{4,
Revue Roumaine de Mathematiques Pures et Appliquees 27, (1982) n. 2 et 10, (1983)
n. 7 et 8.
15