Infinite groups. This case doesn’t appear to be completely solved (see Fuchs, 1964) because the restriction has been imposed such that the order of one factor is finite. Let be the Pruferian group, i.e. the abelian infinite group in which every element has finite order integer. Three cases are distinguishable: - The torsion free case:
(see Hajós, 1950) and (see Sands, 1962). - The torsion case (see Sands, 1959):
(i.e. direct sum), and all subgroups of these, where and are prime distinct numbers (except for the case , which is admitted). - The mixed case:
, and all subgroups of these, where is prime. List of -Hajós groups: Sands has studied the case of the Hajós -property for finite cyclic groups with the assumption that ”every factor has a prime power of elements” (cfr. Fuchs, 1964, p. 139). The following cyclic groups are shown to be -Hajós groups: , where the exponential sum of is (where and , distinct primes). Sands shows that a cyclic group which does not have the Hajós -property is , where . But this restriction can be relaxed by affirming that the previous cyclic group is not -Hajós group for each . We now follow the metamorphosis of Vuza’s modal theory into a rhythmic domain which naturally brings us to a new perspective about some groups relevant to musical composition. In Vuza’s theory of periodic rhythmic canons (as discussed in Vuza, 1985, 1986, 1991-93), cyclic groups which do not have Hajós property are fundamental in the formalisation of particular rhythmic canons. There is apparently no limitation in the order of the cyclic group for a musically relevant application because the cyclic group itself applies to Vuza’s definition of rhythm and, more generally, of rhythmic class. As pointed out in Mazzola (1990) in considering Olivier Messiaen’s theoretical and compositional ideas about »modes of limited transposition« and »non invertible rhythms«, the analogy between the two concepts is far from »adequate«. Vuza’s new algebraic constructions, based on the notion of action of a group on an ensemble principal homogéne (or -set, cf. Vuza (1988)), furnishes a complete analogy (i.e. isomorphism) between the
|