Recursive structure of MOS scales: Difference between revisions

Line 444:

=== Binary generated scales with #L coprime to #s within each period are MOS ===

By ''generatedness'', we mean that every interval in the scale is of the form ''jg'' + ''kp'' where ''g'' is a generator, ''p'' is the period, and ''j, k'' ∈ '''Z''', and that either ''g'' or ''−g'' occurs on every note. We have shown that the result of chunking and reduction is generated and binary and have gcd(#L, #s) = 1. We need only show that any such scale has ''Myhill's property with respect to p'', which we define to mean that any interval class not ''p''-equivalent to 0 has ''exactly'' 2 sizes.

By ''generatedness'', we mean that every interval in the scale is of the form ''jg'' + ''kp'' where ''g'' is a generator, ''p'' is the period, and ''j, k'' ∈ '''Z''', and that either ''g'' or ''−g'' occurs on every note. We have shown that the result of chunking and reduction is generated and binary and have gcd(#L, #s) = 1 within each period. We need only show that any such scale has ''Myhill's property with respect to p'', which we define to mean that any interval class not ''p''-equivalent to 0 has ''exactly'' 2 sizes.

Suppose that such a scale ''S'' (with ''n'' ≥ 2 notes) has ''a''-many L steps and ''b''-many s steps per period ''p'', and has generator ''g''. Since ''S'' is generated, the interval sizes modulo ''p'' that occur in ''S'' are:

@@ Line 444: / Line 444: @@
 === Binary generated scales with #L coprime to #s within each period are MOS ===
-By ''generatedness'', we mean that every interval in the scale is of the form ''jg'' + ''kp'' where ''g'' is a generator, ''p'' is the period, and ''j, k'' ∈ '''Z''', and that either ''g'' or ''&minus;g'' occurs on every note. We have shown that the result of chunking and reduction is generated and binary and have gcd(#L, #s) = 1. We need only show that any such scale has ''Myhill's property with respect to p'', which we define to mean that any interval class not ''p''-equivalent to 0 has ''exactly'' 2 sizes.
+By ''generatedness'', we mean that every interval in the scale is of the form ''jg'' + ''kp'' where ''g'' is a generator, ''p'' is the period, and ''j, k'' ∈ '''Z''', and that either ''g'' or ''&minus;g'' occurs on every note. We have shown that the result of chunking and reduction is generated and binary and have gcd(#L, #s) = 1 within each period. We need only show that any such scale has ''Myhill's property with respect to p'', which we define to mean that any interval class not ''p''-equivalent to 0 has ''exactly'' 2 sizes.
 Suppose that such a scale ''S'' (with ''n'' ≥ 2 notes) has ''a''-many L steps and ''b''-many s steps per period ''p'', and has generator ''g''. Since ''S'' is generated, the interval sizes modulo ''p'' that occur in ''S'' are: