|
remembering that up to a change of the time origin it it always possible to assume that in the canon with inner and outer rhythms , one has ![]() I will begin with some very simple lemmas (not stated in the recent technical papers) without which the greater theorems remain cryptic. Most properties of cyclotomic polynomials are to be found in any good textbook on algebra (Algebra, by S. Lang, for instance). Definition 6 The ![]() is the Möbius function. This the monic polynomial whose roots are the primitive units of order Classically they are the irreducible factors of ![]() have coefficients which are or . We will need: Lemma 2 This follows by induction from the preceding expression and the formula ![]() . The importance of these particular polynomials lies in Lemma 3 If The assertion reads ![]() is a divisor of ; its cyclotomic factors of , being irreducible, must divide either or .
|